dblp.uni-trier.dewww.uni-trier.de

Maciej Koutny Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
102 Jonathan Billington, Zhenhua Duan, Maciej Koutny: 8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi'an, China, June 23-27, 2008 IEEE 2008
101EEGabriel Ciobanu, Maciej Koutny: Modelling and Verification of Timed Interaction and Migration. FASE 2008: 215-229
100EEHanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau: Towards Efficient Verification of Systems with Dynamic Process Creation. ICTAC 2008: 186-200
99EEPhilippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny, Alexandre Yakovlev: Synthesis of Nets with Step Firing Policies. Petri Nets 2008: 112-131
98EERaymond R. Devillers, Hanna Klaudel, Maciej Koutny: A compositional Petri net translation of general pi -calculus terms. Formal Asp. Comput. 20(4-5): 429-450 (2008)
97EEMaciej Koutny, Marta Pietkiewicz-Koutny: Synthesis of Elementary Net Systems with Context Arcs and Localities. Fundam. Inform. 88(3): 307-328 (2008)
96EEJeremy Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan: Opacity generalised to transition systems. Int. J. Inf. Sec. 7(6): 421-435 (2008)
95EEZhenhua Duan, Xiaoxiao Yang, Maciej Koutny: Framed temporal logic programming. Sci. Comput. Program. 70(1): 31-61 (2008)
94EEJetty Kleijn, Maciej Koutny: Processes of membrane systems with promoters and inhibitors. Theor. Comput. Sci. 404(1-2): 112-126 (2008)
2007
93EERaymond R. Devillers, Hanna Klaudel, Maciej Koutny: Modelling Mobility in High-level Petri Nets. ACSD 2007: 110-119
92EEMaciej Koutny, Marta Pietkiewicz-Koutny: Synthesis of Elementary Net Systems with Context Arcs and Localities. ICATPN 2007: 281-300
91EEBrian Randell, Maciej Koutny: Failures: Their Definition, Modelling and Analysis. ICTAC 2007: 260-274
90EEVictor Khomenko, Maciej Koutny: Verification of bounded Petri nets using integer programming. Formal Methods in System Design 30(2): 143-176 (2007)
89EEJetty Kleijn, Maciej Koutny: Processes of Petri Nets with Range Testing. Fundam. Inform. 80(1-3): 199-219 (2007)
2006
88EEMaciej Koutny, Giuseppe Pappalardo, Marta Pietkiewicz-Koutny: Towards an Algebra of Abstractions for Communicating Processes. ACSD 2006: 239-250
87EEMaciej Koutny, Marta Pietkiewicz-Koutny: Transition Systems of Elementary Net Systems with Localities. CONCUR 2006: 173-187
86EEH. C. M. Kleijn, Maciej Koutny: Infinite Process Semantics of Inhibitor Nets. ICATPN 2006: 282-301
85EERaymond R. Devillers, Hanna Klaudel, Maciej Koutny: A Petri Net Translation of pi-Calculus Terms. ICTAC 2006: 138-152
84EEAlexei Iliasov, Victor Khomenko, Maciej Koutny, Alexander Romanovsky: On Specification and Verification of Location-Based Fault Tolerant Mobile Systems. RODIN Book 2006: 168-188
83EEJetty Kleijn, Maciej Koutny: Synchrony and Asynchrony in Membrane Systems. Workshop on Membrane Computing 2006: 66-85
82EEVictor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler: Merged processes: a new condensed representation of Petri net behaviour. Acta Inf. 43(5): 307-330 (2006)
81EERaymond R. Devillers, Hanna Klaudel, Maciej Koutny: A Petri Net Semantics of a Simple Process Algebra for Mobility. Electr. Notes Theor. Comput. Sci. 154(3): 71-94 (2006)
80EEVictor Khomenko, Maciej Koutny, Alexandre Yakovlev: Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT. Fundam. Inform. 70(1-2): 49-73 (2006)
79EERaymond R. Devillers, Hanna Klaudel, Maciej Koutny: Petri Net Semantics of the Finite pi-calculus Terms. Fundam. Inform. 70(3): 203-226 (2006)
78 Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg: Process Semantics for Membrane Systems. Journal of Automata, Languages and Combinatorics 11(3): 321-340 (2006)
2005
77EEVictor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler: Merged Processes - A New Condensed Representation of Petri Net Behaviour. CONCUR 2005: 338-352
76EEJeremy Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan: Opacity Generalised to Transition Systems. Formal Aspects in Security and Trust 2005: 81-95
75EEZhenhua Duan, Xiaoxiao Yang, Maciej Koutny: Semantics of Framed Temporal Logic Programs. ICLP 2005: 356-370
74EEJetty Kleijn, Maciej Koutny, Grzegorz Rozenberg: Towards a Petri Net Semantics for Membrane Systems. Workshop on Membrane Computing 2005: 292-309
73EEJeremy Bryans, Maciej Koutny, Peter Y. A. Ryan: Modelling Opacity Using Petri Nets. Electr. Notes Theor. Comput. Sci. 121: 101-115 (2005)
2004
72EEVictor Khomenko, Maciej Koutny, Alexandre Yakovlev: Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT. ACSD 2004: 16-25
71EERaymond R. Devillers, Hanna Klaudel, Maciej Koutny: Context-based Process Algebras for Mobility. ACSD 2004: 79-88
70EERaymond R. Devillers, Hanna Klaudel, Maciej Koutny: Petri Net Semantics of the Finite pi-Calculus. FORTE 2004: 309-325
69EEJeremy Bryans, Maciej Koutny, Peter Y. A. Ryan: Modelling Dynamic Opacity Using Petri Nets with Silent Actions. Formal Aspects in Security and Trust 2004: 159-172
68EEJonathan Burton, Maciej Koutny, Giuseppe Pappalardo: Relating Communicating Processes with Different Interfaces. Fundam. Inform. 59(1): 1-37 (2004)
67EEVictor Khomenko, Maciej Koutny, Alexandre Yakovlev: Detecting State Encoding Conflicts in STG Unfoldings Using SAT. Fundam. Inform. 62(2): 221-241 (2004)
66EEH. C. M. Kleijn, Maciej Koutny: Process semantics of general inhibitor nets. Inf. Comput. 190(1): 18-69 (2004)
65EEZhenhua Duan, Maciej Koutny: A Framed Temporal Logic Programming Language. J. Comput. Sci. Technol. 19(3): 341-351 (2004)
2003
64EEVictor Khomenko, Maciej Koutny, Alexandre Yakovlev: Detecting State Coding Conflicts in STG Unfoldings Using SAT. ACSD 2003: 51-60
63EEEike Best, Maciej Koutny: Process Algebra: A Petri-Net-Oriented Tutorial. Lectures on Concurrency and Petri Nets 2003: 180-209
62EEVictor Khomenko, Maciej Koutny: Branching Processes of High-Level Petri Nets. TACAS 2003: 458-472
61EEVictor Khomenko, Maciej Koutny, Walter Vogler: Canonical prefixes of Petri net unfoldings. Acta Inf. 40(2): 95-118 (2003)
60EERaymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau: Asynchronous Box Calculus. Fundam. Inform. 54(4): 295-344 (2003)
2002
59EERaymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau: An Algebra of Non-safe Petri Boxes. AMAST 2002: 192-207
58EEVictor Khomenko, Maciej Koutny, Walter Vogler: Canonical Prefixes of Petri Net Unfoldings. CAV 2002: 582-595
57EEH. C. M. Kleijn, Maciej Koutny: Causality Semantics of Petri Nets with Weighted Inhibitor Arcs. CONCUR 2002: 531-546
56EEAlexandre V. Bystrov, Maciej Koutny, Alexandre Yakovlev: Visualization of Partial Order Models in VLSI Design Flow. DATE 2002: 1089
55EEVictor Khomenko, Maciej Koutny, Alexandre Yakovlev: Detecting State Coding Conflicts in STGs Using Integer Programming. DATE 2002: 338-345
54EEKeijo Heljanko, Victor Khomenko, Maciej Koutny: Parallelisation of the Petri Net Unfolding Algorithm. TACAS 2002: 371-385
53EEEike Best, Raymond R. Devillers, Maciej Koutny: The Box Algebra = Petri Nets + Process Expressions. Inf. Comput. 178(1): 44-100 (2002)
2001
52 José Manuel Colom, Maciej Koutny: Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings Springer 2001
51EEJonathan Burton, Maciej Koutny, Giuseppe Pappalardo: Implementing Communicating Processes in the Event of Interface Difference. ACSD 2001: 87-
50EEVictor Khomenko, Maciej Koutny: Towards an Efficient Algorithm for Unfolding Petri Nets. CONCUR 2001: 366-380
49EEJonathan Burton, Maciej Koutny, Giuseppe Pappalardo: Verifying Implementation Relations. FME 2001: 364-383
48EEEike Best, Raymond R. Devillers, Maciej Koutny: Recursion and Petri nets. Acta Inf. 37(11-12): 781-829 (2001)
47 Alan Burns, Andy J. Wellings, Frank P. Burns, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev: Modelling and verification of an atomic action protocol implemented in Ada. Comput. Syst. Sci. Eng. 16(3): 173-182 (2001)
46 Maciej Koutny, Giuseppe Pappalardo: Behaviour Abstraction for Communicating Sequential Processes. Fundam. Inform. 48(1): 21-54 (2001)
2000
45EEVictor Khomenko, Maciej Koutny: LP Deadlock Checking Using Partial Order Dependencies. CONCUR 2000: 410-425
44EEH. C. M. Kleijn, Maciej Koutny: Process Semantics of P/T-Nets with Inhibitor Arcs. ICATPN 2000: 261-281
43EEMaciej Koutny: A Compositional Model of Time Petri Nets. ICATPN 2000: 303-322
1999
42EEEike Best, Raymond R. Devillers, Maciej Koutny: The Box Algebra - A Model of Nets and Process Expressions. ICATPN 1999: 344-363
41EEMaciej Koutny, Giuseppe Pappalardo: A Model of Behaviour Abstraction for Communicating Processes. STACS 1999: 313-322
40 Ryszard Janicki, Maciej Koutny: On Causality Semantics of Nets with Priorities. Fundam. Inform. 38(3): 223-255 (1999)
39 Maciej Koutny: Peter Lauer and COSY. Fundam. Inform. 40(2-3): 103-107 (1999)
38EEMaciej Koutny, Eike Best: Operational and Denotational Semantics for the Box Algebra. Theor. Comput. Sci. 211(1-2): 1-83 (1999)
1998
37EERaymond R. Devillers, Maciej Koutny: Recursive Nets in the Box Algebra. ACSD 1998: 239-249
36EEMartin Hesketh, Maciej Koutny: An Axiomatisation of Duplication Equivalence in the Petri Box Calculus. ICATPN 1998: 165-184
1997
35 Ryszard Janicki, Maciej Koutny: Fundamentals of Modelling Concurrency Using Discrete Relational Structures. Acta Inf. 34(5): 367-388 (1997)
34 Maciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo: Two Implementation Relations and the Correctness of Communicating Replicated Processes. Formal Asp. Comput. 9(2): 119-148 (1997)
1996
33 Eike Best, Raymond R. Devillers, Maciej Koutny: Petri Nets, Process Algebras and Concurrent Programming Languages. Petri Nets (2) 1996: 1-84
1995
32EEEike Best, Maciej Koutny: A Refined View of the Box Algebra. Application and Theory of Petri Nets 1995: 1-20
31EEEike Best, Maciej Koutny: Solving Recursive Net Equations. ICALP 1995: 605-623
30 Nikolay A. Anisimov, Maciej Koutny: On compositionality and Petri nets in protocol engineering. PSTV 1995: 71-86
29EEEike Best, Maciej Koutny: Using net refinement to compute the fixpoint of a recursive. Electr. Notes Theor. Comput. Sci. 2: (1995)
28 Ryszard Janicki, Maciej Koutny: Semantics of Inhibitor Nets. Inf. Comput. 123(1): 1-16 (1995)
1994
27EEMaciej Koutny: Partial Order Semantics of Box Expressions. Application and Theory of Petri Nets 1994: 318-337
26EEMaciej Koutny, Javier Esparza, Eike Best: Operational Semantics for the Petri Box Calculus. CONCUR 1994: 210-225
25EEZhenhua Duan, Maciej Koutny, Chris Holt: Projection in Temporal Logic Programming. LPAR 1994: 333-344
24 Ryszard Janicki, Maciej Koutny: Deriving Histories of Nets with Priority Relation. PARLE 1994: 623-634
23 Ryszard Janicki, Maciej Koutny: Representations of Discrete Interval Orders and Semi-Orders. Elektronische Informationsverarbeitung und Kybernetik 30(3): 161-168 (1994)
1993
22EERyszard Janicki, Maciej Koutny: Order Structures and Generalisations of Szpilrajn's Theorem. FSTTCS 1993: 348-357
21EEMaciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo: Modelling Replicated Processing. PARLE 1993: 672-675
20 Ryszard Janicki, Maciej Koutny: Structure of Concurrency. Theor. Comput. Sci. 112(1): 5-52 (1993)
1992
19EEMaciej Koutny: Modelling systems with dynamic priorities. Advances in Petri Nets: The DEMON Project 1992: 251-266
18 Maciej Koutny: Adequacy-Preserving Transformations of COSY Path Programs. Theor. Comput. Sci. 94(1): 141-158 (1992)
17 Eike Best, Maciej Koutny: Petri Net Semantics of Priority Systems. Theor. Comput. Sci. 96(1): 175-174 (1992)
1991
16 Ryszard Janicki, Maciej Koutny: Structure of Concurrency. AMAST 1991: 98-107
15EERyszard Janicki, Maciej Koutny: Invariant Semantics of Nets with Inhibitor Arcs. CONCUR 1991: 317-331
14EERyszard Janicki, Maciej Koutny: Invariants and Paradigms of Concurrency Theory. PARLE (2) 1991: 59-74
13 Maciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo: Formalising Replicated Distributed Processing. SRDS 1991: 108-117
12 Maciej Koutny: Axiom system induced by CTL* Logic. Fundam. Inform. 14(2): 235-253 (1991)
1990
11EERyszard Janicki, Maciej Koutny: Optimal simulations, nets and reachability graphs. Applications and Theory of Petri Nets 1990: 205-226
10EERyszard Janicki, Maciej Koutny: Using Optimal Simulations to Reduce Reachability Graphs. CAV 1990: 166-175
1989
9EERyszard Janicki, Maciej Koutny: Towards A Theory Of Simulation For Verification Of Concurrent Systems. PARLE (2) 1989: 73-88
8EEMaciej Koutny, Luigi V. Mancini: Synchronizing events in replicated systems. Journal of Systems and Software 9(3): 183-190 (1989)
1988
7EEMaciej Koutny: Adequacy-Preserving Transformations of COSY Path Programs. Concurrency 1988: 368-379
1986
6EELuigi V. Mancini, Maciej Koutny: Formal specification of N-modular redundancy. ACM Conference on Computer Science 1986: 199-204
5EERyszard Janicki, Maciej Koutny: On equivalent execution semantics of concurrent systems. European Workshop on Applications and Theory of Petri Nets 1986: 89-103
4 Maciej Koutny: The Merlin-Randell Problem of Train Journeys. Acta Inf. 23(4): 429-463 (1986)
3 Ryszard Janicki, Peter E. Lauer, Maciej Koutny, Raymond R. Devillers: Concurrent and Maximally Concurrent Evolution of Nonsequential Systems. Theor. Comput. Sci. 43: 213-238 (1986)
1985
2 Wojciech Zakowski, Maciej Koutny: Identification of Regular Configurations with Partial Information. International Journal of Man-Machine Studies 22(5): 581-587 (1985)
1984
1 Maciej Koutny: On the Merlin-Randell Problem of Train Journeys. Symposium on Programming 1984: 179-190

Coauthor Index

1Nikolay A. Anisimov [30]
2Eike Best [17] [26] [29] [31] [32] [33] [38] [42] [48] [53] [63]
3Jonathan Billington [102]
4Jeremy Bryans [69] [73] [76] [96]
5Alan Burns [47]
6Frank P. Burns [47]
7Jonathan Burton [49] [51] [68]
8Alexandre V. Bystrov [56]
9Gabriel Ciobanu [101]
10José Manuel Colom [52]
11Philippe Darondeau [99]
12Raymond R. Devillers [3] [33] [37] [42] [48] [53] [59] [60] [70] [71] [79] [81] [85] [93] [98]
13Zhenhua Duan [25] [65] [75] [95] [102]
14Javier Esparza [26]
15Keijo Heljanko [54]
16Martin Hesketh [36]
17Chris Holt [25]
18Alexei Iliasov [84]
19Ryszard Janicki [3] [5] [9] [10] [11] [14] [15] [16] [20] [22] [23] [24] [28] [35] [40]
20Victor Khomenko [45] [50] [54] [55] [58] [61] [62] [64] [67] [72] [77] [80] [82] [84] [90]
21Hanna Klaudel [59] [60] [70] [71] [79] [81] [85] [93] [98] [100]
22Jetty Kleijn (H. C. M. Kleijn) [44] [57] [66] [74] [78] [83] [86] [89] [94]
23Albert Koelmans [47]
24Alex Kondratyev [77] [82]
25Peter E. Lauer [3]
26Luigi V. Mancini [6] [8] [13] [21] [34]
27Laurent Mazaré [76] [96]
28Giuseppe Pappalardo [13] [21] [34] [41] [46] [49] [51] [68] [88]
29Elisabeth Pelz [100]
30Marta Pietkiewicz-Koutny [87] [88] [92] [97] [99]
31Franck Pommereau [59] [60] [100]
32Brian Randell [91]
33Alexander Romanovsky (Alexander B. Romanovsky) [47] [84]
34Grzegorz Rozenberg [74] [78]
35Peter Y. A. Ryan (Peter Ryan) [69] [73] [76] [96]
36Walter Vogler [58] [61] [77] [82]
37Andy J. Wellings [47]
38Alexandre Yakovlev [47] [55] [56] [64] [67] [72] [80] [99]
39Xiaoxiao Yang [75] [95]
40Wojciech Zakowski [2]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)