| 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 |
| Equivalence in answer set programming M Osorio, JA Navarro Pérez, J Arrazola Logic Based Program Synthesis and Transformation, 767-767, 2002 | 92 | 2002 |
| 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 | 87 | 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 | 80 | 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 Programming Languages and Systems: 11th Asian Symposium, APLAS 2013 …, 2013 | 68 | 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 | 52 | 2009 |
| The spread of media content through blogs M Cha, JAN Pérez, H Haddadi Social Network Analysis and Mining 2, 249-264, 2012 | 38 | 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 Automated Deduction–CADE-21: 21st International Conference on Automated …, 2007 | 33 | 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 | 29 | 2005 |
| A logical approach to A-Prolog M Osorio, JA Navarro, J Arrazola Electronic notes in theoretical computer science 67, 284-295, 2002 | 25 | 2002 |
| Proof systems for effectively propositional logic JA Navarro, A Voronkov Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney …, 2008 | 23 | 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 | 21 | 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 | 21 | 2010 |
| Modal logic S52 and FOUR M Osorio, JA Navarro Proceedings of Annual Meeting of the Association for Symbolic Logic, 2003 | 17 | 2003 |
| Cardinality abstraction for declarative networking applications JAN Pérez, A Rybalchenko, A Singh Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009 | 15 | 2009 |
| Planning with Effectively Propositional Logic JA Navarro-Pérez, A Voronkov Programming Logics, 302-316, 2013 | 13 | 2013 |
Osorio MauricioUniversidad de las Américas PueblaVerified email at udlap.mx
