some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

   Volume 1 (2005)

   Volume 2 (2006)

   Volume 3 (2007)

   Volume 4 (2008)

   Volume 5 (2009)

   Volume 6 (2010)

   Volume 7 (2011)

   Volume 8 (2012)

      Issue 1

      Issue 2

      Issue 3

      Issue 4

   Volume 9 (2013)

   Volume 10 (2014)

   Volume 11 (2015)

   Volume 12 (2016)

   Volume 13 (2017)

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

VOLUME 8, ISSUE 2


1. Extended Initiality for Typed Abstract Syntax
  Benedikt Ahrens


2. Barriers in Concurrent Separation Logic: Now With Tool Support!
  Aquinas Hobor and Cristian Gherghina


3. Intuitionistic implication makes model checking hard
  Martin Mundhenk and Felix Weiss


4. Quantifier-Free Interpolation of a Theory of Arrays
  Roberto Bruttomesso, Silvio Ghilardi and Silvio Ranise


5. Secure the Clones
  Thomas Jensen, Florent Kirchner and David Pichardie


6. Modes of Convergence for Term Graph Rewriting
  Patrick Bahr


7. On the equivalence of game and denotational semantics for the probabilistic mu-calculus
  Matteo Mio


8. Width and size of regular resolution proofs
  Alasdair Urquhart


9. Refining Inductive Types
  Robert Atkey, Patricia Johann and Neil Ghani


10. Dynamic Dependency Pairs for Algebraic Functional Systems
  Cynthia Kop and Femke van Raamsdonk


11. Model Checking Vector Addition Systems with one zero-test
  Rémi Bonnet, Alain FInkel, Jérôme Leroux and Marc Zeitoun


12. Generic Fibrational Induction
  Neil Ghani, Patricia Johann and Clement Fumex


13. Untyping Typed Algebras and Colouring Cyclic Linear Logic
  Damien Pous


14. General Bindings and Alpha-Equivalence in Nominal Isabelle
  Christian Urban and Cezary Kaliszyk


15. Precompact Apartness Spaces
  Douglas S. Bridges


16. Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability
  Tino Teige and Martin Fränzle


17. Efficient CSL Model Checking Using Stratification
  Lijun Zhang, David N. Jansen, Flemming Nielson and Holger Hermanns


18. Software Model Checking with Explicit Scheduler and Symbolic Threads
  Alessandro Cimatti, Iman Narasamdya and Marco Roveri


Creative Commons