Equivalence in answer set programming M Osorio, JA Navarro Pérez, J Arrazola Logic Based Program Synthesis and Transformation, 767-767, 2002 | 94 | 2002 |
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 | 92 | 2006 |
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 | 91 | 2014 |
Separation logic + Superposition calculus = Heap theorem prover JA Navarro Pérez, A Rybalchenko Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011 | 87 | 2011 |
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 | 80 | 2004 |
Separation logic modulo theories JA Navarro Pérez, A Rybalchenko Asian Symposium on Programming Languages and Systems, 90-106, 2013 | 73 | 2013 |
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 | 53 | 2009 |
The spread of media content through blogs M Cha, JAN Pérez, H Haddadi Social Network Analysis and Mining 2, 249-264, 2012 | 40 | 2012 |
Operational semantics for declarative networking JA Navarro, A Rybalchenko Practical Aspects of Declarative Languages: 11th International Symposium …, 2009 | 35 | 2009 |
Safe beliefs for propositional theories M Osorio, JAN Pérez, J Arrazola Annals of Pure and Applied Logic 134 (1), 63-82, 2005 | 35 | 2005 |
Encodings of bounded LTL model checking in effectively propositional logic JA Navarro-Pérez, A Voronkov International Conference on Automated Deduction, 346-361, 2007 | 34 | 2007 |
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 | 32 | 2005 |
Generation of hard non-clausal random satisfiability problems JA Navarro, A Voronkov Proceedings of the National Conference on Artificial Intelligence 20 (1), 436, 2005 | 31 | 2005 |
A logical approach to A-Prolog M Osorio, JA Navarro, J Arrazola Electronic notes in theoretical computer science 67, 284-295, 2002 | 26 | 2002 |
Proof systems for effectively propositional logic JA Navarro, A Voronkov Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney …, 2008 | 25 | 2008 |
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 | 24 | 2019 |
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 | 22 | 2010 |
Modal logic S52 and FOUR M Osorio, JA Navarro Proceedings of Annual Meeting of the Association for Symbolic Logic, 2003 | 17 | 2003 |
Planning with Effectively Propositional Logic JA Navarro-Pérez, A Voronkov Programming Logics, 302-316, 2013 | 15 | 2013 |
Cardinality abstraction for declarative networking applications JAN Pérez, A Rybalchenko, A Singh Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009 | 15 | 2009 |