Maciej Koutny

Cited by

	All	Since 2017
Citations	4941	1329
h-index	34	17
i10-index	115	35

280

140

210

19901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220 18 33 25 28 37 36 36 47 68 52 91 117 133 95 109 189 205 235 233 199 266 259 259 225 241 206 227 236 246 213 219 183

Public access

View all

28 articles

10 articles

available

not available

Based on funding mandates

Co-authors

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
Łukasz MikulskiNicolaus Copernicus UniversityVerified email at mat.umk.pl
Marta Pietkiewicz-KoutnyLecturer, Newcastle UniversityVerified email at ncl.ac.uk
Grzegorz RozenbergProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
Zhenhua DuanProfessor of Computer Science, Xidian University, ChinaVerified email at mail.xidian.edu.cn
Wen ZengSenior Lecturer, De Montfort UniversityVerified email at dmu.ac.uk
DAVID DE FRUTOS ESCRIGUniv.Complutense de Madrid (Spain)Verified email at ucm.es
Wojciech PenczekProfessor of Computer Science, ICS PAS (Warsaw)Verified email at ipipan.waw.pl
Artur MeskiVector GB Limited; Institute of Computer Science, Polish Academy of SciencesVerified email at ipipan.waw.pl
Zhenyu WenZhejiang University of TechnologyVerified email at zjut.edu.cn
Rajiv RanjanDistinguished Professor, School's Chair, Fellow Academia Europaea and AAIA, Newcastle UniversityVerified email at ncl.ac.uk
Bowen LiSchool of Computing, Newcastle UniversityVerified email at ncl.ac.uk
Vasileios GermanosSenior Lecturer in Computer Science, De Montfort UniversityVerified email at dmu.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	341	2008
Petri net algebra E Best, R Devillers, M Koutny Springer Science & Business Media, 2013	283	2013
Semantics of inhibitor nets R Janicki, M Koutny Information and Computation 123 (1), 1-16, 1995	205	1995
Modelling opacity using Petri nets JW Bryans, M Koutny, PYA Ryan Electronic Notes in Theoretical Computer Science 121, 101-115, 2005	159	2005
Structure of concurrency R Janicki, M Koutny Theoretical Computer Science 112 (1), 5-52, 1993	118	1993
Framed temporal logic programming Z Duan, X Yang, M Koutny Science of Computer Programming 70 (1), 31-61, 2008	114	2008
Petri net semantics of priority systems E Best, M Koutny Theoretical Computer Science 96 (1), 175-215, 1992	106	1992
Canonical prefixes of Petri net unfoldings V Khomenko, M Koutny, W Vogler Acta Informatica 40 (2), 95-118, 2003	103	2003
Process semantics of general inhibitor nets HCM Kleijn, M Koutny Information and Computation 190 (1), 18-69, 2004	85	2004
Towards a Petri net semantics for membrane systems JHCM Kleijn, M Koutny, G Rozenberg International Workshop on Membrane Computing, 292-309, 2005	84	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	83	2006
Detecting state encoding conflicts in STG unfoldings using SAT V Khomenko, M Koutny, A Yakovlev Fundamenta Informaticae 62 (2), 221-241, 2004	73	2004
Towards an efficient algorithm for unfolding Petri nets V Khomenko, M Koutny International Conference on Concurrency Theory, 366-380, 2001	72	2001
Petri nets, process algebras and concurrent programming languages E Best, R Devillers, M Koutny Advanced Course on Petri Nets, 1-84, 1996	66	1996
A framed temporal logic programming language ZH Duan, M Koutny Journal of Computer Science and Technology 19 (3), 341-351, 2004	63	2004
Concurrent and maximally concurrent evolution of nonsequential systems R Janicki, PE Lauer, M Koutny, R Devillers Theoretical Computer Science 43, 213-238, 1986	63	1986
A refined view of the box algebra E Best, M Koutny International Conference on Application and Theory of Petri Nets, 1-20, 1995	62	1995
Parallelisation of the Petri net unfolding algorithm K Heljanko, V Khomenko, M Koutny International Conference on Tools and Algorithms for the Construction and …, 2002	60	2002
A compositional model of time Petri nets M Koutny International Conference on Application and Theory of Petri Nets, 303-322, 2000	56	2000
Branching processes of high-level Petri nets V Khomenko, M Koutny International Conference on Tools and Algorithms for the Construction and …, 2003	54	2003

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

Follow

Cited by

Co-authors