Keywords

Number of documents

42

Diego Figueira - Publications


Journal articles11 documents

Conference papers28 documents

  • 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. ⟨hal-01884574v2⟩
  • 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. ⟨hal-02109188v2⟩
  • Pablo Barceló, Diego Figueira, Miguel Romero. Boundedness of Conjunctive Regular Path Queries. International Colloquium on Automata, Languages, and Programming (ICALP), Jul 2019, Patras, Greece. ⟨hal-02056388v2⟩
  • 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.381⟩. ⟨hal-01721046v2⟩
  • 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. ⟨hal-01715125⟩
  • 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⟩
  • 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, 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, 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, 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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, 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⟩
  • 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, 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. 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⟩
  • 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, ...2 documents

  • 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⟩

Theses1 document