Lattice of subalgebras in the finitely generated varieties of MV-algebras Fulltext Access 15 Pages 2007
Kazhdan–Lusztig R-polynomials of permutations containing a 231 or 312 pattern Fulltext Access 15 Pages 2007
Value and position of large weak left-to-right maxima for samples of geometrically distributed variables Fulltext Access 15 Pages 2007
An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode Fulltext Access 16 Pages 2007
Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking Fulltext Access 16 Pages 2007
Stochastic Concurrent Constraint Programming and Differential Equations Fulltext Access 16 Pages 2007
Limit shape of a random integer partition with a bounded max-to-min ratio of parts sizes Fulltext Access 16 Pages 2007
Enumerating degree sequences in digraphs and a cycle–cocycle reversing system Fulltext Access 16 Pages 2007
Architectural Interoperability Checking in Visual Coordination Networks 1 Fulltext Access 16 Pages 2007
SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers Fulltext Access 16 Pages 2007
The source location problem with local 3-vertex-connectivity requirements Fulltext Access 16 Pages 2007
Constrained sequence alignment: A general model and the hardness results Fulltext Access 16 Pages 2007
Parametric Performance Contracts for Software Components with Concurrent Behaviour Fulltext Access 16 Pages 2007
Autonomic Adaptation solution based on Service-Context Adequacy Determination Fulltext Access 16 Pages 2007
Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems 1 Fulltext Access 16 Pages 2007
Modelling the Security of Smart Cards by Hard and Soft Types for Higher-Order Mobile Embedded Resources 1 Fulltext Access 16 Pages 2007