BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Brazil
1 × France
1 × India
1 × Poland
1 × Portugal
1 × Spain
1 × USA
1 × United Kingdom
Collaborated with:
F.Bonchi V.Sassone F.Zanasi S.Lack R.Heckel V.Danos N.Behr J.Rathke J.Seeber M.Hussein P.Baldan A.Corradini T.Heindel B.König F.Gadducci A.Kissinger Joshua Holland Robin Piedeleu
Talks about:
adhes (4) categori (3) system (3) algebra (2) rewrit (2) graph (2) precategori (1) diagrammat (1) biorthogon (1) transform (1)

Person: Pawel Sobocinski

DBLP DBLP: Sobocinski:Pawel

Contributed to:

POPL 20152015
FoSSaCS 20142014
GT-VMT 20142014
ICGT 20142014
FoSSaCS 20072007
FoSSaCS 20062006
ICGT 20062006
LICS 20052005
FoSSaCS 20042004
FoSSaCS 20032003
ESOP 20172017
CSL 20182018
POPL 20192019

Wrote 14 papers:

POPL-2015-BonchiSZ #abstraction #graph
Full Abstraction for Signal Flow Graphs (FB, PS, FZ), pp. 515–526.
FoSSaCS-2014-BonchiSZ #algebra
Interacting Bialgebras Are Frobenius (FB, PS, FZ), pp. 351–365.
GT-VMT-2014-HusseinHDS #adaptation #modelling #network
Modelling Adaptive Networks: The Case of the Petrified Voters (MH, RH, VD, PS).
ICGT-2014-DanosHS #refinement
Transformation and Refinement of Rigid Structures (VD, RH, PS), pp. 146–160.
FoSSaCS-2007-RathkeSS #semantics
Semantic Barbs and Biorthogonality (JR, VS, PS), pp. 302–316.
FoSSaCS-2006-BaldanCHKS #process #term rewriting
Processes for Adhesive Rewriting Systems (PB, AC, TH, BK, PS), pp. 202–216.
Toposes Are Adhesive (SL, PS), pp. 184–198.
Reactive Systems over Cospans (VS, PS), pp. 311–320.
FoSSaCS-2004-LackS #category theory
Adhesive Categories (SL, PS), pp. 273–288.
FoSSaCS-2003-SassoneS #bisimulation
Deriving Bisimulation Congruences: 2-Categories Vs Precategories (VS, PS), pp. 409–424.
ESOP-2017-BonchiGKSZ #confluence #graph grammar #interface
Confluence of Graph Rewriting with Interfaces (FB, FG, AK, PS, FZ), pp. 141–169.
CSL-2018-BehrS #algebra #category theory
Rule Algebras for Adhesive Categories (NB, PS), p. 21.
CSL-2018-BonchiSS #query #visual notation
Graphical Conjunctive Queries (FB, JS, PS), p. 23.
POPL-2019-BonchiHPSZ #algebra #concurrent #diagrams #linear
Diagrammatic algebra: from linear to concurrent systems (FB, JH, RP, PS, FZ), p. 28.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.