dblp.uni-trier.dewww.uni-trier.de

Pawel Sobocinski Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
25EETobias Heindel, Pawel Sobocinski: Van Kampen Colimits as Bicolimits in Span. CALCO 2009: 335-349
24EEPaolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski: Unfolding Grammars in Adhesive Categories. CALCO 2009: 350-366
23EEMarco Carbone, Pawel Sobocinski, Frank D. Valencia: Foreword: Festschrift for Mogens Nielsen's 60th birthday. Theor. Comput. Sci. 410(41): 4001-4005 (2009)
2008
22EEJulian Rathke, Pawel Sobocinski: Deriving Structural Labelled Transitions for Mobile Ambients. CONCUR 2008: 462-476
21EEJulian Rathke, Pawel Sobocinski: Deconstructing behavioural theories of mobility. IFIP TCS 2008: 507-520
20EEAndrea Corradini, Frank Hermann, Pawel Sobocinski: Subobject Transformation Systems. Applied Categorical Structures 16(3): 389-419 (2008)
2007
19EEPeter T. Johnstone, Stephen Lack, Pawel Sobocinski: Quasitoposes, Quasiadhesive Categories and Artin Glueing. CALCO 2007: 312-326
18EEJulian Rathke, Vladimiro Sassone, Pawel Sobocinski: Semantic Barbs and Biorthogonality. FoSSaCS 2007: 302-316
17EEVincent Danos, Jean Krivine, Pawel Sobocinski: General Reversibility. Electr. Notes Theor. Comput. Sci. 175(3): 75-86 (2007)
16EEPawel Sobocinski: A Well-behaved LTS for the Pi-calculus: (Abstract). Electr. Notes Theor. Comput. Sci. 192(1): 5-11 (2007)
2006
15EEPaolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski: Processes for Adhesive Rewriting Systems. FoSSaCS 2006: 202-216
14EEStephen Lack, Pawel Sobocinski: Toposes Are Adhesive. ICGT 2006: 184-198
13EEPawel Sobocinski: Reversing graph transformations. ECEASST 2: (2006)
2005
12EEBartek Klin, Vladimiro Sassone, Pawel Sobocinski: Labels from Reductions: Towards a General Theory. CALCO 2005: 30-50
11EERoberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski: Deriving Weak Bisimulation Congruences from Reduction Systems. CONCUR 2005: 293-307
10EEVladimiro Sassone, Pawel Sobocinski: Reactive Systems over Cospans. LICS 2005: 311-320
9EEVladimiro Sassone, Pawel Sobocinski: A Congruence for Petri Nets. Electr. Notes Theor. Comput. Sci. 127(2): 107-120 (2005)
8EEVladimiro Sassone, Pawel Sobocinski: Locating reaction with 2-categories. Theor. Comput. Sci. 333(1-2): 297-327 (2005)
2004
7EEStephen Lack, Pawel Sobocinski: Adhesive Categories. FoSSaCS 2004: 273-288
6EEPawel 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
4EEBartek Klin, Pawel Sobocinski: Syntactic Formats for Free. CONCUR 2003: 72-86
3EEVladimiro 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
1EEVladimiro Sassone, Pawel Sobocinski: Deriving Bisimulation Congruences: A 2-categorical Approach. Electr. Notes Theor. Comput. Sci. 68(2): (2002)

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)