CUFinder

John Lehoczky

John Lehoczky

Carnegie Mellon University

H-index: 57

North America-United States

Contact John Lehoczky

About John Lehoczky

John Lehoczky, With an exceptional h-index of 57 and a recent h-index of 24 (since 2020), a distinguished researcher at Carnegie Mellon University, specializes in the field of applied probability theory, computational finance, real time systems.

His recent articles reflect a diverse array of research interests and contributions to the field:

ENCODING VERIFICATION ARGUMENTS TO ANALYZE HIGH-LEVEL DESIGN CERTIFICATION CLAIMS: EXPERIMENT ZERO (E0)

Limits of Limit-Order Books

Resilient Mixed-Trust Scheduling

Addressing Multi-Core Timing Interference using Co-Runner Locking

Formal Verification of a Mixed-Trust Synchronization Protocol

Work-In-Progress: Toward Precomputation in Real-Time Mixed-Trust Scheduling

Diffusion Limit of Poisson Limit-Order Book Models

Toward Precomputation in Real-Time Mixed-Trust Scheduling

John Lehoczky Information

University

Position

Professor of Statistics and Data Science

Citations(all)

25679

Citations(since 2020)

2541

Cited By

23662

hIndex(all)

57

hIndex(since 2020)

24

i10Index(all)

112

i10Index(since 2020)

45

Email

University Profile Page

Google Scholar

John Lehoczky Skills & Research Interests

applied probability theory

computational finance

real time systems

Top articles of John Lehoczky

ENCODING VERIFICATION ARGUMENTS TO ANALYZE HIGH-LEVEL DESIGN CERTIFICATION CLAIMS: EXPERIMENT ZERO (E0)

2024/1

Dionisio De Niz
Dionisio De Niz

H-Index: 15

Bjorn Andersson
Bjorn Andersson

H-Index: 30

John Lehoczky
John Lehoczky

H-Index: 28

Hyoseung Kim
Hyoseung Kim

H-Index: 13

Jonathan Preston
Jonathan Preston

H-Index: 21

Daniel Shapiro
Daniel Shapiro

H-Index: 30

Limits of Limit-Order Books

2022/8/3

John Lehoczky
John Lehoczky

H-Index: 28

Steven Shreve
Steven Shreve

H-Index: 25

Resilient Mixed-Trust Scheduling

2021/12/7

Dionisio De Niz
Dionisio De Niz

H-Index: 15

Bjorn Andersson
Bjorn Andersson

H-Index: 30

Hyoseung Kim
Hyoseung Kim

H-Index: 13

John Lehoczky
John Lehoczky

H-Index: 28

Addressing Multi-Core Timing Interference using Co-Runner Locking

2021/12/7

Hyoseung Kim
Hyoseung Kim

H-Index: 13

Dionisio De Niz
Dionisio De Niz

H-Index: 15

Bjorn Andersson
Bjorn Andersson

H-Index: 30

John Lehoczky
John Lehoczky

H-Index: 28

Formal Verification of a Mixed-Trust Synchronization Protocol

2021/4/7

Ruben Martins
Ruben Martins

H-Index: 14

Michael Mccall
Michael Mccall

H-Index: 12

Dionisio De Niz
Dionisio De Niz

H-Index: 15

Bjorn Andersson
Bjorn Andersson

H-Index: 30

Hyoseung Kim
Hyoseung Kim

H-Index: 13

Work-In-Progress: Toward Precomputation in Real-Time Mixed-Trust Scheduling

2020/12/1

Dionisio De Niz
Dionisio De Niz

H-Index: 15

Bjorn Andersson
Bjorn Andersson

H-Index: 30

Hyoseung Kim
Hyoseung Kim

H-Index: 13

John Lehoczky
John Lehoczky

H-Index: 28

Diffusion Limit of Poisson Limit-Order Book Models

arXiv preprint arXiv:2008.01155

2020/8/3

John Lehoczky
John Lehoczky

H-Index: 28

Steven Shreve
Steven Shreve

H-Index: 25

Toward Precomputation in Real-Time Mixed-Trust Scheduling

2020/1/1

Hyoseung Kim
Hyoseung Kim

H-Index: 13

Dionisio De Niz
Dionisio De Niz

H-Index: 15

Bjorn Andersson
Bjorn Andersson

H-Index: 30

John Lehoczky
John Lehoczky

H-Index: 28

See List of Professors in John Lehoczky University(Carnegie Mellon University)