We stand with Ukraine  

Mateo Sanabria-Ardila

Orcid: 0000-0003-3407-9792

Affiliations:
  • Escuela Colombiana de Ingeniería Julio Garavito, Bogota, Colombia


According to our database1, Mateo Sanabria-Ardila authored at least 4 papers between 2018 and 2026.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
Equational and Inductive Reasoning for Maude in Athena.
[BibTeX]
[DOI]
Mateo Sanabria
,
Carlos Varela
,
Camilo Rocha
,
Nicolás Cardozo
CoRR, April, 2026

2024
Learning Recovery Strategies for Dynamic Self-healing in Reactive Systems.
[BibTeX]
[DOI]
Mateo Sanabria
,
Ivana Dusparic
,
Nicolás Cardozo
Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2024

2020
A Semantic Framework for the Design of Distributed Reactive Real-Time Languages and Applications.
[BibTeX]
[DOI]
Mateo Sanabria-Ardila
,
Luis Daniel Benavides Navarro
,
Daniel Díaz López
,
Wilmer Garzón Alfonso
IEEE Access, 2020

2018
Towards Real-Time Semantics for a Distributed Event-Based MOP Language.
[BibTeX]
[DOI]
Mateo Sanabria
,
Wilmer Garzón Alfonso
,
Luis Daniel Benavides Navarro
Proceedings of the New Trends in Model and Data Engineering, 2018


  Loading...