publication venue for
- Frequency Covers for Strings 2018
- Persistent and Nonviolent Steps and the Design of GALS Systems 2015
- Synthesis of Nets with Step Firing Policies 2009
- Synthesis of Elementary Net Systems with Context Arcs and Localities 2008
- Logic synthesis for asynchronous circuits based on STG unfoldings and incremental SAT 2006
- Towards integrated verification of timed transition models 2006
- Detecting state encoding conflicts in STG unfoldings using SAT 2004
- String Covering: A Survey. 190:17-45. 2023
- Investigating Reversibility of Steps in Petri Nets. 183:67-96. 2022
- Preface. 183:i-ii. 2022
- Algebraic Structure of Step Traces and Interval Traces. 175:253-280. 2020
- Preface. 175:v-viii. 2020
- Reaction Systems and Enabling Equivalence. 171:261-277. 2019
- Operational Semantics, Interval Orders and Sequences of Antichains. 169:31-55. 2019
- From Box Algebra to Interval Temporal Logic. 167:323-354. 2019
- Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems. 166:297-347. 2019
- Reversing Transitions in Bounded Petri Nets. 157:341-357. 2018
- Invariant Structures and Dependence Relations. 155:1-29. 2017
- Alphabets of Acyclic Invariant Structures. 154:207-224. 2017
- Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations. 154:289-306. 2017
- Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu. 153:v-vi. 2017
- Complex Ranking Procedures. 144:223-240. 2016
- Important Facts and Observations about Pairwise Comparisons (the special issue edition). 144:291-307. 2016
- Preface. 144:i-iii. 2016
- Characterising Concurrent Histories. 139:21-42. 2015
- Simple Linear Comparison of Strings in V-order*. 139:115-126. 2015
- Mutex Causality in Processes and Traces of General Elementary Nets. 122:119-146. 2013
- Foreword. 117:vii-vii. 2012
- Reminiscing over. 117:viii-ix. 2012
- Unambiguous Functions in Logarithmic Space. 114:129-147. 2012
- Algebraic Framework for the Specification and Analysis of Cryptographic-Key Distribution. 112:305-335. 2011
- Membrane Systems with Qualitative Evolution Rules. 110:217-230. 2011
- Minimum Unique Substrings and Maximum Repeats. 110:183-195. 2011
- Preface. 108:v-vii. 2011
- Minimal Regions of ENL-Transition Systems. 101:45-58. 2010
- Application of Concurrency to System Design, the Seventh Special Issue. 95:i-iv. 2009
- Combinatorics of Unique Maximal Factorization Families (UMFFs). 97:295-309. 2009
- Faster Algorithms for Computing Maximal Multirepeats in Multiple Sequences. 97:311-320. 2009
- Pairwise Comparisons Based Non-Numerical Ranking. 94:197-217. 2009
- Special Issue on Stringology. 97:i-ii. 2009
- Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques. 97:41-91. 2009
- Application of Concurrency to System Design, the Sixth Special Issue Preface. 88:I-iii. 2008
- Australasian Workshop on Combinatorial Algorithms - Foreword. 84:I-II. 2008
- The Fifth Special Issue on Application of Concurrency to System Design. 86:I-ii. 2008
- Computing properties of numerical imperative programs by symbolic computation. 80:125-146. 2007
- Processes of Petri nets with range testing. 80:199-219. 2007
- The fourth special issue on applications of concurrency to system design - Preface. 78:V-VI. 2007
- A propositional proof system with quantification over permutations. 79:71-83. 2007
- Towards a pragmatic mereology. 75:295-314. 2007
- Faster algorithm for designing optimal prefix-free codes with unequal letter costs. 73:107-117. 2006
- The shortest common superstring problem and viral genome compression. 73:153-164. 2006
- Petri net semantics of the finite pi-calculus terms. 70:203-226. 2006
- Special issue on Application of Concurrency to System Design - Preface. 70:V-VI. 2006
- Preface: Special Issue on Application of Concurrency to System Design. 70:V-VI. 2006
- First and second order recursion on abstract data types. 67:377-419. 2005
- Tabular expressions and their relational semantics. 67:343-370. 2005
- Fast data compression with antidictionaries. 64:119-134. 2005
- Special Issue on Application of Concurrency to System Design. 62:I-II. 2004
- Relating communicating processes with different interfaces. 59:1-37. 2004
- Asynchronous box calculus. 54:295-344. 2003
- Special issue on Application of Concurrency to System Design. 50:I-II. 2002
- Behaviour abstraction for communicating sequential processes. 48:21-54. 2001
- A foundation for refining concurrent objects. 44:25-61. 2000
- A Proof System for Dependencies for Information Relations. 42:1-27. 2000
- On Causality Semantics of Nets with Priorities. 38:223-255. 1999
- Peter Lauer and COSY. 40:103-107. 1999
- Preface. 40:i-ii. 1999
- Subwords and Power-Free Words are not Expressible by Word Equations. 38:109-118. 1999
- Generalized Factors of Words. 33:239-247. 1998
- On The Computational Complexity of Marcus Contextual Languages. 30:161-167. 1997
- Axiom System Induced by CTL* Logic. 14:235-253. 1991
- Some remarks on deterministic Mazurkiewicz algorithms and languages associated with them. 3:65-75. 1980
- Analysis of coroutines by means of vector of coroutines. 2:289-316. 1979
- An algebraic approach to the theory of recursive coroutines. 1:131-145. 1977