| Publication | Date of Publication | Type |
|---|
Adaptive virtual organisms: a compositional model for complex hardware-software binding
Fundamenta Informaticae | 2020-11-16 | Paper |
On contour representation of two dimensional patterns
(available as arXiv preprint) | 2017-08-17 | Paper |
A Quest for Kleene Algebra in 2 Dimensions
Relational and Algebraic Methods in Computer Science | 2016-01-08 | Paper |
A new representation of two-dimensional patterns and applications to interactive programming
Fundamentals of Software Engineering | 2015-09-30 | Paper |
Refinement of structured interactive systems
Theoretical Aspects of Computing – ICTAC 2014 | 2015-01-13 | Paper |
Towards a formal representation of interactive systems
Fundamenta Informaticae | 2014-05-12 | Paper |
| Implementation and verification of ring termination detection protocols using structured rv-systems | 2013-01-14 | Paper |
| Toward an integration of BPEL in Agapia | 2013-01-14 | Paper |
P systems with control nuclei: the concept
The Journal of Logic and Algebraic Programming | 2010-08-24 | Paper |
Defining and Executing P Systems with Structured Data in K
Membrane Computing | 2009-07-28 | Paper |
On Compiling Structured Interactive Programs with Registers and Voices
SOFSEM 2008: Theory and Practice of Computer Science | 2008-03-07 | Paper |
| Interactive systems with registers and voices | 2006-11-21 | Paper |
| scientific article; zbMATH DE number 1953896 (Why is no real title available?) | 2003-07-28 | Paper |
| scientific article; zbMATH DE number 1788307 (Why is no real title available?) | 2002-08-25 | Paper |
| Remarks on mixalgebras | 2002-04-11 | Paper |
The algebra of stream processing functions
Theoretical Computer Science | 2001-08-20 | Paper |
| scientific article; zbMATH DE number 1482700 (Why is no real title available?) | 2000-07-30 | Paper |
Reaction and control I. Mixing additive and multiplicative network algebras
Logic Journal of the IGPL | 1998-07-27 | Paper |
Network algebra for asynchronous dataflow∗
International Journal of Computer Mathematics | 1998-03-04 | Paper |
| scientific article; zbMATH DE number 1047921 (Why is no real title available?) | 1997-08-12 | Paper |
| scientific article; zbMATH DE number 919840 (Why is no real title available?) | 1996-08-25 | Paper |
Notes on equational theories of relations
Algebra Universalis | 1995-02-22 | Paper |
Bisimulation is two-way simulation
Information Processing Letters | 1995-02-09 | Paper |
Classes of finite relations as initial abstract data types. II
Discrete Mathematics | 1994-04-04 | Paper |
| scientific article; zbMATH DE number 522842 (Why is no real title available?) | 1994-03-24 | Paper |
A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization
Theoretical Computer Science | 1992-09-27 | Paper |
Classes of finite relations as initial abstract data types. I
Discrete Mathematics | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 4157896 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4187117 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4201627 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4121404 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4100594 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4051585 (Why is no real title available?) | 1987-01-01 | Paper |
On flowchart theories. I. The deterministic case
Journal of Computer and System Sciences | 1987-01-01 | Paper |
On flowchart theories. II: The nondeterministic case
Theoretical Computer Science | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3956410 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3792406 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3805624 (Why is no real title available?) | 1982-01-01 | Paper |
