Pawel Sobocinski

	2009
26		Tobias Heindel, Pawel Sobocinski: Van Kampen Colimits as Bicolimits in Span. CALCO 2009: 335-349
25		Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski: Unfolding Grammars in Adhesive Categories. CALCO 2009: 350-366
24		Marco Carbone, Pawel Sobocinski, Frank D. Valencia: Foreword: Festschrift for Mogens Nielsen's 60th birthday. Theor. Comput. Sci. 410(41): 4001-4005 (2009)
	2008
23		Julian Rathke, Pawel Sobocinski: Deriving Structural Labelled Transitions for Mobile Ambients. CONCUR 2008: 462-476
22		Julian Rathke, Pawel Sobocinski: Deconstructing behavioural theories of mobility. IFIP TCS 2008: 507-520
21		Andrea Corradini, Frank Hermann, Pawel Sobocinski: Subobject Transformation Systems. Applied Categorical Structures 16(3): 389-419 (2008)
	2007
20		Peter T. Johnstone, Stephen Lack, Pawel Sobocinski: Quasitoposes, Quasiadhesive Categories and Artin Glueing. CALCO 2007: 312-326
19		Julian Rathke, Vladimiro Sassone, Pawel Sobocinski: Semantic Barbs and Biorthogonality. FoSSaCS 2007: 302-316
18		Vincent Danos, Jean Krivine, Pawel Sobocinski: General Reversibility. Electr. Notes Theor. Comput. Sci. 175(3): 75-86 (2007)
17		Pawel Sobocinski: A Well-behaved LTS for the Pi-calculus: (Abstract). Electr. Notes Theor. Comput. Sci. 192(1): 5-11 (2007)
	2006
16		Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski: Processes for Adhesive Rewriting Systems. FoSSaCS 2006: 202-216
15		Stephen Lack, Pawel Sobocinski: Toposes Are Adhesive. ICGT 2006: 184-198
14		Pawel Sobocinski: Reversing graph transformations. ECEASST 2: (2006)
	2005
13		Bartek Klin, Vladimiro Sassone, Pawel Sobocinski: Labels from Reductions: Towards a General Theory. CALCO 2005: 30-50
12		Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski: Deriving Weak Bisimulation Congruences from Reduction Systems. CONCUR 2005: 293-307
11		Vladimiro Sassone, Pawel Sobocinski: Reactive Systems over Cospans. LICS 2005: 311-320
10		Vladimiro Sassone, Pawel Sobocinski: A Congruence for Petri Nets. Electr. Notes Theor. Comput. Sci. 127(2): 107-120 (2005)
9		Stephen Lack, Pawel Sobocinski: Adhesive and quasiadhesive categories. ITA 39(3): 511-545 (2005)
8		Vladimiro Sassone, Pawel Sobocinski: Locating reaction with 2-categories. Theor. Comput. Sci. 333(1-2): 297-327 (2005)
	2004
7		Stephen Lack, Pawel Sobocinski: Adhesive Categories. FoSSaCS 2004: 273-288
6		Pawel Sobocinski: Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences. Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems 2004
5		Pawel Sobocinski: Process Congruences from Reaction Rules (Column: Concurrency). Bulletin of the EATCS 84: 102-127 (2004)
	2003
4		Bartek Klin, Pawel Sobocinski: Syntactic Formats for Free. CONCUR 2003: 72-86
3		Vladimiro Sassone, Pawel Sobocinski: Deriving Bisimulation Congruences: 2-Categories Vs Precategories. FoSSaCS 2003: 409-424
2		Vladimiro Sassone, Pawel Sobocinski: Deriving Bisimulation Congruences using 2-categories. Nord. J. Comput. 10(2): 163- (2003)
	2002
1		Vladimiro Sassone, Pawel Sobocinski: Deriving Bisimulation Congruences: A 2-categorical Approach. Electr. Notes Theor. Comput. Sci. 68(2): (2002)

Coauthor Index

1	Paolo Baldan	[16] [25]
2	Roberto Bruni	[12]
3	Marco Carbone	[24]
4	Andrea Corradini	[16] [21] [25]
5	Vincent Danos	[18]
6	Fabio Gadducci	[12]
7	Tobias Heindel	[16] [25] [26]
8	Frank Hermann	[21]
9	Peter T. Johnstone	[20]
10	Bartek Klin	[4] [13]
11	Barbara König	[16] [25]
12	Jean Krivine	[18]
13	Stephen Lack	[7] [9] [15] [20]
14	Ugo Montanari	[12]
15	Julian Rathke	[19] [22] [23]
16	Vladimiro Sassone	[1] [2] [3] [8] [10] [11] [13] [19]
17	Frank D. Valencia (Frank Valencia)	[24]

Colors in the list of coauthors