Konstantin Weitz
According to our database1,
Konstantin Weitz
authored at least 9 papers
between 2013 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Proceedings of the SIGCOMM '22: ACM SIGCOMM 2022 Conference, Amsterdam, The Netherlands, August 22, 2022
2017
Formal Semantics and Scalable Verification for the Border Gateway Protocol using Proof Assistants and SMT Solvers
PhD thesis, 2017
Proc. ACM Program. Lang., 2017
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017
Proceedings of the 8th Biennial Conference on Innovative Data Systems Research, 2017
2016
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016
2014
Proceedings of the International Symposium on Software Testing and Analysis, 2014
Proceedings of the International Symposium on Software Testing and Analysis, 2014
2013
Real-time collaborative analysis with (almost) pure SQL: a case study in biogeochemical oceanography.
Proceedings of the Conference on Scientific and Statistical Database Management, 2013