Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation Fulltext Access 17 Pages 2007
A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F Fulltext Access 17 Pages 2007
A Structural Approach for Modelling Performance of Systems Using Skeletons Fulltext Access 17 Pages 2007
Explicit Randomness is not Necessary when Modeling Probabilistic Encryption 1 Fulltext Access 17 Pages 2007
A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters Fulltext Access 17 Pages 2007
Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming Fulltext Access 17 Pages 2007
Chromatic Turán problems and a new upper bound for the Turán density of K4− Fulltext Access 18 Pages 2007
The replacements of signed graphs and Kauffman brackets of link families Fulltext Access 18 Pages 2007
Some computational aspects of Jacobians of curves in the family y3=γx5+δ over Fp Fulltext Access 18 Pages 2007
Extracting Program Logics From Abstract Interpretations Defined by Logical Relations Fulltext Access 18 Pages 2007
Towards Software Component Procurement Automation with Latent Semantic Analysis Fulltext Access 18 Pages 2007
Relational Parametricity for Control Considered as a Computational Effect Fulltext Access 18 Pages 2007
Recognizing splicing languages: Syntactic monoids and simultaneous pumping Fulltext Access 18 Pages 2007
Skeletons, Homomorphisms, and Shapes: Characterizing Protocol Executions 1 Fulltext Access 18 Pages 2007
A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme Fulltext Access 18 Pages 2007
Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics 1 Fulltext Access 18 Pages 2007
General Secret Sharing Based on the Chinese Remainder Theorem with Applications in E-Voting Fulltext Access 18 Pages 2007
Randomized on-line algorithms and lower bounds for computing large independent sets in disk graphs Fulltext Access 18 Pages 2007
Partial Order Reduction for Rewriting Semantics of Programming Languages Fulltext Access 18 Pages 2007
From Functional Programs to Interaction Nets via the Rewriting Calculus ⋆ Fulltext Access 18 Pages 2007
Polyhedral results and exact algorithms for the asymmetric travelling salesman problem with replenishment arcs Fulltext Access 18 Pages 2007
The nonorientable genus of joins of complete graphs with large edgeless graphs Fulltext Access 19 Pages 2007
On strongly closed subgraphs with diameter two and the QQ-polynomial property Fulltext Access 19 Pages 2007
Maximum integer multiflow and minimum multicut problems in two-sided uniform grid graphs Fulltext Access 19 Pages 2007