The complexity of membership problems for circuits over sets of integers Fulltext Access 19 Pages 2006
Compositionality of Hennessy–Milner logic by structural operational semantics Fulltext Access 20 Pages 2006
Formal and incremental construction of distributed algorithms: On the distributed reference counting algorithm Fulltext Access 20 Pages 2006
Completeness and Counter-Example Generations of a Basic Protocol Logic: (Extended Abstract) Fulltext Access 20 Pages 2006
A new degree sum condition for the existence of a contractible edge in a κ-connected graph Fulltext Access 20 Pages 2006
Contractions, cycle double covers, and cyclic colorings in locally connected graphs Fulltext Access 20 Pages 2006
Further combinatorial constructions for optimal frequency-hopping sequences Fulltext Access 20 Pages 2006
The geometric girth of a distance-regular graph having certain thin irreducible modules for the Terwilliger algebra Fulltext Access 20 Pages 2006
Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation Fulltext Access 20 Pages 2006
A Functional Programming Framework for Latency Insensitive Protocol Validation Fulltext Access 20 Pages 2006
Exact and Portable Profiling for the JVM Using Bytecode Instruction Counting Fulltext Access 20 Pages 2006
The vehicle routing problem with flexible time windows and traveling times Fulltext Access 20 Pages 2006
A branch-and-bound algorithm to solve the linear ordering problem for weighted tournaments Fulltext Access 20 Pages 2006
Operator Algebras and the Operational Semantics of Probabilistic Languages Fulltext Access 20 Pages 2006
Fully dynamic recognition algorithm and certificate for directed cographs Fulltext Access 20 Pages 2006
A Constructive Object Oriented Modeling Language for Information Systems Fulltext Access 21 Pages 2006
Stochastic Simulation Methods Applied to a Secure Electronic Voting Model Fulltext Access 21 Pages 2006
An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types Fulltext Access 21 Pages 2006
On Rota's conjecture and excluded minors containing large projective geometries Fulltext Access 21 Pages 2006
Communication Attitudes: A Formal Approach to Ostensible Intentions, and Individual and Group Opinions Fulltext Access 21 Pages 2006
Implicit complexity over an arbitrary structure: Quantifier alternations Fulltext Access 21 Pages 2006
Model-based Runtime Verification Framework for Self-optimizing Systems 1 Fulltext Access 21 Pages 2006
On the Relationship Between Web Services Security and Traditional Protocols Fulltext Access 21 Pages 2006
Topological Cones: Foundations for a Domain Theoretical Semantics Combining Probability and Nondeterminism Fulltext Access 21 Pages 2006
Injective Convergence Spaces and Equilogical Spaces via Pretopological Spaces Fulltext Access 21 Pages 2006