Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Maciej Koutny
2010 – today
- 2013
[j59]Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg: Step semantics of boolean nets. Acta Inf. 50(1): 15-39 (2013)- [j58]Jetty Kleijn, Maciej Koutny: Mutex Causality in Processes and Traces of General Elementary Nets. Fundam. Inform. 122(1-2): 119-146 (2013)
- [j57]Zhenhua Duan, Hanna Klaudel, Maciej Koutny: ITL semantics of composite Petri nets. J. Log. Algebr. Program. 82(2): 95-110 (2013)
- [j56]Zhenhua Duan, Nan Zhang, Maciej Koutny: A complete proof system for propositional projection temporal logic. Theor. Comput. Sci. 497: 84-107 (2013)
- [j55]Jetty Kleijn, Maciej Koutny: Causality in Extensions of Petri Nets. T. Petri Nets and Other Models of Concurrency 7: 225-254 (2013)
- [c80]Johnson Fernandes, Maciej Koutny, Marta Pietkiewicz-Koutny, Danil Sokolov, Alex Yakovlev: Step Persistence in the Design of GALS Systems. Petri Nets 2013: 190-209
- [c79]Maciej Koutny, Lukasz Mikulski, Marta Pietkiewicz-Koutny: A Taxonomy of Persistent and Nonviolent Steps. Petri Nets 2013: 210-229
- [c78]Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski: Causal Structures for General Concurrent Behaviours. CS&P 2013: 193-205
- [c77]Wen Zeng, Kaiyu Liu, Maciej Koutny: Cost-benefit analysis of digital rights management products using stochastic models. SpringSim (ANSS) 2013: 1
- [e8]Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf (Eds.): Transactions on Petri Nets and Other Models of Concurrency VII. Lecture Notes in Computer Science 7480, Springer 2013, ISBN 978-3-642-38142-3
- [e7]Maciej Koutny, Wil M. P. van der Aalst, Alex Yakovlev (Eds.): Transactions on Petri Nets and Other Models of Concurrency VIII. Lecture Notes in Computer Science 8100, Springer 2013, ISBN 978-3-642-40464-1
- 2012
- [j54]Jetty Kleijn, Maciej Koutny: Step coverability algorithms for communicating systems. Sci. Comput. Program. 77(7-8): 955-967 (2012)
- [j53]Jetty Kleijn, Maciej Koutny: Localities in systems with a/sync communication. Theor. Comput. Sci. 429: 185-192 (2012)
- [j52]Gabriel Ciobanu, Maciej Koutny: Modelling and analysis of biological systems: - Based on papers presented at the Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC) held in 2008 (Iasi), 2009 (Bologna) and 2010 (Jena). Theor. Comput. Sci. 431: 2-3 (2012)
- [j51]Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny: Regions of Petri nets with a/sync connections. Theor. Comput. Sci. 454: 189-198 (2012)
- [j50]Andrzej Ehrenfeucht, Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg: Minimal Reaction Systems. T. Comp. Sys. Biology 14: 102-122 (2012)
- [j49]Maciej Koutny, Marta Pietkiewicz-Koutny: Synthesis Problem for Petri Nets with Localities. T. Petri Nets and Other Models of Concurrency 5: 160-180 (2012)
- [c76]
- [c75]Andrzej Ehrenfeucht, Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg: Relevance of Entities in Reaction Systems. Languages Alive 2012: 44-55
- [c74]Bogdan Aman, Gabriel Ciobanu, Maciej Koutny: Behavioural Equivalences over Migrating Processes with Timers. FMOODS/FORTE 2012: 52-66
- [c73]Paolo Missier, Brian Randell, Maciej Koutny: Modelling Provenance Using Structured Occurrence Networks. IPAW 2012: 183-197
- [c72]Gabriel Ciobanu, Maciej Koutny, L. Jason Steggles: A Timed Mobility Semantics Based on Rewriting Strategies. SEFM 2012: 141-155
- [c71]Jeremy W. Bryans, Maciej Koutny, Chunyan Mu: Towards Quantitative Analysis of Opacity. TGC 2012: 145-163
- [c70]Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg: Membrane Systems and Petri Net Synthesis. MeCBIC 2012: 1-13
- [e6]Maciej Koutny, Irek Ulidowski (Eds.): CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings. Lecture Notes in Computer Science 7454, Springer 2012, ISBN 978-3-642-32939-5
- 2011
- [j48]Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg: Petri Nets for Biologically Motivated Computing. Sci. Ann. Comp. Sci. 21(2): 199-225 (2011)
- [j47]Jetty Kleijn, Maciej Koutny: Membrane Systems with Qualitative Evolution Rules. Fundam. Inform. 110(1-4): 217-230 (2011)
- [j46]Gabriel Ciobanu, Maciej Koutny: Timed Mobility in process algebra and Petri nets. J. Log. Algebr. Program. 80(7): 377-391 (2011)
- [c69]
- [c68]Jetty Kleijn, Maciej Koutny: Causality in Structured Occurrence Nets. Dependable and Historic Computing 2011: 283-297
- [c67]Gabriel Ciobanu, Maciej Koutny: Timed Migration and Interaction with Access Permissions. FM 2011: 293-307
- [i1]Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg: Petri Nets and Bio-Modelling - and how to benefit from their synergy. CoRR abs/1108.3422 (2011)
- 2010
- [j45]Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau: State Space Reduction for Dynamic Process Creation. Sci. Ann. Comp. Sci. 20: 131-157 (2010)
- [j44]Maciej Koutny, Marta Pietkiewicz-Koutny: Minimal Regions of ENL-Transition Systems. Fundam. Inform. 101(1-2): 45-58 (2010)
- [c66]Laura M. F. Bertens, Jetty Kleijn, Maciej Koutny, Fons J. Verbeek: Modelling Gradients using Petri Nets. ACSD/Petri Nets Workshops 2010: 39-53
- [c65]Maciej Koutny, Marta Pietkiewicz-Koutny: Synthesis of General Petri Nets with Localities. ACSD/Petri Nets Workshops 2010: 161-174
- [c64]
- [e5]Gabriel Ciobanu, Maciej Koutny (Eds.): Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010. EPTCS 40, 2010
- [e4]Kurt Jensen, Susanna Donatelli, Maciej Koutny (Eds.): Transactions on Petri Nets and Other Models of Concurrency IV. Lecture Notes in Computer Science 6550, Springer 2010, ISBN 978-3-642-18221-1
2000 – 2009
- 2009
- [j43]Maciej Koutny, Marta Pietkiewicz-Koutny: Synthesis of Petri Nets with Localities. Sci. Ann. Comp. Sci. 19: 1-23 (2009)
- [j42]Philippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny, Alexandre Yakovlev: Synthesis of Nets with Step Firing Policies. Fundam. Inform. 94(3-4): 275-303 (2009)
- [j41]Maciej Koutny, Brian Randell: Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques. Fundam. Inform. 97(1-2): 41-91 (2009)
- [j40]Jetty Kleijn, Maciej Koutny: A Petri net model for membrane systems with dynamic structure. Natural Computing 8(4): 781-796 (2009)
- [c63]Jetty Kleijn, Maciej Koutny: Applying Step Coverability Trees to Communicating Component-Based Systems. FSEN 2009: 178-193
- [c62]Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau: An approach to state space reduction for systems with dynamic process creation. ISCIS 2009: 543-548
- [e3]Kurt Jensen, Jonathan Billington, Maciej Koutny (Eds.): Transactions on Petri Nets and Other Models of Concurrency III. Lecture Notes in Computer Science 5800, Springer 2009, ISBN 978-3-642-04854-8
- 2008
- [j39]Raymond 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)
- [j38]Maciej Koutny, Marta Pietkiewicz-Koutny: Synthesis of Elementary Net Systems with Context Arcs and Localities. Fundam. Inform. 88(3): 307-328 (2008)
- [j37]Jeremy Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan: Opacity generalised to transition systems. Int. J. Inf. Sec. 7(6): 421-435 (2008)
- [j36]Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny: Framed temporal logic programming. Sci. Comput. Program. 70(1): 31-61 (2008)
- [j35]Jetty Kleijn, Maciej Koutny: Processes of membrane systems with promoters and inhibitors. Theor. Comput. Sci. 404(1-2): 112-126 (2008)
- [c61]Philippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny, Alexandre Yakovlev: Synthesis of Nets with Step Firing Policies. Petri Nets 2008: 112-131
- [c60]Gabriel Ciobanu, Maciej Koutny: Modelling and Verification of Timed Interaction and Migration. FASE 2008: 215-229
- [c59]Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau: Towards Efficient Verification of Systems with Dynamic Process Creation. ICTAC 2008: 186-200
- [p1]Jetty Kleijn, Maciej Koutny: Formal Languages and Concurrent Behaviours. New Developments in Formal Languages and Applications 2008: 125-182
- [e2]Jonathan Billington, Zhenhua Duan, Maciej Koutny (Eds.): 8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi'an, China, June 23-27, 2008. IEEE 2008, ISBN 978-1-4244-1838-1
- 2007
- [j34]Victor Khomenko, Maciej Koutny: Verification of bounded Petri nets using integer programming. Formal Methods in System Design 30(2): 143-176 (2007)
- [j33]Jetty Kleijn, Maciej Koutny: Processes of Petri Nets with Range Testing. Fundam. Inform. 80(1-3): 199-219 (2007)
- [c58]Raymond R. Devillers, Hanna Klaudel, Maciej Koutny: Modelling Mobility in High-level Petri Nets. ACSD 2007: 110-119
- [c57]Maciej Koutny, Marta Pietkiewicz-Koutny: Synthesis of Elementary Net Systems with Context Arcs and Localities. ICATPN 2007: 281-300
- [c56]Brian Randell, Maciej Koutny: Failures: Their Definition, Modelling and Analysis. ICTAC 2007: 260-274
- 2006
- [j32]Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler: Merged processes: a new condensed representation of Petri net behaviour. Acta Inf. 43(5): 307-330 (2006)
- [j31]Raymond 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)
- [j30]Victor 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)
- [j29]Raymond R. Devillers, Hanna Klaudel, Maciej Koutny: Petri Net Semantics of the Finite pi-calculus Terms. Fundam. Inform. 70(3): 203-226 (2006)
- [j28]Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg: Process Semantics for Membrane Systems. Journal of Automata, Languages and Combinatorics 11(3): 321-340 (2006)
- [c55]Maciej Koutny, Giuseppe Pappalardo, Marta Pietkiewicz-Koutny: Towards an Algebra of Abstractions for Communicating Processes. ACSD 2006: 239-250
- [c54]
- [c53]Maciej Koutny, Marta Pietkiewicz-Koutny: Transition Systems of Elementary Net Systems with Localities. CONCUR 2006: 173-187
- [c52]Raymond R. Devillers, Hanna Klaudel, Maciej Koutny: A Petri Net Translation of pi-Calculus Terms. ICTAC 2006: 138-152
- [c51]Jetty Kleijn, Maciej Koutny: Synchrony and Asynchrony in Membrane Systems. Workshop on Membrane Computing 2006: 66-85
- [c50]Alexei Iliasov, Victor Khomenko, Maciej Koutny, Alexander Romanovsky: On Specification and Verification of Location-Based Fault Tolerant Mobile Systems. RODIN Book 2006: 168-188
- 2005
- [j27]Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan: Modelling Opacity Using Petri Nets. Electr. Notes Theor. Comput. Sci. 121: 101-115 (2005)
- [c49]Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler: Merged Processes - A New Condensed Representation of Petri Net Behaviour. CONCUR 2005: 338-352
- [c48]Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny: Semantics of Framed Temporal Logic Programs. ICLP 2005: 356-370
- [c47]Jeremy Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan: Opacity Generalised to Transition Systems. Formal Aspects in Security and Trust 2005: 81-95
- [c46]Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg: Towards a Petri Net Semantics for Membrane Systems. Workshop on Membrane Computing 2005: 292-309
- 2004
- [j26]Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo: Relating Communicating Processes with Different Interfaces. Fundam. Inform. 59(1): 1-37 (2004)
- [j25]Victor Khomenko, Maciej Koutny, Alexandre Yakovlev: Detecting State Encoding Conflicts in STG Unfoldings Using SAT. Fundam. Inform. 62(2): 221-241 (2004)
- [j24]H. C. M. Kleijn, Maciej Koutny: Process semantics of general inhibitor nets. Inf. Comput. 190(1): 18-69 (2004)
- [j23]Zhenhua Duan, Maciej Koutny: A Framed Temporal Logic Programming Language. J. Comput. Sci. Technol. 19(3): 341-351 (2004)
- [c45]Victor Khomenko, Maciej Koutny, Alexandre Yakovlev: Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT. ACSD 2004: 16-25
- [c44]Raymond R. Devillers, Hanna Klaudel, Maciej Koutny: Context-based Process Algebras for Mobility. ACSD 2004: 79-88
- [c43]Raymond R. Devillers, Hanna Klaudel, Maciej Koutny: Petri Net Semantics of the Finite pi-Calculus. FORTE 2004: 309-325
- [c42]Jeremy 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
- 2003
- [j22]Victor Khomenko, Maciej Koutny, Walter Vogler: Canonical prefixes of Petri net unfoldings. Acta Inf. 40(2): 95-118 (2003)
- [j21]Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau: Asynchronous Box Calculus. Fundam. Inform. 54(4): 295-344 (2003)
- [c41]Eike Best, Maciej Koutny: Process Algebra: A Petri-Net-Oriented Tutorial. Lectures on Concurrency and Petri Nets 2003: 180-209
- [c40]Victor Khomenko, Maciej Koutny, Alexandre Yakovlev: Detecting State Coding Conflicts in STG Unfoldings Using SAT. ACSD 2003: 51-60
- [c39]
- 2002
- [j20]Eike Best, Raymond R. Devillers, Maciej Koutny: The Box Algebra = Petri Nets + Process Expressions. Inf. Comput. 178(1): 44-100 (2002)
- [c38]Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau: An Algebra of Non-safe Petri Boxes. AMAST 2002: 192-207
- [c37]Victor Khomenko, Maciej Koutny, Walter Vogler: Canonical Prefixes of Petri Net Unfoldings. CAV 2002: 582-595
- [c36]H. C. M. Kleijn, Maciej Koutny: Causality Semantics of Petri Nets with Weighted Inhibitor Arcs. CONCUR 2002: 531-546
- [c35]Victor Khomenko, Maciej Koutny, Alexandre Yakovlev: Detecting State Coding Conflicts in STGs Using Integer Programming. DATE 2002: 338-345
- [c34]Alexandre V. Bystrov, Maciej Koutny, Alexandre Yakovlev: Visualization of Partial Order Models in VLSI Design Flow. DATE 2002: 1089
- [c33]Keijo Heljanko, Victor Khomenko, Maciej Koutny: Parallelisation of the Petri Net Unfolding Algorithm. TACAS 2002: 371-385
- 2001
- [b1]Eike Best, Raymond R. Devillers, Maciej Koutny: Petri net algebra. Springer 2001, ISBN 978-3-540-67398-9, pp. I-XI, 1-378
- [j19]Eike Best, Raymond R. Devillers, Maciej Koutny: Recursion and Petri nets. Acta Inf. 37(11-12): 781-829 (2001)
- [j18]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)
- [j17]Maciej Koutny, Giuseppe Pappalardo: Behaviour Abstraction for Communicating Sequential Processes. Fundam. Inform. 48(1): 21-54 (2001)
- [c32]Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo: Implementing Communicating Processes in the Event of Interface Difference. ACSD 2001: 87-
- [c31]Victor Khomenko, Maciej Koutny: Towards an Efficient Algorithm for Unfolding Petri Nets. CONCUR 2001: 366-380
- [c30]Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo: Verifying Implementation Relations. FME 2001: 364-383
- [e1]José Manuel Colom, Maciej Koutny (Eds.): Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings. Lecture Notes in Computer Science 2075, Springer 2001, ISBN 3-540-42252-8
- 2000
- [c29]H. C. M. Kleijn, Maciej Koutny: Process Semantics of P/T-Nets with Inhibitor Arcs. ICATPN 2000: 261-281
- [c28]
- [c27]Victor Khomenko, Maciej Koutny: LP Deadlock Checking Using Partial Order Dependencies. CONCUR 2000: 410-425
1990 – 1999
- 1999
- [j16]Ryszard Janicki, Maciej Koutny: On Causality Semantics of Nets with Priorities. Fundam. Inform. 38(3): 223-255 (1999)
- [j15]
- [j14]Maciej Koutny, Eike Best: Operational and Denotational Semantics for the Box Algebra. Theor. Comput. Sci. 211(1-2): 1-83 (1999)
- [c26]Eike Best, Raymond R. Devillers, Maciej Koutny: The Box Algebra - A Model of Nets and Process Expressions. ICATPN 1999: 344-363
- [c25]Maciej Koutny, Giuseppe Pappalardo: A Model of Behaviour Abstraction for Communicating Processes. STACS 1999: 313-322
- 1998
- [c24]
- [c23]Martin Hesketh, Maciej Koutny: An Axiomatisation of Duplication Equivalence in the Petri Box Calculus. ICATPN 1998: 165-184
- 1997
- [j13]Ryszard Janicki, Maciej Koutny: Fundamentals of Modelling Concurrency Using Discrete Relational Structures. Acta Inf. 34(5): 367-388 (1997)
- [j12]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
- [c22]Eike Best, Raymond R. Devillers, Maciej Koutny: Petri Nets, Process Algebras and Concurrent Programming Languages. Petri Nets (2) 1996: 1-84
- 1995
- [j11]Eike Best, Maciej Koutny: Using net refinement to compute the fixpoint of a recursive. Electr. Notes Theor. Comput. Sci. 2: 27-28 (1995)
- [j10]
- [c21]Eike Best, Maciej Koutny: A Refined View of the Box Algebra. Application and Theory of Petri Nets 1995: 1-20
- [c20]
- [c19]Nikolay A. Anisimov, Maciej Koutny: On compositionality and Petri nets in protocol engineering. PSTV 1995: 71-86
- 1994
- [j9]Ryszard Janicki, Maciej Koutny: Representations of Discrete Interval Orders and Semi-Orders. Elektronische Informationsverarbeitung und Kybernetik 30(3): 161-168 (1994)
- [c18]Maciej Koutny: Partial Order Semantics of Box Expressions. Application and Theory of Petri Nets 1994: 318-337
- [c17]Maciej Koutny, Javier Esparza, Eike Best: Operational Semantics for the Petri Box Calculus. CONCUR 1994: 210-225
- [c16]Zhenhua Duan, Maciej Koutny, Chris Holt: Projection in Temporal Logic Programming. LPAR 1994: 333-344
- [c15]Ryszard Janicki, Maciej Koutny: Deriving Histories of Nets with Priority Relation. PARLE 1994: 623-634
- 1993
- [j8]
- [c14]Ryszard Janicki, Maciej Koutny: Order Structures and Generalisations of Szpilrajn's Theorem. FSTTCS 1993: 348-357
- [c13]Maciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo: Modelling Replicated Processing. PARLE 1993: 672-675
- 1992
- [j7]Maciej Koutny: Adequacy-Preserving Transformations of COSY Path Programs. Theor. Comput. Sci. 94(1): 141-158 (1992)
- [j6]Eike Best, Maciej Koutny: Petri Net Semantics of Priority Systems. Theor. Comput. Sci. 96(1): 175-174 (1992)
- [c12]Maciej Koutny: Modelling systems with dynamic priorities. Advances in Petri Nets: The DEMON Project 1992: 251-266
- 1991
- [j5]
- [c11]
- [c10]Ryszard Janicki, Maciej Koutny: Invariant Semantics of Nets with Inhibitor Arcs. CONCUR 1991: 317-331
- [c9]Ryszard Janicki, Maciej Koutny: Invariants and Paradigms of Concurrency Theory. PARLE (2) 1991: 59-74
- [c8]Maciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo: Formalising Replicated Distributed Processing. SRDS 1991: 108-117
- 1990
- [c7]Ryszard Janicki, Maciej Koutny: Optimal simulations, nets and reachability graphs. Applications and Theory of Petri Nets 1990: 205-226
- [c6]Ryszard Janicki, Maciej Koutny: Using Optimal Simulations to Reduce Reachability Graphs. CAV 1990: 166-175
1980 – 1989
- 1989
- [j4]Maciej Koutny, Luigi V. Mancini: Synchronizing events in replicated systems. Journal of Systems and Software 9(3): 183-190 (1989)
- [c5]Ryszard Janicki, Maciej Koutny: Towards A Theory Of Simulation For Verification Of Concurrent Systems. PARLE (2) 1989: 73-88
- 1988
- [c4]
- 1986
- [j3]
- [j2]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)
- [c3]Luigi V. Mancini, Maciej Koutny: Formal specification of N-modular redundancy. ACM Conference on Computer Science 1986: 199-204
- [c2]Ryszard Janicki, Maciej Koutny: On equivalent execution semantics of concurrent systems. European Workshop on Applications and Theory of Petri Nets 1986: 89-103
- 1985
- [j1]Wojciech Zakowski, Maciej Koutny: Identification of Regular Configurations with Partial Information. International Journal of Man-Machine Studies 22(5): 581-587 (1985)
- 1984
- [c1]Maciej Koutny: On the Merlin-Randell Problem of Train Journeys. Symposium on Programming 1984: 179-190
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:57 CEST by the dblp team