Robin Piedeleu

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 21

Top Topics

Hybrid Automata

Operational Semantics

Language Processing

Top Venues

Proc. ACM Program. Lang.

Publications

Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva, Fabio Zanasi
On Iteration in Discrete Probabilistic Programming. FSCD (2024)
Dario Stein, Fabio Zanasi, Richard Samuelson, Robin Piedeleu
Graphical Quadratic Algebra. CoRR (2024)
Robin Piedeleu, Fabio Zanasi
An Introduction to String Diagrams for Computer Scientists. CoRR (2023)
Aleksandar Milosavljevic, Robin Piedeleu, Fabio Zanasi
String Diagram Rewriting Modulo Commutative (Co)Monoid Structure. CALCO (2023)
Robin Piedeleu, Fabio Zanasi
A Finite Axiomatisation of Finite-State Automata Using String Diagrams. Log. Methods Comput. Sci. 19 (1) (2023)
Robin Piedeleu, Fabio Zanasi
A Finite Axiomatisation of Finite-State Automata Using String Diagrams. CoRR (2022)
Guillaume Boisseau, Robin Piedeleu
Graphical Piecewise-Linear Algebra. FoSSaCS (2022)
Tao Gu, Robin Piedeleu, Fabio Zanasi
A Complete Diagrammatic Calculus for Boolean Satisfiability. CoRR (2022)
Guillaume Boisseau, Robin Piedeleu
Graphical Piecewise-Linear Algebra. CoRR (2021)
Robin Piedeleu, Fabio Zanasi
A String Diagrammatic Axiomatisation of Finite-State Automata. FoSSaCS (2021)
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
Bialgebraic foundations for the operational semantics of string diagrams. Inf. Comput. 281 (2021)
Robin Piedeleu, Fabio Zanasi
A String Diagrammatic Axiomatisation of Finite-State Automata. CoRR (2020)
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
Contextual Equivalence for Signal Flow Graphs. CoRR (2020)
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
Contextual Equivalence for Signal Flow Graphs. FoSSaCS (2020)
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
Bialgebraic Semantics for String Diagrams. CONCUR (2019)
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
Graphical Affine Algebra. LICS (2019)
Filippo Bonchi, Joshua Holland, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
Diagrammatic algebra: from linear to concurrent systems. Proc. ACM Program. Lang. 3 (POPL) (2019)
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
Bialgebraic Semantics for String Diagrams. CoRR (2019)
Bob Coecke, Fabrizio Genovese, Stefano Gogioso, Dan Marsden, Robin Piedeleu
Uniqueness of Composition in Quantum Theory and Linguistics. QPL (2017)
Joe Bolt, Bob Coecke, Fabrizio Genovese, Martha Lewis, Dan Marsden, Robin Piedeleu
Interacting Conceptual Spaces I : Grammatical Composition of Concepts. CoRR (2017)
Josef Bolt, Bob Coecke, Fabrizio Genovese, Martha Lewis, Daniel Marsden, Robin Piedeleu
Interacting Conceptual Spaces. SLPCS@QPL (2016)
Robin Piedeleu, Dimitri Kartsaklis, Bob Coecke, Mehrnoosh Sadrzadeh
Open System Categorical Quantum Semantics in Natural Language Processing. CALCO (2015)
Robin Piedeleu, Dimitri Kartsaklis, Bob Coecke, Mehrnoosh Sadrzadeh
Open System Categorical Quantum Semantics in Natural Language Processing. CoRR (2015)