×

Pawel, Sobocinski and Heindel, Tobias
(2011)
Being Van Kampen is a universal property
*Logical Methods in Computer Science*, 7, (1), pp. 1-22.

Baldan, Paolo, Corradini, Andrea, König, Barbara and Sobocinski, Pawel
(2009)
Unfolding grammars in adhesive categories
At * CALCO 2009: 3rd Conference on Algebra and Coalgebra in Computer Science**, Italy*.
*
*

Sassone, V. and Sobocinski, P.
(2003)
Deriving Bisimulation Congruences using 2-Categories
*Nordic Journal of Computing*, 10, pp. 163-183.

Sassone, V. and Sobocinski, P.
(2005)
Locating Reactions using 2-Categories
*Theoretical Computer Science*, 333, (1-2), pp. 297-327.

Klin, B., Sassone, V. and Sobocinski, P.
(2005)
Labels from Reductions: Towards a General Theory
At * First International Conference on Algebras and Coalgebras in Computer Science.**.
**
, pp. 30-50.
*

Sassone, V. and Sobocinski, P.
(2002)
Deriving Bisimulation Congruences: A 2-Categorical Approach
At * 9th Int. Workshop on Expressiveness in Concurrency, EXPRESS 2002.**.
**
, 19 pp..
*

Sassone, V. and Sobocinski, P.
(2003)
Deriving Bisimulation Congruences: 2-categories vs precategories
At * Foundations of Software Science and Computation Structures, FOSSACS 2003.**.
**
, pp. 409-424.
*

Sassone, V. and Sobocinski, P.
(2005)
A Congruence for Petri Nets
At * International Workshop on Petri Nets and Graph Transformations.**.
**
, pp. 107-120.
*

Sassone, V. and Sobocinski, P.
(2005)
Reactive Systems over Cospans
At * 20th Symposium on Logic in Computer Science, LICS 2005.**.
**
, pp. 311-320.
*

Rathke, J., Sassone, V. and Sobocinski, P.
(2007)
Semantic Barbs and Biorthogonality
At * Foundations of Software Science and Computation Structures, FOSSACS 2007**.
**
, pp. 302-316.
*

Lack, Stephen and Sobocinski, Pawel
(2006)
Toposes are adhesive
At * International Conference on Graph Transformation (ICGT '06)**, Brazil*.
*17 - 23 Sep 2006.*
, pp. 184-198.

Baldan, P, Corradini, A, Heindel, T, König, B and Sobocinski, P,
(2006)
Processes for adhesive rewriting systems
Aceto, L and Ingólfsdóttir, A (eds.)
At * Foundations of Software Science and Computation Structures**, Austria*.
*25 - 31 Mar 2006.*
, pp. 202-216.

Klin, B and Sobocinski, P,
(2003)
Syntactic formats for free: an abstract approach to process equivalence
Amadio, R and Lugiez, D (eds.)
At * Concur '03**, France*.
*03 - 05 Sep 2003.*
, pp. 72-86.

Danos, V, Krivine, J and Sobocinski, P,
(2006)
General reversibility
Amadio, R and Phillips, I (eds.)
At * 13th International Workshop on Expressiveness in Concurrency, Express '06**, Germany*.
*
*

Sobocinski, P
(2004)
Deriving process congruences from reaction rules
*
University of Aarhus, BRICS,
Doctoral Thesis
*.

Lack, Stephen and Sobocinski, Pawel
(2005)
Adhesive and quasiadhesive categories
*Theoretical Informatics and Applications*, 39, (2), pp. 522-546.

Rathke, Julian and Sobocinski, Pawel
(2008)
Deconstructing behavioural theories of mobility
At * Fifth IFIP International Conference on Theoretical Computer Science (TCS)**, Italy*.
*
, pp. 507-520.
(doi:10.1007/978-0-387-09680-3_34).
*

Rathke, Julian and Sobocinski, Pawel
(2008)
Deriving structural labelled transitions for mobile ambients
At * 19th International Conference on Concurrency Theory (CONCUR)**.
**
, pp. 462-476.
*

Carbone, Marco, Sobocinski, Pawel and Valencia, Frank D.
(2009)
Foreword: Festschrift for Mogens Nielsen's 60th birthday
[in special issue: Festschrift for Mogens Nielsen’s 60th Birthday]
*Theoretical Computer Science*, 410, (41), pp. 4001-4005.

Corradini, Andrea, Hermann, Frank and Sobocinski, Pawel
(2008)
Subobject transformation systems
*Applied Categorical Structures*, 16, (3), pp. 389-419.

Baldan, Paolo, Corradini, Andrea, Heindel, Tobias, K\"onig, Barbara and Soboci\'nski, Paweł,
(2009)
Unfolding grammars in adhesive categories
Kurz, Alexander, Lenisa, Marina and Tarlecki, Andrzej (eds.)
At * Algebra and Coalgebra in Computer Science (CALCO `09)**, Italy*.
*07 - 10 Sep 2009.*
, pp. 350-366.

Heindel, Tobias and Soboci\'nski, Paweł
(2009)
Van Kampen colimits as bicolimits in Span
At * Algebra and Coalgebra in Computer Science (CALCO `09)**.
**
, pp. 335-349.
*

Rathke, Julian and Sobocinski, Pawel
(2010)
Deriving structural labelled transitions for mobile ambients
[in special issue: 19th International Conference on Concurrency Theory (CONCUR 2008)]
*Information and Computation*, 208, (10), pp. 1221-1242. (doi:10.1016/j.ic.2010.06.001).

Soboci\'nski, Pawel
(2009)
A non-interleaving process calculus for multi-party synchronisation
At * ICE '09**.
**
*

Rathke, Julian and Soboci\'nski, Pawel
(2009)
Making the unobservable, unobservable
At * Proceedings of ICE '08**.
**
, pp. 131-144.
*

Sobocinski, Pawel
(2010)
Representations of Petri net interactions
At * CONCUR'10 Proceedings of the 21st International Conference on Concurrency Theory**, France*.
*31 Aug - 03 Sep 2010.*
, pp. 554-568.

Bruni, Roberto, Hernan, Melgratti, Ugo, Montanari and Pawel, Sobocinski
(2013)
Connector algebras for C/E and P/T nets interactions
[in special issue: Selected Papers of the "22nd International Conference on Concurrency Theory" CONCUR 2011 Aachen, Germany, 2011]
*Logical Methods in Computer Science*, 9, (3), pp. 1-65. (doi:10.2168/LMCS-9(3:16)2013).

Paolo, Baldan, Andrea, Corradini, Tobias, Heindel, Barbara, Koenig and Pawel, Sobocinski
(2012)
Processes and unfoldings: concurrent computations in adhesive categories
*Mathematical Structures in Computer Science*, pp. 1-40.

Tobias, Heindel and Pawel, Sobocinski
(2011)
Being Van Kampen is a universal property
*Logical Methods in Computer Science*, 7, (1)

Bonchi, Filippo, Gadducci, Fabio, Kissinger, Aleks, Sobocinski, Pawel and Zanasi, Fabio
(2016)
Rewriting modulo symmetric monoidal structure
At * LiCS 2016: 31st Annual ACM/IEEE Symposium on Logic in Computer Science**, United States*.
*05 - 08 Jul 2016.*
10 pp.

Fong, Brendan, Sobocinski, Pawel and Rapisarda, Paolo
(2016)
A categorical approach to open and interconnected dynamical systems
At * LiCS 2016: 31st Annual ACM/IEEE Symposium on Logic in Computer Science**, United States*.
*05 - 08 Jul 2016.*
10 pp.

Bonchi, Filippo, Sobocinski, Pawel and Zanasi, Fabio
(2016)
The calculus of signal flow diagrams I: linear relations on streams
*Information and Computation*, pp. 1-28. (doi:10.1016/j.ic.2016.03.002).

Sobocinski, Pawel
(2015)
Full abstraction for signal flow graphs
At * POPL '15: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages**, India*.
*12 - 18 Jan 2015.*
, pp. 515-526.

Rathke, Julian, Sobocinski, Pawel and Stephens, Owen
(2014)
Compositional reachability in Petri nets
At * 8th International Workshop on Reachability Problems.**, United Kingdom*.
*22 - 24 Sep 2014.*
, pp. 230-243.

Bonchi, Filippo, Sobocinski, Pawel and Zanasi, Fabio
(2016)
Lawvere theories as composed PROPs
At * 13th International Workshop on Coalgebraic Methods in Computer Science**, Eindhoven, Netherlands*.
*02 - 03 Apr 2016.*
22 pp.

Bonchi, Filippo, Gadducci, Fabio, Kissinger, Aleks, Sobocinski, Pawel and Zanasi, Fabio
(2017)
Confluence of graph rewriting with interfaces
At * 26th European Symposium on Programming**, Uppsala, Sweden*.
*22 - 29 Apr 2017.*
27 pp.

Bonchi, Filippo, Sobocinski, Pawel and Zanasi, Fabio
(2017)
Interacting Hopf algebras
*Journal of Pure and Applied Algebra*, 221, (1), pp. 144-184.

**Telephone:** +442380599220

**Email:** ps@ecs.soton.ac.uk

×