The University of Southampton
Telephone:
+442380599220
Email:
ps@ecs.soton.ac.uk

Dr Pawel Sobocinski

Academic Staff

Research

Grants

EPSRC postdoc fellowship EP/D066565/1 "Foundations of Process Calculus and Contextual Systems"

Publications

Pawel, Sobocinski and Heindel, Tobias (2011) Being Van Kampen is a universal property Logical Methods in Computer Science, 7, (1), pp. 1-22. (doi:10.2168/LMCS-7(1:14)2011).

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. (doi:10.1016/j.tcs.2009.06.007).

Corradini, Andrea, Hermann, Frank and Sobocinski, Pawel (2008) Subobject transformation systems Applied Categorical Structures, 16, (3), pp. 389-419. (doi:10.1007/s10485-008-9127-6).

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. (doi:10.1145/2676726.2676993).

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. (doi:10.1007/978-3-319-11439-2_18).

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. (doi:10.1016/j.jpaa.2016.06.002).

Contact

Share this profile FacebookGoogle+TwitterWeibo

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×