We stand with Ukraine  

Carlos Ramírez

Orcid: 0000-0002-6488-8649

Affiliations:
  • Pontificia Universidad Javeriana - Cali, Department of Electronics and Computer Science, Cali, Colombia
  • University of Valle, School of System Engineering and Computation, Cali, Colombia (PhD 2016)


According to our database1, Carlos Ramírez authored at least 5 papers between 2013 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic.
[BibTeX]
[DOI]
Carlos Olarte
,
Carlos Ramírez
,
Camilo Rocha
,
Frank Valencia
Proceedings of the Rewriting Logic and Its Applications - 15th International Workshop, 2024

2023
Session-based concurrency in Maude: Executable semantics and type checking.
[BibTeX]
[DOI]
Carlos Alberto Ramírez Restrepo
,
Juan C. Jaramillo
,
Jorge A. Pérez
J. Log. Algebraic Methods Program., June, 2023

Statistical Model Checking for sf P.
[BibTeX]
[DOI]
Francisco Durán
,
Nicolás Pozas
,
Carlos Ramírez
,
Camilo Rocha
Proceedings of the Formal Methods for Industrial Critical Systems, 2023

2022
Executable Semantics and Type Checking for Session-Based Concurrency in Maude.
[BibTeX]
[DOI]
Carlos Alberto Ramírez Restrepo
,
Jorge A. Pérez
Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022

2013
Towards Formal Interaction-Based Models of Grid Computing Infrastructures.
[BibTeX]
[DOI]
Carlos Alberto Ramírez Restrepo
,
Jorge A. Pérez
,
Jesús Aranda
,
Juan Francisco Díaz
Proceedings of the Proceedings 9th International Workshop on Developments in Computational Models, 2013


  Loading...