List of publications
Articles
Articles formally published in books and journals.
- J. A. Navarro Pérez and A. Voronkov. Planning with effectively propositional logic. In: Programming Logics: Essays in Memory of Harald Ganzinger. Ed. by A. Voronkov and C. Weidenbach. Vol. 7797. Lecture Notes in Computer Science. Springer, Apr. 2013, pp. 302–316. [tool] [isbn] [doi] [#]
- M. Cha, J. A. Navarro Pérez, and H. Haddadi. The spread of media content through blogs. In: Social Network Analysis and Mining 2.3 (Sept. 2012), pp. 249–264. [issn] [doi] [#]
- N. P. Lopes, J. A. Navarro Pérez, A. Rybalchenko, and A. Singh. Applying Prolog to develop distributed systems. In: Theory and Practice of Logic Programming 10.4–6 (July 2010): 26th International Conference on Logic Programming (ICLP 2010). Ed. by M. Hermenegildo and T. Schaub, pp. 691–707. [issn] [doi] [#]
- M. Osorio, J. A. Navarro Pérez, J. Arrazola, and V. Borja Macías. Logics with common weak completions. In: Journal of Logic and Computation 16.6 (Dec. 2006), pp. 867–890. [issn] [doi] [#]
- M. Osorio, J. A. Navarro Pérez, J. Arrazola, and V. Borja Macías. Ground nonmonotonic modal logic S5: New results. In: Journal of Logic and Computation 15.5 (Oct. 2005), pp. 787–813. [issn] [doi] [#]
- M. Osorio, J. A. Navarro Pérez, and J. Arrazola. Safe beliefs for propositional theories. In: Annals of Pure and Applied Logic 134.1 (June 2005): 9th Workshop on Logic, Language, Information and Computation (WoLLIC 2002). Ed. by R. de Queiroz, B. Poizat, and S. Artemov, pp. 63–82. [issn] [doi] [#]
- M. Osorio, J. A. Navarro Pérez, and J. Arrazola. Applications of intuitionistic logic in answer set programming. In: Theory and Practice of Logic Programming 4.3 (May 2004). Ed. by M. Bruynooghe, pp. 325–354. [issn] [doi] [#]
- M. Osorio, J. A. Navarro Pérez, and J. Arrazola. A logical approach for A-Prolog. In: Electronic Notes in Theoretical Computer Science 67 (Oct. 2002): 9th Workshop on Logic, Language, Information and Computation (WoLLIC 2002). Ed. by R. de Queiroz, L. C. Pereira, and E. H. Haeusler, pp. 265–275. [issn] [doi] [#]
Patents
Patent applications.
- A. Saxena, V. B. Vega S. Naryanto, M. Rizman, P. Shmakov, J. A. Navarro Pérez, and C. Chimisov. Automatic memory management for compute graphs. US20240193421A1, filed Dec. 2022. Patent pending. [#]
- A. Saxena, J. A. Navarro Pérez, P. Shmakov, C. Chimisov, V. B. Vega S. Naryanto, M. Rizman, and M. Pearce. Graph execution engine. US20230185622A1, filed Dec. 2021. Patent pending. [#]
Conferences
Articles published in conference and workshop proceedings.
- J. Brotherston, C. Fuhs, J. A. Navarro Pérez, and N. Gorogiannis. A decision procedure for satisfiability in separation logic with inductive predicates. In: Proceedings of the 29th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS 2014 (Vienna, Austria). Association for Computing Machinery, July 2014, pp. 1–10. [isbn] [doi] [#]
- J. A. Navarro Pérez and A. Rybalchenko. Separation logic modulo theories. In: Proceedings of the 11th Asian Symposium on Programming Languages and Systems. APLAS 2013 (Melbourne, Australia). Ed. by C.-c. Shan. Vol. 8301. Lecture Notes in Computer Science. Springer, Dec. 2013, pp. 90–106. [tool] [isbn] [doi] [#]
- J. A. Navarro Pérez and A. Rybalchenko. Separation logic + Superposition calculus = Heap theorem prover. In: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI 2011 (San Jose, CA, USA). Association for Computing Machinery, June 2011, pp. 556–566. [slides] [tool] [isbn] [doi] [#]
- J. A. Navarro Pérez, A. Rybalchenko, and A. Singh. Cardinality abstraction for declarative networking applications. In: Proceedings of the 21st International Conference on Computer Aided Verification. CAV 2009 (Grenoble, France). Vol. 5643. Lecture Notes in Computer Science. Springer, June 2009, pp. 584–598. [tool] [isbn] [doi] [#]
- J. A. Navarro Pérez and A. Rybalchenko. Operational semantics for declarative networking. In: Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages. PADL 2009 (Savannah, GA, USA). Vol. 5418. Lecture Notes in Computer Science. Springer, Jan. 2009, pp. 76–90. [isbn] [doi] [#]
- J. A. Navarro Pérez and A. Voronkov. Proof systems for effectively propositional logic. In: Proceedings of the 4th International Joint Conference on Automated Reasoning. IJCAR 2008 (Sydney, Australia). Vol. 5195. Lecture Notes in Computer Science. Springer, Aug. 2008, pp. 426–440. [isbn] [doi] [#]
- J. A. Navarro Pérez and A. Voronkov. Encodings of bounded LTL model checking in effectively propositional logic. In: Proceedings of the 21st International Conference on Automated Deduction. CADE 2007 (Bremen, Germany). Vol. 4603. Lecture Notes in Artificial Intelligence. Springer, July 2007, pp. 346–361. [tool] [isbn] [doi] [#]
- J. A. Navarro Pérez and A. Voronkov. Encodings of problems in effectively propositional logic. In: Proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing. SAT 2007 (Lisbon, Portugal). Vol. 4501. Lecture Notes in Computer Science. Invited talk. Springer, May 2007, p. 3. [tool] [isbn] [doi] [#]
- J. A. Navarro Pérez and A. Voronkov. Generation of hard non-clausal random satisfiability problems. In: Proceedings of the 20th AAAI Conference on Artificial Intelligence. AAAI 2005 (Pittsburgh, PA, USA). AAAI Press, July 2005, pp. 436–442. [tool] [ref] [#]
- M. Osorio and J. A. Navarro Pérez. Answer set programming and S4. In: Proceedings of the 9th Ibero-American Conference on Artificial Intelligence. IBERAMIA 2004 (Puebla, México). Ed. by C. Lemaître, C. A. Reyes, and J. A. González. Vol. 3315. Lecture Notes in Computer Science. Springer, Nov. 2004, pp. 353–363. [isbn] [doi] [#]
- L. A. Montiel and J. A. Navarro Pérez. Computing preferred safe beliefs. In: Proceedings of the 1st Latin-American Workshop on Non-Monotonic Reasoning. LA-NMR 2004 (México, D.F., México). Ed. by M. Osorio and A. Provetti. Vol. 92. CEUR Workshop Proceedings. CEUR-WS.org, Apr. 2004. [ref] [#]
- M. Osorio, J. A. Navarro Pérez, and J. Arrazola. Debugging in A-Prolog: A logical approach. In: Proceedings of the 18th International Conference on Logic Programming. ICLP 2002 (Copenhagen, Denmark). Ed. by P. J. Stuckey. Vol. 2401. Lecture Notes in Computer Science. Springer, Aug. 2002, pp. 482–483. [isbn] [doi] [#]
- M. Osorio, J. A. Navarro Pérez, and J. Arrazola. Equivalence in answer set programming. In: Proceedings of the 11th International Workshop on Logic Based Program Synthesis and Transformation. LOPSTR 2001 (Paphos, Cyprus). Ed. by A. Pettorossi. Vol. 2372. Lecture Notes in Computer Science. Springer, Nov. 2001, pp. 57–75. [isbn] [doi] [#]
- M. Osorio and J. A. Navarro Pérez. Decision problem of substrings in context free languages. In: Memorias del X Congreso Internacional de Computación. CIC 2001 (México, D.F., México). Ed. by J. H. Sossa Azuela, H. Freeman, and C. Vizcaíno. CIC-IPN, Nov. 2001, pp. 239–249. [#]
Theses
Dissertations submitted in support of an accademic degree.
Other
Research papers without a formal publisher.
- M. Cha, J. A. Navarro Pérez, and H. Haddadi. Flash floods and ripples: The spread of media content through the blogoshpere. Presented at the Data Challenge Workshop of the International Conference on Web & Social Media. ICWSM 2009’s Data Challenge (San Jose, CA, USA). Best paper award. May 2009. [scripts] [ref] [#]
- J. A. Navarro Pérez. Encodings of bounded LTL model checking in effectively propositional logic. Presented at the 14th Workshop on Automated Reasoning. ARW 2007 (London, U.K.). Apr. 2007. [ref] [#]
- J. A. Navarro Pérez. Translations to propositional satisfiability. Presented at the 13th Workshop on Automated Reasoning. ARW 2006 (Bristol, U.K.). Apr. 2006, pp. 31–32. [ref] [#]
- J. A. Navarro Pérez. Generation of hard non-clausal random satisfiability problems. Presented at the 12th Workshop on Automated Reasoning. ARW 2005 (Edinburgh, Scotland). July 2005. [ref] [#]
- J. A. Navarro Pérez. Properties of translations for logic programs. Presented at the Student Session of the 15th European Summer School in Logic, Language and Information. ESSLLI 2003 (Vienna, Austria). Ed. by B. ten Cate. Aug. 2003. [ref] [#]
- M. Osorio and J. A. Navarro Pérez. Modal logic S52 and FOUR. Contributed talk at the 2003 Annual Meeting of the Association for Symbolic Logic. ASL 2003 (Chicago, IL, USA). June 2003. [ref] [#]
- M. Osorio, J. A. Navarro Pérez, and J. Arrazola. Consistent neg-extensions of superintuitionistic theories. Contributed talk at the 2002 Logic Colloquium. LC 2002 (Münster, Germany). Aug. 2002. [#]
- J. A. Navarro Pérez. Answer set programming through G3 logic. Presented at the Student Session of the 14th European Summer School in Logic, Language and Information. ESSLLI 2002 (Trento, Italy). Ed. by M. Nissim. Aug. 2002. [#]