Maciej Koutny

Citée par

	Toutes	Depuis 2016
Citations	4535	1154
indice h	33	16
indice i10	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 241 217 23

Coauteurs

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

Maciej Koutny

Newcastle University

Adresse e-mail validée de ncl.ac.uk - Page d'accueil

Computing Science Petri Nets Concurrency Formal Methods


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Opacity generalised to transition systems JW Bryans, M Koutny, L Mazaré, PYA Ryan International Journal of Information Security 7 (6), 421-435, 2008	296	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	129	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	59	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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Importer un PDF

Suivre les mises à jour de cet auteur

Citée par

Coauteurs