Monica Marcus
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
1997–2005
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | SIGMOD | A Verifier for Interactive, Data-Driven Web Applications. | Alin Deutsch, Monica Marcus, Liying Sui, Victor Vianu, Dayou Zhou |
| 1997 | CAV | Symbolic Model Checking with Rich ssertional Languages. | Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar |