Professor Maciej Koutny Dr Lukasz Mikulski
 Interval Traces with Mutex Relation  2023 

Dr Victor Khomenko Professor Maciej Koutny Professor Alex Yakovlev
 Avoiding Exponential Explosion in Petri Net Models of Control Flows  2022 

Professor Maciej Koutny Dr Lukasz Mikulski
 Investigating Reversibility of Steps in Petri Nets  2022 

Dr Victor Khomenko Professor Maciej Koutny Professor Alex Yakovlev
 Slimming Down Petri Boxes: Compact Petri Net Models of Control Flows  2022 

Dr Aishah Ahmed Professor Maciej Koutny Dr Marta Koutny
 Synthesising Elementary Net Systems with Localities  2022 

Professor Maciej Koutny Dr Marta Koutny Professor Alex Yakovlev
 Asynchrony and Persistence in Reaction Systems  2021 

Wen Zeng Professor Maciej Koutny
 Quantitative Analysis of Opacity in Cloud Computing Systems  2021 

Professor Maciej Koutny Dr Lukasz Mikulski
 Relational structures for concurrent behaviours  2021 

Nadiyah Almutairi Professor Maciej Koutny
 Verification of communication structured acyclic nets using SAT  2021 

Bin Qian Dr Jie Su Dr Zhenyu Wen Devki Jha Yinhao Li et al.  Orchestrating the Development Lifecycle of Machine Learningbased IoT Applications: A Taxonomy and Survey  2020 

Professor Maciej Koutny
 Plugin Context Providers for Reaction Systems  2020 

Professor Henriette Kleijn Professor Maciej Koutny
 Plugin context providers for reaction systems  2020 

Professor Maciej Koutny
 Preface [to A Mosaic of Computational Topics: from Classical to Novel, Special Issue Dedicated to Jetty Kleijn on the Occasion of Her 65th Birthday]  2020 

Professor Henriette Kleijn Professor Maciej Koutny Dr Lukasz Mikulski
 Reaction Systems and Enabling Equivalence  2020 

Artur Meski Professor Maciej Koutny
 Model Checking for TemporalEpistemic Properties of Distributed Reaction Systems  2019 

Professor Maciej Koutny Dr Lukasz Mikulski
 Classifying Invariant Structures of Step Traces  2019 

Talal Alharbi Professor Maciej Koutny
 Domain Name System (DNS) tunnelling detection using Structured Occurrence Nets (SONs)  2019 

Professor Maciej Koutny Dr Ben Moszkowski
 From Box Algebra to Interval Temporal Logic  2019 

Dr Wen Zeng Professor Maciej Koutny
 Modelling and analysis of corporate efficiency and productivity loss associated with enterprise information security technologies  2019 

Professor Maciej Koutny
 Operational Semantics, Interval Orders and Sequences of Antichains  2019 

Professor Maciej Koutny Dr Lukasz Mikulski
 Reversing Steps in Petri Nets  2019 

Professor Maciej Koutny Dr Lukasz Mikulski
 An efficient characterization of petri net solvable binary words  2018 

Artur Meski Professor Maciej Koutny
 Reaction mining for reaction systems  2018 

Professor Maciej Koutny Dr Lukasz Mikulski
 Reaction Systems, Transition Systems, and Equivalences  2018 

Professor Maciej Koutny Dr Lukasz Mikulski
 Reversible computation vs. reversibility in Petri nets  2018 

Professor Maciej Koutny Dr Lukasz Mikulski
 Reversing Transitions in Bounded Petri Nets  2018 

Dr Bowen Li Professor Brian Randell Dr Anirban Bhattacharyya Talal Alharbi Professor Maciej Koutny et al.  SONCraft: A Tool for Construction, Simulation and Analysis of Structured Occurrence Nets  2018 

Professor Maciej Koutny
 Transactions on Petri Nets and Other Models of Concurrency XIII  2018 

Talal Alharbi Professor Maciej Koutny
 Visualising data sets in structured occurrence nets  2018 

Professor Maciej Koutny Dr Marta Koutny
 Adding a/sync Places to the Synthesis Procedure for Wholeplace Operations Nets with Localities  2017 

Professor Maciej Koutny Dr Lukasz Mikulski
 Alphabets of Acyclic Invariant Structures  2017 

Professor Maciej Koutny Dr Lukasz Mikulski Dr Marta Koutny
 An Extension of the Taxonomy of Persistent and Nonviolent Steps  2017 

Professor Maciej Koutny Dr Marta Koutny
 Applying Regions  2017 

Professor Maciej Koutny
 Evolving Reaction Systems  2017 

Professor Henriette Kleijn Professor Maciej Koutny Dr Lukasz Mikulski
 Invariant Structures and Dependence Relations  2017 

Professor Maciej Koutny
 Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu  2017 

Professor Maciej Koutny Dr Lukasz Mikulski
 On Synthesising Step Alphabets for Acyclic Invariant Structures  2017 

Professor Maciej Koutny Dr Marta Koutny
 Signal Set Tissue Systems and Overlapping Localities  2017 

Dr Anirban Bhattacharyya Professor Maciej Koutny Professor Brian Randell
 Towards a Framework for Monotonic Approximations  2017 

Artur Meski Professor Maciej Koutny
 Verification of LinearTime Temporal Properties for Reaction Systems with Discrete Concentrations  2017 

Wen Zeng Professor Maciej Koutny Professor Paul Watson Vasileios Germanos
 Formal Verification of Secure Information Flow in Cloud Computing  2016 

Professor Maciej Koutny Dr Ben Moszkowski
 From Petri Nets with Shared Variables to ITL  2016 

Professor Maciej Koutny
 Modeling biological gradient formation: combining partial differential equations and Petri nets  2016 

Professor Maciej Koutny
 Preface by editorinchief  2016 

Professor Maciej Koutny Dr Lukasz Mikulski
 Reversible Computation vs. Reversibility in Petri Nets  2016 

Dr Bowen Li Professor Maciej Koutny Professor Brian Randell
 SONCraft: A Tool for Construction, Simulation and Verification of Structured Occurrence Nets  2016 

Professor Maciej Koutny Dr Lukasz Mikulski
 Step Traces  2016 

Professor Henriette Kleijn Professor Maciej Koutny Dr Marta Koutny
 Synthesis of Petri Nets With Wholeplace Operations and Localities  2016 

Artur Meski Professor Maciej Koutny
 Towards Quantitative Verification of Reaction Systems  2016 

Professor Maciej Koutny
 Transactions on petri nets and other models of concurrency XII  2016 

Dr Bowen Li Professor Maciej Koutny
 Unfolding CSPTnets  2015 

Professor Maciej Koutny Dr Lukasz Mikulski
 Characterising Concurrent Histories  2015 

Professor Maciej Koutny
 NonAtomic Transition Firing in Contextual Nets  2015 

Dr Wen Zeng Professor Maciej Koutny Professor Paul Watson
 Opacity in Internet of Things with Cloud Computing  2015 

Professor Maciej Koutny Dr Lukasz Mikulski
 Order Structures for Subclasses of Generalised Traces  2015 

Johnson Fernandes Professor Maciej Koutny Dr Lukasz Mikulski Dr Marta Koutny Dr Danil Sokolov et al.  Persistent and Nonviolent Steps and the Design of GALS Systems  2015 

Professor Gabriel Ciobanu Professor Maciej Koutny
 PerTiMo: A Model of Spatial Migration with Safe Access Permissions  2015 

Professor Gabriel Ciobanu Professor Maciej Koutny Dr Jason Steggles
 Strategy based semantics for mobility with time and access permissions  2015 

Professor Maciej Koutny
 Tissue Systems and Petri Net Synthesis  2015 

Professor Maciej Koutny
 Transactions on Petri Nets and Other Models of Concurrency X  2015 

Dr Bowen Li Professor Maciej Koutny
 Unfolding CSPTnets  2015 

Dr Bowen Li Professor Maciej Koutny
 Unfolding CSPTnets  2015 

Wen Zeng Professor Maciej Koutny Professor Paul Watson
 A Flow Sensitive Security Model for Cloud Computing Systems  2014 

Wen Zeng Professor Maciej Koutny
 Data Resources in Dynamic Environment  2014 

Dr Lukasz Mikulski Professor Maciej Koutny
 Folded Hasse diagrams of combined traces  2014 

Professor Maciej Koutny Dr Lukasz Mikulski
 Generalising Traces  2014 

Professor Maciej Koutny
 Interval Temporal Logic Semantics of Box Algebra  2014 

Professor Maciej Koutny Dr Lukasz Mikulski
 Order Structures for Subclasses of Generalised Traces  2014 

Wen Zeng Professor Maciej Koutny Professor Aad van Moorsel
 Performance Modelling and Evaluation of Enterprise Information Security Technologies  2014 

Professor Maciej Koutny Dr Marta Koutny
 Tissue Systems and Petri Net Synthesis  2014 

Professor Maciej Koutny Professor Alex Yakovlev
 Transactions on petri nets and other models of concurrency IX  2014 

Wen Zeng Professor Maciej Koutny Professor Paul Watson
 Verifying Secure Information Flow in Federated Clouds  2014 

Professor Maciej Koutny
 A complete proof system for propositional projection temporal logic  2013 

Wen Zeng Dr Chunyan Mu Professor Maciej Koutny
 A Flow Sensitive Security Model for Cloud Computing Systems  2013 

Professor Maciej Koutny Dr Lukasz Mikulski Dr Marta Koutny
 A Taxonomy of Persistent and Nonviolent Steps  2013 

Professor Maciej Koutny Dr Lukasz Mikulski
 Causal Structures for General Concurrent Behaviours  2013 

Professor Maciej Koutny Dr Lukasz Mikulski
 Causal Structures for General Concurrent Behaviours  2013 

Professor Maciej Koutny
 Causality in Extensions of Petri Nets  2013 

Wen Zeng Professor Maciej Koutny
 Costbenefit analysis of Digital Rights Management products using stochastic models  2013 

Professor Maciej Koutny
 Interval Temporal Logic Semantics of Box Algebra  2013 

Professor Maciej Koutny
 ITL semantics of composite Petri nets  2013 

Professor Maciej Koutny
 Modeling biological gradient formation: combining partial differential equations and Petri nets  2013 

Professor Maciej Koutny
 Mutex Causality in Processes and Traces of General Elementary Nets  2013 

Johnson Fernandes Professor Maciej Koutny Dr Lukasz Mikulski Dr Marta Koutny Dr Danil Sokolov et al.  Persistent and Nonviolent Steps and the Design of GALS Systems  2013 

Johnson Fernandes Professor Maciej Koutny Dr Marta Koutny Dr Danil Sokolov Professor Alex Yakovlev et al.  Step Persistence in the Design of GALS Systems  2013 

Professor Maciej Koutny Dr Marta Koutny
 Step semantics of boolean nets  2013 

Professor Maciej Koutny Dr Marta Koutny
 Synthesis of Tissue Systems  2013 

Professor Henriette Kleijn Professor Maciej Koutny Dr Marta Koutny
 Tissue systems and petri net synthesis  2013 

Dr Jeremy Bryans Professor Maciej Koutny Dr Chunyan Mu
 Towards Quantitative Analysis of Opacity  2013 

Professor Maciej Koutny Professor Alex Yakovlev
 Transactions on Petri Nets and Other Models of Concurrency VIII  2013 

Professor Maciej Koutny Dr Lukasz Mikulski Dr Marta Koutny
 A Taxonomy of Persistent and Nonviolent Steps  2012 

Professor Gabriel Ciobanu Professor Maciej Koutny Dr Jason Steggles
 A Timed Mobility Semantics Based on Rewriting Strategies  2012 

Professor Gabriel Ciobanu Professor Maciej Koutny Dr Jason Steggles
 A Timed Mobility Semantics based on Rewriting Strategies  2012 

Professor Gabriel Ciobanu Professor Maciej Koutny
 Behavioural Equivalences over Migrating Processes with Timers  2012 

Dr Lukasz Mikulski Professor Maciej Koutny
 Folded Hasse Diagrams of Combined Traces  2012 

Dr Lukasz Mikulski Professor Maciej Koutny
 Hasse Diagrams of Combined Traces  2012 

Professor Maciej Koutny
 Localities in systems with a/sync communication  2012 

Professor Maciej Koutny Dr Marta Koutny
 Membrane Systems and Petri Net Synthesis  2012 

Professor Maciej Koutny Dr Marta Koutny
 Membrane Systems and Petri Net Synthesis  2012 

Professor Maciej Koutny
 Minimal Reaction Systems  2012 

Professor Gabriel Ciobanu Professor Maciej Koutny
 Modelling and analysis of biological systems  2012 

Professor Paolo Missier Professor Brian Randell Professor Maciej Koutny
 Modelling Provenance using Structured Occurrence Networks  2012 

Professor Paolo Missier Professor Brian Randell Professor Maciej Koutny
 Modelling Provenance Using Structured Occurrence Networks  2012 

Professor Maciej Koutny
 Proceedings of the 23rd International Conference on Concurrency Theory (CONCUR 2012, Newcastle upon Tyne, 47 September 2012)  2012 

Professor Maciej Koutny
 Qualitative and Quantitative Aspects of a Model for Processes Inspired by the Functioning of the Living Cell  2012 

Professor Maciej Koutny Dr Marta Koutny
 Regions of Petri nets with a/sync connections  2012 

Professor Maciej Koutny
 Relevance of Entities in Reaction Systems  2012 

Professor Maciej Koutny
 Step coverability algorithms for communicating systems  2012 

Johnson Fernandes Professor Maciej Koutny Dr Marta Koutny Dr Danil Sokolov Professor Alex Yakovlev et al.  Step Persistence in the Design of GALS Systems  2012 

Professor Maciej Koutny Dr Marta Koutny
 Synthesis of General Petri Nets with Localities  2012 

Professor Maciej Koutny Dr Marta Koutny
 Synthesis Problem for Petri Nets with Localities  2012 

Professor Henriette Kleijn Professor Maciej Koutny
 Causality in Extensions of Petri Nets  2011 

Professor Henriette Kleijn Professor Maciej Koutny
 Causality in Structured Occurrence Nets  2011 

Professor Maciej Koutny
 Causality in Structured Occurrence Nets  2011 

Professor Maciej Koutny Dr Marta Koutny
 Classifying Boolean Nets for Regionbased Synthesis  2011 

Professor Henriette Kleijn Professor Maciej Koutny
 Coverability and Inhibitor Arcs: an example  2011 

Dr Lukasz Mikulski Professor Maciej Koutny
 Hasse Diagrams of Combined Traces  2011 

Professor Maciej Koutny
 ITL Semantics of Composite Petri Nets  2011 

Professor Henriette Kleijn Professor Maciej Koutny
 Localities in Systems with a/sync Communication  2011 

Professor Henriette Kleijn Professor Maciej Koutny
 Membrane Systems with Qualitative Evolution Rules  2011 

Professor Maciej Koutny
 Membrane Systems with Qualitative Evolution Rules  2011 

Professor Maciej Koutny
 Modelling Reaction Systems with Petri Nets  2011 

Professor Maciej Koutny
 Modelling Reaction Systems with Petri Nets  2011 

Professor Henriette Kleijn Professor Maciej Koutny
 Mutex Causality in Processes and Traces of General Elementary Nets  2011 

Professor Gabriel Ciobanu Professor Maciej Koutny
 PerTiMo: A Model of Spatial Migration with Safe Access Permissions  2011 

Professor Maciej Koutny
 Petri Nets for Biologically Motivated Computing  2011 

Professor Henriette Kleijn Professor Maciej Koutny
 Petri Nets for Biologically Motivated Computing  2011 

Professor Maciej Koutny
 Qualitative and Quantitative Aspects of a Model for Processes Inspired by the Functioning of the Living Cell  2011 

Professor Maciej Koutny Dr Marta Koutny
 Regions of Petri Nets with a/sync Connections  2011 

Professor Henriette Kleijn Professor Maciej Koutny
 Relevance of Entities in Reaction Systems  2011 

Professor Maciej Koutny Dr Marta Koutny
 Step Semantics of Boolean Nets  2011 

Professor Maciej Koutny Dr Marta Koutny
 Synthesis Problem for Petri Nets with Localities  2011 

Professor Henriette Kleijn Professor Maciej Koutny
 The Mutex Paradigm of Concurrency  2011 

Professor Maciej Koutny
 The Mutex Paradigm of Concurrency  2011 

Professor Gabriel Ciobanu Professor Maciej Koutny
 Timed Migration and Interaction with Access Permissions  2011 

Professor Gabriel Ciobanu Professor Maciej Koutny
 Timed Migration and Interaction with Access Permissions  2011 

Professor Gabriel Ciobanu Professor Maciej Koutny
 Timed Mobility in Process Algebra and Petri Nets  2011 

Professor Gabriel Ciobanu Professor Maciej Koutny
 Timed Mobility in process algebra and Petri nets  2011 

Dr Jeremy Bryans Professor Maciej Koutny Dr Chunyan Mu
 Towards Quantitative Analysis of Opacity  2011 

Professor Maciej Koutny
 Applying Step Coverability Trees to Communicating ComponentBased Systems  2010 

Professor Gabriel Ciobanu Professor Maciej Koutny
 Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi  2010 

Professor Maciej Koutny Dr Marta Koutny
 Minimal Regions of ENLTransition Systems  2010 

Professor Maciej Koutny
 Modelling Gradients Using Petri Nets  2010 

Professor Maciej Koutny
 Petri Nets and Membrane Computing  2010 

Professor Maciej Koutny
 Petri Nets with Localities and Testing  2010 

Professor Maciej Koutny
 Preface by Guest Editors  2010 

Professor Maciej Koutny
 Quotient Monoids and Concurrent Behaviours  2010 

Professor Maciej Koutny
 State space reduction for dynamic process creation  2010 

Professor Maciej Koutny Dr Marta Koutny
 Synthesis of General Petri Nets with Localities  2010 

Professor Maciej Koutny
 A Petri net model for membrane systems with dynamic structure  2009 

Professor Maciej Koutny
 An Approach to State Space Reduction for Systems with Dynamic Process Creation  2009 

Professor Maciej Koutny
 Application of Concurrency to System Design, Preface to the Seventh Special Issue  2009 

Professor Henriette Kleijn Professor Maciej Koutny
 Applying Step Coverability Trees to Communicating ComponentBased Systems  2009 

Professor Maciej Koutny Dr Marta Koutny
 Minimal Regions of ENLtransition Systems  2009 

Professor Maciej Koutny
 Preface by Guest Editors  2009 

Professor Henriette Kleijn Professor Maciej Koutny
 Steps and Coverability in Inhibitor Nets  2009 

Professor Brian Randell Professor Maciej Koutny
 Structured Occurence Nets: A formalism for aiding system failure prevention and analysis techniques  2009 

Professor Maciej Koutny Professor Brian Randell
 Structured Occurrence Nets: A formalism for aiding system failure prevention and analysis techniques  2009 

Professor Brian Randell Professor Maciej Koutny
 Structured Occurrence Nets: Incomplete, contradictory and uncertain failure evidence  2009 

Professor Maciej Koutny Dr Marta Koutny Professor Alex Yakovlev
 Synthesis of Nets with Step Firing Policies  2009 

Professor Maciej Koutny Dr Marta Koutny
 Synthesis of Petri Nets with Localities  2009 

Professor Maciej Koutny Dr Marta Koutny
 Synthesis of PTLnets with Partially Localised Conflicts  2009 

Professor Maciej Koutny Dr Marta Koutny
 Synthesis of PTLnets with Partially Localised Conflicts  2009 

Professor Maciej Koutny Dr Marta Koutny
 Towards Efficient Synthesis of ENLsystems  2009 

Professor Maciej Koutny
 A compositional Petri net translation of general πcalculus terms  2008 

Dr Alexei Iliasov Professor Maciej Koutny
 A method and tool for design of multiagent systems  2008 

Professor Maciej Koutny
 A Petri Net Model for Membrane Systems with Dynamic Structure  2008 

Professor Henriette Kleijn Professor Maciej Koutny
 CHINA 2008 (Concurrency metHods: Issues aNd Applications)  2008 

Professor Maciej Koutny Dr Marta Koutny
 Compositional Abstractions for Process Networks  2008 

Professor Maciej Koutny
 Formal languages and concurrent behaviours  2008 

Professor Maciej Koutny
 Framed temporal logic programming  2008 

Professor Gabriel Ciobanu Professor Maciej Koutny
 Modelling and Verification of Timed Interaction and Migration  2008 

Dr Jeremy Bryans Professor Maciej Koutny Professor Peter Ryan
 Opacity generalised to transition systems  2008 

Professor Maciej Koutny
 Petri Nets and Membrane Computing  2008 

Professor Maciej Koutny
 Proceedings of the 8th International Conference on Application of Concurrency to System Design. 2327 June 2008. Xi'an, China  2008 

Professor Maciej Koutny
 Processes of membrane systems with promoters and inhibitors  2008 

Professor Henriette Kleijn Professor Maciej Koutny
 Steps and Coverability in Inhibitor Nets  2008 

Professor Maciej Koutny Professor Brian Randell
 Structured Occurrence Nets: A formalism for aiding system failure prevention and analysis techniques  2008 

Professor Maciej Koutny Dr Marta Koutny
 Synthesis of Elementary Net Systems with Context Arcs and Localities  2008 

Professor Maciej Koutny Dr Marta Koutny Professor Alex Yakovlev
 Synthesis of Nets with Step Firing Policies  2008 

Professor Maciej Koutny Dr Marta Koutny Professor Alex Yakovlev
 Synthesis of Nets with Step Firing Policies  2008 

Professor Maciej Koutny
 Towards Efficient Verification of Systems with Dynamic Process Creation  2008 

Professor Maciej Koutny Dr Marta Koutny
 Compositional Abstractions for Interacting Processes  2007 

Professor Brian Randell Professor Maciej Koutny
 Failures: Their Definition, Modelling and Analysis  2007 

Professor Maciej Koutny
 Formal Languages and Concurrent Behaviours  2007 

Professor Maciej Koutny
 Modelling Mobility in Highlevel Petri Nets  2007 

Professor Maciej Koutny
 Processes of petri nets with range testing  2007 

Professor Maciej Koutny Dr Marta Koutny
 Synthesis of Elementary Net Systems with Context Arcs and Localities  2007 

Professor Maciej Koutny Dr Marta Koutny
 Synthesis of Elementary Net Systems with Context Arcs and Localities  2007 

Professor Maciej Koutny Dr Marta Koutny
 Synthesis of Elementary Net Systems with Context Arcs and Localities  2007 

Dr Victor Khomenko Professor Maciej Koutny
 Verification of bounded Petri nets using integer programming  2007 

Professor Maciej Koutny
 A Petri Net Semantics of a Simple Process Algebra for Mobility  2006 

Professor Maciej Koutny
 A Petri Net Translation of pCalculus Terms  2006 

Dr Victor Khomenko Professor Maciej Koutny Dr Apostolos Niaouris
 Applying Petri Net Unfoldings for Verification of Mobile Systems  2006 

Dr Victor Khomenko Professor Maciej Koutny Dr Apostolos Niaouris
 Applying Petri Net Unfoldings for Verification of Mobile Systems  2006 

Professor Brian Randell Professor Maciej Koutny
 Failures: Their Definition, Modelling and Analysis  2006 

Professor Henriette Kleijn Professor Maciej Koutny
 Infinite Process Semantics of Inhibitor Nets  2006 

Dr Victor Khomenko Professor Maciej Koutny Professor Alex Yakovlev
 Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT  2006 

Dr Victor Khomenko Professor Maciej Koutny
 Merged processes: A new condensed representation of Petri net behaviour  2006 

Dr Jeremy Bryans Professor Maciej Koutny Professor Peter Ryan
 Opacity generalised to transition systems  2006 

Professor Maciej Koutny
 Petri net semantics of the finite πcalculus terms  2006 

Professor Maciej Koutny
 Process Semantics for Membrane Systems  2006 

Professor Maciej Koutny
 Processes of Membrane Systems with Promoters and Inhibitors  2006 

Professor Maciej Koutny
 Processes of Nets with Range Arcs  2006 

Professor Henriette Kleijn Professor Maciej Koutny
 Processes of Petri Nets with Localities  2006 

Professor Maciej Koutny
 Synchrony and Asynchrony in Membrane Systems  2006 

Professor Henriette Kleijn Professor Maciej Koutny
 Towards a Petri net semantics for membrane systems  2006 

Professor Maciej Koutny Dr Marta Koutny
 Towards an Algebra of Abstractions for Communicating Processes  2006 

Professor Maciej Koutny Dr Marta Koutny
 Towards an Algebra of Abstractions for Communicating Processes  2006 

Professor Maciej Koutny Dr Marta Koutny
 Transition Systems of Elementary Net Systems with Localities  2006 

Professor Maciej Koutny Dr Marta Koutny
 Transition Systems of Elementary Net Systems with Localities  2006 

Professor Maciej Koutny
 A Petri Net Semantics of a Simple Process Algebra for Mobility  2005 

Professor Maciej Koutny
 A Petri net translation of picalculus terms  2005 

Dr Apostolos Niaouris Professor Maciej Koutny
 An Algebra of TimedArc Petri Nets  2005 

Professor Maciej Koutny
 Infinite Process Semantics of Inhibitor Nets  2005 

Dr Victor Khomenko Professor Maciej Koutny
 Merged Processes  a New Condensed Representation of Petri Net Behaviour  2005 

Dr Victor Khomenko Professor Maciej Koutny
 Merged processes  A new condensed representation of Petri net behaviour  2005 

Dr Jeremy Bryans Professor Maciej Koutny Professor Peter Ryan
 Modelling dynamic opacity using petri nets with silent actions  2005 

Dr Jeremy Bryans Professor Maciej Koutny Professor Peter Ryan
 Modelling opacity using petri nets  2005 

Dr Alexei Iliasov Dr Victor Khomenko Professor Maciej Koutny Professor Alexander Romanovsky
 On specification and verification of locationbased fault tolerant mobile systems  2005 

Professor Maciej Koutny
 Semantics of framed temporal logic programs  2005 

Professor Maciej Koutny
 Semantics of framed temporal logic programs  2005 

Professor Henriette Kleijn Professor Maciej Koutny
 Towards a Petri net semantics for membrane systems  2005 

Professor Maciej Koutny
 A framed temporal logic programming language  2004 

Professor Maciej Koutny
 Contextbased process algebras for mobility  2004 

Dr Victor Khomenko Professor Maciej Koutny Professor Alex Yakovlev
 Detecting State Encoding Conflicts in STG Unfoldings Using SAT  2004 

Dr Victor Khomenko Professor Maciej Koutny Professor Alex Yakovlev
 Logic synthesis for asynchronous circuits based on petri net unfoldings and incremental SAT  2004 

Dr Victor Khomenko Professor Maciej Koutny Professor Alex Yakovlev
 Logic synthesis for asynchronous circuits based on STG unfoldings and incremental SAT  2004 

Dr Jeremy Bryans Professor Maciej Koutny Professor Peter Ryan
 Modelling Dynamic Opacity using Petri Nets with Silent Actions  2004 

Dr Jeremy Bryans Professor Maciej Koutny Professor Peter Ryan
 Modelling Opacity using Petri Nets  2004 

Dr Jeremy Bryans Professor Maciej Koutny Professor Peter Ryan
 Opacity Generalised to Transition Systems  2004 

Professor Maciej Koutny
 Petri net semantics of the finite picalculus  2004 

Professor Maciej Koutny
 Petri net semantics of the finite picalculus  2004 

Professor Maciej Koutny
 Petri net semantics of the finite picalculus  2004 

Professor Eike Best Professor Maciej Koutny
 Process algebra: A Petrinetoriented tutorial  2004 

Professor Henriette Kleijn Professor Maciej Koutny
 Process semantics of general inhibitor nets  2004 

Dr Jonathan Burton Professor Maciej Koutny
 Relating communicating processes with different interfaces  2004 

Professor Maciej Koutny
 Asynchronous Box Calculus  2003 

Dr Victor Khomenko Professor Maciej Koutny
 Branching processes of highlevel Petri nets  2003 

Dr Victor Khomenko Professor Maciej Koutny
 Canonical prefixes of Petri net unfoldings  2003 

Dr Victor Khomenko Professor Maciej Koutny Professor Alex Yakovlev
 Detecting State Coding Conflicts in STG Unfoldings Using SAT  2003 

Dr Victor Khomenko Professor Maciej Koutny Professor Alex Yakovlev
 Logic Synthesis Avoiding State Space Explosion  2003 

Professor Maciej Koutny
 An Algebra of Nonsafe Petri Boxes  2002 

Professor Maciej Koutny
 Asynchronous Box Calculus  2002 

Dr Victor Khomenko Professor Maciej Koutny
 Branching Processes of HighLevel Petri Nets  2002 

Dr Victor Khomenko Professor Maciej Koutny
 Canonical Prefixes of Petri Net Unfoldings  2002 

Professor Henriette Kleijn Professor Maciej Koutny
 Causality Semantics of Petri Nets with Weighted Inhibitor Arcs  2002 

Dr Jonathan Burton Professor Maciej Koutny Dr Marta Koutny
 Compositional Development in the Event of Interface Difference  2002 

Dr Victor Khomenko Professor Maciej Koutny Professor Alex Yakovlev
 Detecting State Coding Conflicts in STG Unfoldings Using SAT  2002 

Dr Victor Khomenko Professor Maciej Koutny Professor Alex Yakovlev
 Detecting State Coding Conflicts in STGs Using Integer Programming  2002 

Professor Maciej Koutny
 Operational Semantics for PBC with Asynchronous Communication  2002 

Dr Victor Khomenko Professor Maciej Koutny
 Parallelisation of the Petri net unfolding algorithm  2002 

Professor Henriette Kleijn Professor Maciej Koutny
 Process Semantics of General Inhibitor Nets  2002 

Dr Jonathan Burton Professor Maciej Koutny
 Relating Communicating Processes with Different Interfaces  2002 

Professor Eike Best Professor Maciej Koutny
 The box algebra = petri nets + process expressions  2002 

Professor Eike Best Professor Maciej Koutny
 A Unified Model for Nets and Process Algebras  2001 

Professor Maciej Koutny Dr Victor Khomenko
 An Efficient Algorithm for Unfolding Petri Nets  2001 

Professor Maciej Koutny
 Applications and Theory of Petri Nets 2001: 22nd International Conference (ICATPN). Newcastle upon Tyne, UK. 2529 June 2001  2001 

Professor Maciej Koutny
 Behaviour abstraction for communicating sequential processes  2001 

Dr Victor Khomenko Professor Maciej Koutny
 Canonical Prefixes of PetriNet Unfoldings  2001 

Dr Jonathan Burton Professor Maciej Koutny Dr Marta Koutny
 Compositional Development in the Event of Interface Difference  2001 

Dr Victor Khomenko Professor Maciej Koutny Professor Alex Yakovlev
 Detecting State Coding Conflicts in STGs Using Integer Programming  2001 

Dr Jonathan Burton Professor Maciej Koutny
 Implementing Communicating Processes in the Event of Interface Difference  2001 

Dr Frank Burns Dr Albert Koelmans Professor Maciej Koutny Professor Alexander Romanovsky Professor Alex Yakovlev et al.  Modelling and verification of an atomic action protocol implemented in Ada  2001 

Dr Albert Koelmans Professor Maciej Koutny Professor Alexander Romanovsky Professor Alex Yakovlev
 On Developing and Verifying Design Abstractions for Reliable Concurrent Programming in Ada  2001 

Dr Victor Khomenko Professor Maciej Koutny
 Parallelisation of the Petri Net Unfolding Algorithm  2001 

Professor Eike Best Professor Maciej Koutny
 Petri Net Algebra  2001 

Professor Eike Best Professor Maciej Koutny
 Recursion and Petri nets  2001 

Dr Victor Khomenko Professor Maciej Koutny
 Towards an Efficient Algorithm for Unfolding Petri Nets  2001 

Dr Jonathan Burton Professor Maciej Koutny
 Verifying Implementation Relations in the Event of Interface Difference  2001 

Dr Alex Bystrov Professor Maciej Koutny Professor Alex Yakovlev
 Visualisation of Partial Order Models in VLSI Design Flow  2001 

Professor Maciej Koutny
 A Compositional Model of Time Petri Nets  2000 

Professor Maciej Koutny Dr Victor Khomenko
 Linear Programming Deadlock Checking Using Partial Order Dependencies  2000 

Dr Victor Khomenko Professor Maciej Koutny
 LP Deadlock Checking Using Partial Order Dependencies  2000 

Dr Jonathan Burton Professor Maciej Koutny
 Modelling and Verification of Communicating Processes in the Event of Interface Difference  2000 

Dr Albert Koelmans Professor Maciej Koutny
 On Developing and Verifying Design Abstractions for Reliable Concurrent Programming in Ada  2000 

Professor Maciej Koutny
 Process semantics of P/Tnets with inhibitor arcs  2000 

Dr Frank Burns Professor Maciej Koutny Professor Alexander Romanovsky
 Towards Modelling and Verification of Concurrent Ada Programs using Petri Nets  2000 

Dr Frank Burns Dr Albert Koelmans Professor Maciej Koutny Professor Alexander Romanovsky Professor Alex Yakovlev et al.  Towards Modelling and Verification of Concurrent Ada Programs Using Petri Nets  2000 

Dr Victor Khomenko Professor Maciej Koutny
 Verification of Bounded Petri Nets Using Integer Programming  2000 

Professor Maciej Koutny
 A Model of Behaviour Abstraction for Communicating Processes  1999 

Professor Maciej Koutny
 A model of behaviour abstraction for communicating processes  1999 

Professor Maciej Koutny
 On causality semantics of nets with priorities  1999 

Professor Maciej Koutny
 On causality semantics of nets with priorities  1999 

Professor Maciej Koutny Professor Eike Best
 Operational and denotational semantics for the box algebra  1999 

Professor Maciej Koutny
 Peter Lauer and COSY  1999 

Professor Eike Best Professor Maciej Koutny
 The Box Algebra  A Model of Nets and Process Expressions  1999 

Professor Maciej Koutny
 An Axiomatisation of Duplication Equivalence in the Petri Box Calculus  1998 

Professor Maciej Koutny
 Petri Nets, Process Algebras and Concurrent Programming Languages  1998 

Professor Maciej Koutny
 Recursive Nets in the Box Algebra  1998 

Professor Maciej Koutny
 The ERT Model of FaultTolerant Computing and Its Application to a Formalisation of Coordinated Atomic Actions  1998 

Professor Maciej Koutny
 An Axiomatisation of Duplication Equivalence in the Petri Box Calculus  1997 

Professor Maciej Koutny
 Compositional Petri Nets in Protocol Engineering  1997 

Professor Maciej Koutny
 Fundamentals of modelling concurrency using discrete relational structures  1997 

Professor Maciej Koutny
 Two Implementation Relations and the Correctness of Communicating Replicated Processes  1997 

Professor Eike Best Professor Maciej Koutny
 A Refined View of the Box Algebra  1995 

Professor Maciej Koutny
 On Compositionality and Petri Nets in Protocol Engineering  1995 

Professor Maciej Koutny Dr Marta Koutny
 On the Sleep Sets Method for Partial Order Verification of Concurrent Systems  1995 

Professor Maciej Koutny
 Semantics of Inhibitor Nets  1995 

Professor Eike Best Professor Maciej Koutny
 Solving Recursive Net Equations  1995 

Professor Maciej Koutny
 Deriving Histories of Nets with Priority Relation  1994 

Professor Maciej Koutny Professor Eike Best
 Operational Semantics for the Petri Box Calculus  1994 

Professor Maciej Koutny
 Partial Order Semantics of Box Expressions  1994 

Professor Maciej Koutny Dr Christopher Holt
 Projection in Temporal Logic Programming  1994 

Professor Maciej Koutny
 Representations of Discrete Interval Orders and SemiOrders  1994 

Professor Maciej Koutny
 Two Implementation Relations and the Correctness of Communicating Replicated Processes  1994 

Professor Maciej Koutny
 Modelling Replicated Processing  1993 

Professor Maciej Koutny
 Order Structures and Generalisations of Szpilrajn's Theorem  1993 

Professor Maciej Koutny
 Order Structures and Generalisations of Szpilrajn's Theorem  1993 

Professor Maciej Koutny Dr Christopher Holt
 Projection in Temporal Logic Programming  1993 

Professor Maciej Koutny
 Structure of Concurrency  1993 

Professor Maciej Koutny
 AdequacyPreserving Transformations of COSY Path Programs  1992 

Professor Maciej Koutny
 Invariants and Paradigms of Concurrency Theory  1992 

Professor Maciej Koutny
 Modelling Systems with Dynamic Priorities  1992 

Professor Eike Best Professor Maciej Koutny
 Petri Net Semantics of Priority Systems  1992 

Professor Maciej Koutny
 Replication in Acyclic Networks of Communicating Processes  1992 

Professor Maciej Koutny
 Structure of Concurrency  1992 

Professor Maciej Koutny
 Axiom System Induced by CTL* Logic  1991 

Professor Maciej Koutny
 Invariant Semantics of Nets with Inhibitor Arcs  1991 

Professor Maciej Koutny
 Invariants and Paradigms of Concurrency Theory  1991 

Professor Maciej Koutny
 Invariants and Paradigms of Concurrency Theory  1991 

Professor Maciej Koutny
 Modelling Systems with Dynamic Priorities  1991 

Professor Maciej Koutny
 On Some Implementation of Optimal Simulations  1991 

Professor Maciej Koutny
 Optimal Simulations, Nets and Reachability Graphs  1991 

Professor Maciej Koutny
 Structure of Concurrency  1991 

Professor Maciej Koutny
 Using Optimal Simulations to Reduce Reachability Graphs  1991 

Professor Maciej Koutny
 Verifying Correctness of Communicating Replicated Processes  1991 

Dr Amer Saeed Emeritus Professor Tom Anderson Professor Maciej Koutny
 A Formal Model for SafetyCritical Computing Systems  1990 

Professor Maciej Koutny
 Axiom System Induced by CTL Logic  1990 

Professor Maciej Koutny
 Net Implementation of Optimal Simulations  1990 

Professor Maciej Koutny
 Observing Concurrent Histories  1990 

Professor Maciej Koutny
 Asynchronous Communication in Dynamically Structured Systems  1989 

Professor Maciej Koutny
 Asynchronous Communication in Dynamically Structured Systems  1989 

Professor Maciej Koutny
 Modelling Concurrent Systems with Dynamic Communication Structure  1989 

Professor Maciej Koutny
 Synchronizing Events in Replicated Systems  1989 

Professor Maciej Koutny
 Towards a Theory of Simulation for Verification of Concurrent Systems  1989 

Professor Maciej Koutny
 Adequacypreserving Transformatics of COSY Path Programs  1988 

Professor Maciej Koutny
 AdequacyPreserving Transformations of COSY Path Programs  1988 

Professor Maciej Koutny
 A Model for Dynamically Structured Communicating Systems  1987 

Professor Maciej Koutny
 Modelling Dynamic Distributed Systems  1987 

Professor Maciej Koutny
 On Equivalent Execution Semantics of Concurrent Systems  1987 

Professor Maciej Koutny
 On Equivalent Execution Semantics of Concurrent Systems  1987 

Professor Maciej Koutny
 Synchronizing Events in Replicated Systems  1987 

Professor Maciej Koutny
 Concurrent and Maximally Concurrent Evolution of Nonsequential Systems  1986 

Professor Maciej Koutny
 Formal Specification of Nmodular Redundancy  1986 

Professor Maciej Koutny
 Formal Specification of NModular Redundancy  1986 

Professor Maciej Koutny
 On Equivalent Execution Semantics of Concurrent Systems  1986 

Professor Maciej Koutny
 The merlinrandell problem of train journeys  1986 

Professor Maciej Koutny
 Identification of Regular Configurations with Partial Information  1985 

Professor Maciej Koutny
 Synchronisation Strategies in the MerlinRandell Problem of Train Journeys  1985 

Professor Maciej Koutny
 Train Journeys in the MerlinRandell Problem  1985 

Professor Maciej Koutny
 On the MerlinRandell Problem of Train Journeys  1984 
