Expressing the Behavior of Three Very Different Concurrent Systems by Using Natural Extensions of Separation Logic

Expressiveness and Closure Properties for Quantitative Languages

Expressiveness and Closure Properties for Quantitative Languages

Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)

Expressiveness of a Provenance-Enabled Authorization Logic

Expressiveness of Communication in Answer Set Programming

Expressiveness of Generic Process Shape Types

Expressiveness of Metric modalities for continuous time

EXPTIME Tableaux for the Coalgebraic mu-Calculus

Extended Computation Tree Logic

Extended Initiality for Typed Abstract Syntax

Extending and Implementing the Stable Model Semantics

Extending Büchi Automata with Constraints on Data Values

Extending Classical Logic with Inductive Definitions

Extending Context-Sensitivity in Term Rewriting

Extending the Calculus of Constructions with Tarski's fix-point theorem

Extending the Overlap Graph for Gene Assembly in Ciliates

Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models

Extending the Stable Model Semantics with More Expressive Rules

Extending the theory of Owicki and Gries with a logic of progress