Maciej Koutny

Cited by

	All	Since 2019
Citations	5682	1479
h-index	38	17
i10-index	130	39

300

150

225

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202429 21 26 26 40 47 34 47 80 54 93 131 139 102 111 192 211 249 238 195 268 263 262 221 235 201 225 234 261 205 210 284 245 268

Public access

View all

24 articles

11 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
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
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
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
Anirban BhattacharyyaNewcastle UniversityVerified email at ncl.ac.uk
Ben MoszkowskiSenior Research Fellow, De Montfort UniversityVerified email at dmu.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	403	2008
Petri net algebra E Best, R Devillers, M Koutny Springer Science & Business Media, 2013	311	2013
Semantics of inhibitor nets R Janicki, M Koutny Information and Computation 123 (1), 1-16, 1995	222	1995
Modelling opacity using Petri nets JW Bryans, M Koutny, PYA Ryan Electronic Notes in Theoretical Computer Science 121, 101-115, 2005	215	2005
Structure of concurrency R Janicki, M Koutny Theoretical Computer Science 112 (1), 5-52, 1993	137	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	112	2003
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	102	2020
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	96	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	92	2006
Process semantics of general inhibitor nets HCM Kleijn, M Koutny Information and Computation 190 (1), 18-69, 2004	91	2004
Detecting state encoding conflicts in STG unfoldings using SAT V Khomenko, M Koutny, A Yakovlev Fundamenta Informaticae 62 (2), 221-241, 2004	79	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
A refined view of the box algebra E Best, M Koutny Application and Theory of Petri Nets 1995: 16th International Conference …, 1995	66	1995
Branching processes of high-level Petri nets V Khomenko, M Koutny Tools and Algorithms for the Construction and Analysis of Systems: 9th …, 2003	65	2003
A compositional model of time Petri nets M Koutny Application and Theory of Petri Nets 2000: 21st International Conference …, 2000	65	2000
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

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