| 2022 | CONCUR | Slimming down Petri Boxes: Compact Petri Net Models of Control Flows. | Victor Khomenko, Maciej Koutny, Alex Yakovlev |
| 2019 | WISE | A Cost-Efficient Multi-cloud Orchestrator for Benchmarking Containerized Web-Applications. | Devki Nandan Jha, Zhenyu Wen, Yinhao Li, Michael Nee, Maciej Koutny, Rajiv Ranjan |
| 2018 | UC | Reaction Mining for Reaction Systems. | Artur Meski, Maciej Koutny, Wojciech Penczek |
| 2016 | ICTAC | Synthesis of Petri Nets with Whole-Place Operations and Localities. | Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny |
| 2016 | RC | Reversible Computation vs. Reversibility in Petri Nets. | Kamila Barylska, Maciej Koutny, Lukasz Mikulski, Marcin Piatkowski |
| 2016 | UC | Towards Quantitative Verification of Reaction Systems. | Artur Meski, Maciej Koutny, Wojciech Penczek |
| 2015 | LATA | Order Structures for Subclasses of Generalised Traces. | Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski |
| 2014 | CloudCom | Verifying Secure Information Flow in Federated Clouds. | Wen Zeng, Maciej Koutny, Paul Watson |
| 2014 | LATA | Interval Temporal Logic Semantics of Box Algebra. | Hanna Klaudel, Maciej Koutny, Zhenhua Duan |
| 2014 | TASE | Data Resources in Dynamic Environments. | Wen Zeng, Maciej Koutny |
| 2012 | FORTE | Behavioural Equivalences over Migrating Processes with Timers. | Bogdan Aman, Gabriel Ciobanu, Maciej Koutny |
| 2012 | SEFM | A Timed Mobility Semantics Based on Rewriting Strategies. | Gabriel Ciobanu, Maciej Koutny, L. Jason Steggles |
| 2011 | FM | Timed Migration and Interaction with Access Permissions. | Gabriel Ciobanu, Maciej Koutny |
| 2008 | FASE | Modelling and Verification of Timed Interaction and Migration. | Gabriel Ciobanu, Maciej Koutny |
| 2008 | ICTAC | Towards Efficient Verification of Systems with Dynamic Process Creation. | Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau |
| 2007 | ICTAC | Failures: Their Definition, Modelling and Analysis. | Brian Randell, Maciej Koutny |
| 2006 | CONCUR | Transition Systems of Elementary Net Systems with Localities. | Maciej Koutny, Marta Pietkiewicz-Koutny |
| 2006 | ICTAC | A Petri Net Translation of | Raymond Devillers, Hanna Klaudel, Maciej Koutny |
| 2005 | CONCUR | Merged Processes - A New Condensed Representation of Petri Net Behaviour. | Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler |
| 2005 | ICLP | Semantics of Framed Temporal Logic Programs. | Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny |
| 2004 | FORTE | Petri Net Semantics of the Finite pi-Calculus. | Raymond Devillers, Hanna Klaudel, Maciej Koutny |
| 2003 | TACAS | Branching Processes of High-Level Petri Nets. | Victor Khomenko, Maciej Koutny |
| 2002 | CAV | Canonical Prefixes of Petri Net Unfoldings. | Victor Khomenko, Maciej Koutny, Walter Vogler |
| 2002 | CONCUR | Causality Semantics of Petri Nets with Weighted Inhibitor Arcs. | H. C. M. Kleijn, Maciej Koutny |
| 2002 | DATE | Visualization of Partial Order Models in VLSI Design Flow. | Alexandre V. Bystrov, Maciej Koutny, Alexandre Yakovlev |
| 2002 | DATE | Detecting State Coding Conflicts in STGs Using Integer Programming. | Victor Khomenko, Maciej Koutny, Alexandre Yakovlev |
| 2002 | TACAS | Parallelisation of the Petri Net Unfolding Algorithm. | Keijo Heljanko, Victor Khomenko, Maciej Koutny |
| 2001 | CONCUR | Towards an Efficient Algorithm for Unfolding Petri Nets. | Victor Khomenko, Maciej Koutny |
| 2001 | FM | Verifying Implementation Relations. | Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo |
| 2000 | CONCUR | LP Deadlock Checking Using Partial Order Dependencies. | Victor Khomenko, Maciej Koutny |
| 1999 | STACS | A Model of Behaviour Abstraction for Communicating Processes. | Maciej Koutny, Giuseppe Pappalardo |
| 1995 | ICALP | Solving Recursive Net Equations. | Eike Best, Maciej Koutny |
| 1994 | CONCUR | Operational Semantics for the Petri Box Calculus. | Maciej Koutny, Javier Esparza, Eike Best |
| 1994 | LPAR | Projection in Temporal Logic Programming. | Zhenhua Duan, Maciej Koutny, Chris Holt |
| 1991 | CONCUR | Invariant Semantics of Nets with Inhibitor Arcs. | Ryszard Janicki, Maciej Koutny |
| 1991 | SRDS | Formalising Replicated Distributed Processing. | Maciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo |
| 1990 | CAV | Using Optimal Simulations to Reduce Reachability Graphs. | Ryszard Janicki, Maciej Koutny |
| 1988 | CONCUR | Adequacy-Preserving Transformations of COSY Path Programs. | Maciej Koutny |