Figueira, Diego; Majumdar, Anirban; Praveen, M. Playing with repetitions in data words using energy games. (English) Zbl 07226003 Log. Methods Comput. Sci. 16, No. 3, Paper No. 1, 42 p. (2020). MSC: 03B70 68 91A05 PDF BibTeX XML Cite \textit{D. Figueira} et al., Log. Methods Comput. Sci. 16, No. 3, Paper No. 1, 42 p. (2020; Zbl 07226003) Full Text: Link arXiv
Abriola, Sergio; Barceló, Pablo; Figueira, Diego; Figueira, Santiago Bisimulations on data graphs. (English) Zbl 1426.68179 J. Artif. Intell. Res. (JAIR) 61, 171-213 (2018). MSC: 68Q85 03B70 PDF BibTeX XML Cite \textit{S. Abriola} et al., J. Artif. Intell. Res. (JAIR) 61, 171--213 (2018; Zbl 1426.68179) Full Text: DOI
Figueira, Diego; Lazi\c, Ranko; Leroux, Jérôme; Mazowiecki, Filip; Sutre, Grégoire Polynomial-space completeness of reachability for succinct branching VASS in dimension one. (English) Zbl 1442.68136 Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 119, 14 p. (2017). MSC: 68Q85 03B25 03F52 68Q17 PDF BibTeX XML Cite \textit{D. Figueira} et al., LIPIcs -- Leibniz Int. Proc. Inform. 80, Article 119, 14 p. (2017; Zbl 1442.68136) Full Text: DOI
Figueira, Diego; Segoufin, Luc Bottom-up automata on data trees and vertical \(\mathsf{XPath}\). (English) Zbl 1398.68107 Log. Methods Comput. Sci. 13, No. 4, Paper No. 5, 40 p. (2017). MSC: 68P05 68Q45 PDF BibTeX XML Cite \textit{D. Figueira} and \textit{L. Segoufin}, Log. Methods Comput. Sci. 13, No. 4, Paper No. 5, 40 p. (2017; Zbl 1398.68107) Full Text: DOI arXiv
Abriola, Sergio; Figueira, Diego; Figueira, Santiago Logics of repeating values on data trees and branching counter systems. (English) Zbl 06720991 Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer (ISBN 978-3-662-54457-0/pbk; 978-3-662-54458-7/ebook). Lecture Notes in Computer Science 10203, 196-212 (2017). MSC: 68Qxx PDF BibTeX XML Cite \textit{S. Abriola} et al., Lect. Notes Comput. Sci. 10203, 196--212 (2017; Zbl 06720991) Full Text: DOI
Figueira, Diego Semantically acyclic conjunctive queries under functional dependencies. (English) Zbl 1401.68060 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 847-856 (2016). MSC: 68P15 68Q25 PDF BibTeX XML Cite \textit{D. Figueira}, in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 847--856 (2016; Zbl 1401.68060) Full Text: DOI
Arapinis, Myrto; Figueira, Diego; Gaboardi, Marco Sensitivity of counting queries. (English) Zbl 1388.68029 Chatzigiannakis, Ioannis (ed.) et al., 43rd international colloquium on automata, languages, and programming, ICALP 2016, Rome, Italy, July 12–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-013-2). LIPIcs – Leibniz International Proceedings in Informatics 55, Article 120, 13 p. (2016). MSC: 68P15 PDF BibTeX XML Cite \textit{M. Arapinis} et al., LIPIcs -- Leibniz Int. Proc. Inform. 55, Article 120, 13 p. (2016; Zbl 1388.68029) Full Text: DOI
Figueira, Diego; Hofman, Piotr; Lasota, Sławomir Relating timed and register automata. (English) Zbl 1362.68138 Math. Struct. Comput. Sci. 26, No. 6, 993-1021 (2016). MSC: 68Q45 PDF BibTeX XML Cite \textit{D. Figueira} et al., Math. Struct. Comput. Sci. 26, No. 6, 993--1021 (2016; Zbl 1362.68138) Full Text: DOI
Demri, Stéphane; Figueira, Diego; Praveen, M. Reasoning about data repetitions with counter systems. (English) Zbl 1448.68339 Log. Methods Comput. Sci. 12, No. 3, Paper No. 1, 55 p. (2016). MSC: 68Q85 03B44 68Q25 PDF BibTeX XML Cite \textit{S. Demri} et al., Log. Methods Comput. Sci. 12, No. 3, Paper No. 1, 55 p. (2016; Zbl 1448.68339) Full Text: DOI
Figueira, Diego; Libkin, Leonid Path logics for querying graphs: combining expressiveness and efficiency. (English) Zbl 1401.68061 Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 329-340 (2015). MSC: 68P15 03B70 03D05 68Q45 PDF BibTeX XML Cite \textit{D. Figueira} and \textit{L. Libkin}, in: Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6--10, 2015. Los Alamitos, CA: IEEE Computer Society. 329--340 (2015; Zbl 1401.68061) Full Text: DOI
Figueira, Diego; Libkin, Leonid Synchronizing relations on words. (English) Zbl 1335.68118 Theory Comput. Syst. 57, No. 2, 287-318 (2015). MSC: 68Q45 68R15 PDF BibTeX XML Cite \textit{D. Figueira} and \textit{L. Libkin}, Theory Comput. Syst. 57, No. 2, 287--318 (2015; Zbl 1335.68118) Full Text: DOI
Figueira, Diego; Figueira, Santiago; Areces, Carlos Model theory of XPath on data trees. I: Bisimulation and characterization. (English) Zbl 1336.68057 J. Artif. Intell. Res. (JAIR) 53, 271-314 (2015). MSC: 68P15 03B70 PDF BibTeX XML Cite \textit{D. Figueira} et al., J. Artif. Intell. Res. (JAIR) 53, 271--314 (2015; Zbl 1336.68057) Full Text: DOI
Figueira, Diego; Libkin, Leonid Pattern logics and auxiliary relations. (English) Zbl 1394.68095 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 40, 10 p. (2014). MSC: 68P05 03B25 03B70 03C13 68P15 PDF BibTeX XML Cite \textit{D. Figueira} and \textit{L. Libkin}, in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 40, 10 p. (2014; Zbl 1394.68095) Full Text: DOI
Figueira, Diego; Libkin, Leonid Synchronizing relations on words. (English) Zbl 1359.68240 Mayr, Ernst W. (ed.) et al., 31st international symposium on theoretical aspects of computer science, STACS’ 14, Lyon, France, March 5–8, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-65-1). LIPIcs – Leibniz International Proceedings in Informatics 25, 518-529 (2014). MSC: 68R15 68Q45 PDF BibTeX XML Cite \textit{D. Figueira} and \textit{L. Libkin}, LIPIcs -- Leibniz Int. Proc. Inform. 25, 518--529 (2014; Zbl 1359.68240) Full Text: DOI
Demri, Stéphane; Figueira, Diego; Praveen, M. Reasoning about data repetitions with counter systems. (English) Zbl 1366.68202 Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 33-42 (2013). MSC: 68Q85 03B44 68Q25 PDF BibTeX XML Cite \textit{S. Demri} et al., in: Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25--28, 2013. Los Alamitos, CA: IEEE Computer Society. 33--42 (2013; Zbl 1366.68202) Full Text: DOI
Barceló, Pablo; Figueira, Diego; Libkin, Leonid Graph logics with rational relations. (English) Zbl 1272.03147 Log. Methods Comput. Sci. 9, No. 3, Paper No. 1, 44 p. (2013). MSC: 03D05 03B70 68P15 68Q45 68R15 PDF BibTeX XML Cite \textit{P. Barceló} et al., Log. Methods Comput. Sci. 9, No. 3, Paper No. 1, 44 p. (2013; Zbl 1272.03147) Full Text: DOI
Barceló, Pablo; Figueira, Diego; Libkin, Leonid Graph logics with rational relations and the generalized intersection problem. (English) Zbl 1362.68063 Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 115-124 (2012). MSC: 68P15 03B70 03D05 68Q45 68R10 68R15 PDF BibTeX XML Cite \textit{P. Barceló} et al., in: Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25--28, 2012. Los Alamitos, CA: IEEE Computer Society. 115--124 (2012; Zbl 1362.68063) Full Text: DOI
Bárány, Vince; Bojanczyk, Mikołaj; Figueira, Diego; Parys, Paweł Decidable classes of documents for XPath. (English) Zbl 1354.68071 D’Souza, Deepak (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2012). Selected papers based on the presentations at the 32nd conference, Hyderabad, India, December 15–17, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-47-7). LIPIcs – Leibniz International Proceedings in Informatics 18, 99-111 (2012). MSC: 68P15 03B25 03B70 68Q45 PDF BibTeX XML Cite \textit{V. Bárány} et al., LIPIcs -- Leibniz Int. Proc. Inform. 18, 99--111 (2012; Zbl 1354.68071) Full Text: DOI
Figueira, Diego Decidability of downward XPath. (English) Zbl 1351.68116 ACM Trans. Comput. Log. 13, No. 4, Article No. 34, 40 p. (2012). MSC: 68Q25 68P15 68Q45 PDF BibTeX XML Cite \textit{D. Figueira}, ACM Trans. Comput. Log. 13, No. 4, Article No. 34, 40 p. (2012; Zbl 1351.68116) Full Text: DOI
Figueira, Diego Alternating register automata on finite words and trees. (English) Zbl 1238.68074 Log. Methods Comput. Sci. 8, No. 1, Paper No. 22, 43 p. (2012). MSC: 68Q45 03D05 68P05 PDF BibTeX XML Cite \textit{D. Figueira}, Log. Methods Comput. Sci. 8, No. 1, Paper No. 22, 43 p. (2012; Zbl 1238.68074) Full Text: DOI
Figueira, Diego; Segoufin, Luc Bottom-up automata on data trees and vertical XPath. (English) Zbl 1230.68128 Schwentick, Thomas (ed.) et al., STACS 2011. 28th international symposium on theoretical aspects of computer science, Dortmund, Germany, March 10–12, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-25-5). LIPIcs – Leibniz International Proceedings in Informatics 9, 93-104, electronic only (2011). MSC: 68Q45 68P05 03B70 68R10 PDF BibTeX XML Cite \textit{D. Figueira} and \textit{L. Segoufin}, LIPIcs -- Leibniz Int. Proc. Inform. 9, 93--104 (2011; Zbl 1230.68128) Full Text: DOI Link
Areces, Carlos; Figueira, Diego; Gorín, Daniel; Mera, Sergio Tableaux and model checking for memory logics. (English) Zbl 1260.03036 Giese, Martin (ed.) et al., Automated reasoning with analytic tableaux and related methods. 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6–10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02715-4/pbk). Lecture Notes in Computer Science 5607. Lecture Notes in Artificial Intelligence, 47-61 (2009). MSC: 03B45 03B35 03B70 68Q60 PDF BibTeX XML Cite \textit{C. Areces} et al., Lect. Notes Comput. Sci. 5607, 47--61 (2009; Zbl 1260.03036) Full Text: DOI
Figueira, Diego; Segoufin, Luc Future-looking logics on data words and trees. (English) Zbl 1250.03050 Královič, Rastislav (ed.) et al., Mathematical foundations of computer science 2009. 34th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24–28, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03815-0/pbk). Lecture Notes in Computer Science 5734, 331-343 (2009). MSC: 03B70 03B44 68P05 PDF BibTeX XML Cite \textit{D. Figueira} and \textit{L. Segoufin}, Lect. Notes Comput. Sci. 5734, 331--343 (2009; Zbl 1250.03050) Full Text: DOI