Title	Publication Date	Language	Citations
Picture deformation	2007/10/26	English
Translational lemmas for DLOGTIME-uniform circuits, alternating TMs, and PRAMs	2007/06/16	English
On minimizing the ∀-≩ degree of a connective-free formula	1993/05/01	English
Decomposing a window into maximal quadtree blocks	1993/05/01	English
On simplest possible solutions for Post Correspondence Problems	1993/05/01	English
Scheduling saves in fault-tolerant computations	1993/05/01	English
Infinitary parallelism without unbounded nondeterminism in CSP	1993/05/01	English
The optimal binary search tree for Andersson's search algorithm	1993/05/01	English
On the expected height of fringe-balanced trees	1993/05/01	English
The weakest specifunction	2005/05/24	English
A distributed operational semantics for CCS based on condition/event systems	1988/10/01	English
High level tree transducers and iterated pushdown tree transducers	1988/10/01	English
The formal development of a parallel program performing LU-decomposition	1988/10/01	English
Motion planning among time dependent obstacles	1988/10/01	English
Negotiation as concurrency primitive	2018/03/20	English
Special issue on Rich Models, EU-COST Action IC0901 Rich-Model Toolkit	2016/02/11	English
Metric propositional neighborhood logic with an equivalence relation	2016/01/22	English
Special issue: Synthesis and SYNT 2014	2017/04/12	English
Factorisation of transition systems	2017/04/29	English
Symbolic checking of Fuzzy CTL on Fuzzy Program Graph	2018/02/03	English
Preface for the special issue GandALF 2015	2018/02/01	English
Exact distributed quantum algorithm for generalized Simon’s problem	2024/03/10	English
Reachability analysis of linear systems	2024/04/09	English
Revisiting 2–3 red–black trees with a pedagogically sound yet efficient deletion algorithm: parity-seeking	2024/03/29	English
Neighborhood mutual remainder: self-stabilizing distributed implementation and applications	2023/12/18	English
Balancing m-ary search trees with compressions on the fringe	2023/12/15	English
n-PS-codes, 2-infix-outfix codes and some related classes of codes	2023/12/15	English
A decision procedure for string constraints with string/integer conversion and flat regular constraints	2023/10/24	English
An encoding of the $$\lambda $$-calculus in the String MultiSet Rewriting calculus	2024/03/13	English
Distance-edge-monitoring sets of networks	2024/03/19	English