Pawel Sobocinski

128 papers A* 8A 1B 37C 2Journal 59Unranked 17

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	Parametric Iteration in Resource Theories. CSL Alessandro Di Giorgio, Pawel Sobocinski, Niels F. W. Voorneveld
2025	B	`conf`	Order in Partial Markov Categories. MFPS Elena Di Lavore, Mario Román, Pawel Sobocinski, Márk Széles
2025	J	`jnl`	Parametric Iteration in Resource Theories. CoRR Alessandro Di Giorgio, Pawel Sobocinski, Niels F. W. Voorneveld
2025	J	`jnl`	Partial Markov Categories. CoRR Elena Di Lavore, Mario Román, Pawel Sobocinski
2025	J	`jnl`	String Diagrams for Premonoidal Categories. Log. Methods Comput. Sci. Mario Román, Pawel Sobocinski
2025	J	`jnl`	The calculus of neo-Peircean relations. CoRR Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski
2024	A*	`conf`	Diagrammatic Algebra of First Order Logic. LICS Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski
2024	J	`jnl`	Diagrammatic Algebra of First Order Logic. CoRR Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski
2024	A*	`ed.`	Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024, Tallinn, Estonia, July 8-11, 2024 LICS Pawel Sobocinski, Ugo Dal Lago, Javier Esparza
2024	J	`jnl`	Regular planar monoidal languages. J. Log. Algebraic Methods Program. Matthew Earnshaw, Pawel Sobocinski
2024	J	`jnl`	Report on LiCS 2024. ACM SIGLOG News Pawel Sobocinski
2023	B	`ed.`	Foundations of Software Science and Computation Structures - 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings FoSSaCS Orna Kupferman, Pawel Sobocinski
2023	J	`jnl`	Monoidal Width. Log. Methods Comput. Sci. Elena Di Lavore, Pawel Sobocinski
2023	J	`jnl`	Span(Graph): a canonical feedback algebra of open transition systems. Softw. Syst. Model. Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski
2023	B	`conf`	String Diagrammatic Trace Theory. MFCS Matthew Earnshaw, Pawel Sobocinski
2023	J	`jnl`	String Diagrammatic Trace Theory. CoRR Matthew Earnshaw, Pawel Sobocinski
2022	J	`jnl`	High-level axioms for graphical linear algebra. Sci. Comput. Program. João Paixão, Lucas Rufino, Pawel Sobocinski
2022	J	`jnl`	Monoidal Width. CoRR Elena Di Lavore, Pawel Sobocinski
2022	J	`jnl`	Monoidal Width. CoRR Elena Di Lavore, Pawel Sobocinski
2022	—	`conf`	Monoidal Width: Capturing Rank Width. ACT Elena Di Lavore, Pawel Sobocinski
2022	B	`conf`	Regular Monoidal Languages. MFCS Matthew Earnshaw, Pawel Sobocinski
2022	J	`jnl`	Regular Monoidal Languages. CoRR Matthew Earnshaw, Pawel Sobocinski
2022	J	`jnl`	String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. J. ACM Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2022	J	`jnl`	String diagram rewrite theory II: Rewriting with symmetric monoidal structure. Math. Struct. Comput. Sci. Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2022	J	`jnl`	String diagram rewrite theory III: Confluence with and without Frobenius. Math. Struct. Comput. Sci. Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2021	—	`conf`	A Canonical Algebra of Open Transition Systems. FACS Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski
2021	—	`ch.`	A Survey of Compositional Signal Flow Theory. IFIP's Exciting First 60+ Years Filippo Bonchi, Pawel Sobocinski, 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	B	`conf`	Compositional Modelling of Network Games. CSL Elena Di Lavore, Jules Hedges, Pawel Sobocinski
2021	—	`conf`	Diagrammatic Polyhedral Algebra. FSTTCS Filippo Bonchi, Alessandro Di Giorgio, Pawel Sobocinski
2021	J	`jnl`	Diagrammatic Polyhedral Algebra. CoRR Guillaume Boisseau, Filippo Bonchi, Alessandro Di Giorgio, Pawel Sobocinski
2021	J	`jnl`	Functorial semantics for partial theories. Proc. ACM Program. Lang. Ivan Di Liberti, Fosco Loregiàn, Chad Nester, Pawel Sobocinski
2021	B	`conf`	On Doctrines and Cartesian Bicategories. CALCO Filippo Bonchi, Alessio Santamaria, Jens Seeber, Pawel Sobocinski
2021	J	`jnl`	On Doctrines and Cartesian Bicategories. CoRR Filippo Bonchi, Alessio Santamaria, Jens Seeber, Pawel Sobocinski
2021	J	`jnl`	String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure. CoRR Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2021	J	`jnl`	String Diagram Rewrite Theory III: Confluence with and without Frobenius. CoRR Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2021	—	`conf`	String Diagrammatic Electrical Circuit Theory. ACT Guillaume Boisseau, Pawel Sobocinski
2020	J	`jnl`	A canonical algebra of open transition systems. CoRR Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski
2020	—	`conf`	Calculational Proofs in Relational Graphical Linear Algebra. SBMF João Paixão, Pawel Sobocinski
2020	J	`jnl`	Cartesian bicategories with choice. CoRR Filippo Bonchi, Jens Seeber, Pawel Sobocinski
2020	C	`conf`	Compositional Diagrammatic First-Order Logic. Diagrams Nathan Haydon, Pawel Sobocinski
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
2020	J	`jnl`	Functorial Semantics for Partial Theories. CoRR Ivan Di Liberti, Fosco Loregiàn, Chad Nester, Pawel Sobocinski
2020	J	`jnl`	Games on graphs: a compositional approach. CoRR Elena Di Lavore, Jules Hedges, Pawel Sobocinski
2020	J	`jnl`	Rule Algebras for Adhesive Categories. Log. Methods Comput. Sci. Nicolas Behr, Pawel Sobocinski
2020	J	`jnl`	String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. CoRR Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, 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	B	`conf`	CARTOGRAPHER: A Tool for String Diagrammatic Reasoning (Tool Paper). CALCO Pawel Sobocinski, Paul W. Wilson, 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
2019	B	`conf`	The Axiom of Choice in Cartesian Bicategories. CALCO Filippo Bonchi, Jens Seeber, Pawel Sobocinski
2018	J	`jnl`	Deconstructing Lawvere with distributive laws. J. Log. Algebraic Methods Program. Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
2018	B	`conf`	Graphical Conjunctive Queries. CSL Filippo Bonchi, Jens Seeber, Pawel Sobocinski
2018	J	`jnl`	Graphical Conjunctive Queries. CoRR Filippo Bonchi, Jens Seeber, Pawel Sobocinski
2018	C	`conf`	Monoidal Multiplexing. ICTAC Apiwat Chantawibul, Pawel Sobocinski
2018	A*	`conf`	Rewriting with Frobenius. LICS Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2018	B	`conf`	Rule Algebras for Adhesive Categories. CSL Nicolas Behr, Pawel Sobocinski
2018	J	`jnl`	Rule Algebras for Adhesive Categories. CoRR Nicolas Behr, Pawel Sobocinski
2017	A	`conf`	Confluence of Graph Rewriting with Interfaces. ESOP Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2017	J	`jnl`	Functorial Semantics for Relational Theories. CoRR Filippo Bonchi, Dusko Pavlovic, Pawel Sobocinski
2017	B	`conf`	Refinement for Signal Flow Graphs. CONCUR Filippo Bonchi, Joshua Holland, Dusko Pavlovic, Pawel Sobocinski
2017	J	`jnl`	Report on LiCS 2016. ACM SIGLOG News Pawel Sobocinski
2017	J	`jnl`	The Calculus of Signal Flow Diagrams I: Linear relations on streams. Inf. Comput. Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
2016	A*	`conf`	A categorical approach to open and interconnected dynamical systems. LICS Brendan Fong, Pawel Sobocinski, Paolo Rapisarda
2016	—	`conf`	Lawvere Categories as Composed PROPs. CMCS Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
2016	A*	`conf`	Rewriting modulo symmetric monoidal structure. LICS Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2016	J	`jnl`	Rewriting modulo symmetric monoidal structure. CoRR Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
2015	B	`ed.`	6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, Nijmegen, The Netherlands, June 24-26, 2015 CALCO Lawrence S. Moss, Pawel Sobocinski
2015	J	`jnl`	A categorical approach to open and interconnected dynamical systems. CoRR Brendan Fong, Paolo Rapisarda, Pawel Sobocinski
2015	—	`conf`	Compositional model checking of concurrent systems, with Petri nets. DCM Pawel Sobocinski
2015	A*	`conf`	Full Abstraction for Signal Flow Graphs. POPL Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
2015	J	`jnl`	Relational presheaves, change of base and weak simulation. J. Comput. Syst. Sci. Pawel Sobocinski
2015	B	`conf`	Towards Compositional Graph Theory. MFPS Apiwat Chantawibul, Pawel Sobocinski
2014	B	`conf`	A Categorical Semantics of Signal Flow Graphs. CONCUR Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
2014	B	`conf`	A Programming Language for Spatial Distribution of Net Systems. Petri Nets Pawel Sobocinski, Owen Stephens
2014	—	`conf`	Compositional Reachability in Petri Nets. RP Julian Rathke, Pawel Sobocinski, Owen Stephens
2014	B	`conf`	Interacting Bialgebras Are Frobenius. FoSSaCS Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
2014	J	`jnl`	Interacting Hopf Algebras. CoRR Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
2014	J	`jnl`	Modelling Adaptive Networks: The Case of the Petrified Voters. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Mudhafar Hussein, Reiko Heckel, Vincent Danos, Pawel Sobocinski
2014	J	`jnl`	Processes and unfoldings: concurrent computations in adhesive categories. Math. Struct. Comput. Sci. Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski
2014	B	`conf`	Transformation and Refinement of Rigid Structures. ICGT Vincent Danos, Reiko Heckel, Pawel Sobocinski
2013	J	`jnl`	Connector algebras for C/E and P/T nets' interactions. Log. Methods Comput. Sci. Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Pawel Sobocinski
2013	J	`jnl`	Decomposing Petri nets CoRR Julian Rathke, Pawel Sobocinski, Owen Stephens
2013	B	`conf`	Nets, Relations and Linking Diagrams. CALCO Pawel Sobocinski
2013	J	`jnl`	Nets, relations and linking diagrams CoRR Pawel Sobocinski
2013	B	`conf`	Penrose: Putting Compositionality to Work for Petri Net Reachability. CALCO Pawel Sobocinski, Owen Stephens
2013	J	`jnl`	Reachability via Compositionality in Petri nets CoRR Pawel Sobocinski, Owen Stephens
2013	J	`jnl`	Report on CALCO 2013. Bull. EATCS Alexandra Silva, Pawel Sobocinski
2012	—	`conf`	Relational Presheaves as Labelled Transition Systems. CMCS Pawel Sobocinski
2011	B	`conf`	Adhesivity Is Not Enough: Local Church-Rosser Revisited. MFCS Paolo Baldan, Fabio Gadducci, Pawel Sobocinski
2011	J	`jnl`	Being Van Kampen is a universal property Log. Methods Comput. Sci. Tobias Heindel, Pawel Sobocinski
2011	—	`ed.`	Proceedings Eight Workshop on Structural Operational Semantics 2011, SOS 2011, Aachen, Germany, 5th September 2011. SOS Michel A. Reniers, Pawel Sobocinski
2011	B	`conf`	WiCcA : LTS Generation Tool for Wire Calculus. CALCO Jennifer Lantair, Pawel Sobocinski
2010	J	`jnl`	Deriving structural labelled transitions for mobile ambients. Inf. Comput. Julian Rathke, Pawel Sobocinski
2010	—	`ed.`	Proceedings Seventh Workshop on Structural Operational Semantics, SOS 2010, Paris, France, 30 August 2010. SOS Luca Aceto, Pawel Sobocinski
2010	B	`conf`	Representations of Petri Net Interactions. CONCUR Pawel Sobocinski
2009	—	`conf`	A non-interleaving process calculus for multi-party synchronisation ICE Pawel Sobocinski
2009	J	`jnl`	Deriving Labelled Transition Systems - A Structural Approach. Bull. EATCS Julian Rathke, Pawel Sobocinski
2009	J	`jnl`	Foreword: Festschrift for Mogens Nielsen's 60th birthday. Theor. Comput. Sci. Marco Carbone, Pawel Sobocinski, Frank D. Valencia
2009	—	`ed.`	Proceedings Sixth Workshop on Structural Operational Semantics, SOS 2009, Bologna, Italy, August 31, 2009. SOS Bartek Klin, Pawel Sobocinski
2009	B	`conf`	Unfolding Grammars in Adhesive Categories. CALCO Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski
2009	B	`conf`	Van Kampen Colimits as Bicolimits in Span. CALCO Tobias Heindel, Pawel Sobocinski
2008	—	`conf`	Deconstructing behavioural theories of mobility. IFIP TCS Julian Rathke, Pawel Sobocinski
2008	B	`conf`	Deriving Structural Labelled Transitions for Mobile Ambients. CONCUR Julian Rathke, Pawel Sobocinski
2008	—	`conf`	Making the Unobservable, Unobservable. ICE@ICALP Julian Rathke, Pawel Sobocinski
2008	J	`jnl`	Subobject Transformation Systems. Appl. Categorical Struct. Andrea Corradini, Frank Hermann, Pawel Sobocinski
2007	—	`conf`	A Well-behaved LTS for the Pi-calculus: (Abstract). SOS@LICS/ICALP Pawel Sobocinski
2007	B	`conf`	Quasitoposes, Quasiadhesive Categories and Artin Glueing. CALCO Peter T. Johnstone, Stephen Lack, Pawel Sobocinski
2007	B	`conf`	Semantic Barbs and Biorthogonality. FoSSaCS Julian Rathke, Vladimiro Sassone, Pawel Sobocinski
2006	—	`conf`	General Reversibility. EXPRESS Vincent Danos, Jean Krivine, Pawel Sobocinski
2006	B	`conf`	Processes for Adhesive Rewriting Systems. FoSSaCS Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski
2006	J	`jnl`	Reversing graph transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Pawel Sobocinski
2006	B	`conf`	Toposes Are Adhesive. ICGT Stephen Lack, Pawel Sobocinski
2005	J	`jnl`	Adhesive and quasiadhesive categories. RAIRO Theor. Informatics Appl. Stephen Lack, Pawel Sobocinski
2005	B	`conf`	Deriving Weak Bisimulation Congruences from Reduction Systems. CONCUR Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski
2005	B	`conf`	Labels from Reductions: Towards a General Theory. CALCO Bartek Klin, Vladimiro Sassone, Pawel Sobocinski
2005	J	`jnl`	Locating reaction with 2-categories. Theor. Comput. Sci. Vladimiro Sassone, Pawel Sobocinski
2005	A*	`conf`	Reactive Systems over Cospans. LICS Vladimiro Sassone, Pawel Sobocinski
2004	—	`conf`	A Congruence for Petri Nets. PNGT@ICGT Vladimiro Sassone, Pawel Sobocinski
2004	B	`conf`	Adhesive Categories. FoSSaCS Stephen Lack, Pawel Sobocinski
2004	J	`jnl`	Process Congruences from Reaction Rules (Column: Concurrency). Bull. EATCS Pawel Sobocinski
2004	—	`conf`	Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences. Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems Pawel Sobocinski
2003	J	`jnl`	Deriving Bisimulation Congruences using 2-categories. Nord. J. Comput. Vladimiro Sassone, Pawel Sobocinski
2003	B	`conf`	Deriving Bisimulation Congruences: 2-Categories Vs Precategories. FoSSaCS Vladimiro Sassone, Pawel Sobocinski
2003	B	`conf`	Syntactic Formats for Free. CONCUR Bartek Klin, Pawel Sobocinski
2002	—	`conf`	Deriving Bisimulation Congruences: A 2-categorical Approach. EXPRESS Vladimiro Sassone, Pawel Sobocinski