Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Logic, programming, and type systems
(11)
Model-Driven Software Engineering Techniques
(8)
Formal Methods in Verification
(7)
Parallel Computing and Optimization Techniques
(3)
Distributed and Parallel Computing Systems
(3)
Affiliations
Association for Computing Machinery
Norwegian Computing Center
University of Oslo
Norwegian Armed Forces
Penn Center for AIDS Research