Spremljaj
Diego Figueira
Diego Figueira
CNRS, LaBRI, Univ. Bordeaux
Preverjeni e-poštni naslov na labri.fr - Domača stran
Naslov
Navedeno
Navedeno
Leto
Ackermannian and primitive-recursive bounds with Dickson's Lemma
D Figueira, S Figueira, S Schmitz, P Schnoebelen
Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on, 269-278, 2011
1632011
Alternating register automata on finite words and trees
D Figueira
Logical Methods in Computer Science (LMCS) 8 (1), 22, 2012
622012
Bottom-up automata on data trees and vertical XPath
L Segoufin, D Figueira
Logical Methods in Computer Science 13, 2017
53*2017
Satisfiability of downward XPath with data equality tests
D Figueira
PODS - ACM symposium on Principles of Database Systems, 197-206, 2009
512009
Future-looking logics on data words and trees
D Figueira, L Segoufin
International Symposium on Mathematical Foundations of Computer Science, 331-343, 2009
502009
Graph logics with rational relations and the generalized intersection problem
P Barceló, D Figueira, L Libkin
2012 27th Annual IEEE Symposium on Logic in Computer Science, 115-124, 2012
442012
Reasoning on words and trees with data
D Figueira
École normale supérieure de Cachan-ENS Cachan, 2010
422010
Reasoning about data repetitions with counter systems
S Demri, D Figueira, M Praveen
Logical Methods in Computer Science 12, 2016
412016
Relating timed and register automata
D Figueira, P Hofman, S Lasota
Mathematical Structures in Computer Science 26 (6), 993-1021, 2016
402016
Path logics for querying graphs: Combining expressiveness and efficiency
D Figueira, L Libkin
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 329-340, 2015
362015
Graph logics with rational relations
P Barceló, D Figueira, L Libkin
Logical Methods in Computer Science 9, 2013
342013
Forward-XPath and extended register automata on data-trees
D Figueira
Proceedings of the 13th International Conference on Database Theory, 231-241, 2010
342010
The expressive power of memory logics
C Areces, D Figueira, S Figueira, S Mera
The Review of Symbolic Logic 4 (2), 290-318, 2011
332011
Decidability of downward XPath
D Figueira
ACM Transactions on Computational Logic (TOCL) 13 (4), 1-40, 2012
312012
Expressive power and decidability for memory logics
C Areces, D Figueira, S Figueira, S Mera
WOLLIC - Workshop on Logic, Language, Information and Computation, 56-68, 2008
242008
Sensitivity of counting queries
M Arapinis, D Figueira, M Gaboardi
International Colloquium on Automata, Languages, and Programming (ICALP), 2016
222016
Model theory of XPath on data trees. Part I: Bisimulation and characterization
D Figueira, S Figueira, C Areces
Journal of Artificial Intelligence Research 53, 271-314, 2015
222015
Bisimulations on data graphs
S Abriola, P Barceló, D Figueira, S Figueira
Journal of Artificial Intelligence Research 61, 171-213, 2018
182018
Containment of simple regular path queries
D Figueira, A Godbole, S Krishna, W Martens, M Niewerth, T Trautner
arXiv preprint arXiv:2003.04411, 2020
172020
A decidable two-way logic on data words
D Figueira
LICS - IEEE Symposium on Logic in Computer Science (LICS), 365-374, 2011
172011
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–20