Maciej Koutny

Citado por

	Todos	Desde 2016
Citações	4566	1176
Índice h	33	16
Índice i10	108	32

280

140

210

1990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202123 20 32 25 27 35 33 35 37 70 48 84 115 142 104 103 185 208 231 233 191 276 266 258 233 233 202 225 241 241 216 44

Acesso público

Visualizar todos

15 artigos

7 artigos

disponível

não disponível

Com base nas autorizações de financiamento

Coautores

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

Maciej Koutny

Newcastle University

E-mail confirmado em ncl.ac.uk - Página inicial

Computing Science Petri Nets Concurrency Formal Methods


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
Opacity generalised to transition systems JW Bryans, M Koutny, L Mazaré, PYA Ryan International Journal of Information Security 7 (6), 421-435, 2008	300	2008
Petri net algebra E Best, R Devillers, M Koutny Springer Science & Business Media, 2013	264	2013
Semantics of inhibitor nets R Janicki, M Koutny Information and Computation 123 (1), 1-16, 1995	195	1995
Modelling opacity using Petri nets JW Bryans, M Koutny, PYA Ryan Electronic Notes in Theoretical Computer Science 121, 101-115, 2005	132	2005
Structure of concurrency R Janicki, M Koutny Theoretical Computer Science 112 (1), 5-52, 1993	108	1993
Framed temporal logic programming Z Duan, X Yang, M Koutny Science of Computer Programming 70 (1), 31-61, 2008	107	2008
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
Towards a Petri net semantics for membrane systems JHCM Kleijn, M Koutny, G Rozenberg International Workshop on Membrane Computing, 292-309, 2005	81	2005
Process semantics of general inhibitor nets HCM Kleijn, M Koutny Information and Computation 190 (1), 18-69, 2004	81	2004
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	78	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	69	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 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

O sistema não pode executar a operação agora. Tente novamente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações mescladas

Adicionar coautoresCoautores

Fazer upload de PDF

Seguir este autor

Citado por

Coautores