Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Pawel Sobocinski

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2013
[c21]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/calco/Sobocinski13
- ask others
Pawel Sobocinski: Nets, Relations and Linking Diagrams. CALCO 2013: 282-298
[c20]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/calco/SobocinskiS13
- ask others
Pawel Sobocinski, Owen Stephens: Penrose: Putting Compositionality to Work for Petri Net Reachability. CALCO 2013: 346-352
[i5]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1303-1399
- ask others
Pawel Sobocinski, Owen Stephens: Reachability via Compositionality in Petri nets. CoRR abs/1303.1399 (2013)
[i4]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1303-3371
- ask others
Pawel Sobocinski: Nets, relations and linking diagrams. CoRR abs/1303.3371 (2013)
[i3]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1304-3121
- ask others
Julian Rathke, Pawel Sobocinski, Owen Stephens: Decomposing Petri nets. CoRR abs/1304.3121 (2013)
[i2]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/BruniMMS13
- ask others
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Pawel Sobocinski: Connector algebras for C/E and P/T nets' interactions. CoRR abs/1307.0204 (2013)
2012
[c19]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cmcs/Sobocinski12
- ask others
Pawel Sobocinski: Relational Presheaves as Labelled Transition Systems. CMCS 2012: 40-50
2011
[j15]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1101-4594
- ask others
Tobias Heindel, Pawel Sobocinski: Being Van Kampen is a universal property. Logical Methods in Computer Science 7(1) (2011)
[c18]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/calco/LantairS11
- ask others
Jennifer Lantair, Pawel Sobocinski: WiCcA : LTS Generation Tool for Wire Calculus. CALCO 2011: 407-412
[c17]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mfcs/BaldanGS11
- ask others
Paolo Baldan, Fabio Gadducci, Pawel Sobocinski: Adhesivity Is Not Enough: Local Church-Rosser Revisited. MFCS 2011: 48-59
[e3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1108-2796
- ask others
Michel A. Reniers, Pawel Sobocinski (Eds.): Proceedings Eight Workshop on Structural Operational Semantics 2011. EPTCS 62, 2011
2010
[j14]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/RathkeS10
- ask others
Julian Rathke, Pawel Sobocinski: Deriving structural labelled transitions for mobile ambients. Inf. Comput. 208(10): 1221-1242 (2010)
[c16]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/Sobocinski10
- ask others
Pawel Sobocinski: Representations of Petri Net Interactions. CONCUR 2010: 554-568
[e2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1008-1906
- ask others
Luca Aceto, Pawel Sobocinski (Eds.): Proceedings Seventh Workshop on Structural Operational Semantics. EPTCS 32, 2010

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j13]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eatcs/RathkeS09
- ask others
Julian Rathke, Pawel Sobocinski: Deriving Labelled Transition Systems - A Structural Approach. Bulletin of the EATCS 98: 108-122 (2009)
[j12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/RathkeS09
- ask others
Julian Rathke, Pawel Sobocinski: Making the Unobservable, Unobservable. Electr. Notes Theor. Comput. Sci. 229(3): 131-144 (2009)
[j11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/CarboneSV09
- ask others
Marco Carbone, Pawel Sobocinski, Frank D. Valencia: Foreword: Festschrift for Mogens Nielsen's 60th birthday. Theor. Comput. Sci. 410(41): 4001-4005 (2009)
[c15]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/calco/HeindelS09
- ask others
Tobias Heindel, Pawel Sobocinski: Van Kampen Colimits as Bicolimits in Span. CALCO 2009: 335-349
[c14]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/calco/BaldanCHKS09
- ask others
Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski: Unfolding Grammars in Adhesive Categories. CALCO 2009: 350-366
[e1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1002-2978
- ask others
Bartek Klin, Pawel Sobocinski (Eds.): Proceedings Sixth Workshop on Structural Operational Semantics. EPTCS 18, 2009
[i1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0912-0555
- ask others
Pawel Sobocinski: A non-interleaving process calculus for multi-party synchronisation. ICE 2009: 87-98
2008
[j10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acs/CorradiniHS08
- ask others
Andrea Corradini, Frank Hermann, Pawel Sobocinski: Subobject Transformation Systems. Applied Categorical Structures 16(3): 389-419 (2008)
[c13]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/RathkeS08
- ask others
Julian Rathke, Pawel Sobocinski: Deriving Structural Labelled Transitions for Mobile Ambients. CONCUR 2008: 462-476
[c12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifipTCS/RathkeS08
- ask others
Julian Rathke, Pawel Sobocinski: Deconstructing behavioural theories of mobility. IFIP TCS 2008: 507-520
2007
[j9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/DanosKS07
- ask others
Vincent Danos, Jean Krivine, Pawel Sobocinski: General Reversibility. Electr. Notes Theor. Comput. Sci. 175(3): 75-86 (2007)
[j8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Sobocinski07
- ask others
Pawel Sobocinski: A Well-behaved LTS for the Pi-calculus: (Abstract). Electr. Notes Theor. Comput. Sci. 192(1): 5-11 (2007)
[c11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/calco/JohnstoneLS07
- ask others
Peter T. Johnstone, Stephen Lack, Pawel Sobocinski: Quasitoposes, Quasiadhesive Categories and Artin Glueing. CALCO 2007: 312-326
[c10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/RathkeSS07
- ask others
Julian Rathke, Vladimiro Sassone, Pawel Sobocinski: Semantic Barbs and Biorthogonality. FoSSaCS 2007: 302-316
2006
[j7]
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/Sobocinski06
- ask others
Pawel Sobocinski: Reversing graph transformations. ECEASST 2 (2006)
[c9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/BaldanCHKS06
- ask others
Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski: Processes for Adhesive Rewriting Systems. FoSSaCS 2006: 202-216
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gg/LackS06
- ask others
Stephen Lack, Pawel Sobocinski: Toposes Are Adhesive. ICGT 2006: 184-198
2005
[j6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/SassoneS05
- ask others
Vladimiro Sassone, Pawel Sobocinski: A Congruence for Petri Nets. Electr. Notes Theor. Comput. Sci. 127(2): 107-120 (2005)
[j5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ita/LackS05
- ask others
Stephen Lack, Pawel Sobocinski: Adhesive and quasiadhesive categories. ITA 39(3): 511-545 (2005)
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/SassoneS05
- ask others
Vladimiro Sassone, Pawel Sobocinski: Locating reaction with 2-categories. Theor. Comput. Sci. 333(1-2): 297-327 (2005)
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/calco/KlinSS05
- ask others
Bartek Klin, Vladimiro Sassone, Pawel Sobocinski: Labels from Reductions: Towards a General Theory. CALCO 2005: 30-50
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/BruniGMS05
- ask others
Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski: Deriving Weak Bisimulation Congruences from Reduction Systems. CONCUR 2005: 293-307
[c5]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lics/SassoneS05
- ask others
Vladimiro Sassone, Pawel Sobocinski: Reactive Systems over Cospans. LICS 2005: 311-320
2004
[j3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eatcs/Sobocinski04
- ask others
Pawel Sobocinski: Process Congruences from Reaction Rules (Column: Concurrency). Bulletin of the EATCS 84: 102-127 (2004)
[c4]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/Sobocinski04
- ask others
Pawel Sobocinski: Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences. Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems 2004
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/LackS04
- ask others
Stephen Lack, Pawel Sobocinski: Adhesive Categories. FoSSaCS 2004: 273-288
2003
[j2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/njc/SassoneS03
- ask others
Vladimiro Sassone, Pawel Sobocinski: Deriving Bisimulation Congruences using 2-categories. Nord. J. Comput. 10(2): 163- (2003)
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/KlinS03
- ask others
Bartek Klin, Pawel Sobocinski: Syntactic Formats for Free. CONCUR 2003: 72-86
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/SassoneS03
- ask others
Vladimiro Sassone, Pawel Sobocinski: Deriving Bisimulation Congruences: 2-Categories Vs Precategories. FoSSaCS 2003: 409-424
2002
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/SassoneS02
- ask others
Vladimiro Sassone, Pawel Sobocinski: Deriving Bisimulation Congruences: A 2-categorical Approach. Electr. Notes Theor. Comput. Sci. 68(2): 105-123 (2002)