Juan Antonio Navarro Prez
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
11
Active years
2001–2019
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | TACAS | SL-COMP: Competition of Solvers for Separation Logic. | Mihaela Sighireanu, Juan Antonio Navarro Prez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Toms Vojnar, Constantin Enea, Ondrej Lengl, Chong Gao, Zhilin Wu |
| 2014 | CSL | A decision procedure for satisfiability in separation logic with inductive predicates. | James Brotherston, Carsten Fuhs, Juan Antonio Navarro Prez, Nikos Gorogiannis |
| 2013 | APLAS | Separation Logic Modulo Theories. | Juan Antonio Navarro Prez, Andrey Rybalchenko |
| 2011 | PLDI | Separation logic + superposition calculus = heap theorem prover. | Juan Antonio Navarro Prez, Andrey Rybalchenko |
| 2009 | CAV | Cardinality Abstraction for Declarative Networking Applications. | Juan Antonio Navarro Prez, Andrey Rybalchenko, Atul Singh |
| 2009 | PADL | Operational Semantics for Declarative Networking. | Juan Antonio Navarro Prez, Andrey Rybalchenko |
| 2008 | CADE | Proof Systems for Effectively Propositional Logic. | Juan Antonio Navarro Prez, Andrei Voronkov |
| 2007 | CADE | Encodings of Bounded LTL Model Checking in Effectively Propositional Logic. | Juan Antonio Navarro Prez, Andrei Voronkov |
| 2007 | SAT | Encodings of Problems in Effectively Propositional Logic. | Juan Antonio Navarro Prez, Andrei Voronkov |
| 2005 | AAAI | Generation of Hard Non-Clausal Random Satisfiability Problems. | Juan Antonio Navarro Prez, Andrei Voronkov |
| 2002 | ICLP | Debugging in A-Prolog: A Logical Approach. | Mauricio Osorio, Juan Antonio Navarro Prez, Jos Arrazola |
| 2001 | LOPSTR | Equivalence in Answer Set Programming. | Mauricio Osorio, Juan Antonio Navarro Prez, Jos Arrazola |