A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs Fulltext Access 16 Pages 2007
Semi-Automated Component-Based Development of Formally Verified Software Fulltext Access 16 Pages 2007
Primitive normal polynomials with multiple coefficients prescribed: An asymptotic result Fulltext Access 16 Pages 2007
An invariant for quadratic forms valued in Galois Rings of characteristic 4 Fulltext Access 16 Pages 2007
Branch-and-price-and-cut on the clique partitioning problem with minimum clique size requirement Fulltext Access 16 Pages 2007
A Fully Labelled Lambda Calculus: Towards Closed Reduction in the Geometry of Interaction Machine Fulltext Access 16 Pages 2007
Applications of Hierarchical Reasoning in the Verification of Complex Systems 3 Fulltext Access 16 Pages 2007
How to contract an essentially 6-connected graph to a 5-connected graph Fulltext Access 17 Pages 2007
A general theory for dense near polygons with a nice chain of subpolygons Fulltext Access 17 Pages 2007
Coinductive Verification of Program Optimizations Using Similarity Relations Fulltext Access 17 Pages 2007
A Preliminary Comparative Study on the Expressive Power of Reo and Linda Fulltext Access 17 Pages 2007
Memory management optimization problems for integrated circuit simulators Fulltext Access 17 Pages 2007
Randomized approximation algorithms for set multicover problems with applications to reverse engineering of protein and gene networks Fulltext Access 17 Pages 2007
A Rewriting Logic Approach to Operational Semantics (Extended Abstract) 1 Fulltext Access 17 Pages 2007
On the number of rational points on some families of Fermat curves over finite fields Fulltext Access 17 Pages 2007
Component Substitutability via Equivalencies of Component-Interaction Automata Fulltext Access 17 Pages 2007
On the Cohen–Olivier algorithm for computing ζ(s)ζ(s): Error analysis in the real case for an arbitrary precision Fulltext Access 17 Pages 2007
Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface Fulltext Access 17 Pages 2007