- A Higher-Order Calculus for Categories Mario Cáccamo Glynn Winskel Fri 02 March 2012
- Refinement Calculus for Logic Programming in Isabelle/HOL David Hemer Ian Hayes Paul Strooper Fri 02 March 2012
- XML Schema, Tree Logic and Sheaves Automata Silvano Dal Zilio Denis Lugiez Fri 02 March 2012
- Alternating Automata and Logics over Infinite Words Christof Loding Wolfgang Thomas Fri 02 March 2012
- A System for Tabled Constraint Logic Programming Baoqiu Cui David S. Warren Fri 02 March 2012
- Similarity Enrichment in Image Compression through Weighted Finite Automata Zhuhan Jiang Bruce Litow Olivier de Vel Fri 02 March 2012
- Woflan 2.0 A Petri-Net-Based Workflow Diagnosis Tool Eric Verbeek Wil M. P. van der Aalst Fri 02 March 2012
- Efficient Verification Algorithms for One-Counter Processes Antonín Kučera Fri 02 March 2012
- Nondeterminism versus Determinism for Two-Way Finite Automata: Generalizations of Sipser's Separation Juraj Hromkovič Georg Schnitger Fri 02 March 2012
- Notes on Triangular Sets and Triangulation-Decomposition Algorithms I: Polynomial Systems Evelyne Hubert Fri 02 March 2012
- Type Isomorphisms and Proof Reuse in Dependent Type Theory Gilles Barthe Olivier Pons Fri 02 March 2012
- Synthesis of Linear Ranking Functions Michael A. Colóon Henny B. Sipma Fri 02 March 2012
- Normalization by Evaluation for the Computational Lambda-Calculus Andrzej Filinski Fri 02 March 2012
- Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques W. M. P. van der Aalst Fri 02 March 2012
- Reduction and Refinement Strategies for Probabilistic Analysis Pedro R. D'Argenio Bertrand Jeannet Henrik E. Jensen Kim G. Larsen Fri 02 March 2012
- Games and Model Checking for Guarded Logics Dietmar Berwanger Erich Grädel Fri 02 March 2012
- Decidability of Quantifed Propositional Branching Time Logics Tim French Fri 02 March 2012
- Efficient Zero-Knowledge Authentication Based on a Linear Algebra Problem MinRank Nicolas T. Courtois Fri 02 March 2012
- Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction Simon J. Ambler Roy L. Crole Alberto Momigliano Fri 02 March 2012
- Timed Petri Nets and BQOs Parosh Aziz Abdulla Aletta Nylén Fri 02 March 2012
Library Size: 13G (12952 entries),
Last Updated: Apr 13, 2026, 17:04:26,
Build Time: N/A
