| Publication | Date of Publication | Type |
|---|
Functional equivalence and a cover relation for reaction systems
Theoretical Computer Science | 2024-06-19 | Paper |
A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems
| 2024-03-14 | Paper |
Identities and transductions
Lecture Notes in Computer Science | 2024-01-29 | Paper |
Reaction Systems, Transition Systems, and Equivalences
Adventures Between Lower Bounds and Higher Altitudes | 2023-06-30 | Paper |
Distributed synthesis of asynchronously communicating distributed process models
| 2022-08-11 | Paper |
Paradigms of concurrency. Observations, behaviours and systems -- a Petri net view
Studies in Computational Intelligence | 2022-02-21 | Paper |
Comparing reactions in reaction systems
Theoretical Computer Science | 2021-08-11 | Paper |
Compositionality of safe communication in systems of team automata
| 2021-07-08 | Paper |
Relational structures for concurrent behaviours
Theoretical Computer Science | 2021-03-09 | Paper |
Plug-in context providers for reaction systems
Theoretical Computer Science | 2020-08-17 | Paper |
Reaction Systems and Enabling Equivalence
Fundamenta Informaticae | 2020-06-21 | Paper |
A trace semantics for Petri Nets
Automata, Languages and Programming | 2019-12-04 | Paper |
Modeling biological gradient formation: combining partial differential equations and Petri nets
Natural Computing | 2019-07-10 | Paper |
Classifying invariant structures of step traces
Journal of Computer and System Sciences | 2019-06-25 | Paper |
Petri nets for biologically motivated computing
| 2019-02-08 | Paper |
A precise characterisation of step traces and their concurrent histories
Scientific Annals of Computer Science | 2019-02-08 | Paper |
Adding a/sync places to the synthesis procedure for whole-place operations nets with localities
Scientific Annals of Computer Science | 2019-02-08 | Paper |
Invariant structures and dependence relations
Fundamenta Informaticae | 2018-01-19 | Paper |
Alphabets of Acyclic Invariant Structures
Fundamenta Informaticae | 2018-01-19 | Paper |
Signal set tissue systems and overlapping localities
Theoretical Computer Science | 2017-12-06 | Paper |
Evolving reaction systems
Theoretical Computer Science | 2017-06-15 | Paper |
Synthesis of Petri nets with whole-place operations and localities
Theoretical Aspects of Computing – ICTAC 2016 | 2016-12-21 | Paper |
Applying regions
Theoretical Computer Science | 2016-12-19 | Paper |
On distributed cooperation and synchronised collaboration
| 2016-12-16 | Paper |
Characterising concurrent histories
Fundamenta Informaticae | 2016-04-28 | Paper |
Order structures for subclasses of generalised traces
Language and Automata Theory and Applications | 2016-04-08 | Paper |
Step traces
Acta Informatica | 2016-02-19 | Paper |
Tissue Systems and Petri Net Synthesis
Lecture Notes in Computer Science | 2015-11-12 | Paper |
Compatibility in a multi-component environment
Theoretical Computer Science | 2013-12-04 | Paper |
Step semantics of Boolean nets
Acta Informatica | 2013-06-26 | Paper |
Causality in extensions of Petri nets
Transactions on Petri Nets and Other Models of Concurrency VII | 2013-05-31 | Paper |
Mutex causality in processes and traces of general elementary nets
Fundamenta Informaticae | 2013-04-18 | Paper |
Minimal reaction systems
Lecture Notes in Computer Science | 2013-04-03 | Paper |
Reaction systems: a natural computing approach to the functioning of living cells
A Computable Universe | 2013-02-26 | Paper |
Modeling innate immune response to early Mycobacterium infection
Computational & Mathematical Methods in Medicine | 2013-01-09 | Paper |
Relevance of entities in reaction systems
Lecture Notes in Computer Science | 2012-11-01 | Paper |
Regions of Petri nets with a/sync connections
Theoretical Computer Science | 2012-10-11 | Paper |
Step coverability algorithms for communicating systems
Science of Computer Programming | 2012-07-13 | Paper |
Vector team automata
Theoretical Computer Science | 2012-05-30 | Paper |
Localities in systems with a/sync communication
Theoretical Computer Science | 2012-05-30 | Paper |
Membrane Systems with Qualitative Evolution Rules
Fundamenta Informaticae | 2011-11-22 | Paper |
Quotient monoids and concurrent behaviours
| 2011-07-27 | Paper |
The mutex paradigm of concurrency
Applications and Theory of Petri Nets | 2011-06-29 | Paper |
Team automata for CSCW -- a survey
Petri Net Technology for Communication-Based Systems | 2011-04-08 | Paper |
Petri nets with localities and testing
Applications and Theory of Petri Nets | 2010-06-22 | Paper |
Applying Step Coverability Trees to Communicating Component-Based Systems
Fundamentals of Software Engineering | 2010-01-28 | Paper |
A Petri net model for membrane systems with dynamic structure
Natural Computing | 2010-01-25 | Paper |
Modularity for teams of I/O automata
Information Processing Letters | 2009-12-04 | Paper |
scientific article; zbMATH DE number 5587274 (Why is no real title available?)
| 2009-07-27 | Paper |
Associativity of Infinite Synchronized Shuffles and Team Automata
Fundamenta Informaticae | 2009-06-23 | Paper |
Infinite Process Semantics of Inhibitor Nets
Petri Nets and Other Models of Concurrency - ICATPN 2006 | 2009-04-02 | Paper |
Processes of membrane systems with promoters and inhibitors
Theoretical Computer Science | 2008-11-06 | Paper |
scientific article; zbMATH DE number 5347282 (Why is no real title available?)
| 2008-09-25 | Paper |
Process semantics for membrane systems
| 2008-06-18 | Paper |
scientific article; zbMATH DE number 5286866 (Why is no real title available?)
| 2008-06-11 | Paper |
Processes of Petri nets with range testing
| 2008-01-02 | Paper |
Synchrony and Asynchrony in Membrane Systems
Membrane Computing | 2007-09-03 | Paper |
Infinite unfair shuffles and associativity
Theoretical Computer Science | 2007-07-16 | Paper |
Membrane Computing
Lecture Notes in Computer Science | 2006-11-13 | Paper |
scientific article; zbMATH DE number 2087497 (Why is no real title available?)
| 2004-08-11 | Paper |
Process semantics of general inhibitor nets
Information and Computation | 2004-08-06 | Paper |
scientific article; zbMATH DE number 1927584 (Why is no real title available?)
| 2003-06-12 | Paper |
scientific article; zbMATH DE number 1696460 (Why is no real title available?)
| 2002-06-17 | Paper |
scientific article; zbMATH DE number 1390076 (Why is no real title available?)
| 2000-01-17 | Paper |
scientific article; zbMATH DE number 1231681 (Why is no real title available?)
| 1999-01-07 | Paper |
Restrictions and representations of vector controlled concurrent system behaviours
Theoretical Computer Science | 1998-07-22 | Paper |
The intersection problem for alphabetic vector monoids
RAIRO - Theoretical Informatics and Applications | 1997-10-30 | Paper |
An event structure semantics for general Petri nets
Theoretical Computer Science | 1997-02-28 | Paper |
Net-based control versus rational control: The relation between ITNC vector languages and rational relations
Acta Informatica | 1995-11-15 | Paper |
A trace semantics for Petri nets
Information and Computation | 1995-07-05 | Paper |
Representation of rational functions with prefix and suffix codings
Theoretical Computer Science | 1995-01-09 | Paper |
Deterministic sequential functions
Acta Informatica | 1994-05-10 | Paper |
scientific article; zbMATH DE number 446841 (Why is no real title available?)
| 1993-12-20 | Paper |
Compositional representation of rational functions
RAIRO - Theoretical Informatics and Applications | 1992-09-27 | Paper |
Decidability problems for unary output sequential transducers
Discrete Applied Mathematics | 1992-06-26 | Paper |
scientific article; zbMATH DE number 4185027 (Why is no real title available?)
| 1991-01-01 | Paper |
scientific article; zbMATH DE number 4174324 (Why is no real title available?)
| 1990-01-01 | Paper |
Cardinality problems of compositions of morphisms and inverse morphisms
Mathematical Systems Theory | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4033111 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4039327 (Why is no real title available?)
| 1987-01-01 | Paper |
On morphic generation of regular languages
Discrete Applied Mathematics | 1986-01-01 | Paper |
scientific article; zbMATH DE number 3970124 (Why is no real title available?)
| 1985-01-01 | Paper |
Adding global forbidding context to context-free grammars
Theoretical Computer Science | 1985-01-01 | Paper |
Direction independent context-sensitive grammars
Information and Control | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3885311 (Why is no real title available?)
| 1984-01-01 | Paper |
On the generative power of regular pattern grammars
Acta Informatica | 1983-01-01 | Paper |
Multi grammars
International Journal of Computer Mathematics | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3932401 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3932400 (Why is no real title available?)
| 1983-01-01 | Paper |
Corrigendum
Information and Control | 1982-01-01 | Paper |
scientific article; zbMATH DE number 3808977 (Why is no real title available?)
| 1982-01-01 | Paper |
Sequential, continuous and parallel grammars
Information and Control | 1981-01-01 | Paper |
Context-free like restrictions on selective rewriting
Theoretical Computer Science | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3735172 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3735173 (Why is no real title available?)
| 1981-01-01 | Paper |
A study in parallel rewriting systems
Information and Control | 1980-01-01 | Paper |
