Robin Piedeleu
Orcid: 0000-0002-3945-2704
According to our database1,
Robin Piedeleu
authored at least 19 papers
between 2015 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2016
2018
2020
2022
2024
0
1
2
3
4
2
2
1
1
1
1
1
1
2
1
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025
2024
CoRR, 2024
Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024
2023
Log. Methods Comput. Sci., 2023
Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023
2022
Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, 2022
Proceedings of the Foundations of Software Science and Computation Structures, 2022
2021
Inf. Comput., 2021
Proceedings of the Foundations of Software Science and Computation Structures, 2021
2020
Proceedings of the Foundations of Software Science and Computation Structures, 2020
2019
Proc. ACM Program. Lang., 2019
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019
Proceedings of the 30th International Conference on Concurrency Theory, 2019
2017
Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017
2016
Proceedings of the 2016 Workshop on Semantic Spaces at the Intersection of NLP, 2016
2015
Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015