default search action
Maciej Koutny
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j93]Artur Meski, Maciej Koutny, Lukasz Mikulski, Wojciech Penczek:
Reaction mining for reaction systems. Nat. Comput. 23(2): 323-343 (2024) - [j92]Devki Nandan Jha, Yinhao Li, Zhenyu Wen, Graham Morgan, Prem Prakash Jayaraman, Maciej Koutny, Omer F. Rana, Rajiv Ranjan:
GeoDeploy: Geo-Distributed Application Deployment Using Benchmarking. IEEE Trans. Parallel Distributed Syst. 35(12): 2361-2374 (2024) - [c114]Maciej Koutny, Marta Pietkiewicz-Koutny:
Synthesising ENI-Systems with Interval Order Semantics. PNSE@Petri Nets 2024: 33-52 - [c113]Ryszard Janicki
, Jetty Kleijn
Relational Structures for Interval Order Semantics of Concurrent Systems. Petri Nets 2024: 153-174 - [i5]Mohammed Alahmadi, Salma Alharbi, Talal Alharbi, Nadiyah Almutairi, Tuwailaa Alshammari, Anirban Bhattacharyya, Maciej Koutny, Bowen Li, Brian Randell:
Structured Acyclic Nets. CoRR abs/2401.07308 (2024) - [i4]Maciej Koutny, Lukasz Mikulski:
Quasi-stratified Order Semantics of Concurrency. CoRR abs/2407.13406 (2024) - 2023
- [j91]Anirban Bhattacharyya, Maciej Koutny:
Confusion-Tolerant Computation of Probability in Acyclic Nets. Trans. Petri Nets Other Model. Concurr. 17: 212-245 (2023) - [c112]Ryszard Janicki
Interval Traces with Mutex Relation. Petri Nets 2023: 145-166 - [c111]Marta Pietkiewicz-Koutny, Maciej Koutny:
Synthesising Elementary Net Systems with Interval Order Semantics. ATAED/PN4TT@Petri Nets 2023 - [e17]Maciej Koutny
Transactions on Petri Nets and Other Models of Concurrency XVII. Lecture Notes in Computer Science 14150, Springer 2023, ISBN 978-3-662-68190-9 [contents] - 2022
- [b2]Ryszard Janicki
Paradigms of Concurrency - Observations, Behaviours, and Systems - a Petri Net View. Studies in Computational Intelligence 1020, Springer 2022, ISBN 978-3-662-64819-3, pp. 1-317 - [j90]Aishah Ahmed, Maciej Koutny, Marta Pietkiewicz-Koutny:
Synthesising elementary net systems with localities. Theor. Comput. Sci. 908: 123-140 (2022) - [c110]Victor Khomenko
Avoiding Exponential Explosion in Petri Net Models of Control Flows. Petri Nets 2022: 261-277 - [c109]Victor Khomenko, Maciej Koutny, Alex Yakovlev:
Slimming down Petri Boxes: Compact Petri Net Models of Control Flows. CONCUR 2022: 8:1-8:16 - [e16]Maciej Koutny
Transactions on Petri Nets and Other Models of Concurrency XVI. Lecture Notes in Computer Science 13220, Springer Berlin Heidelberg 2022, ISBN 978-3-662-65303-6 [contents] - 2021
- [j89]Bin Qian, Jie Su
Orchestrating the Development Lifecycle of Machine Learning-based IoT Applications: A Taxonomy and Survey. ACM Comput. Surv. 53(4): 82:1-82:47 (2021) - [j88]David de Frutos-Escrig
Investigating Reversibility of Steps in Petri Nets. Fundam. Informaticae 183(1-2): 67-96 (2021) - [j87]Wen Zeng
Quantitative Analysis of Opacity in Cloud Computing Systems. IEEE Trans. Cloud Comput. 9(3): 1210-1219 (2021) - [j86]Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Relational structures for concurrent behaviours. Theor. Comput. Sci. 862: 174-192 (2021) - [j85]Maciej Koutny, Marta Pietkiewicz-Koutny, Alex Yakovlev:
Asynchrony and persistence in reaction systems. Theor. Comput. Sci. 881: 97-110 (2021) - [c108]Nadiyah Almutairi, Maciej Koutny:
Verification of Communication Structured Acyclic Nets Using SAT. PNSE@Petri Nets 2021: 175-194 - [e15]Maciej Koutny, Fabrice Kordon
Transactions on Petri Nets and Other Models of Concurrency XV. Lecture Notes in Computer Science 12530, Springer 2021, ISBN 978-3-662-63078-5 [contents] - [i3]David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski:
Investigating Reversibility of Steps in Petri Nets. CoRR abs/2110.10535 (2021) - 2020
- [j84]Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Reaction Systems and Enabling Equivalence. Fundam. Informaticae 171(1-4): 261-277 (2020) - [j83]Maurice H. ter Beek, Maciej Koutny, Grzegorz Rozenberg:
Preface. Fundam. Informaticae 175(1-4) (2020) - [j82]Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg:
Plug-in context providers for reaction systems. Theor. Comput. Sci. 834: 26-42 (2020)
2010 – 2019
- 2019
- [j81]Hanna Klaudel, Maciej Koutny, Zhenhua Duan, Ben C. Moszkowski:
From Box Algebra to Interval Temporal Logic. Fundam. Informaticae 167(4): 323-354 (2019) - [j80]Ryszard Janicki, Maciej Koutny:
Operational Semantics, Interval Orders and Sequences of Antichains. Fundam. Informaticae 169(1-2): 31-55 (2019) - [j79]Wen Zeng
Modelling and analysis of corporate efficiency and productivity loss associated with enterprise information security technologies. J. Inf. Secur. Appl. 49 (2019) - [j78]Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Classifying invariant structures of step traces. J. Comput. Syst. Sci. 104: 297-322 (2019) - [c107]Talal Alharbi, Maciej Koutny:
Domain Name System (DNS) Tunneling Detection using Structured Occurrence Nets (SONs). PNSE@Petri Nets/ACSD 2019: 93-108 - [c106]David de Frutos-Escrig
Reversing Steps in Petri Nets. Petri Nets 2019: 171-191 - [c105]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: 407-423 - [p5]Maciej Koutny:
Petri Nets and Petri's Nets: A Personal Perspective. Carl Adam Petri: Ideas, Personality, Impact 2019: 93-95 - [e14]Maciej Koutny, Lucia Pomello, Lars Michael Kristensen:
Transactions on Petri Nets and Other Models of Concurrency XIV. Lecture Notes in Computer Science 11790, Springer 2019, ISBN 978-3-662-60650-6 [contents] - 2018
- [j77]Kamila Barylska
Reversing Transitions in Bounded Petri Nets. Fundam. Informaticae 157(4): 341-357 (2018) - [j76]Kamila Barylska
Reversible computation vs. reversibility in Petri nets. Sci. Comput. Program. 151: 48-60 (2018) - [c104]Bowen Li, Brian Randell, Anirban Bhattacharyya, Talal Alharbi, Maciej Koutny:
SONCraft: A Tool for Construction, Simulation, and Analysis of Structured Occurrence Nets. ACSD 2018: 70-74 - [c103]Talal Alharbi, Maciej Koutny:
Visualising Data Sets in Structured Occurrence Nets. PNSE@Petri Nets/ACSD 2018: 121-132 - [c102]David de Frutos-Escrig
An Efficient Characterization of Petri Net Solvable Binary Words. Petri Nets 2018: 207-226 - [c101]Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Reaction Systems, Transition Systems, and Equivalences. Adventures Between Lower Bounds and Higher Altitudes 2018: 63-84 - [c100]Artur Meski
Reaction Mining for Reaction Systems. UCNC 2018: 131-144 - [e13]Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek:
Transactions on Petri Nets and Other Models of Concurrency XIII. Lecture Notes in Computer Science 11090, Springer 2018, ISBN 978-3-662-58380-7 [contents] - 2017
- [j75]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): 177-212 (2017) - [j74]Bogdan Aman
Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu. Fundam. Informaticae 153(1-2): v-vi (2017) - [j73]Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Alphabets of Acyclic Invariant Structures. Fundam. Informaticae 154(1-4): 207-224 (2017) - [j72]Artur Meski
Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations. Fundam. Informaticae 154(1-4): 289-306 (2017) - [j71]Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Invariant Structures and Dependence Relations. Fundam. Informaticae 155(1-2): 1-29 (2017) - [j70]Maciej Koutny, Lukasz Mikulski
An extension of the taxonomy of persistent and nonviolent steps. Inf. Sci. 394: 299-314 (2017) - [j69]Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg:
Applying regions. Theor. Comput. Sci. 658: 205-215 (2017) - [j68]Andrzej Ehrenfeucht, Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg:
Evolving reaction systems. Theor. Comput. Sci. 682: 79-99 (2017) - [j67]Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny:
Signal set tissue systems and overlapping localities. Theor. Comput. Sci. 701: 132-145 (2017) - [c99]Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski:
On Synthesising Step Alphabets for Acyclic Invariant Structures. ATAED@Petri Nets/ACSD 2017: 76-88 - [e12]Maciej Koutny, Jetty Kleijn, Wojciech Penczek
Transactions on Petri Nets and Other Models of Concurrency XII. Lecture Notes in Computer Science 10470, Springer 2017, ISBN 978-3-662-55861-4 [contents] - 2016
- [j66]Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Step traces. Acta Informatica 53(1): 35-65 (2016) - [j65]Wen Zeng, Maciej Koutny, Paul Watson
Formal verification of secure information flow in cloud computing. J. Inf. Secur. Appl. 27-28: 103-116 (2016) - [j64]Laura M. F. Bertens
Modeling biological gradient formation: combining partial differential equations and Petri nets. Nat. Comput. 15(4): 665-675 (2016) - [c98]Hanna Klaudel, Maciej Koutny, Ben C. Moszkowski:
From Petri Nets with Shared Variables to ITL. ACSD 2016: 11-18 - [c97]Kamila Barylska, Lukasz Mikulski, Marcin Piatkowski, Maciej Koutny, Evgeny Erofeev:
Reversing Transitions in Bounded Petri Nets. CS&P 2016: 74-85 - [c96]Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny:
Synthesis of Petri Nets with Whole-Place Operations and Localities. ICTAC 2016: 103-120 - [c95]Kamila Barylska
Reversible Computation vs. Reversibility in Petri Nets. RC 2016: 105-118 - [c94]Artur Meski
Towards Quantitative Verification of Reaction Systems. UCNC 2016: 142-154 - [e11]Maciej Koutny, Jörg Desel, Jetty Kleijn:
Transactions on Petri Nets and Other Models of Concurrency XI. Lecture Notes in Computer Science 9930, Springer 2016, ISBN 978-3-662-53400-7 [contents] - 2015
- [j63]Gabriel Ciobanu
PerTiMo: A Model of Spatial Migration with Safe Access Permissions. Comput. J. 58(5): 1041-1060 (2015) - [j62]Gabriel Ciobanu
Strategy based semantics for mobility with time and access permissions. Formal Aspects Comput. 27(3): 525-549 (2015) - [j61]Johnson Fernandes, Maciej Koutny, Lukasz Mikulski
Persistent and Nonviolent Steps and the Design of GALS Systems. Fundam. Informaticae 137(1): 143-170 (2015) - [j60]Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Characterising Concurrent Histories. Fundam. Informaticae 139(1): 21-42 (2015) - [c93]Thomas Chatain, Stefan Haar, Maciej Koutny, Stefan Schwoon:
Non-atomic Transition Firing in Contextual Nets. Petri Nets 2015: 117-136 - [c92]Bowen Li, Maciej Koutny:
Unfolding CSPT-nets. PNSE @ Petri Nets 2015: 207-226 - [c91]Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Order Structures for Subclasses of Generalised Traces. LATA 2015: 689-700 - [c90]Wen Zeng, Maciej Koutny, Paul Watson
Opacity in Internet of Things with Cloud Computing (Short Paper). SOCA 2015: 201-207 - [e10]Maciej Koutny, Jörg Desel, Serge Haddad:
Transactions on Petri Nets and Other Models of Concurrency X. Lecture Notes in Computer Science 9410, Springer 2015, ISBN 978-3-662-48649-8 [contents] - 2014
- [j59]Lukasz Mikulski
Folded Hasse diagrams of combined traces. Inf. Process. Lett. 114(4): 208-216 (2014) - [j58]Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny:
Tissue Systems and Petri Net Synthesis. Trans. Petri Nets Other Model. Concurr. 9: 124-146 (2014) - [c89]Wen Zeng, Maciej Koutny, Aad P. A. van Moorsel:
Performance Modelling and Evaluation of Enterprise Information Security Technologies. CIT 2014: 504-511 - [c88]Wen Zeng, Maciej Koutny, Paul Watson
Verifying Secure Information Flow in Federated Clouds. CloudCom 2014: 78-85 - [c87]Hanna Klaudel, Maciej Koutny, Zhenhua Duan:
Interval Temporal Logic Semantics of Box Algebra. LATA 2014: 441-452 - [c86]Wen Zeng, Maciej Koutny:
Data Resources in Dynamic Environments. TASE 2014: 185-192 - [e9]Maciej Koutny, Serge Haddad, Alex Yakovlev
Transactions on Petri Nets and Other Models of Concurrency IX. Lecture Notes in Computer Science 8910, Springer 2014, ISBN 978-3-662-45729-0 [contents] - [i2]Wen Zeng, Chunyan Mu, Maciej Koutny, Paul Watson:
A Flow Sensitive Security Model for Cloud Computing Systems. CoRR abs/1404.7760 (2014) - 2013
- [j57]Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg:
Step semantics of boolean nets. Acta Informatica 50(1): 15-39 (2013) - [j56]Jetty Kleijn, Maciej Koutny:
Mutex Causality in Processes and Traces of General Elementary Nets. Fundam. Informaticae 122(1-2): 119-146 (2013) - [j55]Zhenhua Duan, Hanna Klaudel, Maciej Koutny:
ITL semantics of composite Petri nets. J. Log. Algebraic Methods Program. 82(2): 95-110 (2013) - [j54]Zhenhua Duan, Nan Zhang, Maciej Koutny:
A complete proof system for propositional projection temporal logic. Theor. Comput. Sci. 497: 84-107 (2013) - [j53]Jetty Kleijn, Maciej Koutny:
Causality in Extensions of Petri Nets. Trans. Petri Nets Other Model. Concurr. 7: 225-254 (2013) - [c85]Johnson Fernandes, Maciej Koutny, Marta Pietkiewicz-Koutny, Danil Sokolov, Alex Yakovlev
Step Persistence in the Design of GALS Systems. Petri Nets 2013: 190-209 - [c84]Maciej Koutny, Lukasz Mikulski
A Taxonomy of Persistent and Nonviolent Steps. Petri Nets 2013: 210-229 - [c83]Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski:
Causal Structures for General Concurrent Behaviours. CS&P 2013: 193-205 - [c82]Wen Zeng, Kaiyu Liu, Maciej Koutny:
Cost-benefit analysis of digital rights management products using stochastic models. SpringSim (ANSS) 2013: 1 - [e8]Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf:
Transactions on Petri Nets and Other Models of Concurrency VII. Lecture Notes in Computer Science 7480, Springer 2013, ISBN 978-3-642-38142-3 [contents] - [e7]Maciej Koutny, Wil M. P. van der Aalst
Transactions on Petri Nets and Other Models of Concurrency VIII. Lecture Notes in Computer Science 8100, Springer 2013, ISBN 978-3-642-40464-1 [contents] - 2012
- [j52]Jetty Kleijn, Maciej Koutny:
Step coverability algorithms for communicating systems. Sci. Comput. Program. 77(7-8): 955-967 (2012) - [j51]Jetty Kleijn, Maciej Koutny:
Localities in systems with a/sync communication. Theor. Comput. Sci. 429: 185-192 (2012) - [j50]Gabriel Ciobanu
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: 2-3 (2012) - [j49]Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny:
Regions of Petri nets with a/sync connections. Theor. Comput. Sci. 454: 189-198 (2012) - [j48]Andrzej Ehrenfeucht, Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg:
Minimal Reaction Systems. Trans. Comp. Sys. Biology 14: 102-122 (2012) - [j47]Maciej Koutny, Marta Pietkiewicz-Koutny:
Synthesis Problem for Petri Nets with Localities. Trans. Petri Nets Other Model. Concurr. 5: 160-180 (2012) - [c81]Lukasz Mikulski
Hasse Diagrams of Combined Traces. ACSD 2012: 92-101 - [c80]Andrzej Ehrenfeucht, Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg:
Relevance of Entities in Reaction Systems. Languages Alive 2012: 44-55 - [c79]Bogdan Aman
Behavioural Equivalences over Migrating Processes with Timers. FMOODS/FORTE 2012: 52-66 - [c78]Paolo Missier
Modelling Provenance Using Structured Occurrence Networks. IPAW 2012: 183-197 - [c77]Gabriel Ciobanu
A Timed Mobility Semantics Based on Rewriting Strategies. SEFM 2012: 141-155 - [c76]Jeremy W. Bryans
Towards Quantitative Analysis of Opacity. TGC 2012: 145-163 - [c75]Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg:
Membrane Systems and Petri Net Synthesis. MeCBIC 2012: 1-13 - [e6]Maciej Koutny, Irek Ulidowski:
CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings. Lecture Notes in Computer Science 7454, Springer 2012, ISBN 978-3-642-32939-5 [contents] - 2011
- [j46]Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg:
Petri Nets for Biologically Motivated Computing. Sci. Ann. Comput. Sci. 21(2): 199-225 (2011) - [j45]Jetty Kleijn, Maciej Koutny:
Membrane Systems with Qualitative Evolution Rules. Fundam. Informaticae 110(1-4): 217-230 (2011) - [j44]Gabriel Ciobanu
Timed Mobility in process algebra and Petri nets. J. Log. Algebraic Methods Program. 80(7): 377-391 (2011) - [c74]Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg:
Classifying Boolean Nets for Region-based Synthesis. ART @ Petri Nets 2011: 5-21 - [c73]Jetty Kleijn, Maciej Koutny:
The Mutex Paradigm of Concurrency. Petri Nets 2011: 228-247 - [c72]Jetty Kleijn, Maciej Koutny:
Causality in Structured Occurrence Nets. Dependable and Historic Computing 2011: 283-297 - [c71]Gabriel Ciobanu
Timed Migration and Interaction with Access Permissions. FM 2011: 293-307 - [i1]Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg:
Petri Nets and Bio-Modelling - and how to benefit from their synergy. CoRR abs/1108.3422 (2011) - 2010
- [j43]Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau:
State Space Reduction for Dynamic Process Creation. Sci. Ann. Comput. Sci. 20: 131-157 (2010) - [j42]Maciej Koutny, Marta Pietkiewicz-Koutny:
Minimal Regions of ENL-Transition Systems. Fundam. Informaticae 101(1-2): 45-58 (2010) - [c70]Laura M. F. Bertens, Jetty Kleijn, Maciej Koutny, Fons J. Verbeek:
Modelling Gradients using Petri Nets. ACSD/Petri Nets Workshops 2010: 39-53 - [c69]Maciej Koutny, Marta Pietkiewicz-Koutny:
Synthesis of General Petri Nets with Localities. ACSD/Petri Nets Workshops 2010: 161-174 - [c68]Jetty Kleijn, Maciej Koutny:
Petri Nets with Localities and Testing. Petri Nets 2010: 19-38 - [p4]Ryszard Janicki, Jetty Kleijn, Maciej Koutny:
Quotient Monoids and Concurrent Behaviours. Scientific Applications of Language Methods 2010: 313-385 - [e5]Gabriel Ciobanu, Maciej Koutny:
Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010. EPTCS 40, 2010 [contents] - [e4]Kurt Jensen, Susanna Donatelli, Maciej Koutny:
Transactions on Petri Nets and Other Models of Concurrency IV. Lecture Notes in Computer Science 6550, Springer 2010, ISBN 978-3-642-18221-1 [contents]
2000 – 2009
- 2009
- [j41]Maciej Koutny, Marta Pietkiewicz-Koutny:
Synthesis of Petri Nets with Localities. Sci. Ann. Comput. Sci. 19: 1-23 (2009) - [j40]Philippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny, Alexandre Yakovlev
Synthesis of Nets with Step Firing Policies. Fundam. Informaticae 94(3-4): 275-303 (2009) - [j39]Maciej Koutny, Brian Randell:
Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques. Fundam. Informaticae 97(1-2): 41-91 (2009) - [j38]Jetty Kleijn, Maciej Koutny:
A Petri net model for membrane systems with dynamic structure. Nat. Comput. 8(4): 781-796 (2009) - [c67]Jetty Kleijn, Maciej Koutny:
Applying Step Coverability Trees to Communicating Component-Based Systems. FSEN 2009: 178-193 - [c66]Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau:
An approach to state space reduction for systems with dynamic process creation. ISCIS 2009: 543-548 - [e3]Kurt Jensen, Jonathan Billington, Maciej Koutny:
Transactions on Petri Nets and Other Models of Concurrency III. Lecture Notes in Computer Science 5800, Springer 2009, ISBN 978-3-642-04854-8 [contents] - 2008
- [j37]Raymond R. Devillers, Hanna Klaudel, Maciej Koutny:
A compositional Petri net translation of general pi -calculus terms. Formal Aspects Comput. 20(4-5): 429-450 (2008) - [j36]Maciej Koutny, Marta Pietkiewicz-Koutny:
Synthesis of Elementary Net Systems with Context Arcs and Localities. Fundam. Informaticae 88(3): 307-328 (2008) - [j35]Jeremy W. Bryans
Opacity generalised to transition systems. Int. J. Inf. Sec. 7(6): 421-435 (2008) - [j34]Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny:
Framed temporal logic programming. Sci. Comput. Program. 70(1): 31-61 (2008) - [j33]Jetty Kleijn, Maciej Koutny:
Processes of membrane systems with promoters and inhibitors. Theor. Comput. Sci. 404(1-2): 112-126 (2008) - [c65]Philippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny, Alexandre Yakovlev
Synthesis of Nets with Step Firing Policies. Petri Nets 2008: 112-131 - [c64]Gabriel Ciobanu
Modelling and Verification of Timed Interaction and Migration. FASE 2008: 215-229 - [c63]Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau:
Towards Efficient Verification of Systems with Dynamic Process Creation. ICTAC 2008: 186-200 - [p3]Jetty Kleijn, Maciej Koutny:
Formal Languages and Concurrent Behaviours. New Developments in Formal Languages and Applications 2008: 125-182 - [e2]Jonathan Billington, Zhenhua Duan, Maciej Koutny:
8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi'an, China, June 23-27, 2008. IEEE 2008, ISBN 978-1-4244-1838-1 [contents] - 2007
- [j32]Victor Khomenko, Maciej Koutny:
Verification of bounded Petri nets using integer programming. Formal Methods Syst. Des. 30(2): 143-176 (2007) - [j31]Jetty Kleijn, Maciej Koutny:
Processes of Petri Nets with Range Testing. Fundam. Informaticae 80(1-3): 199-219 (2007) - [c62]Raymond R. Devillers, Hanna Klaudel, Maciej Koutny:
Modelling Mobility in High-level Petri Nets. ACSD 2007: 110-119 - [c61]Maciej Koutny, Marta Pietkiewicz-Koutny:
Synthesis of Elementary Net Systems with Context Arcs and Localities. ICATPN 2007: 281-300 - [c60]Brian Randell, Maciej Koutny:
Failures: Their Definition, Modelling and Analysis. ICTAC 2007: 260-274 - 2006
- [j30]Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler:
Merged processes: a new condensed representation of Petri net behaviour. Acta Informatica 43(5): 307-330 (2006) - [j29]Victor Khomenko, Maciej Koutny, Alexandre Yakovlev:
Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT. Fundam. Informaticae 70(1-2): 49-73 (2006) - [j28]Raymond R. Devillers, Hanna Klaudel, Maciej Koutny:
Petri Net Semantics of the Finite pi-calculus Terms. Fundam. Informaticae 70(3): 203-226 (2006) - [j27]Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg:
Process Semantics for Membrane Systems. J. Autom. Lang. Comb. 11(3): 321-340 (2006) - [c59]Maciej Koutny, Giuseppe Pappalardo, Marta Pietkiewicz-Koutny:
Towards an Algebra of Abstractions for Communicating Processes. ACSD 2006: 239-250 - [c58]H. C. M. Kleijn, Maciej Koutny:
Infinite Process Semantics of Inhibitor Nets. ICATPN 2006: 282-301 - [c57]Maciej Koutny, Marta Pietkiewicz-Koutny:
Transition Systems of Elementary Net Systems with Localities. CONCUR 2006: 173-187 - [c56]Raymond R. Devillers, Hanna Klaudel, Maciej Koutny:
A Petri Net Translation of pi-Calculus Terms. ICTAC 2006: 138-152 - [c55]Jetty Kleijn, Maciej Koutny:
Synchrony and Asynchrony in Membrane Systems. Workshop on Membrane Computing 2006: 66-85 - [c54]Alexei Iliasov, Victor Khomenko, Maciej Koutny, Alexander B. Romanovsky:
On Specification and Verification of Location-Based Fault Tolerant Mobile Systems. RODIN Book 2006: 168-188 - 2005
- [c53]Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler:
Merged Processes - A New Condensed Representation of Petri Net Behaviour. CONCUR 2005: 338-352 - [c52]Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny:
Semantics of Framed Temporal Logic Programs. ICLP 2005: 356-370 - [c51]Jeremy W. Bryans
Opacity Generalised to Transition Systems. Formal Aspects in Security and Trust 2005: 81-95 - [c50]Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg:
Towards a Petri Net Semantics for Membrane Systems. Workshop on Membrane Computing 2005: 292-309 - [c49]Raymond R. Devillers, Hanna Klaudel, Maciej Koutny:
A Petri Net Semantics of a Simple Process Algebra for Mobility. EXPRESS 2005: 71-94 - 2004
- [j26]Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo:
Relating Communicating Processes with Different Interfaces. Fundam. Informaticae 59(1): 1-37 (2004) - [j25]Victor Khomenko, Maciej Koutny, Alexandre Yakovlev:
Detecting State Encoding Conflicts in STG Unfoldings Using SAT. Fundam. Informaticae 62(2): 221-241 (2004) - [j24]H. C. M. Kleijn, Maciej Koutny:
Process semantics of general inhibitor nets. Inf. Comput. 190(1): 18-69 (2004) - [j23]Zhenhua Duan, Maciej Koutny:
A Framed Temporal Logic Programming Language. J. Comput. Sci. Technol. 19(3): 341-351 (2004) - [c48]Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT. ACSD 2004: 16-25 - [c47]Raymond R. Devillers, Hanna Klaudel, Maciej Koutny:
Context-based Process Algebras for Mobility. ACSD 2004: 79-88 - [c46]Raymond R. Devillers, Hanna Klaudel, Maciej Koutny:
Petri Net Semantics of the Finite pi-Calculus. FORTE 2004: 309-325 - [c45]Jeremy W. Bryans
Modelling Dynamic Opacity Using Petri Nets with Silent Actions. Formal Aspects in Security and Trust 2004: 159-172 - [c44]Jeremy W. Bryans
Modelling Opacity Using Petri Nets. WISP@ICATPN 2004: 101-115 - 2003
- [j22]Victor Khomenko, Maciej Koutny, Walter Vogler:
Canonical prefixes of Petri net unfoldings. Acta Informatica 40(2): 95-118 (2003) - [j21]Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau:
Asynchronous Box Calculus. Fundam. Informaticae 54(4): 295-344 (2003) - [c43]Eike Best, Maciej Koutny:
Process Algebra: A Petri-Net-Oriented Tutorial. Lectures on Concurrency and Petri Nets 2003: 180-209 - [c42]Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
Detecting State Coding Conflicts in STG Unfoldings Using SAT. ACSD 2003: 51-60 - [c41]Victor Khomenko, Maciej Koutny:
Branching Processes of High-Level Petri Nets. TACAS 2003: 458-472 - 2002
- [j20]Eike Best, Raymond R. Devillers, Maciej Koutny:
The Box Algebra = Petri Nets + Process Expressions. Inf. Comput. 178(1): 44-100 (2002) - [c40]Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau:
An Algebra of Non-safe Petri Boxes. AMAST 2002: 192-207 - [c39]Victor Khomenko, Maciej Koutny, Walter Vogler:
Canonical Prefixes of Petri Net Unfoldings. CAV 2002: 582-595 - [c38]H. C. M. Kleijn, Maciej Koutny:
Causality Semantics of Petri Nets with Weighted Inhibitor Arcs. CONCUR 2002: 531-546 - [c37]Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
Detecting State Coding Conflicts in STGs Using Integer Programming. DATE 2002: 338-345 - [c36]Alexandre V. Bystrov, Maciej Koutny, Alexandre Yakovlev:
Visualization of Partial Order Models in VLSI Design Flow. DATE 2002: 1089 - [c35]Keijo Heljanko, Victor Khomenko, Maciej Koutny:
Parallelisation of the Petri Net Unfolding Algorithm. TACAS 2002: 371-385 - 2001
- [b1]Eike Best, Raymond R. Devillers, Maciej Koutny:
Petri net algebra. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2001, ISBN 978-3-540-67398-9, pp. I-XI, 1-378 - [j19]Eike Best, Raymond R. Devillers, Maciej Koutny:
Recursion and Petri nets. Acta Informatica 37(11-12): 781-829 (2001) - [j18]Alan Burns, Andy J. Wellings, Frank P. Burns, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev:
Modelling and verification of an atomic action protocol implemented in Ada. Comput. Syst. Sci. Eng. 16(3): 173-182 (2001) - [j17]Maciej Koutny, Giuseppe Pappalardo:
Behaviour Abstraction for Communicating Sequential Processes. Fundam. Informaticae 48(1): 21-54 (2001) - [c34]Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo:
Implementing Communicating Processes in the Event of Interface Difference. ACSD 2001: 87- - [c33]Victor Khomenko, Maciej Koutny:
Towards an Efficient Algorithm for Unfolding Petri Nets. CONCUR 2001: 366-380 - [c32]Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo:
Verifying Implementation Relations. FME 2001: 364-383 - [p2]Eike Best, Raymond R. Devillers, Maciej Koutny:
A Unified Model for Nets and Process Algebras. Handbook of Process Algebra 2001: 873-944 - [e1]José Manuel Colom, Maciej Koutny:
Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings. Lecture Notes in Computer Science 2075, Springer 2001, ISBN 3-540-42252-8 [contents] - 2000
- [c31]H. C. M. Kleijn, Maciej Koutny:
Process Semantics of P/T-Nets with Inhibitor Arcs. ICATPN 2000: 261-281 - [c30]Maciej Koutny:
A Compositional Model of Time Petri Nets. ICATPN 2000: 303-322 - [c29]Victor Khomenko, Maciej Koutny:
LP Deadlock Checking Using Partial Order Dependencies. CONCUR 2000: 410-425 - [c28]Alan Burns, Andy J. Wellings, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky
On developing and verifying design abstractions for reliable concurrent programming in Ada. IRTAW 2000: 48-55
1990 – 1999
- 1999
- [j16]Ryszard Janicki, Maciej Koutny:
On Causality Semantics of Nets with Priorities. Fundam. Informaticae 38(3): 223-255 (1999) - [j15]Maciej Koutny:
Peter Lauer and COSY. Fundam. Informaticae 40(2-3): 103-107 (1999) - [j14]Maciej Koutny, Eike Best:
Operational and Denotational Semantics for the Box Algebra. Theor. Comput. Sci. 211(1-2): 1-83 (1999) - [c27]Eike Best, Raymond R. Devillers, Maciej Koutny:
The Box Algebra - A Model of Nets and Process Expressions. ICATPN 1999: 344-363 - [c26]Maciej Koutny, Giuseppe Pappalardo:
A Model of Behaviour Abstraction for Communicating Processes. STACS 1999: 313-322 - 1998
- [c25]Raymond R. Devillers, Maciej Koutny:
Recursive Nets in the Box Algebra. ACSD 1998: 239-249 - [c24]Martin Hesketh, Maciej Koutny:
An Axiomatisation of Duplication Equivalence in the Petri Box Calculus. ICATPN 1998: 165-184 - 1997
- [j13]Ryszard Janicki, Maciej Koutny:
Fundamentals of Modelling Concurrency Using Discrete Relational Structures. Acta Informatica 34(5): 367-388 (1997) - [j12]Maciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo:
Two Implementation Relations and the Correctness of Communicating Replicated Processes. Formal Aspects Comput. 9(2): 119-148 (1997) - 1996
- [c23]Eike Best, Raymond R. Devillers, Maciej Koutny:
Petri Nets, Process Algebras and Concurrent Programming Languages. Petri Nets (2) 1996: 1-84 - 1995
- [j11]Ryszard Janicki, Maciej Koutny:
Semantics of Inhibitor Nets. Inf. Comput. 123(1): 1-16 (1995) - [c22]Eike Best, Maciej Koutny:
A Refined View of the Box Algebra. Application and Theory of Petri Nets 1995: 1-20 - [c21]Eike Best, Maciej Koutny:
Solving Recursive Net Equations. ICALP 1995: 605-623 - [c20]Nikolay A. Anisimov, Maciej Koutny:
On compositionality and Petri nets in protocol engineering. PSTV 1995: 71-86 - [c19]Eike Best, Maciej Koutny:
Using net refinement to compute the fixpoint of a recursive. SEGRAGRA 1995: 27-28 - 1994
- [j10]Ryszard Janicki, Maciej Koutny:
Representations of Discrete Interval Orders and Semi-Orders. J. Inf. Process. Cybern. 30(3): 161-168 (1994) - [c18]Maciej Koutny:
Partial Order Semantics of Box Expressions. Application and Theory of Petri Nets 1994: 318-337 - [c17]Maciej Koutny, Javier Esparza
Operational Semantics for the Petri Box Calculus. CONCUR 1994: 210-225 - [c16]Zhenhua Duan, Maciej Koutny, Chris Holt:
Projection in Temporal Logic Programming. LPAR 1994: 333-344 - [c15]Ryszard Janicki, Maciej Koutny:
Deriving Histories of Nets with Priority Relation. PARLE 1994: 623-634 - 1993
- [j9]Ryszard Janicki, Maciej Koutny:
Structure of Concurrency. Theor. Comput. Sci. 112(1): 5-52 (1993) - [c14]Ryszard Janicki, Maciej Koutny:
Order Structures and Generalisations of Szpilrajn's Theorem. FSTTCS 1993: 348-357 - [c13]Maciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo:
Modelling Replicated Processing. PARLE 1993: 672-675 - 1992
- [j8]Ryszard Janicki, Maciej Koutny:
Invariants and paradigms of concurrency theory. Future Gener. Comput. Syst. 8(4): 423-435 (1992) - [j7]Maciej Koutny:
Adequacy-Preserving Transformations of COSY Path Programs. Theor. Comput. Sci. 94(1): 141-158 (1992) - [j6]Eike Best, Maciej Koutny:
Petri Net Semantics of Priority Systems. Theor. Comput. Sci. 96(1): 175-174 (1992) - [p1]Maciej Koutny:
Modelling systems with dynamic priorities. Advances in Petri Nets: The DEMON Project 1992: 251-266 - 1991
- [j5]Maciej Koutny:
Axiom system induced by CTL* Logic. Fundam. Informaticae 14(2): 235-253 (1991) - [c12]Ryszard Janicki, Maciej Koutny:
Structure of Concurrency. AMAST 1991: 98-107 - [c11]Ryszard Janicki, Maciej Koutny:
Invariant Semantics of Nets with Inhibitor Arcs. CONCUR 1991: 317-331 - [c10]Ryszard Janicki, Maciej Koutny:
Invariants and Paradigms of Concurrency Theory. PARLE (2) 1991: 59-74 - [c9]Maciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo:
Formalising Replicated Distributed Processing. SRDS 1991: 108-117 - 1990
- [c8]Ryszard Janicki, Maciej Koutny:
Optimal simulations, nets and reachability graphs. Applications and Theory of Petri Nets 1990: 205-226 - [c7]Ryszard Janicki, Maciej Koutny:
Using Optimal Simulations to Reduce Reachability Graphs. CAV 1990: 166-175 - [c6]Ryszard Janicki, Maciej Koutny:
On Some Implementation of Optimal Simulations. CAV (DIMACS/AMS volume) 1990: 231-250
1980 – 1989
- 1989
- [j4]Maciej Koutny, Luigi V. Mancini
Synchronizing events in replicated systems. J. Syst. Softw. 9(3): 183-190 (1989) - [c5]Ryszard Janicki, Maciej Koutny:
Towards A Theory Of Simulation For Verification Of Concurrent Systems. PARLE (2) 1989: 73-88 - 1988
- [c4]Maciej Koutny:
Adequacy-Preserving Transformations of COSY Path Programs. Concurrency 1988: 368-379 - 1986
- [j3]Maciej Koutny:
The Merlin-Randell Problem of Train Journeys. Acta Informatica 23(4): 429-463 (1986) - [j2]Ryszard Janicki, Peter E. Lauer, Maciej Koutny, Raymond R. Devillers:
Concurrent and Maximally Concurrent Evolution of Nonsequential Systems. Theor. Comput. Sci. 43: 213-238 (1986) - [c3]Luigi V. Mancini, Maciej Koutny:
Formal specification of N-modular redundancy. ACM Conference on Computer Science 1986: 199-204 - [c2]Ryszard Janicki, Maciej Koutny:
On equivalent execution semantics of concurrent systems. European Workshop on Applications and Theory of Petri Nets 1986: 89-103 - 1985
- [j1]Wojciech Zakowski, Maciej Koutny:
Identification of Regular Configurations with Partial Information. Int. J. Man Mach. Stud. 22(5): 581-587 (1985) - 1984
- [c1]Maciej Koutny:
On the Merlin-Randell Problem of Train Journeys. Symposium on Programming 1984: 179-190
Coauthor Index
Jetty Kleijn
aka: H. C. M. Kleijn
aka: H. C. M. Kleijn
[c113] [b2] [j86] [j84] [j82] [j78] [c101] [j75] [j74] [j73] [j71] [j69] [j68] [j67] [c99] [e12] [j66] [j64] [c96] [e11] [j60] [c91] [j58] [j57] [j56] [j53] [c83] [j52] [j51] [j49] [j48] [c80] [c75] [j46] [j45] [c74] [c73] [c72] [i1] [c70] [c68] [p4] [j38] [c67] [j33] [p3] [j31] [j27] [c58] [c55] [c50] [j24] [c38] [c31]
Alexandre Yakovlev
aka: Alex Yakovlev
aka: Alex Yakovlev
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-22 20:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: