Monica Marcus

According to our database1, Monica Marcus authored at least 6 papers between 1990 and 2009.

Collaborative distances:

Timeline

1990
1992
1994
1996
1998
2000
2002
2004
2006
2008
0
1
2
1
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2009
Specification and Verification of Multi-user Data-Driven Web Applications.
Proceedings of the Web Services and Formal Methods, 6th International Workshop, 2009

2005
A Verifier for Interactive, Data-Driven Web Applications.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2005

2001
Symbolic model checking with rich assertional languages.
Theor. Comput. Sci., 2001

1997
Symbolic Model Checking with Rich ssertional Languages.
Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996
Using Ghost Variables to Prove Refinement.
Proceedings of the Algebraic Methodology and Software Technology, 1996

1990
Regulated Galiukschov semicontextual grammars.
Kybernetika, 1990


  Loading...