Conferences and workshops

1. Alin Deutsch, Monica Marcus, Liying Sui, Victor Vianu, Dayou Zhou, "A Verifier for Interactive, Data-driven Web Applications", SIGMOD Conference 2005.
2. Joseph Goguen and Monica Marcus, "Scritical Pairs and Sunification", 18th Workshop on Unification (UNIF'04), Cork, Ireland, July 5, 2004.
3. Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar, "Symbolic Model Checking with Rich Assertional Languages", Proc. 9th Intl. Conference on Computer Aided Verification, (CAV'97), LNCS 1254, p.424-435, 1997.
4. Monica Marcus and Amir Pnueli, "Using Ghost Variables to Prove Refinement", Proc. AMAST'96, LNCS 1101, p.226-240.

Journal publications

1. Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar, "Symbolic Model Checking with Rich Assertional Languages", Theor. Comp. Sci., 256:93-112, 2001.
2. Monica Marcus and Gheorghe Paun, "Regulated Galiukschov Semicontextual Grammars", Kybernetica (Czechoslovakia) 26, 1990, p. 316-326.
3. Monica Marcus, "Generalized Langford Languages", International Journal of Computer Mathematics (Great Britain), 28, no.2-3, 1989, p. 97-101.
4. Monica Marcus and Gheorghe Paun, "Valence Generalized Sequential Machines Mappings", Bulletin Mathematique de la Societe des Sciences Mathematiques de la Roumanie, Tome 31(79), no.3, 1987, p. 219-229; Mathematical Reviews, June 1989, p.3429, 89f:68018.
5. Monica Marcus and Gheorghe Paun, "Parallel Compound Generalized Sequential Machines" (in Romanian), Studii si Cercetari Matematice, 1986, 38 no.1, p. 61-71.

PhD Thesis

• "A Temporal Methodology for Proving Refinement between Reactive Systems", The Weizmann Institute of Science, June 1999.

Technical report

• Monica Marcus and Amir Pnueli, "A Stuttering-Robust Temporal Logic with Next but without Previous", CS96-01, Weizmann Institute of Science.

Conference presentation

• "Using Ghost Variables to Prove Refinement", Algebraic Methodology and Software Technology (AMAST'96), Ludwig-Maximilians-Universit"at, Munich, Germany, July 3, 1996.