Event Driven Objects

Event Systems and Access Control

Event-Clock Automata: From Theory to Practice

Every Formula-Based Logic Program Has a Least Infinite-Valued Model

Exact Synthesis of 3-Qubit Quantum Circuits from Non-Binary Quantum Gates Using Multiple-Valued Logic and Group Theory

Examples of Models of the Asynchronous Circuits

Executable Set Theory and Arithmetic Encodings in Prolog

Execution Models for Choreographies and Cryptoprotocols

Execution Time of lambda-Terms via Denotational Semantics and Intersection Types

Exhaustible sets in higher-type computation

Existential witness extraction in classical realizability and via a negative translation

Experimental Aspects of Synthesis

Experiments in Model-Checking Optimistic Replication Algorithms

Explicit Evidence Systems with Common Knowledge

Explicit fairness in testing semantics

Explicit Substitutions for Contextual Type Theory

Exploiting Dynamically Propositional Logic Structures in SAT

Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis

Exponential Lower Bounds and Separation for Query Rewriting

Expressing Preferences using Preference Set Constraint Atoms