Statistics
Publications
2
Citations
203
H-Index
2
Active since
2001
Affiliations
Verimag(Current)
M. Marcus is an author at Verimag specializing in verification, computing, and computer science.
Publications per year
2001–2005
2
2
Symbolic model checking with rich assertional languages
Yonit Kesten, Oded Maler, M. Marcus et al. · Theoretical Computer Science · 2001 · 144 citations
A verifier for interactive, data-driven web applications
Alin Deutsch, M. Marcus, Liying Sui et al. · 2005 · 59 citations
1–2 of 2