According to our database1, Samuel Drews authored at least 8 papers between 2016 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
Proc. ACM Program. Lang., 2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
Proceedings of the Computer Aided Verification - 28th International Conference, 2016