Maciej Koutny

Citado por

	Total	Desde 2020
Citas	5707	1233
Índice h	38	16
Índice i10	130	29

300

150

225

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202529 21 26 26 40 47 34 47 82 52 93 131 139 109 107 192 211 252 238 196 269 262 261 222 236 201 223 236 261 204 210 286 246 275 11

Acceso público

Ver todo

24 artículos

10 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Ryszard JanickiProfessor, Department of Computing and Software, McMaster UniversityDirección de correo verificada de mcmaster.ca
Raymond Devillersuniversite libre de bruxellesDirección de correo verificada de ulb.ac.be
Łukasz MikulskiNicolaus Copernicus UniversityDirección de correo verificada de mat.umk.pl
Eike BestCarl von Ossietzky Universität OldenburgDirección de correo verificada de informatik.uni-oldenburg.de
Marta Pietkiewicz-KoutnyLecturer, Newcastle UniversityDirección de correo verificada de ncl.ac.uk
Grzegorz RozenbergProfessor of Computer Science, Leiden UniversityDirección de correo verificada de liacs.leidenuniv.nl
Zhenhua DuanProfessor of Computer Science, Xidian University, ChinaDirección de correo verificada de mail.xidian.edu.cn
Wen ZengSenior Lecturer, De Montfort UniversityDirección de correo verificada de dmu.ac.uk
Zhenyu WenZhejiang University of TechnologyDirección de correo verificada de zjut.edu.cn
Prof. Rajiv Ranjan, MAE, FIEEE, FAIAANewcastle University Director (National Edge AI Hub and International EV Security Centre)Dirección de correo verificada de newcastle.ac.uk
Wojciech PenczekProfessor of Computer Science, ICS PAS (Warsaw)Dirección de correo verificada de ipipan.waw.pl
Artur MeskiVector GB Limited; Institute of Computer Science, Polish Academy of SciencesDirección de correo verificada de ipipan.waw.pl
DAVID DE FRUTOS ESCRIGUniv.Complutense de Madrid (Spain)Dirección de correo verificada de ucm.es
Bowen LiResearch Software Engineer, Newcastle UniversityDirección de correo verificada de ncl.ac.uk
Vasileios GermanosSenior Lecturer in Computer Science, De Montfort UniversityDirección de correo verificada de dmu.ac.uk
Evgeny ErofeevUniversity of OldenburgDirección de correo verificada de informatik.uni-oldenburg.de
Anirban BhattacharyyaNewcastle UniversityDirección de correo verificada de ncl.ac.uk
Ben MoszkowskiSenior Research Fellow, De Montfort UniversityDirección de correo verificada de dmu.ac.uk

Seguir

Maciej Koutny

Newcastle University

Dirección de correo verificada de ncl.ac.uk - Página principal

Computing Science Petri Nets Concurrency Formal Methods


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Opacity generalised to transition systems JW Bryans, M Koutny, L Mazaré, PYA Ryan International Journal of Information Security 7, 421-435, 2008	404	2008
Petri net algebra E Best, R Devillers, M Koutny Springer Science & Business Media, 2013	312	2013
Semantics of inhibitor nets R Janicki, M Koutny Information and Computation 123 (1), 1-16, 1995	223	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	113	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	103	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	97	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	94	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	82	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores