Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Computability, Logic, AI Algorithms
(2)
scientometrics and bibliometrics research
(1)
Building Energy and Comfort Optimization
(1)
Logic, programming, and type systems
(1)
Formal Methods in Verification
(1)
Affiliations
Georgia Institute of Technology
University of Delaware