Skip to Main content

Keywords

Number of documents

48

Diego Figueira - Publications


Journal articles12 documents

  • Diego Figueira, Anirban Majumdar, M. Praveen. Playing with repetitions in data words using energy games. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2020, 16 (3), pp.1. ⟨hal-02888536⟩
  • Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira. Bisimulations on Data Graphs. Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2018, 61, pp.171-213. ⟨10.1613/jair.5637⟩. ⟨hal-01679889⟩
  • Diego Figueira. Satisfiability of XPath on data trees. ACM SIGLOG News, ACM, 2018, 5 (2), pp.4-16. ⟨10.1145/3212019.3212021⟩. ⟨hal-01670363v2⟩
  • Diego Figueira, Luc Segoufin. Bottom-up automata on data trees and vertical XPath. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, 13 (4), ⟨10.23638/LMCS-13(4:5)2017⟩. ⟨hal-01631219⟩
  • Diego Figueira, Piotr Hofman, Sławomir Lasota. Relating timed and register automata. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2016, 26 (06), pp.993-1021. ⟨10.1017/S0960129514000322⟩. ⟨hal-01686366⟩
  • Stéphane Demri, Diego Figueira, M. Praveen. Reasoning about Data Repetitions with Counter Systems. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2016, 12 (3), ⟨10.2168/LMCS-12(3:1)2016⟩. ⟨hal-01685180⟩
  • Diego Figueira, Leonid Libkin. Synchronizing Relations on Words. Theory of Computing Systems, Springer Verlag, 2015, 57 (2), pp.287 - 318. ⟨10.1007/s00224-014-9584-2⟩. ⟨hal-01778459⟩
  • Diego Figueira, Santiago Figueira, Carlos Areces. Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization. Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2015. ⟨hal-01778416⟩
  • Pablo Barceló, Diego Figueira, Leonid Libkin. Graph Logics with Rational Relations. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2013, 9 (3), ⟨10.2168/LMCS-9(3:1)2013⟩. ⟨hal-01795115⟩
  • Diego Figueira. Decidability of Downward XPath. ACM Transactions on Computational Logic, Association for Computing Machinery, 2012, 13 (4), pp.1-40. ⟨10.1145/2362355.2362362⟩. ⟨hal-01799714⟩
  • Diego Figueira. Alternating register automata on finite words and trees. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2012, 8 (1), pp.1-44. ⟨10.2168/LMCS-8(1:22)2012⟩. ⟨hal-01799710⟩
  • Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera. The expressive power of Memory Logics. The review of symbolic logic, Cambridge University Press, 2011, 4 (2), pp.290-318. ⟨10.1017/S1755020310000389⟩. ⟨hal-01803447⟩

Conference papers30 documents

  • Diego Figueira. Containment of UC2RPQ: the hard and easy cases. International Conference on Database Theory (ICDT), Mar 2020, Copenhagen, Denmark. pp.9:1-9:18, ⟨10.4230/LIPIcs.ICDT.2020.9⟩. ⟨hal-02291888v2⟩
  • María Emilia Descotte, Diego Figueira, Santiago Figueira. Closure properties of synchronized relations. International Symposium on Theoretical Aspects of Computer Science (STACS), Mar 2019, Berlin, Germany. ⟨10.4230/LIPIcs.STACS.2019.22⟩. ⟨hal-01884574v2⟩
  • Pablo Barceló, Diego Figueira, Miguel Romero. Boundedness of Conjunctive Regular Path Queries. International Colloquium on Automata, Languages, and Programming (ICALP), Jul 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.104⟩. ⟨hal-02056388v2⟩
  • Diego Figueira, Varun Ramanathan, Pascal Weil. The Quantifier Alternation Hierarchy of Synchronous Relations. International Symposium on Mathematical Foundations of Computer Science (MFCS), Aug 2019, Aachen, Germany. pp.29:1-29:14, ⟨10.4230/LIPIcs.MFCS.2019.29⟩. ⟨hal-02109188v2⟩
  • Diego Figueira, M. Praveen. Playing with Repetitions in Data Words Using Energy Games. Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2018, Oxford, United Kingdom. ⟨10.1145/3209108.3209154⟩. ⟨hal-01715125⟩
  • María Emilia Descotte, Diego Figueira, Gabriele Puppis. Resynchronizing Classes of Word Relations. International Colloquium on Automata, Languages, and Programming (ICALP), Jul 2018, Prague, Czech Republic. ⟨10.4230/LIPIcs.ICALP.2018.123⟩. ⟨hal-01721046v2⟩
  • Diego Figueira, Ranko Lazić, Jérôme Leroux, Filip Mazowiecki, Grégoire Sutre. Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One. International Colloquium on Automata, Languages, and Programming (ICALP), Jul 2017, Varsovie, Poland. pp.119, ⟨10.4230/LIPIcs.ICALP.2017.119⟩. ⟨hal-01688742⟩
  • Sergio Abriola, Diego Figueira, Santiago Figueira. Logics of repeating values on data trees and branching counter systems. International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Apr 2017, Uppsala, Sweden. ⟨hal-01686713⟩
  • Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira. Bisimulations on Data Graphs. International Conference on Principles of Knowledge Representation and Reasoning (KR), Apr 2016, Cape Town, South Africa. pp.309-318. ⟨hal-01713325⟩
  • Myrto Arapinis, Diego Figueira, Marco Gaboardi. Sensitivity of Counting Queries. International Colloquium on Automata, Languages, and Programming (ICALP), Jul 2016, Rome, Italy. ⟨hal-01713317⟩
  • Diego Figueira. Semantically Acyclic Conjunctive Queries under Functional Dependencies. Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2016, New York, United States. ⟨10.1145/2933575.2933580⟩. ⟨hal-01713329v2⟩
  • Diego Figueira, Leonid Libkin. Path Logics for Querying Graphs: Combining Expressiveness and Efficiency. Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2015, Kyoto, Japan. ⟨10.1109/LICS.2015.39⟩. ⟨hal-01778476⟩
  • Diego Figueira, Santiago Figueira, Carlos Areces. Basic Model Theory of XPath on Data Trees. 17th International Conference on Database Theory (ICDT), Mar 2014, Athens, Greece. ⟨hal-01793608⟩
  • Diego Figueira, Leonid Libkin. Synchronizing Relations on Words. 31st International Symposium on Theoretical Aspects of Computer Science (STACS), May 2014, Lyon, France. ⟨hal-01793633⟩
  • Diego Figueira, Leonid Libkin. Pattern logics and auxiliary relations. CSL-LICS'14, joint EACSL Annual Conference on Computer Science Logic (CSL) and Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2014, Vienna, Austria. ⟨10.1145/2603088.2603136⟩. ⟨hal-01793593⟩
  • Diego Figueira. On XPath with transitive axes and data tests. ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS), Jun 2013, New York, NY, United States. ⟨10.1145/2463664.2463675⟩. ⟨hal-01795148⟩
  • Stéphane Demri, Diego Figueira, M. Praveen. Reasoning about Data Repetitions with Counter Systems. Annual IEEE/ACM Symposium on Logic in Computer Science (LICS), Jun 2013, New Orleans, United States. ⟨10.1109/LICS.2013.8⟩. ⟨hal-01795130⟩
  • Vince Bárány, Mikołaj Bojańczyk, Diego Figueira, Paweł Parys. Decidable classes of documents for XPath. IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 2012, Hyderabad, India. pp.99-111. ⟨hal-01799733⟩
  • Pablo Barceló, Diego Figueira, Leonid Libkin. Graph Logics with Rational Relations and the Generalized Intersection Problem. Annual IEEE Symposium on Logic in Computer Science (LICS), Jun 2012, Dubrovnik, Croatia. pp.115-124, ⟨10.1109/LICS.2012.23⟩. ⟨hal-01799740⟩
  • Diego Figueira. A Decidable Two-Way Logic on Data Words. Annual IEEE Symposium on Logic in Computer Science (LICS), Jun 2011, Toronto, United States. ⟨10.1109/LICS.2011.18⟩. ⟨hal-01803452⟩
  • Mikołaj Bojańczyk, Diego Figueira. Efficient evaluation for a temporal logic on changing XML documents. ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS), Jun 2011, Athens, Greece. ⟨10.1145/1989284.1989317⟩. ⟨hal-01803459⟩
  • Diego Figueira, Luc Segoufin. Bottom-up automata on data trees and vertical XPath. Symposium on Theoretical Aspects of Computer Science (STACS), Mar 2011, Dortmund, Germany. pp.93-104. ⟨hal-00573596⟩
  • Diego Figueira, Santiago Figueira, Sylvain Schmitz, Philippe Schnoebelen. Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma. 26th Annual IEEE Symposium on Logic in Computer Science, Jun 2011, Toronto, Canada. p. 269--278, ⟨10.1109/LICS.2011.39⟩. ⟨hal-00609871⟩
  • Diego Figueira. Forward-XPath and extended register automata. International Conference on Database Theory (ICDT), Mar 2010, Lausanne, Switzerland. ⟨10.1145/1804669.1804699⟩. ⟨hal-01806093⟩
  • Diego Figueira, Piotr Hofman, Sławomir Lasota. Relating timed and register automata. International Workshop on Expressiveness in Concurrency (EXPRESS), Aug 2010, Paris, France. pp.61-75, ⟨10.4204/EPTCS.41.5⟩. ⟨hal-01806104⟩
  • Carlos Areces, Diego Figueira. Which Semantics for Neighbourhood Semantics?. Twenty-first International Joint Conference on Artificial Intelligence - IJCAI 09, Jul 2009, Pasadena, California, United States. pp.671--676. ⟨inria-00423047⟩
  • Carlos Areces, Diego Figueira, Daniel Gorin, Sergio Mera. Tableaux and Model Checking for Memory Logics. 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods - TABLEAUX 2009, Jul 2009, Oslo, Norway. pp.47--61. ⟨inria-00423049⟩
  • Diego Figueira. Satisfiability of Downward XPath with Data Equality Tests. Symposium on Principles of Database Systems (PODS), Jun 2009, Providence (RI), United States. ⟨hal-02382925⟩
  • Diego Figueira, Luc Segoufin. Future-looking Logics on Data Words and Trees. International Symposium on Mathematical Foundations of Computer Science (MFCS), Aug 2009, Novy Smokovec, Slovakia. pp.331-343. ⟨hal-01806188⟩
  • Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera. Expressive Power and Decidability for Memory Logics. 15th Workshop on Logic, Language, Information and Computation - WoLLIC 2008, Jul 2008, Edinburgh, United Kingdom. ⟨inria-00323834⟩

Preprints, Working Papers, ...6 documents

  • Wojciech Czerwiński, Diego Figueira, Piotr Hofman. Universality Problem for Unambiguous VASS. 2020. ⟨hal-02483495v2⟩
  • Diego Figueira, Santiago Figueira, Edwin Pin Baque. Finite Controllability for Ontology-Mediated Query Answering of CRPQ. 2020. ⟨hal-02508782⟩
  • Diego Figueira, Adwait Godbole, S. Krishna, Wim Martens, Matthias Niewerth, et al.. Containment of Simple Regular Path Queries. 2020. ⟨hal-02505244⟩
  • Diego Figueira. Co-finiteness of VASS coverability languages. 2019. ⟨hal-02193089v2⟩
  • Diego Figueira. On XPath with Reflexive-Transitive Axes and Data Tests. 2018. ⟨hal-01832177⟩
  • Diego Figueira. Satisfiability for two-variable logic with two successor relations on finite linear orders. 2013. ⟨hal-01799745⟩