Maciej Koutny

Cited by

	All	Since 2019
Citations	5561	1401
h-index	37	16
i10-index	129	34

300

150

225

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202429 21 26 26 40 47 34 47 80 54 93 128 139 102 111 192 211 249 238 194 269 263 261 220 235 201 225 233 258 206 216 284 245 188

Public access

View all

21 articles

14 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
Łukasz MikulskiNicolaus Copernicus UniversityVerified email at mat.umk.pl
Eike BestCarl von Ossietzky Universitä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
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
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
Prof. Rajiv Ranjan, MAE, FIEEE, FAIAANewcastle University Director (National Edge AI Hub and International EV Security Centre)Verified email at newcastle.ac.uk
DAVID DE FRUTOS ESCRIGUniv.Complutense de Madrid (Spain)Verified email at ucm.es
Bowen LiResearch Software Engineer, 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, 421-435, 2008	395	2008
Petri net algebra E Best, R Devillers, M Koutny Springer Science & Business Media, 2013	304	2013
Semantics of inhibitor nets R Janicki, M Koutny Information and Computation 123 (1), 1-16, 1995	219	1995
Modelling opacity using Petri nets JW Bryans, M Koutny, PYA Ryan Electronic Notes in Theoretical Computer Science 121, 101-115, 2005	204	2005
Structure of concurrency R Janicki, M Koutny Theoretical Computer Science 112 (1), 5-52, 1993	135	1993
Framed temporal logic programming Z Duan, X Yang, M Koutny Science of Computer Programming 70 (1), 31-61, 2008	123	2008
Petri net semantics of priority systems E Best, M Koutny Theoretical Computer Science 96 (1), 175-215, 1992	117	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	95	2006
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	94	2020
Process semantics of general inhibitor nets HCM Kleijn, M Koutny Information and Computation 190 (1), 18-69, 2004	91	2004
Towards a Petri net semantics for membrane systems JHCM Kleijn, M Koutny, G Rozenberg Membrane Computing: 6th International Workshop, WMC 2005, Vienna, Austria …, 2006	88	2006
Detecting state encoding conflicts in STG unfoldings using SAT V Khomenko, M Koutny, A Yakovlev Fundamenta Informaticae 62 (2), 221-241, 2004	78	2004
Towards an efficient algorithm for unfolding Petri nets V Khomenko, M Koutny CONCUR 2001—Concurrency Theory: 12th International Conference Aalborg …, 2001	73	2001
A framed temporal logic programming language ZH Duan, M Koutny Journal of Computer Science and Technology 19 (3), 341-351, 2004	66	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 compositional model of time Petri nets M Koutny Application and Theory of Petri Nets 2000: 21st International Conference …, 2000	64	2000
A refined view of the box algebra E Best, M Koutny Application and Theory of Petri Nets 1995: 16th International Conference …, 1995	64	1995
Branching processes of high-level Petri nets V Khomenko, M Koutny Tools and Algorithms for the Construction and Analysis of Systems: 9th …, 2003	63	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