Dagstuhl Seminar Proceedings 08171

Beyond the Finite: New Challenges in Verification and Semistructured Data

A. Muscholl, R. Ramanujam, M. Rusinowitch, T. Schwentick, V. Vianu (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 08171, 20.04. - 25.04.2008
Additional Information
Seminar Homepage
License
Search Publication Server

Authors
  • Aziz Abdulla, Parosh
  • Bouajjani, Ahmed
  • Cederberg, Jonathan
  • Haziza, Frédéric
  • Ji, Ran
  • Muscholl, Anca
  • Ramanujam, Ramaswamy
  • Rezine, Ahmed
  • Rusinowitch, Michaël
  • Schwentick, Thomas
  • Vianu, Victor

  •   
    08171 Abstracts Collection -- Beyond the Finite: New Challenges in Verification and Semistructured Data
    Authors: Muscholl, Anca ; Ramanujam, Ramaswamy ; Rusinowitch, Michaël ; Schwentick, Thomas ; Vianu, Victor

    Abstract | Document (186 KB) | BibTeX

    08171 Summary -- Beyond the Finite: New Challenges in Verification and Semistructured Data
    Authors: Muscholl, Anca ; Ramanujam, Ramaswamy ; Rusinowitch, Michaël ; Schwentick, Thomas ; Vianu, Victor

    Abstract | Document (62 KB) | BibTeX

    Shape Analysis via Monotonic Abstraction
    Authors: Aziz Abdulla, Parosh ; Bouajjani, Ahmed ; Cederberg, Jonathan ; Haziza, Frédéric ; Ji, Ran ; Rezine, Ahmed

    Abstract | Document (153 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint
    Published by LZI