some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

   Volume 1 (2005)

   Volume 2 (2006)

   Volume 3 (2007)

      Issue 1

      Issue 2

      Issue 3

      Issue 4

   Volume 4 (2008)

   Volume 5 (2009)

   Volume 6 (2010)

   Volume 7 (2011)

   Volume 8 (2012)

   Volume 9 (2013)

   Volume 10 (2014)

   Volume 11 (2015)

   Volume 12 (2016)

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

VOLUME 3, ISSUE 1


1. Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness
  Parosh A. Abdulla, Pritha Mahata and Richard M. Mayr


2. Cores of Countably Categorical Structures
  Manuel Bodirsky


3. Expressiveness of Metric modalities for continuous time
  Yoram Hirshfeld and Alexander Rabinovich


4. Logic Meets Algebra: the Case of Regular Languages
  Pascal Tesson and Denis Thérien


5. Predicate Abstraction with Under-Approximation Refinement
  Corina S. Păsăreanu, Radek Pelánek and Willem Visser


6. Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning
  Joerg Hoffmann, Carla P. Gomes and Bart Selman


7. Real-Time Model-Checking: Parameters everywhere
  Véronique Bruyère and Jean-François Raskin


8. On the decidability and complexity of Metric Temporal Logic over finite words
  Joel O. Ouaknine and James B. Worrell


9. Adventures in time and space
  Norman Danner and James S. Royer


Creative Commons