DL
D Luckham
168
Publications
5,447
Citations
28
h-index
55
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (101)
- Book Chapter (43)
- Report (14)
- Book (8)
- Dissertation (1)
Filter by Open Access Type
- Open Access (18)
- Closed Access (150)
Filter by Authors
- D Luckham (168)
- Larry M. Augustin (27)
- Benoit A. Gennart (26)
- Alec G. Stanculescu (24)
- Youm Huh (24)
Filter by Topics
- Logic, programming, and type systems (58)
- Formal Methods in Verification (39)
- Parallel Computing and Optimization Techniques (33)
- Advanced Software Engineering Methodologies (23)
- Software Engineering Research (20)