Maciej Koutny

Cited by

	All	Since 2016
Citations	4528	1147
h-index	33	16
i10-index	107	31

280

140

210

1990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202123 20 32 25 27 35 33 35 37 70 48 84 115 142 104 103 184 206 231 235 190 274 264 256 233 233 201 225 241 242 216 16

Co-authors

H.C.M. KleijnLIACS, Universiteit LeidenVerified email at liacs.leidenuniv.nl
Ryszard JanickiProfessor, Department of Computing and Software, McMaster UniversityVerified email at mcmaster.ca
Raymond Devillersuniversite libre de bruxellesVerified email at ulb.ac.be
Eike BestUniversität OldenburgVerified email at informatik.uni-oldenburg.de
Marta Pietkiewicz-KoutnyLecturer, Newcastle UniversityVerified email at ncl.ac.uk
Grzegorz RozenbergProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
Łukasz MikulskiNicolaus Copernicus UniversityVerified email at mat.umk.pl
Zhenhua DuanProfessor of Computer Science, Xidian University, ChinaVerified email at mail.xidian.edu.cn
Wen ZengDe Montfort UniversityVerified email at dmu.ac.uk
Wojciech PenczekProfessor of Computer Science, ICS PAS (Warsaw)Verified email at ipipan.waw.pl
DAVID DE FRUTOS ESCRIGUniv.Complutense de Madrid (Spain)Verified email at ucm.es
Artur MeskiVector GB Limited; Institute of Computer Science, Polish Academy of SciencesVerified email at ipipan.waw.pl
Bowen LiSchool of Computing, Newcastle UniversityVerified email at ncl.ac.uk
Vasileios GermanosLecturer in Computer Science, De Montfort UniversityVerified email at dmu.ac.uk
Zhenyu WenNewcastle UniversityVerified email at newcastle.ac.uk
Rajiv RanjanDistinguished Professor and Academic Director, School of Computing, Newcastle University, UKVerified email at ncl.ac.uk
Evgeny ErofeevUniversity of OldenburgVerified email at informatik.uni-oldenburg.de
Ben MoszkowskiSenior Research Fellow, De Montfort UniversityVerified email at dmu.ac.uk
Anirban BhattacharyyaNewcastle UniversityVerified email at ncl.ac.uk

Maciej Koutny

Newcastle University

Verified email at ncl.ac.uk - Homepage

Computing Science Petri Nets Concurrency Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Opacity generalised to transition systems JW Bryans, M Koutny, L Mazaré, PYA Ryan International Journal of Information Security 7 (6), 421-435, 2008	295	2008
Petri net algebra E Best, R Devillers, M Koutny Springer Science & Business Media, 2013	262	2013
Semantics of inhibitor nets R Janicki, M Koutny Information and Computation 123 (1), 1-16, 1995	194	1995
Modelling opacity using Petri nets JW Bryans, M Koutny, PYA Ryan Electronic Notes in Theoretical Computer Science 121, 101-115, 2005	128	2005
Framed temporal logic programming Z Duan, X Yang, M Koutny Science of Computer Programming 70 (1), 31-61, 2008	106	2008
Structure of concurrency R Janicki, M Koutny Theoretical Computer Science 112 (1), 5-52, 1993	106	1993
Petri net semantics of priority systems E Best, M Koutny Theoretical Computer Science 96 (1), 175-215, 1992	99	1992
Canonical prefixes of Petri net unfoldings V Khomenko, M Koutny, W Vogler Acta Informatica 40 (2), 95-118, 2003	97	2003
Process semantics of general inhibitor nets HCM Kleijn, M Koutny Information and Computation 190 (1), 18-69, 2004	81	2004
Towards a Petri net semantics for membrane systems JHCM Kleijn, M Koutny, G Rozenberg International Workshop on Membrane Computing, 292-309, 2005	79	2005
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	76	2006
Towards an efficient algorithm for unfolding Petri nets V Khomenko, M Koutny International Conference on Concurrency Theory, 366-380, 2001	73	2001
Detecting state encoding conflicts in STG unfoldings using SAT V Khomenko, M Koutny, A Yakovlev Fundamenta Informaticae 62 (2), 221-241, 2004	68	2004
Petri nets, process algebras and concurrent programming languages E Best, R Devillers, M Koutny Advanced Course on Petri Nets, 1-84, 1996	65	1996
A framed temporal logic programming language ZH Duan, M Koutny Journal of Computer Science and Technology 19 (3), 341-351, 2004	60	2004
Parallelisation of the Petri net unfolding algorithm K Heljanko, V Khomenko, M Koutny International Conference on Tools and Algorithms for the Construction and …, 2002	58	2002
A refined view of the box algebra E Best, M Koutny International Conference on Application and Theory of Petri Nets, 1-20, 1995	57	1995
Concurrent and maximally concurrent evolution of nonsequential systems R Janicki, PE Lauer, M Koutny, R Devillers Theoretical Computer Science 43, 213-238, 1986	57	1986
Branching processes of high-level Petri nets V Khomenko, M Koutny International Conference on Tools and Algorithms for the Construction and …, 2003	53	2003
A compositional model of time Petri nets M Koutny International Conference on Application and Theory of Petri Nets, 303-322, 2000	53	2000

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors