Pawel Sobocinski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
45
Venues
13
Active years
2003–2026
Best venue rank
A*
Where they publish
Papers
45 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CSL | Parametric Iteration in Resource Theories. | Alessandro Di Giorgio, Pawel Sobocinski, Niels F. W. Voorneveld |
| 2026 | MFCS | Functorial Semantics for First-Order Theories. | Filippo Bonchi, Alessandro Di Giorgio, Roberto Di Virgilio, Pawel Sobocinski |
| 2024 | LICS | Diagrammatic Algebra of First Order Logic. | Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski |
| 2023 | FedCSIS | Knowledge-Based Creation of Industrial VR Training Scenarios. | Pawel Sobocinski, Jakub Flotynski, Michal Sliwicki, Mikolaj Maik, Krzysztof Walczak |
| 2023 | FedCSIS | Future and Backward Exploration of XR Environments. | Jakub Flotynski, Pawel Sobocinski, Michal Sliwicki, Mikolaj Maik |
| 2023 | MFCS | String Diagrammatic Trace Theory. | Matthew Earnshaw, Pawel Sobocinski |
| 2022 | CW | Multimodal presentation of 3D relief sculptures in virtual reality. | Pawel Sobocinski, Mikolaj Maik, Krzysztof Walczak |
| 2022 | MFCS | Regular Monoidal Languages. | Matthew Earnshaw, Pawel Sobocinski |
| 2021 | CALCO | On Doctrines and Cartesian Bicategories. | Filippo Bonchi, Alessio Santamaria, Jens Seeber, Pawel Sobocinski |
| 2021 | CSL | Compositional Modelling of Network Games. | Elena Di Lavore, Jules Hedges, Pawel Sobocinski |
| 2021 | KES | Knowledge-Based Management of Virtual Training Scenarios. | Jakub Flotynski, Krzysztof Walczak, Pawel Sobocinski, Adam Galazkiewicz |
| 2020 | DIAGRAMS | Compositional Diagrammatic First-Order Logic. | Nathan Haydon, Pawel Sobocinski |
| 2020 | FOSSACS | Contextual Equivalence for Signal Flow Graphs. | Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi |
| 2019 | CALCO | The Axiom of Choice in Cartesian Bicategories. | Filippo Bonchi, Jens Seeber, Pawel Sobocinski |
| 2019 | CALCO | CARTOGRAPHER: A Tool for String Diagrammatic Reasoning (Tool Paper). | Pawel Sobocinski, Paul W. Wilson, 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 |
| 2018 | CSL | Rule Algebras for Adhesive Categories. | Nicolas Behr, Pawel Sobocinski |
| 2018 | CSL | Graphical Conjunctive Queries. | Filippo Bonchi, Jens Seeber, Pawel Sobocinski |
| 2018 | ICTAC | Monoidal Multiplexing. | Apiwat Chantawibul, Pawel Sobocinski |
| 2018 | LICS | Rewriting with Frobenius. | Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi |
| 2017 | CONCUR | Refinement for Signal Flow Graphs. | Filippo Bonchi, Joshua Holland, Dusko Pavlovic, Pawel Sobocinski |
| 2017 | ESOP | Confluence of Graph Rewriting with Interfaces. | Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi |
| 2016 | LICS | Rewriting modulo symmetric monoidal structure. | Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi |
| 2016 | LICS | A categorical approach to open and interconnected dynamical systems. | Brendan Fong, Pawel Sobocinski, Paolo Rapisarda |
| 2015 | POPL | Full Abstraction for Signal Flow Graphs. | Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi |
| 2014 | CONCUR | A Categorical Semantics of Signal Flow Graphs. | Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi |
| 2014 | FOSSACS | Interacting Bialgebras Are Frobenius. | Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi |
| 2013 | CALCO | Nets, Relations and Linking Diagrams. | Pawel Sobocinski |
| 2013 | CALCO | Penrose: Putting Compositionality to Work for Petri Net Reachability. | Pawel Sobocinski, Owen Stephens |
| 2011 | CALCO | WiCcA : LTS Generation Tool for Wire Calculus. | Jennifer Lantair, Pawel Sobocinski |
| 2011 | MFCS | Adhesivity Is Not Enough: Local Church-Rosser Revisited. | Paolo Baldan, Fabio Gadducci, Pawel Sobocinski |
| 2010 | CONCUR | Representations of Petri Net Interactions. | Pawel Sobocinski |
| 2009 | CALCO | Unfolding Grammars in Adhesive Categories. | Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara Knig, Pawel Sobocinski |
| 2009 | CALCO | Van Kampen Colimits as Bicolimits in Span. | Tobias Heindel, Pawel Sobocinski |
| 2008 | CONCUR | Deriving Structural Labelled Transitions for Mobile Ambients. | Julian Rathke, Pawel Sobocinski |
| 2007 | CALCO | Quasitoposes, Quasiadhesive Categories and Artin Glueing. | Peter T. Johnstone, Stephen Lack, Pawel Sobocinski |
| 2007 | FOSSACS | Semantic Barbs and Biorthogonality. | Julian Rathke, Vladimiro Sassone, Pawel Sobocinski |
| 2006 | FOSSACS | Processes for Adhesive Rewriting Systems. | Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara Knig, Pawel Sobocinski |
| 2005 | CALCO | Labels from Reductions: Towards a General Theory. | Bartek Klin, Vladimiro Sassone, Pawel Sobocinski |
| 2005 | CONCUR | Deriving Weak Bisimulation Congruences from Reduction Systems. | Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski |
| 2005 | LICS | Reactive Systems over Cospans. | Vladimiro Sassone, Pawel Sobocinski |
| 2004 | FOSSACS | Adhesive Categories. | Stephen Lack, Pawel Sobocinski |
| 2003 | CONCUR | Syntactic Formats for Free. | Bartek Klin, Pawel Sobocinski |
| 2003 | FOSSACS | Deriving Bisimulation Congruences: 2-Categories Vs Precategories. | Vladimiro Sassone, Pawel Sobocinski |