Maciej Koutny

ORCID

Publication Activity (10 Years)

Years Active: 1984-2024
Publications (10 Years): 61

Top Venues

Publications

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Relational Structures for Interval Order Semantics of Concurrent Systems. Petri Nets (2024)
Maciej Koutny, Marta Pietkiewicz-Koutny
Synthesising ENI-Systems with Interval Order Semantics. PNSE@Petri Nets (2024)
Maciej Koutny, Lukasz Mikulski
Quasi-stratified Order Semantics of Concurrency. CoRR (2024)
Artur Meski, Maciej Koutny, Lukasz Mikulski, Wojciech Penczek
Reaction mining for reaction systems. Nat. Comput. 23 (2) (2024)
Mohammed Alahmadi, Salma Alharbi, Talal Alharbi, Nadiyah Almutairi, Tuwailaa Alshammari, Anirban Bhattacharyya, Maciej Koutny, Bowen Li, Brian Randell
Structured Acyclic Nets. CoRR (2024)
Marta Pietkiewicz-Koutny, Maciej Koutny
Synthesising Elementary Net Systems with Interval Order Semantics. ATAED/PN4TT@Petri Nets (2023)
Ryszard Janicki, Maciej Koutny, Lukasz Mikulski
Interval Traces with Mutex Relation. Petri Nets (2023)
Anirban Bhattacharyya, Maciej Koutny
Confusion-Tolerant Computation of Probability in Acyclic Nets. Trans. Petri Nets Other Model. Concurr. 17 (2023)
Victor Khomenko, Maciej Koutny, Alex Yakovlev
Slimming down Petri Boxes: Compact Petri Net Models of Control Flows. CONCUR (2022)
Victor Khomenko, Maciej Koutny, Alex Yakovlev
Avoiding Exponential Explosion in Petri Net Models of Control Flows. Petri Nets (2022)
Aishah Ahmed, Maciej Koutny, Marta Pietkiewicz-Koutny
Synthesising elementary net systems with localities. Theor. Comput. Sci. 908 (2022)
Wen Zeng, Maciej Koutny
Quantitative Analysis of Opacity in Cloud Computing Systems. IEEE Trans. Cloud Comput. 9 (3) (2021)
Nadiyah Almutairi, Maciej Koutny
Verification of Communication Structured Acyclic Nets Using SAT. PNSE@Petri Nets (2021)
Maciej Koutny, Marta Pietkiewicz-Koutny, Alex Yakovlev
Asynchrony and persistence in reaction systems. Theor. Comput. Sci. 881 (2021)
David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski
Investigating Reversibility of Steps in Petri Nets. CoRR (2021)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Relational structures for concurrent behaviours. Theor. Comput. Sci. 862 (2021)
David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski
Investigating Reversibility of Steps in Petri Nets. Fundam. Informaticae 183 (1-2) (2021)
Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Reaction Systems and Enabling Equivalence. Fundam. Informaticae 171 (1-4) (2020)
Bin Qian, Jie Su, Zhenyu Wen, Devki Nandan Jha, Yinhao Li, Yu Guan, Deepak Puthal, Philip James, Renyu Yang, Albert Y. Zomaya, Omer F. Rana, Lizhe Wang, Maciej Koutny, Rajiv Ranjan
Orchestrating the Development Lifecycle of Machine Learning-based IoT Applications: A Taxonomy and Survey. ACM Comput. Surv. 53 (4) (2020)
Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
Plug-in context providers for reaction systems. Theor. Comput. Sci. 834 (2020)
Maurice H. ter Beek, Maciej Koutny, Grzegorz Rozenberg
Preface. Fundam. Informaticae 175 (1-4) (2020)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Classifying invariant structures of step traces. J. Comput. Syst. Sci. 104 (2019)
Hanna Klaudel, Maciej Koutny, Zhenhua Duan, Ben C. Moszkowski
From Box Algebra to Interval Temporal Logic. Fundam. Informaticae 167 (4) (2019)
Talal Alharbi, Maciej Koutny
Domain Name System (DNS) Tunneling Detection using Structured Occurrence Nets (SONs). PNSE@Petri Nets/ACSD (2019)
Ryszard Janicki, Maciej Koutny
Operational Semantics, Interval Orders and Sequences of Antichains. Fundam. Informaticae 169 (1-2) (2019)
Wen Zeng, Maciej Koutny
Modelling and analysis of corporate efficiency and productivity loss associated with enterprise information security technologies. J. Inf. Secur. Appl. 49 (2019)
David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski
Reversing Steps in Petri Nets. Petri Nets (2019)
Devki Nandan Jha, Zhenyu Wen, Yinhao Li, Michael Nee, Maciej Koutny, Rajiv Ranjan
A Cost-Efficient Multi-cloud Orchestrator for Benchmarking Containerized Web-Applications. WISE (2019)
Artur Meski, Maciej Koutny, Wojciech Penczek
Reaction Mining for Reaction Systems. UCNC (2018)
Kamila Barylska, Evgeny Erofeev, Maciej Koutny, Lukasz Mikulski, Marcin Piatkowski
Reversing Transitions in Bounded Petri Nets. Fundam. Informaticae 157 (4) (2018)
Talal Alharbi, Maciej Koutny
Visualising Data Sets in Structured Occurrence Nets. PNSE@Petri Nets/ACSD (2018)
Bowen Li, Brian Randell, Anirban Bhattacharyya, Talal Alharbi, Maciej Koutny
SONCraft: A Tool for Construction, Simulation, and Analysis of Structured Occurrence Nets. ACSD (2018)
Kamila Barylska, Maciej Koutny, Lukasz Mikulski, Marcin Piatkowski
Reversible computation vs. reversibility in Petri nets. Sci. Comput. Program. 151 (2018)
David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski
An Efficient Characterization of Petri Net Solvable Binary Words. Petri Nets (2018)
Jetty Kleijn, Maciej Koutny, Lukasz Mikulski, Grzegorz Rozenberg
Reaction Systems, Transition Systems, and Equivalences. Adventures Between Lower Bounds and Higher Altitudes (2018)
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny
Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities. Sci. Ann. Comput. Sci. 27 (2) (2017)
Bogdan Aman, Jetty Kleijn, Maciej Koutny, Dorel Lucanu
Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu. Fundam. Informaticae 153 (1-2) (2017)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
On Synthesising Step Alphabets for Acyclic Invariant Structures. ATAED@Petri Nets/ACSD (2017)
Maciej Koutny, Lukasz Mikulski, Marta Pietkiewicz-Koutny
An extension of the taxonomy of persistent and nonviolent steps. Inf. Sci. 394 (2017)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Alphabets of Acyclic Invariant Structures. Fundam. Informaticae 154 (1-4) (2017)
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg
Applying regions. Theor. Comput. Sci. 658 (2017)
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny
Signal set tissue systems and overlapping localities. Theor. Comput. Sci. 701 (2017)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Invariant Structures and Dependence Relations. Fundam. Informaticae 155 (1-2) (2017)
Artur Meski, Maciej Koutny, Wojciech Penczek
Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations. Fundam. Informaticae 154 (1-4) (2017)
Andrzej Ehrenfeucht, Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
Evolving reaction systems. Theor. Comput. Sci. 682 (2017)
Kamila Barylska, Lukasz Mikulski, Marcin Piatkowski, Maciej Koutny, Evgeny Erofeev
Reversing Transitions in Bounded Petri Nets. CS&P (2016)
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny
Synthesis of Petri Nets with Whole-Place Operations and Localities. ICTAC (2016)
Hanna Klaudel, Maciej Koutny, Ben C. Moszkowski
From Petri Nets with Shared Variables to ITL. ACSD (2016)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Step traces. Acta Informatica 53 (1) (2016)
Kamila Barylska, Maciej Koutny, Lukasz Mikulski, Marcin Piatkowski
Reversible Computation vs. Reversibility in Petri Nets. RC (2016)
Laura M. F. Bertens, Jetty Kleijn, Sander C. Hille, Monika Heiner, Maciej Koutny, Fons J. Verbeek
Modeling biological gradient formation: combining partial differential equations and Petri nets. Nat. Comput. 15 (4) (2016)
Artur Meski, Maciej Koutny, Wojciech Penczek
Towards Quantitative Verification of Reaction Systems. UCNC (2016)
Wen Zeng, Maciej Koutny, Paul Watson, Vasileios Germanos
Formal verification of secure information flow in cloud computing. J. Inf. Secur. Appl. (2016)
Gabriel Ciobanu, Maciej Koutny, L. Jason Steggles
Strategy based semantics for mobility with time and access permissions. Formal Aspects Comput. 27 (3) (2015)
Wen Zeng, Maciej Koutny, Paul Watson
Opacity in Internet of Things with Cloud Computing (Short Paper). SOCA (2015)
Thomas Chatain, Stefan Haar, Maciej Koutny, Stefan Schwoon
Non-atomic Transition Firing in Contextual Nets. Petri Nets (2015)
Johnson Fernandes, Maciej Koutny, Lukasz Mikulski, Marta Pietkiewicz-Koutny, Danil Sokolov, Alex Yakovlev
Persistent and Nonviolent Steps and the Design of GALS Systems. Fundam. Informaticae 137 (1) (2015)
Bowen Li, Maciej Koutny
Unfolding CSPT-nets. PNSE @ Petri Nets (2015)
Gabriel Ciobanu, Maciej Koutny
PerTiMo: A Model of Spatial Migration with Safe Access Permissions. Comput. J. 58 (5) (2015)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Characterising Concurrent Histories. Fundam. Informaticae 139 (1) (2015)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Order Structures for Subclasses of Generalised Traces. LATA (2015)
Wen Zeng, Maciej Koutny, Aad P. A. van Moorsel
Performance Modelling and Evaluation of Enterprise Information Security Technologies. CIT (2014)
Wen Zeng, Maciej Koutny, Paul Watson
Verifying Secure Information Flow in Federated Clouds. CloudCom (2014)
Wen Zeng, Chunyan Mu, Maciej Koutny, Paul Watson
A Flow Sensitive Security Model for Cloud Computing Systems. CoRR (2014)
Hanna Klaudel, Maciej Koutny, Zhenhua Duan
Interval Temporal Logic Semantics of Box Algebra. LATA (2014)
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny
Tissue Systems and Petri Net Synthesis. Trans. Petri Nets Other Model. Concurr. 9 (2014)
Lukasz Mikulski, Maciej Koutny
Folded Hasse diagrams of combined traces. Inf. Process. Lett. 114 (4) (2014)
Wen Zeng, Maciej Koutny
Data Resources in Dynamic Environments. TASE (2014)
Jetty Kleijn, Maciej Koutny
Causality in Extensions of Petri Nets. Trans. Petri Nets Other Model. Concurr. 7 (2013)
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg
Step semantics of boolean nets. Acta Informatica 50 (1) (2013)
Zhenhua Duan, Hanna Klaudel, Maciej Koutny
ITL semantics of composite Petri nets. J. Log. Algebraic Methods Program. 82 (2) (2013)
Johnson Fernandes, Maciej Koutny, Marta Pietkiewicz-Koutny, Danil Sokolov, Alex Yakovlev
Step Persistence in the Design of GALS Systems. Petri Nets (2013)
Maciej Koutny, Lukasz Mikulski, Marta Pietkiewicz-Koutny
A Taxonomy of Persistent and Nonviolent Steps. Petri Nets (2013)
Zhenhua Duan, Nan Zhang, Maciej Koutny
A complete proof system for propositional projection temporal logic. Theor. Comput. Sci. 497 (2013)
Wen Zeng, Kaiyu Liu, Maciej Koutny
Cost-benefit analysis of digital rights management products using stochastic models. SpringSim (ANSS) (2013)
Jetty Kleijn, Maciej Koutny
Mutex Causality in Processes and Traces of General Elementary Nets. Fundam. Informaticae 122 (1-2) (2013)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Causal Structures for General Concurrent Behaviours. CS&P (2013)
Paolo Missier, Brian Randell, Maciej Koutny
Modelling Provenance Using Structured Occurrence Networks. IPAW (2012)
Bogdan Aman, Gabriel Ciobanu, Maciej Koutny
Behavioural Equivalences over Migrating Processes with Timers. FMOODS/FORTE (2012)
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny
Regions of Petri nets with a/sync connections. Theor. Comput. Sci. 454 (2012)
Jetty Kleijn, Maciej Koutny
Localities in systems with a/sync communication. Theor. Comput. Sci. 429 (2012)
Gabriel Ciobanu, Maciej Koutny, L. Jason Steggles
A Timed Mobility Semantics Based on Rewriting Strategies. SEFM (2012)
Andrzej Ehrenfeucht, Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
Relevance of Entities in Reaction Systems. Languages Alive (2012)
Lukasz Mikulski, Maciej Koutny
Hasse Diagrams of Combined Traces. ACSD (2012)
Maciej Koutny, Marta Pietkiewicz-Koutny
Synthesis Problem for Petri Nets with Localities. Trans. Petri Nets Other Model. Concurr. 5 (2012)
Gabriel Ciobanu, Maciej Koutny
Modelling and analysis of biological systems: - Based on papers presented at the Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC) held in 2008 (Iasi), 2009 (Bologna) and 2010 (Jena). Theor. Comput. Sci. 431 (2012)
Jetty Kleijn, Maciej Koutny
Step coverability algorithms for communicating systems. Sci. Comput. Program. 77 (7-8) (2012)
Jeremy W. Bryans, Maciej Koutny, Chunyan Mu
Towards Quantitative Analysis of Opacity. TGC (2012)
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg
Membrane Systems and Petri Net Synthesis MeCBIC (2012)
Andrzej Ehrenfeucht, Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
Minimal Reaction Systems. Trans. Comp. Sys. Biology 14 (2012)
Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
Petri Nets for Biologically Motivated Computing. Sci. Ann. Comput. Sci. 21 (2) (2011)
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg
Classifying Boolean Nets for Region-based Synthesis. ART @ Petri Nets (2011)
Gabriel Ciobanu, Maciej Koutny
Timed Mobility in process algebra and Petri nets. J. Log. Algebraic Methods Program. 80 (7) (2011)
Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
Petri Nets and Bio-Modelling - and how to benefit from their synergy CoRR (2011)
Jetty Kleijn, Maciej Koutny
Causality in Structured Occurrence Nets. Dependable and Historic Computing (2011)
Jetty Kleijn, Maciej Koutny
The Mutex Paradigm of Concurrency. Petri Nets (2011)
Jetty Kleijn, Maciej Koutny
Membrane Systems with Qualitative Evolution Rules. Fundam. Informaticae 110 (1-4) (2011)
Gabriel Ciobanu, Maciej Koutny
Timed Migration and Interaction with Access Permissions. FM (2011)
Jetty Kleijn, Maciej Koutny
Petri Nets with Localities and Testing. Petri Nets (2010)
Maciej Koutny, Marta Pietkiewicz-Koutny
Synthesis of General Petri Nets with Localities. ACSD/Petri Nets Workshops (2010)

Maciej Koutny.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Maciej Koutny