Concepedia

Federico Olmedo

FO

Statistics

Publications

11

Citations

600

H-Index

10

Active since

2009

Affiliations

RWTH Aachen University(Current)

IMDEA Software Institute

University of Chile

Macquarie University

Federico Olmedo is an author at RWTH Aachen University specializing in computing, computer science, and formal methods.

ORCID

Publications per year

2009–2023

11

Publications

11