フォロー
Maciej Koutny
Maciej Koutny
Newcastle University
確認したメール アドレス: ncl.ac.uk - ホームページ
タイトル
引用先
引用先
年
Opacity generalised to transition systems
JW Bryans, M Koutny, L Mazaré, PYA Ryan
International Journal of Information Security 7, 421-435, 2008
4042008
Petri net algebra
E Best, R Devillers, M Koutny
Springer Science & Business Media, 2013
3122013
Semantics of inhibitor nets
R Janicki, M Koutny
Information and Computation 123 (1), 1-16, 1995
2231995
Modelling opacity using Petri nets
JW Bryans, M Koutny, PYA Ryan
Electronic Notes in Theoretical Computer Science 121, 101-115, 2005
2152005
Structure of concurrency
R Janicki, M Koutny
Theoretical Computer Science 112 (1), 5-52, 1993
1371993
Framed temporal logic programming
Z Duan, X Yang, M Koutny
Science of Computer Programming 70 (1), 31-61, 2008
1232008
Petri net semantics of priority systems
E Best, M Koutny
Theoretical Computer Science 96 (1), 175-215, 1992
1171992
Canonical prefixes of Petri net unfoldings
V Khomenko, M Koutny, W Vogler
Acta Informatica 40, 95-118, 2003
1132003
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
1032020
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
972006
Towards a Petri net semantics for membrane systems
JHCM Kleijn, M Koutny, G Rozenberg
Membrane Computing: 6th International Workshop, WMC 2005, Vienna, Austria …, 2006
942006
Process semantics of general inhibitor nets
HCM Kleijn, M Koutny
Information and Computation 190 (1), 18-69, 2004
912004
Detecting state encoding conflicts in STG unfoldings using SAT
V Khomenko, M Koutny, A Yakovlev
Fundamenta Informaticae 62 (2), 221-241, 2004
822004
Towards an efficient algorithm for unfolding Petri nets
V Khomenko, M Koutny
CONCUR 2001—Concurrency Theory: 12th International Conference Aalborg …, 2001
732001
A framed temporal logic programming language
ZH Duan, M Koutny
Journal of Computer Science and Technology 19 (3), 341-351, 2004
662004
Petri nets, process algebras and concurrent programming languages
E Best, R Devillers, M Koutny
Advanced Course on Petri Nets, 1-84, 1996
661996
A refined view of the box algebra
E Best, M Koutny
Application and Theory of Petri Nets 1995: 16th International Conference …, 1995
661995
Branching processes of high-level Petri nets
V Khomenko, M Koutny
Tools and Algorithms for the Construction and Analysis of Systems: 9th …, 2003
652003
A compositional model of time Petri nets
M Koutny
Application and Theory of Petri Nets 2000: 21st International Conference …, 2000
652000
Concurrent and maximally concurrent evolution of nonsequential systems
R Janicki, PE Lauer, M Koutny, R Devillers
Theoretical Computer Science 43, 213-238, 1986
651986
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20