Volume 9,
Number 1,
December 2007
- Sharon Shoham, Orna Grumberg:
A game-based framework for CTL counterexamples and 3-valued abstraction-refinement.
Electronic Edition (ACM DL) BibTeX
- Jeremy Avigad, Kevin Donnelly, David Gray, Paul Raff:
A formally verified proof of the prime number theorem.
Electronic Edition (ACM DL) BibTeX
- Jan Van den Bussche, Stijn Vansummeren:
Polymorphic type inference for the named nested relational calculus.
Electronic Edition (ACM DL) BibTeX
- Shuvendu K. Lahiri, Randal E. Bryant:
Predicate abstraction with indexed predicates.
Electronic Edition (ACM DL) BibTeX
- Christel Baier, Nathalie Bertrand, Ph. Schnoebelen:
Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties.
Electronic Edition (ACM DL) BibTeX
- Malgorzata Biernacka, Olivier Danvy:
A concrete framework for environment machines.
Electronic Edition (ACM DL) BibTeX
- Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli:
Outlier detection by logic programming.
Electronic Edition (ACM DL) BibTeX
Volume 9,
Number 2,
March 2008
Volume 9,
Number 3,
June 2008
- Agostino Dovier, Carla Piazza, Gianfranco Rossi:
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets.
Electronic Edition (ACM DL) BibTeX
- Karl Crary, Susmit Sarkar:
Foundational certified code in the Twelf metalogical framework.
Electronic Edition (ACM DL) BibTeX
- Samir Genaim, Andy King:
Inferring non-suspension conditions for logic programs with dynamic scheduling.
Electronic Edition (ACM DL) BibTeX
- Andreas Blass, Yuri Gurevich:
Program termination and well partial orderings.
Electronic Edition (ACM DL) BibTeX
- Andreas Blass, Yuri Gurevich:
Abstract state machines capture parallel algorithms: Correction and extension.
Electronic Edition (ACM DL) BibTeX
- Hana Chockler, Joseph Y. Halpern, Orna Kupferman:
What causes a system to satisfy a specification?.
Electronic Edition (ACM DL) BibTeX
- Simone Bova, Franco Montagna:
Proof search in Hájek's basic logic.
Electronic Edition (ACM DL) BibTeX
- Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Conjunctive query containment and answering under description logic constraints.
Electronic Edition (ACM DL) BibTeX
- Aleksandar Nanevski, Frank Pfenning, Brigitte Pientka:
Contextual modal type theory.
Electronic Edition (ACM DL) BibTeX
Volume 9,
Number 4,
August 2008
- Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani:
Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption.
Electronic Edition (ACM DL) BibTeX
- Frank Wolter, Michael Zakharyaschev:
Undecidability of the unification and admissibility problems for modal and description logics.
Electronic Edition (ACM DL) BibTeX
- Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir:
Open answer set programming with guarded programs.
Electronic Edition (ACM DL) BibTeX
- Yi-Dong Shen:
Reasoning with recursive loops under the PLP framework.
Electronic Edition (ACM DL) BibTeX
- Helmut Seidl, Kumar Neeraj Verma:
Flat and one-variable clauses: Complexity of verifying cryptographic protocols with single blind copying.
Electronic Edition (ACM DL) BibTeX
- Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
Verifiable agent interaction in abductive logic programming: The SCIFF framework.
Electronic Edition (ACM DL) BibTeX
Copyright © Sun May 17 00:29:38 2009
by Michael Ley (ley@uni-trier.de)