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
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
|
Imprint
|
Privacy
