Maciej Koutny

인용

	전체	2019년 이후
서지정보	5382	1252
h-index	36	16
i10-index	124	29

300

150

225

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202430 21 27 26 41 49 37 47 79 55 98 120 135 102 111 192 208 239 237 191 263 262 261 221 236 204 226 240 244 208 213 285 231 66

공개 액세스

모두 보기

자료 25개

자료 9개

공개

비공개

재정 지원 요구사항 기준

공동 저자

Ryszard JanickiProfessor, Department of Computing and Software, McMaster Universitymcmaster.ca의 이메일 확인됨
Raymond Devillersuniversite libre de bruxellesulb.ac.be의 이메일 확인됨
Eike BestCarl von Ossietzky Universität Oldenburginformatik.uni-oldenburg.de의 이메일 확인됨
Łukasz MikulskiNicolaus Copernicus Universitymat.umk.pl의 이메일 확인됨
Marta Pietkiewicz-KoutnyLecturer, Newcastle Universityncl.ac.uk의 이메일 확인됨
Grzegorz RozenbergProfessor of Computer Science, Leiden Universityliacs.leidenuniv.nl의 이메일 확인됨
Zhenhua DuanProfessor of Computer Science, Xidian University, Chinamail.xidian.edu.cn의 이메일 확인됨
Wen ZengSenior Lecturer, De Montfort Universitydmu.ac.uk의 이메일 확인됨
Wojciech PenczekProfessor of Computer Science, ICS PAS (Warsaw)ipipan.waw.pl의 이메일 확인됨
Artur MeskiVector GB Limited; Institute of Computer Science, Polish Academy of Sciencesipipan.waw.pl의 이메일 확인됨
DAVID DE FRUTOS ESCRIGUniv.Complutense de Madrid (Spain)ucm.es의 이메일 확인됨
Zhenyu WenZhejiang University of Technologyzjut.edu.cn의 이메일 확인됨
Prof. Rajiv Ranjan, MAE, FIEEE, FAIAANewcastle University, Director (National Edge AI Hub and International EV Security Research Centre)newcastle.ac.uk의 이메일 확인됨
Bowen LiResearch Software Engineer, Newcastle Universityncl.ac.uk의 이메일 확인됨
Vasileios GermanosSenior Lecturer in Computer Science, De Montfort Universitydmu.ac.uk의 이메일 확인됨
Evgeny ErofeevUniversity of Oldenburginformatik.uni-oldenburg.de의 이메일 확인됨
Anirban BhattacharyyaNewcastle Universityncl.ac.uk의 이메일 확인됨
Ben MoszkowskiSenior Research Fellow, De Montfort Universitydmu.ac.uk의 이메일 확인됨

팔로우

Maciej Koutny

Newcastle University

ncl.ac.uk의 이메일 확인됨 - 홈페이지

Computing Science Petri Nets Concurrency Formal Methods


제목 서지정보순 정렬 연도순 정렬 제목순 정렬	인용 인용	연도
Opacity generalised to transition systems JW Bryans, M Koutny, L Mazaré, PYA Ryan International Journal of Information Security 7, 421-435, 2008	384	2008
Petri net algebra E Best, R Devillers, M Koutny Springer Science & Business Media, 2013	292	2013
Semantics of inhibitor nets R Janicki, M Koutny Information and Computation 123 (1), 1-16, 1995	211	1995
Modelling opacity using Petri nets JW Bryans, M Koutny, PYA Ryan Electronic Notes in Theoretical Computer Science 121, 101-115, 2005	196	2005
Structure of concurrency R Janicki, M Koutny Theoretical Computer Science 112 (1), 5-52, 1993	126	1993
Framed temporal logic programming Z Duan, X Yang, M Koutny Science of Computer Programming 70 (1), 31-61, 2008	124	2008
Petri net semantics of priority systems E Best, M Koutny Theoretical Computer Science 96 (1), 175-215, 1992	116	1992
Canonical prefixes of Petri net unfoldings V Khomenko, M Koutny, W Vogler Acta Informatica 40, 95-118, 2003	110	2003
Logic synthesis for asynchronous circuits based on STG unfoldings and incremental SAT V Khomenko, M Koutny, A Yakovlev Fundamenta Informaticae 70 (1-2), 49-73, 2006	91	2006
Towards a Petri net semantics for membrane systems JHCM Kleijn, M Koutny, G Rozenberg Membrane Computing: 6th International Workshop, WMC 2005, Vienna, Austria …, 2006	87	2006
Process semantics of general inhibitor nets HCM Kleijn, M Koutny Information and Computation 190 (1), 18-69, 2004	87	2004
Orchestrating the development lifecycle of machine learning-based IoT applications: A taxonomy and survey B Qian, J Su, Z Wen, DN Jha, Y Li, Y Guan, D Puthal, P James, R Yang, ... ACM Computing Surveys (CSUR) 53 (4), 1-47, 2020	81	2020
Detecting state encoding conflicts in STG unfoldings using SAT V Khomenko, M Koutny, A Yakovlev Fundamenta Informaticae 62 (2), 221-241, 2004	75	2004
Towards an efficient algorithm for unfolding Petri nets V Khomenko, M Koutny CONCUR 2001—Concurrency Theory: 12th International Conference Aalborg …, 2001	72	2001
A framed temporal logic programming language ZH Duan, M Koutny Journal of Computer Science and Technology 19 (3), 341-351, 2004	67	2004
Petri nets, process algebras and concurrent programming languages E Best, R Devillers, M Koutny Advanced Course on Petri Nets, 1-84, 1996	66	1996
Concurrent and maximally concurrent evolution of nonsequential systems R Janicki, PE Lauer, M Koutny, R Devillers Theoretical Computer Science 43, 213-238, 1986	65	1986
A refined view of the box algebra E Best, M Koutny Application and Theory of Petri Nets 1995: 16th International Conference …, 1995	64	1995
A compositional model of time Petri nets M Koutny Application and Theory of Petri Nets 2000: 21st International Conference …, 2000	63	2000
Branching processes of high-level Petri nets V Khomenko, M Koutny Tools and Algorithms for the Construction and Analysis of Systems: 9th …, 2003	62	2003

현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.

학술자료 1–20

연간 인용횟수

중복된 서지정보

병합된 서지정보

공동 저자 추가공동 저자

팔로우

인용

공동 저자