×

zbMATH — the first resource for mathematics

Figueira, Diego

Compute Distance To:
Author ID: figueira.diego Recent zbMATH articles by "Figueira, Diego"
Published as: Figueira, Diego
External Links: MGP · Wikidata
Documents Indexed: 26 Publications since 2008

Publications by Year

Citations contained in zbMATH

22 Publications have been cited 72 times in 40 Documents Cited by Year
Alternating register automata on finite words and trees. Zbl 1238.68074
Figueira, Diego
9
2012
Expressive power and decidability for memory logics. Zbl 1156.03029
Areces, Carlos; Figueira, Diego; Figueira, Santiago; Mera, Sergio
6
2008
Model theory of XPath on data trees. I: Bisimulation and characterization. Zbl 1336.68057
Figueira, Diego; Figueira, Santiago; Areces, Carlos
5
2015
Reasoning about data repetitions with counter systems. Zbl 1366.68202
Demri, Stéphane; Figueira, Diego; Praveen, M.
5
2013
Decidability of downward XPath. Zbl 1351.68116
Figueira, Diego
5
2012
Bottom-up automata on data trees and vertical XPath. Zbl 1230.68128
Figueira, Diego; Segoufin, Luc
5
2011
Future-looking logics on data words and trees. Zbl 1250.03050
Figueira, Diego; Segoufin, Luc
5
2009
Relating timed and register automata. Zbl 1362.68138
Figueira, Diego; Hofman, Piotr; Lasota, Sławomir
4
2016
Path logics for querying graphs: combining expressiveness and efficiency. Zbl 1401.68061
Figueira, Diego; Libkin, Leonid
4
2015
Graph logics with rational relations. Zbl 1272.03147
Barceló, Pablo; Figueira, Diego; Libkin, Leonid
4
2013
Graph logics with rational relations and the generalized intersection problem. Zbl 1362.68063
Barceló, Pablo; Figueira, Diego; Libkin, Leonid
4
2012
The expressive power of memory logics. Zbl 1247.03027
Areces, Carlos; Figueira, Diego; Figueira, Santiago; Mera, Sergio
4
2011
Semantically acyclic conjunctive queries under functional dependencies. Zbl 1401.68060
Figueira, Diego
2
2016
Reasoning about data repetitions with counter systems. Zbl 1448.68339
Demri, Stéphane; Figueira, Diego; Praveen, M.
2
2016
Bisimulations on data graphs. Zbl 1426.68179
Abriola, Sergio; Barceló, Pablo; Figueira, Diego; Figueira, Santiago
1
2018
Polynomial-space completeness of reachability for succinct branching VASS in dimension one. Zbl 1442.68136
Figueira, Diego; Lazi\c, Ranko; Leroux, Jérôme; Mazowiecki, Filip; Sutre, Grégoire
1
2017
Logics of repeating values on data trees and branching counter systems. Zbl 06720991
Abriola, Sergio; Figueira, Diego; Figueira, Santiago
1
2017
Sensitivity of counting queries. Zbl 1388.68029
Arapinis, Myrto; Figueira, Diego; Gaboardi, Marco
1
2016
Synchronizing relations on words. Zbl 1335.68118
Figueira, Diego; Libkin, Leonid
1
2015
Pattern logics and auxiliary relations. Zbl 1394.68095
Figueira, Diego; Libkin, Leonid
1
2014
Synchronizing relations on words. Zbl 1359.68240
Figueira, Diego; Libkin, Leonid
1
2014
Tableaux and model checking for memory logics. Zbl 1260.03036
Areces, Carlos; Figueira, Diego; Gorín, Daniel; Mera, Sergio
1
2009
Bisimulations on data graphs. Zbl 1426.68179
Abriola, Sergio; Barceló, Pablo; Figueira, Diego; Figueira, Santiago
1
2018
Polynomial-space completeness of reachability for succinct branching VASS in dimension one. Zbl 1442.68136
Figueira, Diego; Lazi\c, Ranko; Leroux, Jérôme; Mazowiecki, Filip; Sutre, Grégoire
1
2017
Logics of repeating values on data trees and branching counter systems. Zbl 06720991
Abriola, Sergio; Figueira, Diego; Figueira, Santiago
1
2017
Relating timed and register automata. Zbl 1362.68138
Figueira, Diego; Hofman, Piotr; Lasota, Sławomir
4
2016
Semantically acyclic conjunctive queries under functional dependencies. Zbl 1401.68060
Figueira, Diego
2
2016
Reasoning about data repetitions with counter systems. Zbl 1448.68339
Demri, Stéphane; Figueira, Diego; Praveen, M.
2
2016
Sensitivity of counting queries. Zbl 1388.68029
Arapinis, Myrto; Figueira, Diego; Gaboardi, Marco
1
2016
Model theory of XPath on data trees. I: Bisimulation and characterization. Zbl 1336.68057
Figueira, Diego; Figueira, Santiago; Areces, Carlos
5
2015
Path logics for querying graphs: combining expressiveness and efficiency. Zbl 1401.68061
Figueira, Diego; Libkin, Leonid
4
2015
Synchronizing relations on words. Zbl 1335.68118
Figueira, Diego; Libkin, Leonid
1
2015
Pattern logics and auxiliary relations. Zbl 1394.68095
Figueira, Diego; Libkin, Leonid
1
2014
Synchronizing relations on words. Zbl 1359.68240
Figueira, Diego; Libkin, Leonid
1
2014
Reasoning about data repetitions with counter systems. Zbl 1366.68202
Demri, Stéphane; Figueira, Diego; Praveen, M.
5
2013
Graph logics with rational relations. Zbl 1272.03147
Barceló, Pablo; Figueira, Diego; Libkin, Leonid
4
2013
Alternating register automata on finite words and trees. Zbl 1238.68074
Figueira, Diego
9
2012
Decidability of downward XPath. Zbl 1351.68116
Figueira, Diego
5
2012
Graph logics with rational relations and the generalized intersection problem. Zbl 1362.68063
Barceló, Pablo; Figueira, Diego; Libkin, Leonid
4
2012
Bottom-up automata on data trees and vertical XPath. Zbl 1230.68128
Figueira, Diego; Segoufin, Luc
5
2011
The expressive power of memory logics. Zbl 1247.03027
Areces, Carlos; Figueira, Diego; Figueira, Santiago; Mera, Sergio
4
2011
Future-looking logics on data words and trees. Zbl 1250.03050
Figueira, Diego; Segoufin, Luc
5
2009
Tableaux and model checking for memory logics. Zbl 1260.03036
Areces, Carlos; Figueira, Diego; Gorín, Daniel; Mera, Sergio
1
2009
Expressive power and decidability for memory logics. Zbl 1156.03029
Areces, Carlos; Figueira, Diego; Figueira, Santiago; Mera, Sergio
6
2008
all top 5

Cited by 80 Authors

7 Figueira, Santiago
6 Areces, Carlos
4 Figueira, Diego
3 Abriola, Sergio
3 Mera, Sergio
3 Schnoebelen, Philippe
2 Babari, Parvaneh
2 Barceló, Pablo
2 Benedikt, Michael A.
2 Carreiro, Facundo
2 Descotte, María Emilia
2 Droste, Manfred
2 Fervari, Raul
2 Perevoshchikov, Vitaly
2 Praveen, M.
1 Abdulla, Parosh Aziz
1 Aiswarya, Cyriac
1 Atig, Mohamed Faouzi
1 Bárcenas, Everardo
1 Benaim, Saguy
1 Benítez-Guerrero, Edgard
1 Bertrand, Nathalie
1 Bollig, Benedikt
1 Bourhis, Pierre
1 Cadilhac, Michaël
1 Carmeli, Nofar
1 Charatonik, Witold
1 Czerwiński, Wojciech
1 David, Claire
1 Decker, Normann
1 Demri, Stéphane P.
1 Deters, Morgan
1 Diep, Bui Phi
1 Fagin, Ronald
1 Filiot, Emmanuel
1 Gastin, Paul
1 Gorín, Daniel
1 Holík, Lukáš
1 Holzer, Andreas
1 Janků, Petr
1 Karandikar, Prateek
1 Kieroński, Emanuel
1 Kimelfeld, Benny
1 Klin, Bartek
1 Krebs, Andreas
1 Kröll, Markus
1 Kuske, Dietrich
1 Larchey-Wendling, Dominique
1 Lavalle, Jesús
1 Łełyk, Mateusz
1 Lenhardt, Rastislav
1 Leroux, Jérôme
1 Libkin, Leonid O.
1 Lohrey, Markus
1 Majumdar, Anirban
1 Mazowiecki, Filip
1 Mazzocchi, Nicolas
1 McKenzie, Pierre
1 Michaliszyn, Jakub
1 Muñoz, Pablo R.
1 Murlak, Filip
1 Otop, Jan
1 Parys, Paweł
1 Raskin, Jean-François
1 Reiss, Frederick
1 Schallhart, Christian
1 Schmitz, Sylvain
1 Song, Fu
1 Sutre, Grégoire
1 Tan, Tony
1 Tautschnig, Michael
1 Thoma, Daniel
1 Vanden Boom, Michael
1 Vansummeren, Stijn
1 Veith, Helmut
1 Wieczorek, Piotr
1 Worrell, James B.
1 Wu, Zhilin
1 Yanovich, Igor
1 Zetzsche, Georg

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.