Toward the interpretation of non-constructive reasoning as non-monotonic learning Fulltext Access 19 Pages 2009
Bio-PEPA: A framework for the modelling and analysis of biological systems Fulltext Access 20 Pages 2009
On Refinement-Closed Security Properties and Nondeterministic Compositions Fulltext Access 20 Pages 2009
Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information Fulltext Access 20 Pages 2009
Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names Fulltext Access 20 Pages 2009
A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude Fulltext Access 20 Pages 2009
Applications of polyhedral computations to the analysis and verification of hardware and software systems Fulltext Access 20 Pages 2009
Non-strict independence-based program parallelization using sharing and freeness information Fulltext Access 20 Pages 2009
On optimization, dynamics and uncertainty: A tutorial for gene-environment networks Fulltext Access 20 Pages 2009
Crystal graphs for general linear Lie superalgebras and quasi-symmetric functions Fulltext Access 20 Pages 2009
Integral point sets in higher dimensional affine spaces over finite fields Fulltext Access 20 Pages 2009
Modeling and Analyzing the Implementation of Latency-Insensitive Protocols Using the Polychrony Framework Fulltext Access 20 Pages 2009
A relax-and-cut algorithm for the prize-collecting Steiner problem in graphs Fulltext Access 20 Pages 2009
Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM Fulltext Access 20 Pages 2009
Implementation of an Orchestration Language as a Haskell Domain Specific Language Fulltext Access 20 Pages 2009
Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes Fulltext Access 21 Pages 2009
Pictures worth a thousand tiles, a geometrical programming language for self-assembly Fulltext Access 21 Pages 2009
On algorithmic analysis of transcriptional regulation by LTL model checking Fulltext Access 21 Pages 2009
Methods for Proving Termination of Rewriting-based Programming Languages by Transformation Fulltext Access 21 Pages 2009
On systems of word equations over three unknowns with at most six occurrences of one of the unknowns 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
Parametric modeling of protein–DNA binding kinetics: A discrete event based simulation approach Fulltext Access 21 Pages 2009
Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations Fulltext Access 21 Pages 2009
The three-color and two-color Tantrix™ rotation puzzle problems are NP-complete via parsimonious reductions Fulltext Access 21 Pages 2009
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings Fulltext Access 21 Pages 2009
Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract) Fulltext Access 21 Pages 2009
Bialgebraic methods and modal logic in structural operational semantics Fulltext Access 21 Pages 2009
A User Interface for a Mathematical System that Allows Ambiguous Formulae Fulltext Access 21 Pages 2009
Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints Fulltext Access 21 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
A Port Graph Calculus for Autonomic Computing and Invariant Verification Fulltext Access 22 Pages 2009
Focusing and polarization in linear, intuitionistic, and classical logics Fulltext Access 22 Pages 2009