Pawel Sobocinski

ORCID

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 64

Top Venues

Publications

Matthew Earnshaw, Pawel Sobocinski
Regular planar monoidal languages. J. Log. Algebraic Methods Program. 139 (2024)
Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski
Diagrammatic Algebra of First Order Logic. CoRR (2024)
Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski
Diagrammatic Algebra of First Order Logic. LICS (2024)
Matthew Earnshaw, Pawel Sobocinski
String Diagrammatic Trace Theory. MFCS (2023)
Elena Di Lavore, Pawel Sobocinski
Monoidal Width. Log. Methods Comput. Sci. 19 (3) (2023)
Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski
Span(Graph): a canonical feedback algebra of open transition systems. Softw. Syst. Model. 22 (2) (2023)
Matthew Earnshaw, Pawel Sobocinski
String Diagrammatic Trace Theory. CoRR (2023)
Elena Di Lavore, Pawel Sobocinski
Monoidal Width. CoRR (2022)
João Paixão, Lucas Rufino, Pawel Sobocinski
High-level axioms for graphical linear algebra. Sci. Comput. Program. 218 (2022)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
String diagram rewrite theory III: Confluence with and without Frobenius. Math. Struct. Comput. Sci. 32 (7) (2022)
Matthew Earnshaw, Pawel Sobocinski
Regular Monoidal Languages. CoRR (2022)
Elena Di Lavore, Pawel Sobocinski
Monoidal Width. CoRR (2022)
Elena Di Lavore, Pawel Sobocinski
Monoidal Width: Capturing Rank Width. CoRR (2022)
Matthew Earnshaw, Pawel Sobocinski
Regular Monoidal Languages. MFCS (2022)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. J. ACM 69 (2) (2022)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
String diagram rewrite theory II: Rewriting with symmetric monoidal structure. Math. Struct. Comput. Sci. 32 (4) (2022)
Elena Di Lavore, Jules Hedges, Pawel Sobocinski
Compositional Modelling of Network Games. CSL (2021)
Ivan Di Liberti, Fosco Loregiàn, Chad Nester, Pawel Sobocinski
Functorial semantics for partial theories. Proc. ACM Program. Lang. 5 (POPL) (2021)
Guillaume Boisseau, Filippo Bonchi, Alessandro Di Giorgio, Pawel Sobocinski
Diagrammatic Polyhedral Algebra. CoRR (2021)
Filippo Bonchi, Alessio Santamaria, Jens Seeber, Pawel Sobocinski
On Doctrines and Cartesian Bicategories. CALCO (2021)
Guillaume Boisseau, Pawel Sobocinski
String Diagrammatic Electrical Circuit Theory. CoRR (2021)
Filippo Bonchi, Alessandro Di Giorgio, Pawel Sobocinski
Diagrammatic Polyhedral Algebra. FSTTCS (2021)
Filippo Bonchi, Alessio Santamaria, Jens Seeber, Pawel Sobocinski
On Doctrines and Cartesian Bicategories. CoRR (2021)
Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski
A Canonical Algebra of Open Transition Systems. FACS (2021)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
String Diagram Rewrite Theory III: Confluence with and without Frobenius. CoRR (2021)
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
Bialgebraic foundations for the operational semantics of string diagrams. Inf. Comput. 281 (2021)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure. CoRR (2021)
Filippo Bonchi, Jens Seeber, Pawel Sobocinski
Cartesian bicategories with choice. CoRR (2020)
Ivan Di Liberti, Fosco Loregiàn, Chad Nester, Pawel Sobocinski
Functorial Semantics for Partial Theories. CoRR (2020)
Elena Di Lavore, Jules Hedges, Pawel Sobocinski
Games on graphs: a compositional approach. CoRR (2020)
Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski
A canonical algebra of open transition systems. CoRR (2020)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. CoRR (2020)
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
Contextual Equivalence for Signal Flow Graphs. CoRR (2020)
Nathan Haydon, Pawel Sobocinski
Compositional Diagrammatic First-Order Logic. Diagrams (2020)
João Paixão, Pawel Sobocinski
Calculational Proofs in Relational Graphical Linear Algebra. SBMF (2020)
Nicolas Behr, Pawel Sobocinski
Rule Algebras for Adhesive Categories. Log. Methods Comput. Sci. 16 (3) (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)
Pawel Sobocinski, Paul W. Wilson, Fabio Zanasi
CARTOGRAPHER: A Tool for String Diagrammatic Reasoning (Tool Paper). CALCO (2019)
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi
Bialgebraic Semantics for String Diagrams. CoRR (2019)
Filippo Bonchi, Jens Seeber, Pawel Sobocinski
The Axiom of Choice in Cartesian Bicategories. CALCO (2019)
Nicolas Behr, Pawel Sobocinski
Rule Algebras for Adhesive Categories. CoRR (2018)
Filippo Bonchi, Jens Seeber, Pawel Sobocinski
Graphical Conjunctive Queries. CSL (2018)
Nicolas Behr, Pawel Sobocinski
Rule Algebras for Adhesive Categories. CSL (2018)
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
Deconstructing Lawvere with distributive laws. J. Log. Algebraic Methods Program. 95 (2018)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
Rewriting with Frobenius. LICS (2018)
Filippo Bonchi, Jens Seeber, Pawel Sobocinski
Graphical Conjunctive Queries. CoRR (2018)
Apiwat Chantawibul, Pawel Sobocinski
Monoidal Multiplexing. ICTAC (2018)
Pawel Sobocinski
Report on LiCS 2016. ACM SIGLOG News 4 (1) (2017)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
Confluence of Graph Rewriting with Interfaces. ESOP (2017)
Filippo Bonchi, Joshua Holland, Dusko Pavlovic, Pawel Sobocinski
Refinement for Signal Flow Graphs. CONCUR (2017)
Filippo Bonchi, Dusko Pavlovic, Pawel Sobocinski
Functorial Semantics for Relational Theories. CoRR (2017)
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
The Calculus of Signal Flow Diagrams I: Linear relations on streams. Inf. Comput. 252 (2017)
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
Lawvere Categories as Composed PROPs. CMCS (2016)
Brendan Fong, Pawel Sobocinski, Paolo Rapisarda
A categorical approach to open and interconnected dynamical systems. LICS (2016)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
Rewriting modulo symmetric monoidal structure. CoRR (2016)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
Rewriting modulo symmetric monoidal structure. LICS (2016)
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
Full Abstraction for Signal Flow Graphs. POPL (2015)
Apiwat Chantawibul, Pawel Sobocinski
Towards Compositional Graph Theory. MFPS (2015)
Brendan Fong, Paolo Rapisarda, Pawel Sobocinski
A categorical approach to open and interconnected dynamical systems. CoRR (2015)
Pawel Sobocinski
Relational presheaves, change of base and weak simulation. J. Comput. Syst. Sci. 81 (5) (2015)
Pawel Sobocinski
Compositional model checking of concurrent systems, with Petri nets. DCM (2015)
Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski
Processes and unfoldings: concurrent computations in adhesive categories. Math. Struct. Comput. Sci. 24 (4) (2014)
Mudhafar Hussein, Reiko Heckel, Vincent Danos, Pawel Sobocinski
Modelling Adaptive Networks: The Case of the Petrified Voters. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 67 (2014)
Vincent Danos, Reiko Heckel, Pawel Sobocinski
Transformation and Refinement of Rigid Structures. ICGT (2014)
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
Interacting Bialgebras Are Frobenius. FoSSaCS (2014)
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
Interacting Hopf Algebras. CoRR (2014)
Julian Rathke, Pawel Sobocinski, Owen Stephens
Compositional Reachability in Petri Nets. RP (2014)
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
A Categorical Semantics of Signal Flow Graphs. CONCUR (2014)
Pawel Sobocinski, Owen Stephens
A Programming Language for Spatial Distribution of Net Systems. Petri Nets (2014)
Pawel Sobocinski
Nets, relations and linking diagrams CoRR (2013)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Pawel Sobocinski
Connector algebras for C/E and P/T nets' interactions. Log. Methods Comput. Sci. 9 (3) (2013)
Julian Rathke, Pawel Sobocinski, Owen Stephens
Decomposing Petri nets CoRR (2013)
Pawel Sobocinski, Owen Stephens
Reachability via Compositionality in Petri nets CoRR (2013)
Pawel Sobocinski, Owen Stephens
Penrose: Putting Compositionality to Work for Petri Net Reachability. CALCO (2013)
Pawel Sobocinski
Nets, Relations and Linking Diagrams. CALCO (2013)
Alexandra Silva, Pawel Sobocinski
Report on CALCO 2013. Bull. EATCS 111 (2013)
Pawel Sobocinski
Relational Presheaves as Labelled Transition Systems. CMCS (2012)
Jennifer Lantair, Pawel Sobocinski
WiCcA : LTS Generation Tool for Wire Calculus. CALCO (2011)
Paolo Baldan, Fabio Gadducci, Pawel Sobocinski
Adhesivity Is Not Enough: Local Church-Rosser Revisited. MFCS (2011)
Tobias Heindel, Pawel Sobocinski
Being Van Kampen is a universal property Log. Methods Comput. Sci. 7 (1) (2011)
Julian Rathke, Pawel Sobocinski
Deriving structural labelled transitions for mobile ambients. Inf. Comput. 208 (10) (2010)
Pawel Sobocinski
Representations of Petri Net Interactions. CONCUR (2010)
Marco Carbone, Pawel Sobocinski, Frank D. Valencia
Foreword: Festschrift for Mogens Nielsen's 60th birthday. Theor. Comput. Sci. 410 (41) (2009)
Julian Rathke, Pawel Sobocinski
Making the Unobservable, Unobservable. Electron. Notes Theor. Comput. Sci. 229 (3) (2009)
Pawel Sobocinski
A non-interleaving process calculus for multi-party synchronisation ICE (2009)
Tobias Heindel, Pawel Sobocinski
Van Kampen Colimits as Bicolimits in Span. CALCO (2009)
Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski
Unfolding Grammars in Adhesive Categories. CALCO (2009)
Julian Rathke, Pawel Sobocinski
Deriving Labelled Transition Systems - A Structural Approach. Bull. EATCS 98 (2009)
Julian Rathke, Pawel Sobocinski
Deriving Structural Labelled Transitions for Mobile Ambients. CONCUR (2008)
Julian Rathke, Pawel Sobocinski
Deconstructing behavioural theories of mobility. IFIP TCS (2008)
Andrea Corradini, Frank Hermann, Pawel Sobocinski
Subobject Transformation Systems. Appl. Categorical Struct. 16 (3) (2008)
Julian Rathke, Vladimiro Sassone, Pawel Sobocinski
Semantic Barbs and Biorthogonality. FoSSaCS (2007)
Pawel Sobocinski
A Well-behaved LTS for the Pi-calculus: (Abstract). Electron. Notes Theor. Comput. Sci. 192 (1) (2007)
Peter T. Johnstone, Stephen Lack, Pawel Sobocinski
Quasitoposes, Quasiadhesive Categories and Artin Glueing. CALCO (2007)
Pawel Sobocinski
Reversing graph transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 2 (2006)
Vincent Danos, Jean Krivine, Pawel Sobocinski
General Reversibility. EXPRESS (2006)
Stephen Lack, Pawel Sobocinski
Toposes Are Adhesive. ICGT (2006)

Pawel Sobocinski.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pawel Sobocinski