Dietrich Geisler

According to our database1, Dietrich Geisler authored at least 2 papers in 2020.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Geometry types for graphics programming.
Proc. ACM Program. Lang., 2020

Online verification of commutativity.
Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis, 2020


  Loading...