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
Dual-bounded generating problems: Efficient and inefficient points for discrete probability distributions and sparse boxes for multidimensional data Fulltext Access 16 Pages 2007
A general comparison of language learning from examples and from queries Fulltext Access 16 Pages 2007
A framework for analyzing probabilistic protocols and its application to the Partial Secrets Exchange Fulltext Access 16 Pages 2007
Can Newtonian systems, bounded in space, time, mass and energy compute all functions? Fulltext Access 16 Pages 2007
Semi-online scheduling problems on two identical machines with inexact partial information 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
SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers Fulltext Access 16 Pages 2007
Architectural Interoperability Checking in Visual Coordination Networks 1 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