Model-Based Trace-Checking

Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions

Model-checking an Epistemic μ-calculus with Synchronous and Perfect Recall Semantics

Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable

Model-Checking of Linear-Time Properties Based on Possibility Measure

Model-Checking the Higher-Dimensional Modal mu-Calculus

Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars

Modelling Clock Synchronization in the Chess gMAC WSN Protocol

Modelling Concurrency with Comtraces and Generalized Comtraces

Modelling of Genetic Regulatory Mechanisms with GReg

Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments

Models and theories of lambda calculus

Models for CSP with availability information

Modular Construction of Fixed Point Combinators and Clocked Boehm Trees

Modular Verification of Recursive Programs

Modularity of Convergence and Strong Convergence in Infinitary Rewriting

Modularizing the Elimination of r=0 in Kleene Algebra

Modules and Logic Programming

Modules over Monads and Linearity

Modules over relative monads for syntax and semantics