Follow
Juan Antonio Navarro Pérez
Juan Antonio Navarro Pérez
Verified email at google.com - Homepage
Title
Cited by
Cited by
Year
Equivalence in answer set programming
M Osorio, JA Navarro Pérez, J Arrazola
Logic Based Program Synthesis and Transformation, 767-767, 2002
942002
Logics with common weak completions
MO Galindo, JAN Pérez, JRA Ramírez, VB Macías
Journal of Logic and Computation 16 (6), 867-890, 2006
922006
A decision procedure for satisfiability in separation logic with inductive predicates
J Brotherston, C Fuhs, JAN Pérez, N Gorogiannis
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
912014
Separation logic + Superposition calculus = Heap theorem prover
JA Navarro Pérez, A Rybalchenko
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
872011
Applications of intuitionistic logic in answer set programming
M Osorio, JA Navarro, J Arrazola
Theory and Practice of Logic Programming 4 (3), 325-354, 2004
802004
Separation logic modulo theories
JA Navarro Pérez, A Rybalchenko
Asian Symposium on Programming Languages and Systems, 90-106, 2013
732013
Flash floods and ripples: The spread of media content through the blogosphere
M Cha, J Pérez, H Haddadi
Proceedings of the Annual Conference on Weblogs and Social Media (ICWSM 2009), 2009
542009
The spread of media content through blogs
M Cha, JAN Pérez, H Haddadi
Social Network Analysis and Mining 2, 249-264, 2012
402012
Safe beliefs for propositional theories
M Osorio, JAN Pérez, J Arrazola
Annals of Pure and Applied Logic 134 (1), 63-82, 2005
362005
Operational semantics for declarative networking
JA Navarro, A Rybalchenko
Practical Aspects of Declarative Languages: 11th International Symposium …, 2009
352009
Encodings of bounded LTL model checking in effectively propositional logic
JA Navarro-Pérez, A Voronkov
International Conference on Automated Deduction, 346-361, 2007
342007
Ground nonmonotonic modal logic S5: New results
MO Galindo, JAN Pérez, JRA Ramírez, VB Macías
Journal of Logic and Computation 15 (5), 787-813, 2005
322005
Generation of hard non-clausal random satisfiability problems
JA Navarro, A Voronkov
Proceedings of the National Conference on Artificial Intelligence 20 (1), 436, 2005
312005
A logical approach to A-Prolog
M Osorio, JA Navarro, J Arrazola
Electronic notes in theoretical computer science 67, 284-295, 2002
262002
Proof systems for effectively propositional logic
JA Navarro, A Voronkov
Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney …, 2008
252008
SL-COMP: competition of solvers for separation logic
M Sighireanu, JA Navarro Pérez, A Rybalchenko, N Gorogiannis, R Iosif, ...
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019
242019
Applying Prolog to develop distributed systems
NP Lopes, JA Navarro, A Rybalchenko, A Singh
Theory and Practice of Logic Programming 10 (4-6), 691-707, 2010
232010
Modal logic S52 and FOUR
M Osorio, JA Navarro
Proceedings of Annual Meeting of the Association for Symbolic Logic, 2003
172003
Planning with Effectively Propositional Logic
JA Navarro-Pérez, A Voronkov
Programming Logics, 302-316, 2013
152013
Cardinality abstraction for declarative networking applications
JAN Pérez, A Rybalchenko, A Singh
Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009
152009
The system can't perform the operation now. Try again later.
Articles 1–20