Concepedia

Author

Radu Iosif

VerimagORCID

Also Known As

CAV 2010 Edinburgh, Hefetz, Guy, Iosif, Radu, Javier Esparza, Kowalewski, S., Kurz, Alexander, R. Iosif, Radu Iosif, Siekmann, Jörg, Wegener, Ingo

141

Publications

1.9K

Citations

23

H-Index

24

Concepts

All Affiliations

VerimagKansas State UniversityCentre National de la Recherche ScientifiqueUniversité Paris CitéBrno University of Technology
RI

About

Radu Iosif is an author at Verimag specializing in computer science, formal verification, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

10

10

464

2

Computer Science

10

10

464

3

Computer Engineering

4

4

252

4

Language Studies

1

1

38

5

Linguistics

1

1

38

Radu Iosif

×

10

Publications

464

Citations

10

H-Index

YearCitations

Page 1