According to our database1, Bartosz Piotrowski authored at least 6 papers between 2018 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020
Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018