Robin Piedeleu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
9
Active years
2015–2026
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CSL | A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures. | Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva, Fabio Zanasi |
| 2026 | ICALP | A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes. | Wojciech Rozowski, Robin Piedeleu, Alexandra Silva, Fabio Zanasi |
| 2025 | CSL | A Complete Diagrammatic Calculus for Automata Simulation. | Thibaut Antoine, Robin Piedeleu, Alexandra Silva, Fabio Zanasi |
| 2025 | ESOP | A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming. | Robin Piedeleu, Mateo Torres-Ruiz, Alexandra Silva, Fabio Zanasi |
| 2025 | ICTAC | Graphical Quadratic Algebra. | Dario Stein, Fabio Zanasi, Robin Piedeleu, Richard Samuelson |
| 2024 | FSCD | On Iteration in Discrete Probabilistic Programming. | Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva, Fabio Zanasi |
| 2023 | CALCO | String Diagram Rewriting Modulo Commutative (Co)Monoid Structure. | Aleksandar Milosavljevic, Robin Piedeleu, Fabio Zanasi |
| 2022 | FOSSACS | Graphical Piecewise-Linear Algebra. | Guillaume Boisseau, Robin Piedeleu |
| 2021 | FOSSACS | A String Diagrammatic Axiomatisation of Finite-State Automata. | Robin Piedeleu, Fabio Zanasi |
| 2020 | FOSSACS | Contextual Equivalence for Signal Flow Graphs. | Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi |
| 2019 | CONCUR | Bialgebraic Semantics for String Diagrams. | Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi |
| 2019 | LICS | Graphical Affine Algebra. | Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi |
| 2015 | CALCO | Open System Categorical Quantum Semantics in Natural Language Processing. | Robin Piedeleu, Dimitri Kartsaklis, Bob Coecke, Mehrnoosh Sadrzadeh |