The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Leonor Prensa Nieto: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gilles Barthe, Leonor Prensa Nieto
    Formally verifying information flow type systems for concurrent and thread systems. [Citation Graph (0, 0)][DBLP]
    FMSE, 2004, pp:13-22 [Conf]
  2. Leonor Prensa Nieto
    The Rely-Guarantee Method in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:348-362 [Conf]
  3. Tobias Nipkow, Leonor Prensa Nieto
    Owicki/Gries in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
    FASE, 1999, pp:188-203 [Conf]
  4. Leonor Prensa Nieto
    Completeness of the Owicki-Gries System for Parameterized Parallel Programs. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2001, pp:150- [Conf]
  5. Leonor Prensa Nieto, Javier Esparza
    Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
    MFCS, 2000, pp:619-628 [Conf]
  6. Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Fernanto Tiu
    Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:167-181 [Conf]
  7. Damián Barsotti, Leonor Prensa Nieto, Alwen Fernanto Tiu
    Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:63-78 [Journal]
  8. Damián Barsotti, Leonor Prensa Nieto, Alwen Tiu
    Verification of clock synchronization algorithms: experiments on a combination of deductive tools. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2007, v:19, n:3, pp:321-341 [Journal]

Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002