Jetty Kleijn - RankMe

91 papers B 5C 5Journal 52Unranked 20

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Enabling equivalence and its cover relation for reaction systems. Nat. Comput. Daniela Genova, Hendrik Jan Hoogeboom, Jetty Kleijn
2024	J	`jnl`	Functional equivalence and a cover relation for reaction systems. Theor. Comput. Sci. Daniela Genova, Hendrik Jan Hoogeboom, Jetty Kleijn
2024	J	`jnl`	Preface. Fundam. Informaticae Luca Bernardinello, Jetty Kleijn, Laure Petrucci
2024	B	`conf`	Relational Structures for Interval Order Semantics of Concurrent Systems. Petri Nets Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2022	J	`jnl`	Distributed Synthesis of Asynchronously Communicating Distributed Process Models. Trans. Petri Nets Other Model. Concurr. Pieter M. Kwantes, Jetty Kleijn
2022	J	`jnl`	Modelling and measuring complexity of traditional and ancient technologies using Petri nets. CoRR Sebastian Fajardo, Jetty Kleijn, Frank W. Takes, Geeske H. J. Langejans
2022	—	`book`	Paradigms of Concurrency - Observations, Behaviours, and Systems - a Petri Net View Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2022	J	`jnl`	Preface. Fundam. Informaticae Didier Buchs, Josep Carmona, Jetty Kleijn
2021	J	`jnl`	Comparing reactions in reaction systems. Theor. Comput. Sci. Daniela Genova, Hendrik Jan Hoogeboom, Jetty Kleijn
2021	J	`jnl`	Relational structures for concurrent behaviours. Theor. Comput. Sci. Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2020	C	`conf`	Compositionality of Safe Communication in Systems of Team Automata. ICTAC Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn
2020	—	`conf`	On Discovering Distributed Process Models the case of asynchronous communication. ATAED@Petri Nets Pieter M. Kwantes, Jetty Kleijn
2020	J	`jnl`	Plug-in context providers for reaction systems. Theor. Comput. Sci. Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
2020	J	`jnl`	Preface. Fundam. Informaticae Jetty Kleijn, Laurentiu Leustean, Dorel Lucanu
2020	J	`jnl`	Reaction Systems and Enabling Equivalence. Fundam. Informaticae Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2020	C	`conf`	Team Automata@Work: On Safe Communication. COORDINATION Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn
2019	—	`conf`	A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems. FSEN Narges Khakpour, Jetty Kleijn, Marjan Sirjani
2019	J	`jnl`	Classifying invariant structures of step traces. J. Comput. Syst. Sci. Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2019	J	`jnl`	Preface. Fundam. Informaticae Victor Khomenko, Jetty Kleijn, Wojciech Penczek, Olivier H. Roux
2018	J	`jnl`	A Precise Characterisation of Step Traces and Their Concurrent Histories. Sci. Ann. Comput. Sci. Ryszard Janicki, Jetty Kleijn, Lukasz Mikulski
2018	—	`conf`	On the Synthesis of Industry Level Process Models from Enterprise Level Process Models. ATAED@Petri Nets/ACSD Pieter M. Kwantes, Jetty Kleijn
2018	—	`conf`	Reaction Systems, Transition Systems, and Equivalences. Adventures Between Lower Bounds and Higher Altitudes Jetty Kleijn, Maciej Koutny, Lukasz Mikulski, Grzegorz Rozenberg
2017	J	`jnl`	Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities. Sci. Ann. Comput. Sci. Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny
2017	J	`jnl`	Alphabets of Acyclic Invariant Structures. Fundam. Informaticae Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2017	J	`jnl`	Applying regions. Theor. Comput. Sci. Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg
2017	C	`conf`	Communication Requirements for Team Automata. COORDINATION Maurice H. ter Beek, Josep Carmona, Rolf Hennicker, Jetty Kleijn
2017	J	`jnl`	Evolving reaction systems. Theor. Comput. Sci. Andrzej Ehrenfeucht, Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
2017	J	`jnl`	Invariant Structures and Dependence Relations. Fundam. Informaticae Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2017	J	`jnl`	Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu. Fundam. Informaticae Bogdan Aman, Jetty Kleijn, Maciej Koutny, Dorel Lucanu
2017	—	`conf`	On Synthesising Step Alphabets for Acyclic Invariant Structures. ATAED@Petri Nets/ACSD Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2017	J	`jnl`	Signal set tissue systems and overlapping localities. Theor. Comput. Sci. Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny
2017	—	`ed.`	Transactions on Petri Nets and Other Models of Concurrency XII Trans. Petri Nets and Other Models of Concurrency Maciej Koutny, Jetty Kleijn, Wojciech Penczek
2016	—	`conf`	Conditions for Compatibility of Components - The Case of Masters and Slaves. ISoLA (1) Maurice H. ter Beek, Josep Carmona, Jetty Kleijn
2016	J	`jnl`	Modeling biological gradient formation: combining partial differential equations and Petri nets. Nat. Comput. Laura M. F. Bertens, Jetty Kleijn, Sander C. Hille, Monika Heiner, Maciej Koutny, Fons J. Verbeek
2016	J	`jnl`	Step traces. Acta Informatica Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2016	C	`conf`	Synthesis of Petri Nets with Whole-Place Operations and Localities. ICTAC Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny
2016	—	`ed.`	Transactions on Petri Nets and Other Models of Concurrency XI Trans. Petri Nets and Other Models of Concurrency Maciej Koutny, Jörg Desel, Jetty Kleijn
2015	J	`jnl`	Characterising Concurrent Histories. Fundam. Informaticae Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2015	J	`jnl`	Communication and Compatibility in Systems of Systems: Correctness-by-Construction. ERCIM News Maurice H. ter Beek, Josep Carmona, Jetty Kleijn
2015	J	`jnl`	Coupling of Petri Net Models of the Mycobacterial Infection Process and Innate Immune Response. Comput. Rafael V. Carvalho, Jeroen van den Heuvel, Jetty Kleijn, Fons J. Verbeek
2015	C	`conf`	Order Structures for Subclasses of Generalised Traces. LATA Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2015	J	`jnl`	Preface. Fundam. Informaticae José Manuel Colom, Jörg Desel, Jetty Kleijn
2015	B	`conf`	Towards Compliance Verification Between Global and Local Process Models. ICGT Pieter M. Kwantes, Pieter Van Gorp, Jetty Kleijn, Arend Rensink
2014	—	`conf`	A multi-scale extensive Petri net model of the bacterial-macrophage interaction. BioPPN@Petri Nets Rafael V. Carvalho, Jetty Kleijn, Fons J. Verbeek
2014	J	`jnl`	On Distributed Cooperation and Synchronised Collaboration. J. Autom. Lang. Comb. Maurice H. ter Beek, Jetty Kleijn
2014	J	`jnl`	Preface. Fundam. Informaticae Serge Haddad, Jetty Kleijn, Lucia Pomello
2014	—	`conf`	Shuffles and Synchronized Shuffles: A Survey. Discrete Mathematics and Computer Science Maurice H. ter Beek, Jetty Kleijn
2014	J	`jnl`	Tissue Systems and Petri Net Synthesis. Trans. Petri Nets Other Model. Concurr. Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny
2013	—	`conf`	Causal Structures for General Concurrent Behaviours. CS&P Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2013	J	`jnl`	Causality in Extensions of Petri Nets. Trans. Petri Nets Other Model. Concurr. Jetty Kleijn, Maciej Koutny
2013	J	`jnl`	Compatibility in a multi-component environment. Theor. Comput. Sci. Josep Carmona, Jetty Kleijn
2013	J	`jnl`	Mutex Causality in Processes and Traces of General Elementary Nets. Fundam. Informaticae Jetty Kleijn, Maciej Koutny
2013	J	`jnl`	Step semantics of boolean nets. Acta Informatica Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg
2012	J	`jnl`	Localities in systems with a/sync communication. Theor. Comput. Sci. Jetty Kleijn, Maciej Koutny
2012	—	`conf`	Membrane Systems and Petri Net Synthesis MeCBIC Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg
2012	J	`jnl`	Minimal Reaction Systems. Trans. Comp. Sys. Biology Andrzej Ehrenfeucht, Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
2012	J	`jnl`	Modeling Innate Immune Response to Early Comput. Math. Methods Medicine Rafael V. Carvalho, Jetty Kleijn, Annemarie H. Meijer, Fons J. Verbeek
2012	—	`ed.`	Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), Braga, Portugal, June, 2010 ACSD/Petri Nets Workshops Susanna Donatelli, Jetty Kleijn, Ricardo Jorge Machado, João M. Fernandes
2012	J	`jnl`	Regions of Petri nets with a/sync connections. Theor. Comput. Sci. Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny
2012	—	`conf`	Relevance of Entities in Reaction Systems. Languages Alive Andrzej Ehrenfeucht, Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
2012	J	`jnl`	Step coverability algorithms for communicating systems. Sci. Comput. Program. Jetty Kleijn, Maciej Koutny
2012	—	`ed.`	Transactions on Petri Nets and Other Models of Concurrency V Trans. Petri Nets and Other Models of Concurrency Kurt Jensen, Susanna Donatelli, Jetty Kleijn
2012	—	`ed.`	Transactions on Petri Nets and Other Models of Concurrency VI Trans. Petri Nets and Other Models of Concurrency Kurt Jensen, Wil M. P. van der Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars Michael Kristensen
2012	J	`jnl`	Vector team automata. Theor. Comput. Sci. Maurice H. ter Beek, Jetty Kleijn
2011	—	`conf`	Causality in Structured Occurrence Nets. Dependable and Historic Computing Jetty Kleijn, Maciej Koutny
2011	—	`conf`	Classifying Boolean Nets for Region-based Synthesis. ART @ Petri Nets Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg
2011	J	`jnl`	Membrane Systems with Qualitative Evolution Rules. Fundam. Informaticae Jetty Kleijn, Maciej Koutny
2011	J	`jnl`	Petri Nets and Bio-Modelling - and how to benefit from their synergy CoRR Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
2011	J	`jnl`	Petri Nets for Biologically Motivated Computing. Sci. Ann. Comput. Sci. Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
2011	B	`conf`	The Mutex Paradigm of Concurrency. Petri Nets Jetty Kleijn, Maciej Koutny
2010	—	`conf`	Modelling Gradients using Petri Nets. ACSD/Petri Nets Workshops Laura M. F. Bertens, Jetty Kleijn, Maciej Koutny, Fons J. Verbeek
2010	B	`conf`	Petri Nets with Localities and Testing. Petri Nets Jetty Kleijn, Maciej Koutny
2010	—	`ch.`	Quotient Monoids and Concurrent Behaviours. Scientific Applications of Language Methods Ryszard Janicki, Jetty Kleijn, Maciej Koutny
2009	J	`jnl`	A Petri net model for membrane systems with dynamic structure. Nat. Comput. Jetty Kleijn, Maciej Koutny
2009	—	`conf`	Applying Step Coverability Trees to Communicating Component-Based Systems. FSEN Jetty Kleijn, Maciej Koutny
2009	J	`jnl`	Associativity of Infinite Synchronized Shuffles and Team Automata. Fundam. Informaticae Maurice H. ter Beek, Jetty Kleijn
2008	—	`ch.`	Formal Languages and Concurrent Behaviours. New Developments in Formal Languages and Applications Jetty Kleijn, Maciej Koutny
2008	J	`jnl`	Processes of membrane systems with promoters and inhibitors. Theor. Comput. Sci. Jetty Kleijn, Maciej Koutny
2007	J	`jnl`	Infinite unfair shuffles and associativity. Theor. Comput. Sci. Maurice H. ter Beek, Jetty Kleijn
2007	—	`ed.`	Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings ICATPN Jetty Kleijn, Alexandre Yakovlev
2007	J	`jnl`	Processes of Petri Nets with Range Testing. Fundam. Informaticae Jetty Kleijn, Maciej Koutny
2006	J	`jnl`	Process Semantics for Membrane Systems. J. Autom. Lang. Comb. Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
2006	—	`conf`	Q-Automata: Modelling the Resource Usage of Concurrent Components. FOCLASA Tom Chothia, Jetty Kleijn
2006	—	`conf`	Synchrony and Asynchrony in Membrane Systems. Workshop on Membrane Computing Jetty Kleijn, Maciej Koutny
2005	J	`jnl`	Modularity for teams of I/O automata. Inf. Process. Lett. Maurice H. ter Beek, Jetty Kleijn
2005	—	`conf`	Towards a Petri Net Semantics for Membrane Systems. Workshop on Membrane Computing Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
2003	J	`jnl`	Synchronizations in Team Automata for Groupware Systems. Comput. Support. Cooperative Work. Maurice H. ter Beek, Clarence A. Ellis, Jetty Kleijn, Grzegorz Rozenberg
2003	—	`conf`	Team Automata Satisfying Compositionality. FME Maurice H. ter Beek, Jetty Kleijn
2003	—	`conf`	Team Automata for CSCW - A Survey. Petri Net Technology for Communication-Based Systems Jetty Kleijn
2001	B	`conf`	Team automata for spatial access control. ECSCW Maurice H. ter Beek, Clarence A. Ellis, Jetty Kleijn, Grzegorz Rozenberg
1987	J	`jnl`	Results Concerning Palindromicity. J. Inf. Process. Cybern. Sándor Horváth, Juhani Karhumäki, Jetty Kleijn