Monica Marcus Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2005
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlin Deutsch, Monica Marcus, Liying Sui, Victor Vianu, Dayou Zhou: A Verifier for Interactive, Data-Driven Web Applications. SIGMOD Conference 2005: 539-550
2001
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar: Symbolic model checking with rich assertional languages. Theor. Comput. Sci. 256(1-2): 93-112 (2001)
1997
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar: Symbolic Model Checking with Rich ssertional Languages. CAV 1997: 424-435
1996
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMonica Marcus, Amir Pnueli: Using Ghost Variables to Prove Refinement. AMAST 1996: 226-240

Coauthor Index

1Alin Deutsch [4]
2Yonit Kesten [2] [3]
3Oded Maler [2] [3]
4Amir Pnueli [1] [2] [3]
5Elad Shahar [2] [3]
6Liying Sui [4]
7Victor Vianu [4]
8Dayou Zhou [4]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)