Upcoming
April 2020: Ecole de Jeunes Chercheurs en Informatique Mathematique at LaBRI. Five courses given by experts on diverse subjects, short talks by students, posters session and much more. Don't miss it!
Research
Member of Team of formal methods, LaBRI
Research interests:
- Automata theory. In particular word relations
- Category Theory. In particular 2-categories
- Mathematical logic. In particular data aware logics
Publications
-
Maria Emilia Descotte, Diego Figueira and Santiago Figueira.
Closure Properties of Synchronized Relations.
In STACS 2019, LIPIcs, v 126, pp 22:1-22:17, 2019
-
Maria Emilia Descotte, Eduardo Dubuc and Martin Szyld.
Model bicategories and their homotopy bicategories.
Preprint, 2018
-
Maria Emilia Descotte, Eduardo Dubuc and Martin Szyld.
A localization of bicategories via homotopies.
Preprint, 2018
-
Maria Emilia Descotte, Eduardo Dubuc and Martin Szyld.
Sigma limits in 2-categories and flat pseudofunctors.
In Advances in Mathematics, v 333, pp 266-313, 2018
-
Maria Emilia Descotte, Diego Figueira and Gabriele Puppis.
Resynchronizing Classes of Word Relations.
In ICALP 2018, LIPIcs, v 107, pp 123:1-123:13, 2018
-
Maria Emilia Descotte, Eduardo Dubuc and Martin Szyld.
A construction of certain weak colimits and an exactness property of the 2-category of categories.
In Theory and Applications of Categories, v 33, pp 192-215, 2018
-
Sergio Abriola, Maria Emilia Descotte, Raul Fervari and Santiago Figueira.
Axiomatizations for downward XPath on Data Trees.
In Journal of Computer and System Sciences, v 89, pp 209-245, 2017
-
Sergio Abriola, Maria Emilia Descotte and Santiago Figueira.
Model Theory of XPath on Data Trees. Part II: Binary Bisimulation and Definability.
In Information and Computation. v 255, pp 195-223, 2017
-
Sergio Abriola, María Emilia Descotte and Santiago Figueira.
Definability for Downward and Vertical XPath on Data Trees.
In WoLLIC 2014 (Workshop of Logic, Languages, Information and Computation,
Lecture Notes in Computer Science, v 8652, 20-35, 2014
-
Maria Emilia Descotte and Eduardo Dubuc.
A theory of 2-pro-objects.
In Cahiers de Topologie et Geometrie Differentielle Categoriques ,
LV: 2-36, 2014
PhD thesis
Teaching
Not teaching this semester.
Links
|