David M. Kahn

According to our database1, David M. Kahn authored at least 4 papers between 2017 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Scalable Verification of Probabilistic Networks.
CoRR, 2019

Scalable verification of probabilistic networks.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2017
Deciding Probabilistic Program Equivalence in NetKAT.
CoRR, 2017

Undecidable Problems for Probabilistic Network Programming.
Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017


  Loading...