Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Professor Maciej Koutny.

Newcastle AuthorsTitleYearFull text
Dr Victor Khomenko
Professor Maciej Koutny
Professor Alex Yakovlev
Avoiding Exponential Explosion in Petri Net Models of Control Flows2022
Professor Maciej Koutny
Dr Lukasz Mikulski
Investigating Reversibility of Steps in Petri Nets2022
Aishah Ahmed
Professor Maciej Koutny
Dr Marta Koutny
Synthesising Elementary Net Systems with Localities2022
Professor Maciej Koutny
Dr Marta Koutny
Professor Alex Yakovlev
Asynchrony and Persistence in Reaction Systems2021
Wen Zeng
Professor Maciej Koutny
Quantitative Analysis of Opacity in Cloud Computing Systems2021
Professor Maciej Koutny
Dr Lukasz Mikulski
Relational structures for concurrent behaviours2021
Nadiyah Almutairi
Professor Maciej Koutny
Verification of communication structured acyclic nets using SAT2021
Bin Qian
Jie Su
Dr Zhenyu Wen
Devki Jha
Yinhao Li
et al.
Orchestrating the Development Lifecycle of Machine Learning-based IoT Applications: A Taxonomy and Survey2020
Professor Maciej Koutny
Plug-in Context Providers for Reaction Systems2020
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 Equivalence2020
Artur Meski
Professor Maciej Koutny
Model Checking for Temporal-Epistemic Properties of Distributed Reaction Systems2019
Professor Maciej Koutny
Dr Lukasz Mikulski
Classifying Invariant Structures of Step Traces2019
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 Logic2019
Dr Wen Zeng
Professor Maciej Koutny
Modelling and analysis of corporate efficiency and productivity loss associated with enterprise information security technologies2019
Professor Maciej Koutny
Operational Semantics, Interval Orders and Sequences of Antichains2019
Professor Maciej Koutny
Dr Lukasz Mikulski
Reversing Steps in Petri Nets2019
Professor Maciej Koutny
Dr Lukasz Mikulski
An efficient characterization of petri net solvable binary words2018
Artur Meski
Professor Maciej Koutny
Reaction mining for reaction systems2018
Professor Maciej Koutny
Dr Lukasz Mikulski
Reaction Systems, Transition Systems, and Equivalences2018
Professor Maciej Koutny
Dr Lukasz Mikulski
Reversible computation vs. reversibility in Petri nets2018
Professor Maciej Koutny
Dr Lukasz Mikulski
Reversing Transitions in Bounded Petri Nets2018
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 Nets2018
Professor Maciej Koutny
Transactions on Petri Nets and Other Models of Concurrency XIII2018
Talal Alharbi
Professor Maciej Koutny
Visualising data sets in structured occurrence nets2018
Professor Maciej Koutny
Dr Marta Koutny
Adding a/sync Places to the Synthesis Procedure for Whole-place Operations Nets with Localities2017
Professor Maciej Koutny
Dr Lukasz Mikulski
Alphabets of Acyclic Invariant Structures2017
Professor Maciej Koutny
Dr Lukasz Mikulski
Dr Marta Koutny
An Extension of the Taxonomy of Persistent and Nonviolent Steps2017
Professor Maciej Koutny
Dr Marta Koutny
Applying Regions2017
Professor Maciej Koutny
Evolving Reaction Systems2017
Professor Henriette Kleijn
Professor Maciej Koutny
Dr Lukasz Mikulski
Invariant Structures and Dependence Relations2017
Professor Maciej Koutny
Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu2017
Professor Maciej Koutny
Dr Lukasz Mikulski
On Synthesising Step Alphabets for Acyclic Invariant Structures2017
Professor Maciej Koutny
Dr Marta Koutny
Signal Set Tissue Systems and Overlapping Localities2017
Dr Anirban Bhattacharyya
Professor Maciej Koutny
Professor Brian Randell
Towards a Framework for Monotonic Approximations2017
Artur Meski
Professor Maciej Koutny
Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations2017
Wen Zeng
Professor Maciej Koutny
Professor Paul Watson
Vasileios Germanos
Formal Verification of Secure Information Flow in Cloud Computing2016
Professor Maciej Koutny
Dr Ben Moszkowski
From Petri Nets with Shared Variables to ITL2016
Professor Maciej Koutny
Modeling biological gradient formation: combining partial differential equations and Petri nets2016
Professor Maciej Koutny
Preface by editor-in-chief2016
Professor Maciej Koutny
Dr Lukasz Mikulski
Reversible Computation vs. Reversibility in Petri Nets2016
Dr Bowen Li
Professor Maciej Koutny
Professor Brian Randell
SONCraft: A Tool for Construction, Simulation and Verification of Structured Occurrence Nets2016
Professor Maciej Koutny
Dr Lukasz Mikulski
Step Traces2016
Professor Henriette Kleijn
Professor Maciej Koutny
Dr Marta Koutny
Synthesis of Petri Nets With Whole-place Operations and Localities2016
Artur Meski
Professor Maciej Koutny
Towards Quantitative Verification of Reaction Systems2016
Professor Maciej Koutny
Transactions on petri nets and other models of concurrency XII2016
Dr Bowen Li
Professor Maciej Koutny
Unfolding CSPT-nets2015
Professor Maciej Koutny
Dr Lukasz Mikulski
Characterising Concurrent Histories2015
Professor Maciej Koutny
Non-Atomic Transition Firing in Contextual Nets2015
Dr Wen Zeng
Professor Maciej Koutny
Professor Paul Watson
Opacity in Internet of Things with Cloud Computing2015
Professor Maciej Koutny
Dr Lukasz Mikulski
Order Structures for Subclasses of Generalised Traces2015
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 Systems2015
Professor Gabriel Ciobanu
Professor Maciej Koutny
PerTiMo: A Model of Spatial Migration with Safe Access Permissions2015
Professor Gabriel Ciobanu
Professor Maciej Koutny
Dr Jason Steggles
Strategy based semantics for mobility with time and access permissions2015
Professor Maciej Koutny
Tissue Systems and Petri Net Synthesis2015
Professor Maciej Koutny
Transactions on Petri Nets and Other Models of Concurrency X2015
Dr Bowen Li
Professor Maciej Koutny
Unfolding CSPT-nets2015
Dr Bowen Li
Professor Maciej Koutny
Unfolding CSPT-nets2015
Wen Zeng
Professor Maciej Koutny
Professor Paul Watson
A Flow Sensitive Security Model for Cloud Computing Systems2014
Wen Zeng
Professor Maciej Koutny
Data Resources in Dynamic Environment2014
Dr Lukasz Mikulski
Professor Maciej Koutny
Folded Hasse diagrams of combined traces2014
Professor Maciej Koutny
Dr Lukasz Mikulski
Generalising Traces2014
Professor Maciej Koutny
Interval Temporal Logic Semantics of Box Algebra2014
Professor Maciej Koutny
Dr Lukasz Mikulski
Order Structures for Subclasses of Generalised Traces2014
Wen Zeng
Professor Maciej Koutny
Professor Aad van Moorsel
Performance Modelling and Evaluation of Enterprise Information Security Technologies2014
Professor Maciej Koutny
Dr Marta Koutny
Tissue Systems and Petri Net Synthesis2014
Professor Maciej Koutny
Professor Alex Yakovlev
Transactions on petri nets and other models of concurrency IX2014
Wen Zeng
Professor Maciej Koutny
Professor Paul Watson
Verifying Secure Information Flow in Federated Clouds2014
Professor Maciej Koutny
A complete proof system for propositional projection temporal logic2013
Wen Zeng
Dr Chunyan Mu
Professor Maciej Koutny
A Flow Sensitive Security Model for Cloud Computing Systems2013
Professor Maciej Koutny
Dr Lukasz Mikulski
Dr Marta Koutny
A Taxonomy of Persistent and Nonviolent Steps2013
Professor Maciej Koutny
Dr Lukasz Mikulski
Causal Structures for General Concurrent Behaviours2013
Professor Maciej Koutny
Dr Lukasz Mikulski
Causal Structures for General Concurrent Behaviours2013
Professor Maciej Koutny
Causality in Extensions of Petri Nets2013
Wen Zeng
Professor Maciej Koutny
Cost-benefit analysis of Digital Rights Management products using stochastic models2013
Professor Maciej Koutny
Interval Temporal Logic Semantics of Box Algebra2013
Professor Maciej Koutny
ITL semantics of composite Petri nets2013
Professor Maciej Koutny
Modeling biological gradient formation: combining partial differential equations and Petri nets2013
Professor Maciej Koutny
Mutex Causality in Processes and Traces of General Elementary Nets2013
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 Systems2013
Johnson Fernandes
Professor Maciej Koutny
Dr Marta Koutny
Dr Danil Sokolov
Professor Alex Yakovlev
et al.
Step Persistence in the Design of GALS Systems2013
Professor Maciej Koutny
Dr Marta Koutny
Step semantics of boolean nets2013
Professor Maciej Koutny
Dr Marta Koutny
Synthesis of Tissue Systems2013
Professor Henriette Kleijn
Professor Maciej Koutny
Dr Marta Koutny
Tissue systems and petri net synthesis2013
Dr Jeremy Bryans
Professor Maciej Koutny
Dr Chunyan Mu
Towards Quantitative Analysis of Opacity2013
Professor Maciej Koutny
Professor Alex Yakovlev
Transactions on Petri Nets and Other Models of Concurrency VIII2013
Professor Maciej Koutny
Dr Lukasz Mikulski
Dr Marta Koutny
A Taxonomy of Persistent and Nonviolent Steps2012
Professor Gabriel Ciobanu
Professor Maciej Koutny
Dr Jason Steggles
A Timed Mobility Semantics Based on Rewriting Strategies2012
Professor Gabriel Ciobanu
Professor Maciej Koutny
Dr Jason Steggles
A Timed Mobility Semantics based on Rewriting Strategies2012
Professor Gabriel Ciobanu
Professor Maciej Koutny
Behavioural Equivalences over Migrating Processes with Timers2012
Dr Lukasz Mikulski
Professor Maciej Koutny
Folded Hasse Diagrams of Combined Traces2012
Dr Lukasz Mikulski
Professor Maciej Koutny
Hasse Diagrams of Combined Traces2012
Professor Maciej Koutny
Localities in systems with a/sync communication2012
Professor Maciej Koutny
Dr Marta Koutny
Membrane Systems and Petri Net Synthesis2012
Professor Maciej Koutny
Dr Marta Koutny
Membrane Systems and Petri Net Synthesis2012
Professor Maciej Koutny
Minimal Reaction Systems2012
Professor Gabriel Ciobanu
Professor Maciej Koutny
Modelling and analysis of biological systems2012
Professor Paolo Missier
Professor Brian Randell
Professor Maciej Koutny
Modelling Provenance using Structured Occurrence Networks2012
Professor Paolo Missier
Professor Brian Randell
Professor Maciej Koutny
Modelling Provenance Using Structured Occurrence Networks2012
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 Cell2012
Professor Maciej Koutny
Dr Marta Koutny
Regions of Petri nets with a/sync connections2012
Professor Maciej Koutny
Relevance of Entities in Reaction Systems2012
Professor Maciej Koutny
Step coverability algorithms for communicating systems2012
Johnson Fernandes
Professor Maciej Koutny
Dr Marta Koutny
Dr Danil Sokolov
Professor Alex Yakovlev
et al.
Step Persistence in the Design of GALS Systems2012
Professor Maciej Koutny
Dr Marta Koutny
Synthesis of General Petri Nets with Localities2012
Professor Maciej Koutny
Dr Marta Koutny
Synthesis Problem for Petri Nets with Localities2012
Professor Henriette Kleijn
Professor Maciej Koutny
Causality in Extensions of Petri Nets2011
Professor Henriette Kleijn
Professor Maciej Koutny
Causality in Structured Occurrence Nets2011
Professor Maciej Koutny
Causality in Structured Occurrence Nets2011
Professor Maciej Koutny
Dr Marta Koutny
Classifying Boolean Nets for Region-based Synthesis2011
Professor Henriette Kleijn
Professor Maciej Koutny
Coverability and Inhibitor Arcs: an example2011
Dr Lukasz Mikulski
Professor Maciej Koutny
Hasse Diagrams of Combined Traces2011
Professor Maciej Koutny
ITL Semantics of Composite Petri Nets2011
Professor Henriette Kleijn
Professor Maciej Koutny
Localities in Systems with a/sync Communication2011
Professor Henriette Kleijn
Professor Maciej Koutny
Membrane Systems with Qualitative Evolution Rules2011
Professor Maciej Koutny
Membrane Systems with Qualitative Evolution Rules2011
Professor Maciej Koutny
Modelling Reaction Systems with Petri Nets2011
Professor Maciej Koutny
Modelling Reaction Systems with Petri Nets2011
Professor Henriette Kleijn
Professor Maciej Koutny
Mutex Causality in Processes and Traces of General Elementary Nets2011
Professor Gabriel Ciobanu
Professor Maciej Koutny
PerTiMo: A Model of Spatial Migration with Safe Access Permissions2011
Professor Maciej Koutny
Petri Nets for Biologically Motivated Computing2011
Professor Henriette Kleijn
Professor Maciej Koutny
Petri Nets for Biologically Motivated Computing2011
Professor Maciej Koutny
Qualitative and Quantitative Aspects of a Model for Processes Inspired by the Functioning of the Living Cell2011
Professor Maciej Koutny
Dr Marta Koutny
Regions of Petri Nets with a/sync Connections2011
Professor Henriette Kleijn
Professor Maciej Koutny
Relevance of Entities in Reaction Systems2011
Professor Maciej Koutny
Dr Marta Koutny
Step Semantics of Boolean Nets2011
Professor Maciej Koutny
Dr Marta Koutny
Synthesis Problem for Petri Nets with Localities2011
Professor Henriette Kleijn
Professor Maciej Koutny
The Mutex Paradigm of Concurrency2011
Professor Maciej Koutny
The Mutex Paradigm of Concurrency2011
Professor Gabriel Ciobanu
Professor Maciej Koutny
Timed Migration and Interaction with Access Permissions2011
Professor Gabriel Ciobanu
Professor Maciej Koutny
Timed Migration and Interaction with Access Permissions2011
Professor Gabriel Ciobanu
Professor Maciej Koutny
Timed Mobility in Process Algebra and Petri Nets2011
Professor Gabriel Ciobanu
Professor Maciej Koutny
Timed Mobility in process algebra and Petri nets2011
Dr Jeremy Bryans
Professor Maciej Koutny
Dr Chunyan Mu
Towards Quantitative Analysis of Opacity2011
Professor Maciej Koutny
Applying Step Coverability Trees to Communicating Component-Based Systems2010
Professor Gabriel Ciobanu
Professor Maciej Koutny
Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi2010
Professor Maciej Koutny
Dr Marta Koutny
Minimal Regions of ENL-Transition Systems2010
Professor Maciej Koutny
Modelling Gradients Using Petri Nets2010
Professor Maciej Koutny
Petri Nets and Membrane Computing2010
Professor Maciej Koutny
Petri Nets with Localities and Testing2010
Professor Maciej Koutny
Preface by Guest Editors2010
Professor Maciej Koutny
Quotient Monoids and Concurrent Behaviours2010
Professor Maciej Koutny
State space reduction for dynamic process creation2010
Professor Maciej Koutny
Dr Marta Koutny
Synthesis of General Petri Nets with Localities2010
Professor Maciej Koutny
A Petri net model for membrane systems with dynamic structure2009
Professor Maciej Koutny
An Approach to State Space Reduction for Systems with Dynamic Process Creation2009
Professor Maciej Koutny
Application of Concurrency to System Design, Preface to the Seventh Special Issue2009
Professor Henriette Kleijn
Professor Maciej Koutny
Applying Step Coverability Trees to Communicating Component-Based Systems2009
Professor Maciej Koutny
Dr Marta Koutny
Minimal Regions of ENL-transition Systems2009
Professor Maciej Koutny
Preface by Guest Editors2009
Professor Henriette Kleijn
Professor Maciej Koutny
Steps and Coverability in Inhibitor Nets2009
Professor Brian Randell
Professor Maciej Koutny
Structured Occurence Nets: A formalism for aiding system failure prevention and analysis techniques2009
Professor Maciej Koutny
Professor Brian Randell
Structured Occurrence Nets: A formalism for aiding system failure prevention and analysis techniques2009
Professor Brian Randell
Professor Maciej Koutny
Structured Occurrence Nets: Incomplete, contradictory and uncertain failure evidence2009
Professor Maciej Koutny
Dr Marta Koutny
Professor Alex Yakovlev
Synthesis of Nets with Step Firing Policies2009
Professor Maciej Koutny
Dr Marta Koutny
Synthesis of Petri Nets with Localities2009
Professor Maciej Koutny
Dr Marta Koutny
Synthesis of PTL-nets with Partially Localised Conflicts2009
Professor Maciej Koutny
Dr Marta Koutny
Synthesis of PTL-nets with Partially Localised Conflicts2009
Professor Maciej Koutny
Dr Marta Koutny
Towards Efficient Synthesis of ENL-systems2009
Professor Maciej Koutny
A compositional Petri net translation of general π-calculus terms2008
Dr Alexei Iliasov
Professor Maciej Koutny
A method and tool for design of multi-agent systems2008
Professor Maciej Koutny
A Petri Net Model for Membrane Systems with Dynamic Structure2008
Professor Henriette Kleijn
Professor Maciej Koutny
CHINA 2008 (Concurrency metHods: Issues aNd Applications)2008
Professor Maciej Koutny
Dr Marta Koutny
Compositional Abstractions for Process Networks2008
Professor Maciej Koutny
Formal languages and concurrent behaviours2008
Professor Maciej Koutny
Framed temporal logic programming2008
Professor Gabriel Ciobanu
Professor Maciej Koutny
Modelling and Verification of Timed Interaction and Migration2008
Dr Jeremy Bryans
Professor Maciej Koutny
Professor Peter Ryan
Opacity generalised to transition systems2008
Professor Maciej Koutny
Petri Nets and Membrane Computing2008
Professor Maciej Koutny
Proceedings of the 8th International Conference on Application of Concurrency to System Design. 23-27 June 2008. Xi'an, China2008
Professor Maciej Koutny
Processes of membrane systems with promoters and inhibitors2008
Professor Henriette Kleijn
Professor Maciej Koutny
Steps and Coverability in Inhibitor Nets2008
Professor Maciej Koutny
Professor Brian Randell
Structured Occurrence Nets: A formalism for aiding system failure prevention and analysis techniques2008
Professor Maciej Koutny
Dr Marta Koutny
Synthesis of Elementary Net Systems with Context Arcs and Localities2008
Professor Maciej Koutny
Dr Marta Koutny
Professor Alex Yakovlev
Synthesis of Nets with Step Firing Policies2008
Professor Maciej Koutny
Dr Marta Koutny
Professor Alex Yakovlev
Synthesis of Nets with Step Firing Policies2008
Professor Maciej Koutny
Towards Efficient Verification of Systems with Dynamic Process Creation2008
Professor Maciej Koutny
Dr Marta Koutny
Compositional Abstractions for Interacting Processes2007
Professor Brian Randell
Professor Maciej Koutny
Failures: Their Definition, Modelling and Analysis2007
Professor Maciej Koutny
Formal Languages and Concurrent Behaviours2007
Professor Maciej Koutny
Modelling Mobility in High-level Petri Nets2007
Professor Maciej Koutny
Processes of petri nets with range testing2007
Professor Maciej Koutny
Dr Marta Koutny
Synthesis of Elementary Net Systems with Context Arcs and Localities2007
Professor Maciej Koutny
Dr Marta Koutny
Synthesis of Elementary Net Systems with Context Arcs and Localities2007
Professor Maciej Koutny
Dr Marta Koutny
Synthesis of Elementary Net Systems with Context Arcs and Localities2007
Dr Victor Khomenko
Professor Maciej Koutny
Verification of bounded Petri nets using integer programming2007
Professor Maciej Koutny
A Petri Net Semantics of a Simple Process Algebra for Mobility2006
Professor Maciej Koutny
A Petri Net Translation of p-Calculus Terms2006
Dr Victor Khomenko
Professor Maciej Koutny
Dr Apostolos Niaouris
Applying Petri Net Unfoldings for Verification of Mobile Systems2006
Dr Victor Khomenko
Professor Maciej Koutny
Dr Apostolos Niaouris
Applying Petri Net Unfoldings for Verification of Mobile Systems2006
Professor Brian Randell
Professor Maciej Koutny
Failures: Their Definition, Modelling and Analysis2006
Professor Henriette Kleijn
Professor Maciej Koutny
Infinite Process Semantics of Inhibitor Nets2006
Dr Victor Khomenko
Professor Maciej Koutny
Professor Alex Yakovlev
Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT2006
Dr Victor Khomenko
Professor Maciej Koutny
Merged processes: A new condensed representation of Petri net behaviour2006
Dr Jeremy Bryans
Professor Maciej Koutny
Professor Peter Ryan
Opacity generalised to transition systems2006
Professor Maciej Koutny
Petri net semantics of the finite π-calculus terms2006
Professor Maciej Koutny
Process Semantics for Membrane Systems2006
Professor Maciej Koutny
Processes of Membrane Systems with Promoters and Inhibitors2006
Professor Maciej Koutny
Processes of Nets with Range Arcs2006
Professor Henriette Kleijn
Professor Maciej Koutny
Processes of Petri Nets with Localities2006
Professor Maciej Koutny
Synchrony and Asynchrony in Membrane Systems2006
Professor Henriette Kleijn
Professor Maciej Koutny
Towards a Petri net semantics for membrane systems2006
Professor Maciej Koutny
Dr Marta Koutny
Towards an Algebra of Abstractions for Communicating Processes2006
Professor Maciej Koutny
Dr Marta Koutny
Towards an Algebra of Abstractions for Communicating Processes2006
Professor Maciej Koutny
Dr Marta Koutny
Transition Systems of Elementary Net Systems with Localities2006
Professor Maciej Koutny
Dr Marta Koutny
Transition Systems of Elementary Net Systems with Localities2006
Professor Maciej Koutny
A Petri Net Semantics of a Simple Process Algebra for Mobility2005
Professor Maciej Koutny
A Petri net translation of pi-calculus terms2005
Dr Apostolos Niaouris
Professor Maciej Koutny
An Algebra of Timed-Arc Petri Nets2005
Professor Maciej Koutny
Infinite Process Semantics of Inhibitor Nets2005
Dr Victor Khomenko
Professor Maciej Koutny
Merged Processes - a New Condensed Representation of Petri Net Behaviour2005
Dr Victor Khomenko
Professor Maciej Koutny
Merged processes - A new condensed representation of Petri net behaviour2005
Dr Jeremy Bryans
Professor Maciej Koutny
Professor Peter Ryan
Modelling dynamic opacity using petri nets with silent actions2005
Dr Jeremy Bryans
Professor Maciej Koutny
Professor Peter Ryan
Modelling opacity using petri nets2005
Dr Alexei Iliasov
Dr Victor Khomenko
Professor Maciej Koutny
Professor Alexander Romanovsky
On specification and verification of location-based fault tolerant mobile systems2005
Professor Maciej Koutny
Semantics of framed temporal logic programs2005
Professor Maciej Koutny
Semantics of framed temporal logic programs2005
Professor Henriette Kleijn
Professor Maciej Koutny
Towards a Petri net semantics for membrane systems2005
Professor Maciej Koutny
A framed temporal logic programming language2004
Professor Maciej Koutny
Context-based process algebras for mobility2004
Dr Victor Khomenko
Professor Maciej Koutny
Professor Alex Yakovlev
Detecting State Encoding Conflicts in STG Unfoldings Using SAT2004
Dr Victor Khomenko
Professor Maciej Koutny
Professor Alex Yakovlev
Logic synthesis for asynchronous circuits based on petri net unfoldings and incremental SAT2004
Dr Victor Khomenko
Professor Maciej Koutny
Professor Alex Yakovlev
Logic synthesis for asynchronous circuits based on STG unfoldings and incremental SAT2004
Dr Jeremy Bryans
Professor Maciej Koutny
Professor Peter Ryan
Modelling Dynamic Opacity using Petri Nets with Silent Actions2004
Dr Jeremy Bryans
Professor Maciej Koutny
Professor Peter Ryan
Modelling Opacity using Petri Nets2004
Dr Jeremy Bryans
Professor Maciej Koutny
Professor Peter Ryan
Opacity Generalised to Transition Systems2004
Professor Maciej Koutny
Petri net semantics of the finite pi-calculus2004
Professor Maciej Koutny
Petri net semantics of the finite pi-calculus2004
Professor Maciej Koutny
Petri net semantics of the finite pi-calculus2004
Professor Eike Best
Professor Maciej Koutny
Process algebra: A Petri-net-oriented tutorial2004
Professor Henriette Kleijn
Professor Maciej Koutny
Process semantics of general inhibitor nets2004
Dr Jonathan Burton
Professor Maciej Koutny
Relating communicating processes with different interfaces2004
Professor Maciej Koutny
Asynchronous Box Calculus2003
Dr Victor Khomenko
Professor Maciej Koutny
Branching processes of high-level Petri nets2003
Dr Victor Khomenko
Professor Maciej Koutny
Canonical prefixes of Petri net unfoldings2003
Dr Victor Khomenko
Professor Maciej Koutny
Professor Alex Yakovlev
Detecting State Coding Conflicts in STG Unfoldings Using SAT2003
Dr Victor Khomenko
Professor Maciej Koutny
Professor Alex Yakovlev
Logic Synthesis Avoiding State Space Explosion2003
Professor Maciej Koutny
An Algebra of Non-safe Petri Boxes2002
Professor Maciej Koutny
Asynchronous Box Calculus2002
Dr Victor Khomenko
Professor Maciej Koutny
Branching Processes of High-Level Petri Nets2002
Dr Victor Khomenko
Professor Maciej Koutny
Canonical Prefixes of Petri Net Unfoldings2002
Professor Henriette Kleijn
Professor Maciej Koutny
Causality Semantics of Petri Nets with Weighted Inhibitor Arcs2002
Dr Jonathan Burton
Professor Maciej Koutny
Dr Marta Koutny
Compositional Development in the Event of Interface Difference2002
Dr Victor Khomenko
Professor Maciej Koutny
Professor Alex Yakovlev
Detecting State Coding Conflicts in STG Unfoldings Using SAT2002
Dr Victor Khomenko
Professor Maciej Koutny
Professor Alex Yakovlev
Detecting State Coding Conflicts in STGs Using Integer Programming2002
Professor Maciej Koutny
Operational Semantics for PBC with Asynchronous Communication2002
Dr Victor Khomenko
Professor Maciej Koutny
Parallelisation of the Petri net unfolding algorithm2002
Professor Henriette Kleijn
Professor Maciej Koutny
Process Semantics of General Inhibitor Nets2002
Dr Jonathan Burton
Professor Maciej Koutny
Relating Communicating Processes with Different Interfaces2002
Professor Eike Best
Professor Maciej Koutny
The box algebra = petri nets + process expressions2002
Professor Eike Best
Professor Maciej Koutny
A Unified Model for Nets and Process Algebras2001
Professor Maciej Koutny
Dr Victor Khomenko
An Efficient Algorithm for Unfolding Petri Nets2001
Professor Maciej Koutny
Applications and Theory of Petri Nets 2001: 22nd International Conference (ICATPN). Newcastle upon Tyne, UK. 25-29 June 20012001
Professor Maciej Koutny
Behaviour abstraction for communicating sequential processes2001
Dr Victor Khomenko
Professor Maciej Koutny
Canonical Prefixes of Petri-Net Unfoldings2001
Dr Jonathan Burton
Professor Maciej Koutny
Dr Marta Koutny
Compositional Development in the Event of Interface Difference2001
Dr Victor Khomenko
Professor Maciej Koutny
Professor Alex Yakovlev
Detecting State Coding Conflicts in STGs Using Integer Programming2001
Dr Jonathan Burton
Professor Maciej Koutny
Implementing Communicating Processes in the Event of Interface Difference2001
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 Ada2001
Dr Albert Koelmans
Professor Maciej Koutny
Professor Alexander Romanovsky
Professor Alex Yakovlev
On Developing and Verifying Design Abstractions for Reliable Concurrent Programming in Ada2001
Dr Victor Khomenko
Professor Maciej Koutny
Parallelisation of the Petri Net Unfolding Algorithm2001
Professor Eike Best
Professor Maciej Koutny
Petri Net Algebra2001
Professor Eike Best
Professor Maciej Koutny
Recursion and Petri nets2001
Dr Victor Khomenko
Professor Maciej Koutny
Towards an Efficient Algorithm for Unfolding Petri Nets2001
Dr Jonathan Burton
Professor Maciej Koutny
Verifying Implementation Relations in the Event of Interface Difference2001
Dr Alex Bystrov
Professor Maciej Koutny
Professor Alex Yakovlev
Visualisation of Partial Order Models in VLSI Design Flow2001
Professor Maciej Koutny
A Compositional Model of Time Petri Nets2000
Professor Maciej Koutny
Dr Victor Khomenko
Linear Programming Deadlock Checking Using Partial Order Dependencies2000
Dr Victor Khomenko
Professor Maciej Koutny
LP Deadlock Checking Using Partial Order Dependencies2000
Dr Jonathan Burton
Professor Maciej Koutny
Modelling and Verification of Communicating Processes in the Event of Interface Difference2000
Dr Albert Koelmans
Professor Maciej Koutny
On Developing and Verifying Design Abstractions for Reliable Concurrent Programming in Ada2000
Professor Maciej Koutny
Process semantics of P/T-nets with inhibitor arcs2000
Dr Frank Burns
Professor Maciej Koutny
Professor Alexander Romanovsky
Towards Modelling and Verification of Concurrent Ada Programs using Petri Nets2000
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 Nets2000
Dr Victor Khomenko
Professor Maciej Koutny
Verification of Bounded Petri Nets Using Integer Programming2000
Professor Maciej Koutny
A Model of Behaviour Abstraction for Communicating Processes1999
Professor Maciej Koutny
A model of behaviour abstraction for communicating processes1999
Professor Maciej Koutny
On causality semantics of nets with priorities1999
Professor Maciej Koutny
On causality semantics of nets with priorities1999
Professor Maciej Koutny
Professor Eike Best
Operational and denotational semantics for the box algebra1999
Professor Maciej Koutny
Peter Lauer and COSY1999
Professor Eike Best
Professor Maciej Koutny
The Box Algebra - A Model of Nets and Process Expressions1999
Professor Maciej Koutny
An Axiomatisation of Duplication Equivalence in the Petri Box Calculus1998
Professor Maciej Koutny
Petri Nets, Process Algebras and Concurrent Programming Languages1998
Professor Maciej Koutny
Recursive Nets in the Box Algebra1998
Professor Maciej Koutny
The ERT Model of Fault-Tolerant Computing and Its Application to a Formalisation of Coordinated Atomic Actions1998
Professor Maciej Koutny
An Axiomatisation of Duplication Equivalence in the Petri Box Calculus1997
Professor Maciej Koutny
Compositional Petri Nets in Protocol Engineering1997
Professor Maciej Koutny
Fundamentals of modelling concurrency using discrete relational structures1997
Professor Maciej Koutny
Two Implementation Relations and the Correctness of Communicating Replicated Processes1997
Professor Eike Best
Professor Maciej Koutny
A Refined View of the Box Algebra1995
Professor Maciej Koutny
On Compositionality and Petri Nets in Protocol Engineering1995
Professor Maciej Koutny
Dr Marta Koutny
On the Sleep Sets Method for Partial Order Verification of Concurrent Systems1995
Professor Maciej Koutny
Semantics of Inhibitor Nets1995
Professor Eike Best
Professor Maciej Koutny
Solving Recursive Net Equations1995
Professor Maciej Koutny
Deriving Histories of Nets with Priority Relation1994
Professor Maciej Koutny
Professor Eike Best
Operational Semantics for the Petri Box Calculus1994
Professor Maciej Koutny
Partial Order Semantics of Box Expressions1994
Professor Maciej Koutny
Dr Christopher Holt
Projection in Temporal Logic Programming1994
Professor Maciej Koutny
Representations of Discrete Interval Orders and Semi-Orders1994
Professor Maciej Koutny
Two Implementation Relations and the Correctness of Communicating Replicated Processes1994
Professor Maciej Koutny
Modelling Replicated Processing1993
Professor Maciej Koutny
Order Structures and Generalisations of Szpilrajn's Theorem1993
Professor Maciej Koutny
Order Structures and Generalisations of Szpilrajn's Theorem1993
Professor Maciej Koutny
Dr Christopher Holt
Projection in Temporal Logic Programming1993
Professor Maciej Koutny
Structure of Concurrency1993
Professor Maciej Koutny
Adequacy-Preserving Transformations of COSY Path Programs1992
Professor Maciej Koutny
Invariants and Paradigms of Concurrency Theory1992
Professor Maciej Koutny
Modelling Systems with Dynamic Priorities1992
Professor Eike Best
Professor Maciej Koutny
Petri Net Semantics of Priority Systems1992
Professor Maciej Koutny
Replication in Acyclic Networks of Communicating Processes1992
Professor Maciej Koutny
Structure of Concurrency1992
Professor Maciej Koutny
Axiom System Induced by CTL* Logic1991
Professor Maciej Koutny
Invariant Semantics of Nets with Inhibitor Arcs1991
Professor Maciej Koutny
Invariants and Paradigms of Concurrency Theory1991
Professor Maciej Koutny
Invariants and Paradigms of Concurrency Theory1991
Professor Maciej Koutny
Modelling Systems with Dynamic Priorities1991
Professor Maciej Koutny
On Some Implementation of Optimal Simulations1991
Professor Maciej Koutny
Optimal Simulations, Nets and Reachability Graphs1991
Professor Maciej Koutny
Structure of Concurrency1991
Professor Maciej Koutny
Using Optimal Simulations to Reduce Reachability Graphs1991
Professor Maciej Koutny
Verifying Correctness of Communicating Replicated Processes1991
Dr Amer Saeed
Emeritus Professor Tom Anderson
Professor Maciej Koutny
A Formal Model for Safety-Critical Computing Systems1990
Professor Maciej Koutny
Axiom System Induced by CTL Logic1990
Professor Maciej Koutny
Net Implementation of Optimal Simulations1990
Professor Maciej Koutny
Observing Concurrent Histories1990
Professor Maciej Koutny
Asynchronous Communication in Dynamically Structured Systems1989
Professor Maciej Koutny
Asynchronous Communication in Dynamically Structured Systems1989
Professor Maciej Koutny
Modelling Concurrent Systems with Dynamic Communication Structure1989
Professor Maciej Koutny
Synchronizing Events in Replicated Systems1989
Professor Maciej Koutny
Towards a Theory of Simulation for Verification of Concurrent Systems1989
Professor Maciej Koutny
Adequacy-preserving Transformatics of COSY Path Programs1988
Professor Maciej Koutny
Adequacy-Preserving Transformations of COSY Path Programs1988
Professor Maciej Koutny
A Model for Dynamically Structured Communicating Systems1987
Professor Maciej Koutny
Modelling Dynamic Distributed Systems1987
Professor Maciej Koutny
On Equivalent Execution Semantics of Concurrent Systems1987
Professor Maciej Koutny
On Equivalent Execution Semantics of Concurrent Systems1987
Professor Maciej Koutny
Synchronizing Events in Replicated Systems1987
Professor Maciej Koutny
Concurrent and Maximally Concurrent Evolution of Nonsequential Systems1986
Professor Maciej Koutny
Formal Specification of N-modular Redundancy1986
Professor Maciej Koutny
Formal Specification of N-Modular Redundancy1986
Professor Maciej Koutny
On Equivalent Execution Semantics of Concurrent Systems1986
Professor Maciej Koutny
The merlin-randell problem of train journeys1986
Professor Maciej Koutny
Identification of Regular Configurations with Partial Information1985
Professor Maciej Koutny
Synchronisation Strategies in the Merlin-Randell Problem of Train Journeys1985
Professor Maciej Koutny
Train Journeys in the Merlin-Randell Problem1985
Professor Maciej Koutny
On the Merlin-Randell Problem of Train Journeys1984