Publications by Professor Maciej Koutny - ePrints

Browsing publications by Professor Maciej Koutny.

Newcastle Authors	Title	Year
Artur Meski Professor Maciej Koutny Dr Lukasz Mikulski	Reaction Mining for Reaction Systems	2024
Professor Maciej Koutny Dr Lukasz Mikulski	Relational Structures for Interval Order Semantics of Concurrent Systems	2024
Professor Maciej Koutny Dr Marta Koutny	Synthesising ENI-Systems with Interval Order Semantics	2024
Dr Anirban Bhattacharyya Professor Maciej Koutny	Confusion-Tolerant Computation of Probability in Acyclic Nets	2023
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
Dr Nadiyah Almutairi Professor Maciej Koutny	Verification of communication structured acyclic nets using SAT	2021
Dr Bin Qian Dr Jie Su Dr Zhenyu Wen Devki Jha Yinhao Li et al.	Orchestrating the Development Lifecycle of Machine Learning-based IoT Applications: A Taxonomy and Survey	2020
Professor Maciej Koutny	Plug-in Context Providers for Reaction Systems	2020
Professor Henriette Kleijn Professor Maciej Koutny	Plug-in 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 Temporal-Epistemic 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 Whole-place 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 Linear-Time 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 editor-in-chief	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 Whole-place 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 CSPT-nets	2015
Professor Maciej Koutny Dr Lukasz Mikulski	Characterising Concurrent Histories	2015
Professor Maciej Koutny	Non-Atomic 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 Non-violent 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 CSPT-nets	2015
Dr Bowen Li Professor Maciej Koutny	Unfolding CSPT-nets	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	Cost-benefit 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, 4-7 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 Region-based 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 Component-Based 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 ENL-Transition 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 Component-Based Systems	2009
Professor Maciej Koutny Dr Marta Koutny	Minimal Regions of ENL-transition 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 PTL-nets with Partially Localised Conflicts	2009
Professor Maciej Koutny Dr Marta Koutny	Synthesis of PTL-nets with Partially Localised Conflicts	2009
Professor Maciej Koutny Dr Marta Koutny	Towards Efficient Synthesis of ENL-systems	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 multi-agent 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. 23-27 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 High-level 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 p-Calculus 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 pi-calculus terms	2005
Dr Apostolos Niaouris Professor Maciej Koutny	An Algebra of Timed-Arc 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 Emeritus Professor Alexander Romanovsky	On specification and verification of location-based 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	Context-based 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 pi-calculus	2004
Professor Maciej Koutny	Petri net semantics of the finite pi-calculus	2004
Professor Maciej Koutny	Petri net semantics of the finite pi-calculus	2004
Professor Eike Best Professor Maciej Koutny	Process algebra: A Petri-net-oriented 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 high-level 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 Non-safe Petri Boxes	2002
Professor Maciej Koutny	Asynchronous Box Calculus	2002
Dr Victor Khomenko Professor Maciej Koutny	Branching Processes of High-Level 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. 25-29 June 2001	2001
Professor Maciej Koutny	Behaviour abstraction for communicating sequential processes	2001
Dr Victor Khomenko Professor Maciej Koutny	Canonical Prefixes of Petri-Net 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 Emeritus 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 Emeritus 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/T-nets with inhibitor arcs	2000
Dr Frank Burns Professor Maciej Koutny Emeritus Professor Alexander Romanovsky	Towards Modelling and Verification of Concurrent Ada Programs using Petri Nets	2000
Dr Frank Burns Dr Albert Koelmans Professor Maciej Koutny Emeritus 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 Fault-Tolerant 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 Semi-Orders	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	Adequacy-Preserving 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 Safety-Critical 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	Adequacy-preserving Transformatics of COSY Path Programs	1988
Professor Maciej Koutny	Adequacy-Preserving 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 N-modular Redundancy	1986
Professor Maciej Koutny	Formal Specification of N-Modular Redundancy	1986
Professor Maciej Koutny	On Equivalent Execution Semantics of Concurrent Systems	1986
Professor Maciej Koutny	The merlin-randell problem of train journeys	1986
Professor Maciej Koutny	Identification of Regular Configurations with Partial Information	1985
Professor Maciej Koutny	Synchronisation Strategies in the Merlin-Randell Problem of Train Journeys	1985
Professor Maciej Koutny	Train Journeys in the Merlin-Randell Problem	1985
Professor Maciej Koutny	On the Merlin-Randell Problem of Train Journeys	1984