Sigurd Schneider
Orcid: 0000-0003-1948-0596
According to our database1,
Sigurd Schneider
authored at least 9 papers
between 2010 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
PhD thesis, 2018
2017
Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017
2016
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016
2015
Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015
2011
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
Log. Methods Comput. Sci., 2011
Leveraging existing instrumentation to automatically infer invariant-constrained models.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011
2010
Proceedings of the Workshop on Managing Systems via Log Analysis and Machine Learning Techniques, 2010