Leonor Prensa Nieto
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1999–2006
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | TACAS | Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants. | Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Fernanto Tiu |
| 2004 | CCS | Formally verifying information flow type systems for concurrent and thread systems. | Gilles Barthe, Leonor Prensa Nieto |
| 2003 | ESOP | The Rely-Guarantee Method in Isabelle/HOL. | Leonor Prensa Nieto |
| 2000 | MFCS | Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries in Isabelle/HOL. | Leonor Prensa Nieto, Javier Esparza |
| 1999 | FASE | Owicki/Gries in Isabelle/HOL. | Tobias Nipkow, Leonor Prensa Nieto |