Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic Fulltext Access 22 Pages 2007
On the freeze quantifier in Constraint LTL: Decidability and complexity Fulltext Access 23 Pages 2007
On tree automata that certify termination of left-linear term rewriting systems Fulltext Access 23 Pages 2007
A Probabilistic Scheduler for the Analysis of Cryptographic Protocols 1 Fulltext Access 23 Pages 2007
Normalization by Evaluation for Martin-Löf Type Theory with One Universe Fulltext Access 23 Pages 2007
Collineation groups of translation planes admitting hyperbolic Buekenhout or parabolic Buekenhout–Metz unitals Fulltext Access 23 Pages 2007
Formal Sequentialization of Distributed Systems via Program Rewriting 1 Fulltext Access 23 Pages 2007
A bijection between 2-triangulations and pairs of non-crossing Dyck paths Fulltext Access 23 Pages 2007
Tutorial on separation results in process calculi via leader election problems Fulltext Access 23 Pages 2007
Faster and simpler approximation algorithms for mixed packing and covering problems Fulltext Access 24 Pages 2007
Fitness landscape of the cellular automata majority problem: View from the “Olympus” Fulltext Access 24 Pages 2007
Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction Fulltext Access 24 Pages 2007
Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic Fulltext Access 24 Pages 2007
De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure Fulltext Access 24 Pages 2007
Simulating and Compiling Code for the Sequential Quantum Random Access Machine Fulltext Access 24 Pages 2007
High Level Conflict Management Strategies in Advanced Access Control Models Fulltext Access 24 Pages 2007
Cycles and communicating classes in membrane systems and molecular dynamics Fulltext Access 25 Pages 2007
Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures Fulltext Access 25 Pages 2007
A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs Fulltext Access 25 Pages 2007
Observational Equivalence for the Interaction Combinators and Internal Separation Fulltext Access 25 Pages 2007
A Local Graph-rewriting System for Deciding Equality in Sum-product Theories Fulltext Access 25 Pages 2007
Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract) Fulltext Access 25 Pages 2007
An efficiently computed lower bound on the number of recombinations in phylogenetic networks: Theory and empirical study Fulltext Access 25 Pages 2007
Scheduling orders for multiple product types to minimize total weighted completion time Fulltext Access 26 Pages 2007
The generating rank of the symplectic grassmannians: Hyperbolic and isotropic geometry Fulltext Access 27 Pages 2007