Juan Antonio Navarro Pérez

25 papers A* 3A 3B 2C 3Journal 9Unranked 5
YearRankTypeTitle / Venue / Authors
2019 — conf
SL-COMP: Competition of Solvers for Separation Logic.
TACAS (3)
Mihaela Sighireanu, Juan Antonio Navarro Pérez, 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, Tomás Vojnar, Constantin Enea, Ondrej Lengál, Chong Gao, Zhilin Wu
2014 — conf
A decision procedure for satisfiability in separation logic with inductive predicates.
CSL-LICS
James Brotherston, Carsten Fuhs, Juan Antonio Navarro Pérez, Nikos Gorogiannis
2013 — conf
Planning with Effectively Propositional Logic.
Programming Logics
Juan Antonio Navarro Pérez, Andrei Voronkov
2013 J jnl
Separation Logic Modulo Theories
CoRR
Juan Antonio Navarro Pérez, Andrey Rybalchenko
2013 B conf
Separation Logic Modulo Theories.
APLAS
Juan Antonio Navarro Pérez, Andrey Rybalchenko
2012 J jnl
The spread of media content through blogs.
Soc. Netw. Anal. Min.
Meeyoung Cha, Juan Antonio Navarro Pérez, Hamed Haddadi
2011 A* conf
Separation logic + superposition calculus = heap theorem prover.
PLDI
Juan Antonio Navarro Pérez, Andrey Rybalchenko
2010 J jnl
Applying Prolog to Develop Distributed Systems
CoRR
Nuno P. Lopes, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh
2010 J jnl
Applying Prolog to develop distributed systems.
Theory Pract. Log. Program.
Nuno P. Lopes, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh
2009 A* conf
Cardinality Abstraction for Declarative Networking Applications.
CAV
Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh
2009 C conf
Operational Semantics for Declarative Networking.
PADL
Juan Antonio Navarro Pérez, Andrey Rybalchenko
2008 A conf
Proof Systems for Effectively Propositional Logic.
IJCAR
Juan Antonio Navarro Pérez, Andrei Voronkov
2007 A conf
Encodings of Bounded LTL Model Checking in Effectively Propositional Logic.
CADE
Juan Antonio Navarro Pérez, Andrei Voronkov
2007 A conf
Encodings of Problems in Effectively Propositional Logic.
SAT
Juan Antonio Navarro Pérez, Andrei Voronkov
2006 J jnl
Logics with Common Weak Completions.
J. Log. Comput.
Mauricio Osorio, Juan Antonio Navarro Pérez, José R. Arrazola Ramírez, Verónica Borja Macías
2005 A* conf
Generation of Hard Non-Clausal Random Satisfiability Problems.
AAAI
Juan Antonio Navarro Pérez, Andrei Voronkov
2005 J jnl
Ground Nonmonotonic Modal Logic S5: New Results.
J. Log. Comput.
Mauricio Javier Osorio Galindo, Juan Antonio Navarro Pérez, José R. Arrazola Ramírez, Verónica Borja Macías
2005 J jnl
Safe beliefs for propositional theories.
Ann. Pure Appl. Log.
Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
2004 — conf
Answer Set Programming and S4.
IBERAMIA
Mauricio Osorio, Juan Antonio Navarro Pérez
2004 J jnl
Applications of Intuitionistic Logic in Answer Set Programming.
Theory Pract. Log. Program.
Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
2004 — conf
Computing Preferred Safe Beliefs.
LA-NMR
Luis A. Montiel, Juan Antonio Navarro Pérez
2003 J jnl
Applications of Intuitionistic Logic in Answer Set Programming
CoRR
Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
2002 C conf
A logical approach to A-Prolog.
WoLLIC
Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
2002 B conf
Debugging in A-Prolog: A Logical Approach.
ICLP
Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola
2001 C conf
Equivalence in Answer Set Programming.
LOPSTR
Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola