Robin Piedeleu

31 papers A* 1B 10C 1Journal 16Unranked 3
YearRankTypeTitle / Venue / Authors
2026 B conf
A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures.
CSL
Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva, Fabio Zanasi
2025 — conf
A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming.
ESOP (2)
Robin Piedeleu, Mateo Torres-Ruiz, Alexandra Silva, Fabio Zanasi
2025 B conf
A Complete Diagrammatic Calculus for Automata Simulation.
CSL
Thibaut Antoine, Robin Piedeleu, Alexandra Silva, Fabio Zanasi
2025 J jnl
A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures.
CoRR
Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva, Fabio Zanasi
2025 C conf
Graphical Quadratic Algebra.
ICTAC
Dario Stein, Fabio Zanasi, Robin Piedeleu, Richard Samuelson
2025 J jnl
Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure.
Log. Methods Comput. Sci.
Aleksandar Milosavljevic, Robin Piedeleu, Fabio Zanasi
2025 J jnl
The Algebra of Parity Games.
CoRR
Robin Piedeleu
2024 J jnl
A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming.
CoRR
Robin Piedeleu, Mateo Torres-Ruiz, Alexandra Silva, Fabio Zanasi
2024 J jnl
Graphical Quadratic Algebra.
CoRR
Dario Stein, Fabio Zanasi, Richard Samuelson, Robin Piedeleu
2024 B conf
On Iteration in Discrete Probabilistic Programming.
FSCD
Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva, Fabio Zanasi
2023 J jnl
A Finite Axiomatisation of Finite-State Automata Using String Diagrams.
Log. Methods Comput. Sci.
Robin Piedeleu, Fabio Zanasi
2023 J jnl
An Introduction to String Diagrams for Computer Scientists.
CoRR
Robin Piedeleu, Fabio Zanasi
2023 B conf
String Diagram Rewriting Modulo Commutative (Co)Monoid Structure.
CALCO
Aleksandar Milosavljevic, Robin Piedeleu, Fabio Zanasi
2022 B conf
A Complete Diagrammatic Calculus for Boolean Satisfiability.
MFPS
Tao Gu, Robin Piedeleu, Fabio Zanasi
2022 J jnl
A Finite Axiomatisation of Finite-State Automata Using String Diagrams.
CoRR
Robin Piedeleu, Fabio Zanasi
2022 B conf
Graphical Piecewise-Linear Algebra.
FoSSaCS
Guillaume Boisseau, Robin Piedeleu
2021 B conf
A String Diagrammatic Axiomatisation of Finite-State Automata.
FoSSaCS
Robin Piedeleu, Fabio Zanasi
2021 J jnl
Bialgebraic foundations for the operational semantics of string diagrams.
Inf. Comput.
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
2021 J jnl
Graphical Piecewise-Linear Algebra.
CoRR
Guillaume Boisseau, Robin Piedeleu
2020 J jnl
A String Diagrammatic Axiomatisation of Finite-State Automata.
CoRR
Robin Piedeleu, Fabio Zanasi
2020 B conf
Contextual Equivalence for Signal Flow Graphs.
FoSSaCS
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
2020 J jnl
Contextual Equivalence for Signal Flow Graphs.
CoRR
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
2019 B conf
Bialgebraic Semantics for String Diagrams.
CONCUR
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
2019 J jnl
Bialgebraic Semantics for String Diagrams.
CoRR
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
2019 J jnl
Diagrammatic algebra: from linear to concurrent systems.
Proc. ACM Program. Lang.
Filippo Bonchi, Joshua Holland, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
2019 A* conf
Graphical Affine Algebra.
LICS
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
2017 J jnl
Interacting Conceptual Spaces I : Grammatical Composition of Concepts.
CoRR
Joe Bolt, Bob Coecke, Fabrizio Genovese, Martha Lewis, Dan Marsden, Robin Piedeleu
2017 — conf
Uniqueness of Composition in Quantum Theory and Linguistics.
QPL
Bob Coecke, Fabrizio Genovese, Stefano Gogioso, Dan Marsden, Robin Piedeleu
2016 — conf
Interacting Conceptual Spaces.
SLPCS@QPL
Josef Bolt, Bob Coecke, Fabrizio Genovese, Martha Lewis, Daniel Marsden, Robin Piedeleu
2015 B conf
Open System Categorical Quantum Semantics in Natural Language Processing.
CALCO
Robin Piedeleu, Dimitri Kartsaklis, Bob Coecke, Mehrnoosh Sadrzadeh
2015 J jnl
Open System Categorical Quantum Semantics in Natural Language Processing.
CoRR
Robin Piedeleu, Dimitri Kartsaklis, Bob Coecke, Mehrnoosh Sadrzadeh