Encapsulation for Practical Simplification Procedures

Energy Parity Games

Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms

Enriched MU-Calculi Module Checking

Entrenchment Relations: A Uniform Approach to Nonmonotonicity

Enumeration Order Equivalency

Enumeration Problems Related to Ground Horn Theories

Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast

EPspectra: A Formal Toolkit for Developing DSP Software Applications

Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics

Equilibria und weiteres Heiteres II

Equilibrium and Termination

Equivalence Checking in Embedded Systems Design Verification

Equivalence Checking in Embedded Systems Design Verification using PRES+ model

Equivalence-Checking on Infinite-State Systems: Techniques and Results

Erratum to: Model-checking continuous-time Markov chains by Aziz et al

Essential Incompleteness of Arithmetic Verified by Coq

Estimation of the length of interactions in arena game semantics

Evaluating the Efficiency of Asynchronous Systems with FASE

Event Driven Computations for Relational Query Language