Ban3

Informations sur l'auteur

Everardo Bárcenas

http://pistou.imag.fr/site/author/25

  
Équipe(s) :
WAM Du 01/11/2007 au 31/10/2010
WAM Du 01/11/2010 au 28/02/2011 		 

Publications de l'auteur

La liste contient 6 élément(s)

(Les éditeurs apparaissent en italique)


Ajouter toute la liste au panier

Exporter la liste au format
Retrier la liste par :

International peer-reviewed conference proceedings [ACT]
2011
1
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt.
Query reasoning on trees with types, interleaving and counting.
IJCAI'11 : Proceedings of the 22nd International Joint Conference on Artificial Intelligence, :718-723, Barcelona, Spain, jul 2011.
bibtex/ html
2009
2
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda.
Counting in Trees along Multidirectional Regular Paths.
PLAN-X 2009, Programming Language Techniques for XML, jan 2009.
Www-128x128 Www-128x128 [ abstract ]
bibtex/ html
3
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda.
On the Analysis of Queries with Counting Constraints.
DocEng'09: Proceedings of the Ninth ACM Symposium on Document Engineering, sep 2009.
Pdf-128x128 [ abstract ]
bibtex/ html
Doctoral Dissertations and Habilitations Theses [TH]
2011
4
Everardo Bárcenas.
Raisonnement automatisé sur les arbres avec des contraintes de cardinalité.
THESE, Université de Grenoble, feb 2011.
Www-128x128
bibtex/ html
Other Publications [AP]
2010
5
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt.
A Tree Logic with Graded Paths and Nominals.
Research Report, (7251), INRIA, apr 2010.
Www-128x128 [ abstract ]
bibtex/ html
6
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt.
On the Count of Trees.
Rapport de recherche, (RR-7251), INRIA, aug 2010. Note: RR-7251.
bibtex/ html