On the Decidability of (ground) Reachability Problems for Cryptographic Protocols (extended version)
On the Definition of Non-deterministic Mechanisms
On the distributed evaluation of recursive queries over graphs
On the existence of truly autonomic computing systems and the link with quantum computing
On the Expressive Power of 2-Stack Visibly Pushdown Automata
On the Expressive Power of Multiple Heads in CHR
On the Expressiveness and Complexity of ATL
On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions
On the Expressiveness of the Ambient Logic
On the freeze quantifier in Constraint LTL: decidability and complexity
On the Hybrid Extension of CTL and CTL+
On the implementation of construction functions for non-free concrete data types
On the Implementation of Dynamic Patterns
On the Inertia of the Asynchronous Circuits
On the Invariance of the Unitary Cost Model for Head Reduction (Long Version)
On the Length of the Wadge Hierarchy of Omega Context Free Languages
On the logical definability of certain graph and poset languages
On the mathematical synthesis of equational logics
On the meaning of logical completeness
On the Parameterised Intractability of Monadic Second-Order Logic