Concepedia

Author

Xavier Caicedo

Universidad de Los AndesORCID

Also Known As

Caicedo X., Caicedo, Xavier, Caicedo, Xavier., X. Caicedo, XAVIER CAICEDO, Xavier Caicedo

68

Publications

542

Citations

13

H-Index

11

Concepts

All Affiliations

Universidad de Los AndesUniversidad de Buenos AiresUniversidad de Los AndesFundación Ciencias Exactas y Naturales
XC

About

Xavier Caicedo is an author at Universidad de Los Andes specializing in automated reasoning, engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Automated Reasoning

6

6

264

2

Engineering

5

5

210

3

Computer Science

3

3

119

4

Semantics

1

1

54

5

Theory Of Computing

1

1

51

Xavier Caicedo

×

7

Publications

281

Citations

7

H-Index

YearCitations

Page 1