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
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; 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
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 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; Figueira, Santiago; Mera, Sergio The expressive power of memory logics. (English) Zbl 1247.03027 Rev. Symb. Log. 4, No. 2, 290-318 (2011). Reviewer: Éric Martin (Sydney) MSC: 03B45 PDF BibTeX XML Cite \textit{C. Areces} et al., Rev. Symb. Log. 4, No. 2, 290--318 (2011; Zbl 1247.03027) Full Text: DOI
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
Areces, Carlos; Figueira, Diego; Figueira, Santiago; Mera, Sergio Expressive power and decidability for memory logics. (English) Zbl 1156.03029 Hodges, Wilfrid (ed.) et al., Logic, language, information and computation. 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1–4, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69936-1/pbk). Lecture Notes in Computer Science 5110. Lecture Notes in Artificial Intelligence, 56-68 (2008). MSC: 03B70 03B25 03B45 PDF BibTeX XML Cite \textit{C. Areces} et al., Lect. Notes Comput. Sci. 5110, 56--68 (2008; Zbl 1156.03029) Full Text: DOI