Browsing publications by Professor Maciej Koutny

Newcastle AuthorsTitleYear
Professor Maciej Koutny
A complete proof system for propositional projection temporal logic 2013
Professor Gabriel Ciobanu
Professor Maciej Koutny
Dr Jason Steggles
A Timed Mobility Semantics Based on Rewriting Strategies2013
Professor Maciej Koutny
Dr Lukasz Mikulski
Causal Structures for General Concurrent Behaviours2013
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
Professor Maciej Koutny
Dr Marta Pietkiewicz-Koutny
Step semantics of boolean nets2013
Professor Maciej Koutny
Dr Lukasz Mikulski
Dr Marta Pietkiewicz-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
1234567891011121314151617181920...