María Emilia Descotte

Publications

Citations

H-Index

2017

Active since

Affiliations

Fundación Ciencias Exactas y Naturales(Current)

María Emilia Descotte is an author at Fundación Ciencias Exactas y Naturales specializing in automated reasoning, engineering, and formal verification.

Top concepts

EngineeringData ScienceData ModelingFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationDiscrete MathematicsComputational Complexity

Publications per year

2017–2018

Publications

Sigma limits in 2-categories and flat pseudofunctors

María Emilia Descotte, Eduardo J. Dubuc, M. Szyld · Advances in Mathematics · 2018 · 16 citations

Geometric Quantization, Categorical Model, Higher Category Theory +1

Model theory of XPath on data trees. Part II: Binary bisimulation and definability

Sergio Abriola, María Emilia Descotte, Santiago Figueira · Information and Computation · 2017 · 14 citations

Tree Language, Database Theory, Engineering +14

Rows per page

1–2 of 2