Nicolas Cardozo
Scholar

Nicolas Cardozo

Google Scholar ID: 3iTzjQsAAAAJ
Associate Professor at Universidad de los Andes, Systems and Computing Engineering Department
Programming languagesdistributed systemsadaptive systemscode analysis & verification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,178
 
H-index
19
 
i10-index
34
 
Publications
20
 
Co-authors
88
list available
Publications
1 items
Equational and Inductive Reasoning for Maude in Athena
2026
Cited
0
Co-authors
7 total
Ivana Dusparic
Ivana Dusparic
Professor in Computer Science, Trinity College Dublin
Mario Linares-Vásquez
Mario Linares-Vásquez
Associate Professor, Universidad de los Andes; Fuerza Aérea Colombiana
Ruben Manrique
Ruben Manrique
Assistant Professor at Universidad de los Andes, Systems and Computing Engineering Department
Bruno Dumas
Bruno Dumas
Professor in Computer Science, University of Namur (Belgium)
Wolfgang De Meuter
Wolfgang De Meuter
Vrije Universiteit Brussel
Camilo Escobar-Velásquez
Camilo Escobar-Velásquez
Universidad de los Andes, Colombia
Vivek Nallur
Vivek Nallur
Assistant Professor, University College Dublin