The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Maciej Koutny: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  91. Synthesis of Nets with Step Firing Policies. [Citation Graph (, )][DBLP]


  92. Petri Nets with Localities and Testing. [Citation Graph (, )][DBLP]


  93. Modelling and Verification of Timed Interaction and Migration. [Citation Graph (, )][DBLP]


  94. Towards Efficient Verification of Systems with Dynamic Process Creation. [Citation Graph (, )][DBLP]


  95. An approach to state space reduction for systems with dynamic process creation. [Citation Graph (, )][DBLP]


  96. Applying Step Coverability Trees to Communicating Component-Based Systems. [Citation Graph (, )][DBLP]


Search in 0.057secs, Finished in 0.060secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002