Concepedia

Author

Dale Miller

University of PennsylvaniaORCID

Also Known As

CSL-LICS '14: JOINT MEETING OF the Twenty-Third EACSL Annual Conference on COMPUTER SCIENCE LOGIC 2014 Vienna Austria, D. A. Miller, D. MILLER, D. Miller, DALE MILLER, Dale A. Miller, Dale Armin Miller, Dale MIller, Dale Miller, Miller, Dale

292

Publications

6.8K

Citations

44

H-Index

84

Concepts

All Affiliations

University of PennsylvaniaInstitut national de recherche en sciences et technologies du numériqueÉcole PolytechniqueLaboratoire d'Informatique de l'École PolytechniqueCalifornia University of Pennsylvania
DM

About

Dale Miller is an author at University of Pennsylvania specializing in automated reasoning, formal methods, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

27

47

2.6K

2

Language Studies

14

15

995

3

Business

3

3

49

4

Public Health

2

2

63

5

Medicine

1

1

43

Dale Miller

×

81

Publications

5K

Citations

38

H-Index

YearCitations

Page 1