Concepedia

Adam Czeisler

AC

Statistics

Publications

2

Citations

318

H-Index

2

Active since

2000

Affiliations

University of California San Diego(Current)

University of Washington

Adam Czeisler is an author at University of California San Diego specializing in system software, formal verification, and formal methods.

Top concepts

Publications per year

2000–2002

2

Publications

2

Quickly detecting relevant program invariants

Michael D. Enst, Adam Czeisler, William G. Griswold et al. · 2000 · 252 citations · Full text

, , +18

Quickly detecting relevant program invariants

Michael D. Ernst, Adam Czeisler, William G. Griswold et al. · Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium · 2002 · 66 citations

, , +21

1–2 of 2