H
Heiko Weichelt
1
Papers
0
Citations
0
h-index
0
i10-index
Heiko Weichelt is an academic researcher. The author has contributed to research in topics: Logic, programming, and type systems & Formal Methods in Verification & Scheduling and Optimization Algorithms.
Research Topics
Logic, programming, and type systemsFormal Methods in VerificationScheduling and Optimization Algorithms
Chat about Author
Papers
Chat
Click to start Chat