Concepedia

Author

Michalis Kokologiannakis

Max Planck Institute for Software SystemsORCID

Also Known As

Kokologiannakis, Michalis, Michalis Kokologiannakis

27

Publications

417

Citations

10

H-Index

26

Concepts

All Affiliations

Max Planck Institute for Software SystemsUppsala UniversityNational Technical University of AthensTel Aviv University
MK

About

Michalis Kokologiannakis is an author at Max Planck Institute for Software Systems specializing in engineering, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

8

8

324

2

Computer Engineering

8

8

324

3

Computer Science

8

8

324

4

Systems Engineering

2

2

47

5

Asynchronous Systems

1

1

20

Michalis Kokologiannakis

×

10

Publications

344

Citations

10

H-Index

YearCitations

Page 1