Structural filtering: a paradigm for efficient and exact geometric programs Fulltext Access 16 Pages 2005
Decidability of Reachability for Polymorphic Systems with Arrays: A Complete Classification Fulltext Access 17 Pages 2005
Analysing Password Protocol Security Against Off-line Dictionary Attacks Fulltext Access 17 Pages 2005
A Coalgebraic Semantic Framework for Component-based Development in UML Fulltext Access 17 Pages 2005
Asymptotics for the genus and the number of rational places in towers of function fields over a finite field Fulltext Access 17 Pages 2005
Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis Fulltext Access 17 Pages 2005
Scheduling a single machine to minimize a regular objective function under setup constraints Fulltext Access 17 Pages 2005
Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking Fulltext Access 17 Pages 2005
Towards Graph Transformation Based Generation of Visual Editors Using Eclipse Fulltext Access 17 Pages 2005
A Program Result Checker for the Lexical Analysis of the GNU C Compiler Fulltext Access 17 Pages 2005
Discrete Tomography in Discrete Deconvolution: Deconvolution of Binary Images Using Ryser's Algorithm Fulltext Access 17 Pages 2005
Application of a discrete tomography algorithm to computerized tomography Fulltext Access 17 Pages 2005
Reconstruction of pixel-based and geometric objects by discrete tomography. Simulation and physical experiments Fulltext Access 17 Pages 2005
An efficient algorithm for reconstructing binary matrices from horizontal and vertical absorbed projections Fulltext Access 17 Pages 2005
Reconstruction of Discrete Sets from Four Projections: Strong Decomposability Fulltext Access 17 Pages 2005
The total chromatic number of regular graphs of even order and high degree Fulltext Access 17 Pages 2005
On the complexity of cell flipping in permutation diagrams and multiprocessor scheduling problems Fulltext Access 17 Pages 2005
Highly degenerate quadratic forms over finite fields of characteristic 2 Fulltext Access 17 Pages 2005
Fast fixed-parameter tractable algorithms for nontrivial generalizations of vertex cover Fulltext Access 17 Pages 2005
Improving Software Quality in Safety-Critical Applications by Model-Driven Verification Fulltext Access 17 Pages 2005
Geographical Versus Functional Modelling by Statecharts of Interlocking Systems Fulltext Access 17 Pages 2005
Object and image indexing based on region connection calculus and oriented matroid theory Fulltext Access 17 Pages 2005
Resolution complexity of random constraint satisfaction problems: Another half of the story Fulltext Access 17 Pages 2005
Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations Fulltext Access 18 Pages 2005
Testing for the Conformance of Real-time Protocols Implemented by Operating Systems Fulltext Access 18 Pages 2005
The many benefits of putting stack filters into disjunctive or conjunctive normal form Fulltext Access 18 Pages 2005