Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM Fulltext Access 20 Pages 2009
Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names Fulltext Access 20 Pages 2009
Modeling and Analyzing the Implementation of Latency-Insensitive Protocols Using the Polychrony Framework Fulltext Access 20 Pages 2009
Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information Fulltext Access 20 Pages 2009
Crystal graphs for general linear Lie superalgebras and quasi-symmetric functions Fulltext Access 20 Pages 2009
A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude Fulltext Access 20 Pages 2009
On Refinement-Closed Security Properties and Nondeterministic Compositions Fulltext Access 20 Pages 2009
Integral point sets in higher dimensional affine spaces over finite fields Fulltext Access 20 Pages 2009
Implementation of an Orchestration Language as a Haskell Domain Specific Language Fulltext Access 20 Pages 2009
A relax-and-cut algorithm for the prize-collecting Steiner problem in graphs Fulltext Access 20 Pages 2009
Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract) Fulltext Access 21 Pages 2009
Parametric modeling of protein–DNA binding kinetics: A discrete event based simulation approach Fulltext Access 21 Pages 2009
Univalent positive polynomial maps and the equilibrium state of chemical networks of reversible binding reactions Fulltext Access 21 Pages 2009
Rook-by-rook rook theory: Bijective proofs of rook and hit equivalences Fulltext Access 21 Pages 2009
An upper bound on the domination number of nn-vertex connected cubic graphs Fulltext Access 21 Pages 2009
Characterization of a class of graphs related to pairs of disjoint matchings Fulltext Access 21 Pages 2009
Initial ideals of tangent cones to Schubert varieties in orthogonal Grassmannians Fulltext Access 21 Pages 2009
Methods for Proving Termination of Rewriting-based Programming Languages by Transformation Fulltext Access 21 Pages 2009
Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes Fulltext Access 21 Pages 2009
Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints Fulltext Access 21 Pages 2009
A User Interface for a Mathematical System that Allows Ambiguous Formulae Fulltext Access 21 Pages 2009
Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations Fulltext Access 21 Pages 2009
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings Fulltext Access 21 Pages 2009
Balancing modular transfer lines with serial–parallel activation of spindle heads at stations Fulltext Access 22 Pages 2009
Generalized duality for graphs on surfaces and the signed Bollobás–Riordan polynomial Fulltext Access 22 Pages 2009
Some Investigations About Synchronization and Density Classification Tasks in One-dimensional and Two-dimensional Cellular Automata Rule Spaces Fulltext Access 22 Pages 2009
Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems Fulltext Access 22 Pages 2009
Approximate hierarchical facility location and applications to the bounded depth Steiner tree and range assignment problems Fulltext Access 22 Pages 2009
The Strong Perfect Graph Conjecture: 40 years of attempts, and its resolution Fulltext Access 22 Pages 2009
Joint linear complexity of arbitrary multisequences consisting of linear recurring sequences Fulltext Access 22 Pages 2009
Enumerating SnSn by associated transpositions and linear extensions of finite posets Fulltext Access 22 Pages 2009
A Port Graph Calculus for Autonomic Computing and Invariant Verification Fulltext Access 22 Pages 2009
Faster computation of maximum independent set and parameterized vertex cover for graphs with maximum degree 3 Fulltext Access 22 Pages 2009
Distributive lattices of small width, II: A problem from Stanley's 1986 text Enumerative Combinatorics Fulltext Access 23 Pages 2009
Punctured plane partitions and the q-deformed Knizhnik–Zamolodchikov and Hirota equations Fulltext Access 23 Pages 2009