Jetty Kleijn

According to our database1, Jetty Kleijn
  • authored at least 99 papers between 1980 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Applying regions.
Theor. Comput. Sci., 2017

Evolving reaction systems.
Theor. Comput. Sci., 2017

Invariant Structures and Dependence Relations.
Fundam. Inform., 2017

Alphabets of Acyclic Invariant Structures.
Fundam. Inform., 2017

Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu.
Fundam. Inform., 2017

Communication Requirements for Team Automata.
Proceedings of the Coordination Models and Languages, 2017

On Synthesising Step Alphabets for Acyclic Invariant Structures.
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2017 Satellite event of the conferences: 38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and 17th International Conference on Application of Concurrency to System Design ACSD 2017, 2017

2016
Modeling biological gradient formation: combining partial differential equations and Petri nets.
Natural Computing, 2016

Step traces.
Acta Inf., 2016

Conditions for Compatibility of Components - The Case of Masters and Slaves.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Synthesis of Petri Nets with Whole-Place Operations and Localities.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

2015
Characterising Concurrent Histories.
Fundam. Inform., 2015

Preface.
Fundam. Inform., 2015

Communication and Compatibility in Systems of Systems: Correctness-by-Construction.
ERCIM News, 2015

Coupling of Petri Net Models of the Mycobacterial Infection Process and Innate Immune Response.
Computation, 2015

Order Structures for Subclasses of Generalised Traces.
Proceedings of the Language and Automata Theory and Applications, 2015

Towards Compliance Verification Between Global and Local Process Models.
Proceedings of the Graph Transformation - 8th International Conference, 2015

2014
Tissue Systems and Petri Net Synthesis.
Trans. Petri Nets and Other Models of Concurrency, 2014

On Distributed Cooperation and Synchronised Collaboration.
Journal of Automata, Languages and Combinatorics, 2014

Preface.
Fundam. Inform., 2014

Shuffles and Synchronized Shuffles: A Survey.
Proceedings of the Discrete Mathematics and Computer Science. In Memoriam Alexandru Mateescu (1952-2005)., 2014

A multi-scale extensive Petri net model of the bacterial-macrophage interaction.
Proceedings of the 5th International Workshop on Biological Processes & Petri Nets co-located with 35th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2014), 2014

2013
Causality in Extensions of Petri Nets.
Trans. Petri Nets and Other Models of Concurrency, 2013

Compatibility in a multi-component environment.
Theor. Comput. Sci., 2013

Mutex Causality in Processes and Traces of General Elementary Nets.
Fundam. Inform., 2013

Step semantics of boolean nets.
Acta Inf., 2013

Causal Structures for General Concurrent Behaviours.
Proceedings of the 22nd International Workshop on Concurrency, 2013

2012
Minimal Reaction Systems.
Trans. Computational Systems Biology, 2012

Regions of Petri nets with a/sync connections.
Theor. Comput. Sci., 2012

Localities in systems with a/sync communication.
Theor. Comput. Sci., 2012

Vector team automata.
Theor. Comput. Sci., 2012

Step coverability algorithms for communicating systems.
Sci. Comput. Program., 2012

Membrane Systems and Petri Net Synthesis
Proceedings of the Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2012

Modeling Innate Immune Response to Early Mycobacterium Infection.
Comp. Math. Methods in Medicine, 2012

Relevance of Entities in Reaction Systems.
Proceedings of the Languages Alive, 2012

2011
Membrane Systems with Qualitative Evolution Rules.
Fundam. Inform., 2011

Petri Nets for Biologically Motivated Computing.
Sci. Ann. Comp. Sci., 2011

Petri Nets and Bio-Modelling - and how to benefit from their synergy
CoRR, 2011

Causality in Structured Occurrence Nets.
Proceedings of the Dependable and Historic Computing, 2011

Classifying Boolean Nets for Region-based Synthesis.
Proceedings of the Workshop Applications of Region Theory 2011, 2011

The Mutex Paradigm of Concurrency.
Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

2010
Petri Nets with Localities and Testing.
Proceedings of the Applications and Theory of Petri Nets, 2010

Modelling Gradients using Petri Nets.
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), 2010

Quotient Monoids and Concurrent Behaviours.
Proceedings of the Scientific Applications of Language Methods., 2010

2009
A Petri net model for membrane systems with dynamic structure.
Natural Computing, 2009

Associativity of Infinite Synchronized Shuffles and Team Automata.
Fundam. Inform., 2009

Applying Step Coverability Trees to Communicating Component-Based Systems.
Proceedings of the Fundamentals of Software Engineering, 2009

2008
Formal Languages and Concurrent Behaviours.
Proceedings of the New Developments in Formal Languages and Applications, 2008

Processes of membrane systems with promoters and inhibitors.
Theor. Comput. Sci., 2008

2007
Infinite unfair shuffles and associativity.
Theor. Comput. Sci., 2007

Processes of Petri Nets with Range Testing.
Fundam. Inform., 2007

Q-Automata: Modelling the Resource Usage of Concurrent Components.
Electr. Notes Theor. Comput. Sci., 2007

2006
Process Semantics for Membrane Systems.
Journal of Automata, Languages and Combinatorics, 2006

Synchrony and Asynchrony in Membrane Systems.
Proceedings of the Membrane Computing, 7th International Workshop, 2006

Infinite Process Semantics of Inhibitor Nets.
Proceedings of the Petri Nets and Other Models of Concurrency, 2006

2005
Modularity for teams of I/O automata.
Inf. Process. Lett., 2005

Towards a Petri Net Semantics for Membrane Systems.
Proceedings of the Membrane Computing, 6th International Workshop, 2005

2004
Process semantics of general inhibitor nets.
Inf. Comput., 2004

2003
Synchronizations in Team Automata for Groupware Systems.
Computer Supported Cooperative Work, 2003

Team Automata Satisfying Compositionality.
Proceedings of the FME 2003: Formal Methods, 2003

Team Automata for CSCW - A Survey.
Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

2002
Causality Semantics of Petri Nets with Weighted Inhibitor Arcs.
Proceedings of the CONCUR 2002, 2002

Petri Net Control for Grammar Systems.
Proceedings of the Formal and Natural Computing, 2002

2001
Team automata for spatial access control.
Proceedings of the Seventh European Conference on Computer Supported Cooperative Work, 2001

2000
Process Semantics of P/T-Nets with Inhibitor Arcs.
ICATPN, 2000

1999
A General Categorical Connection between Local Event Structures and Local Traces.
Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999

1998
Event Structures for Local Traces.
Electr. Notes Theor. Comput. Sci., 1998

1997
Restrictions and Representations of Vector Controlled Concurrent System Behaviours.
Theor. Comput. Sci., 1997

Net-Based Control Versus Rational Control. The Relation Between ITNC Vector Languages and Rational Relations.
Acta Inf., 1997

1996
An Event Structure Semantics for General Petri Nets.
Theor. Comput. Sci., 1996

1995
A Trace Semantics for Petri Nets
Inf. Comput., February, 1995

1994
Representation of Rational Functions with Prefix and Suffix Codings.
Theor. Comput. Sci., 1994

The Intersection Problem for Alphabetic Vector Monoids.
ITA, 1994

Identities and Transductions.
Proceedings of the Results and Trends in Theoretical Computer Science, 1994

1993
Morphisms and rational tranducers.
Bulletin of the EATCS, 1993

Local Event Structures and Petri Nets.
Proceedings of the CONCUR '93, 1993

1992
Compositional representation of rational functions.
ITA, 1992

Deterministic Sequential Functions.
Acta Inf., 1992

A Trace Semantics for Petri Nets (Extended Abstract).
Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

The effect of vector synchronization: residue and loss.
Proceedings of the Advances in Petri Nets 1992, The DEMON Project, 1992

1991
Vector controlled concurrent systems, part II: comparisons.
Fundam. Inform., 1991

Decidability problems for unary output sequential transducers.
Discrete Applied Mathematics, 1991

1989
Cardinality Problems of Composition of Morphisms and Inverse Morphisms.
Mathematical Systems Theory, 1989

1987
Results Concerning Palindromicity.
Elektronische Informationsverarbeitung und Kybernetik, 1987

1986
On morphic generation of regular languages.
Discrete Applied Mathematics, 1986

Basic ideas of selective substitution grammars.
Proceedings of the Trends, 1986

1985
Adding Global Forbidding Context to Context-Free Grammars.
Theor. Comput. Sci., 1985

On the Equivalence of Compositions of Morphisms and Inverse Morphisms on Regular Languages.
ITA, 1985

1984
Direction Independent Context-Sensitive Grammars
Information and Control, 1984

On the Equivalence of Compositions of Morphisms and Inverse Morphisms on Regular Languages.
Proceedings of the Mathematical Foundations of Computer Science 1984, 1984

1983
Grammatical constructions in selective substitution grammars.
Acta Cybern., 1983

On the Generative Power of Regular Pattern Grammars.
Acta Inf., 1983

1982
Corrigendum: Sequential, Continuous and Parallel Grammars
Information and Control, March, 1982

On the role of blocking in rewriting systems.
Acta Cybern., 1982

1981
Sequential, Continuous and Parallel Grammars
Information and Control, March, 1981

Context-Free Like Restrictions on Selective Rewriting.
Theor. Comput. Sci., 1981

A General Framework for Comparing Sequential and Parallel Rewriting.
Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981

On the Role of Selectors in Selective Substitution Grammars.
Proceedings of the Fundamentals of Computation Theory, 1981

1980
A Study in Parallel Rewriting Systems
Information and Control, February, 1980


  Loading...