Concepedia

Author

Panagiotis Manolios

Also Known As

Manolios, Panagiotis, Manolios, Pete, P. Manolios, PANAGIOTIS MANOLIOS, Panagiotis Manolios, Peter Manolios

153

Publications

3.2K

Citations

27

H-Index

63

Concepts

All Affiliations

PM

About

Panagiotis Manolios is an author at Georgia Institute of Technology specializing in formal methods, formal verification, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

16

26

986

2

Computer Science

15

23

673

3

Computer Engineering

11

13

277

4

Language Studies

2

2

25

5

Linguistics

1

1

14

Panagiotis Manolios

×

31

Publications

1.1K

Citations

19

H-Index

YearCitations

Page 1