×

zbMATH — the first resource for mathematics

Sobociński, Paweł

Compute Distance To:
Author ID: sobocinski.pawel Recent zbMATH articles by "Sobociński, Paweł"
Published as: Sobociński, Paweł; Sobocinski, Pawel; Sobociński, Pawel; Sobocinski, P.
Documents Indexed: 56 Publications since 2002, including 4 Books

Publications by Year

Citations contained in zbMATH Open

43 Publications have been cited 285 times in 141 Documents Cited by Year
Adhesive and quasiadhesive categories. Zbl 1078.18010
Lack, Stephen; Sobociński, Paweł
46
2005
Adhesive categories. Zbl 1126.68447
Lack, Stephen; Sobociński, Paweł
22
2004
A categorical semantics of signal flow graphs. Zbl 1417.68119
Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio
16
2014
Deriving structural labelled transitions for mobile ambients. Zbl 1160.68474
Rathke, Julian; Sobociński, Paweł
13
2008
Deriving bisimulation congruences using 2-categories. Zbl 1062.68082
Sassone, Vladimiro; Sobociński, Paweł
12
2003
Toposes are adhesive. Zbl 1157.18303
Lack, Stephen; Sobociński, Paweł
12
2006
Connector algebras for C/E and P/T nets’ interactions. Zbl 1274.68224
Bruni, Roberto; Melgratti, Hernan; Montanari, Ugo; Sobocinski, Pawel
11
2013
Full abstraction for signal flow graphs. Zbl 1346.68143
Bonchi, Filippo; Sobocinski, Pawel; Zanasi, Fabio
11
2015
Representations of Petri net interactions. Zbl 1287.68142
Sobociński, Paweł
10
2010
Semantic barbs and biorthogonality. Zbl 1195.68073
Rathke, Julian; Sassone, Vladimiro; Sobociński, Paweł
8
2007
General reversibility. Zbl 1277.68175
Danos, Vincent; Krivine, Jean; Sobociński, Paweł
8
2007
Van Kampen colimits as bicolimits in Span. Zbl 1239.18003
Heindel, Tobias; Sobociński, Paweł
8
2009
Interacting bialgebras are Frobenius. Zbl 1395.18009
Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio
8
2014
Labels from reductions: Towards a general theory. Zbl 1151.68536
Klin, Bartek; Sassone, Vladimiro; Sobociński, Paweł
7
2005
Locating reaction with 2-categories. Zbl 1070.68107
Sassone, Vladimiro; Sobociński, Paweł
7
2005
A congruence for Petri nets. Zbl 1272.68320
Sassone, Vladimiro; Sobociński, Paweł
6
2005
A categorical approach to open and interconnected dynamical systems. Zbl 1401.68134
Fong, Brendan; Sobociński, Paweł; Rapisarda, Paolo
6
2016
Deriving weak bisimulation congruences from reduction systems. Zbl 1134.68428
Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo; Sobociński, Paweł
5
2005
Quasitoposes, quasiadhesive categories and Artin glueing. Zbl 1214.18003
Johnstone, Peter T.; Lack, Stephen; Sobociński, Paweł
5
2007
Deriving bisimulation congruences: a 2-categorical approach. Zbl 1270.68224
Sassone, Vladimiro; Sobociński, Pawel
5
2002
Interacting Hopf algebras. Zbl 1345.68229
Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio
5
2017
Syntactic formats for free. An abstract approach to process equivalence. Zbl 1274.68241
Klin, Bartek; Sobociński, Paweł
4
2003
Unfolding grammars in adhesive categories. Zbl 1239.68036
Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł
4
2009
Nets, relations and linking diagrams. Zbl 1394.68256
Sobociński, Paweł
4
2013
The calculus of signal flow diagrams. I: Linear relations on streams. Zbl 1355.68188
Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio
4
2017
Processes for adhesive rewriting systems. Zbl 1180.68165
Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł
3
2006
Subobject transformation systems. Zbl 1153.18002
Corradini, Andrea; Hermann, Frank; Sobociński, Paweł
3
2008
Making the unobservable, unobservable. Zbl 1291.68290
Rathke, Julian; Sobociński, Paweł
3
2009
Confluence of graph rewriting with interfaces. Zbl 06721320
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio
3
2017
Compositional reachability in Petri nets. Zbl 1448.68351
Rathke, Julian; Sobociński, Paweł; Stephens, Owen
3
2014
Rewriting modulo symmetric monoidal structure. Zbl 1395.68162
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio
3
2016
Deriving bisimulation congruences: 2-categories vs precategories. Zbl 1029.68111
Sassone, Vladimiro; Sobociński, Paweł
2
2003
Deriving structural labelled transitions for mobile ambients. Zbl 1214.68251
Rathke, Julian; Sobociński, Paweł
2
2010
Adhesivity is not enough: local Church-Rosser revisited. Zbl 1343.68126
Baldan, Paolo; Gadducci, Fabio; Sobociński, Pawel
2
2011
Process congruences from reaction rules. Zbl 1169.68553
Sobociński, Pawel
2
2004
A programming language for spatial distribution of net systems. Zbl 1410.68259
Sobociński, Paweł; Stephens, Owen
2
2014
Relational presheaves as labelled transition systems. Zbl 1328.68139
Sobociński, Paweł
2
2012
Transformation and refinement of rigid structures. Zbl 1425.68157
Danos, Vincent; Heckel, Reiko; Sobocinski, Pawel
2
2014
Lawvere categories as composed props. Zbl 06603963
Bonchi, Filippo; Sobocinski, Pawel; Zanasi, Fabio
2
2016
Being Van Kampen is a universal property. Zbl 1237.18003
Heindel, Tobias; Sobociński, Paweł
1
2011
WiCcA: LTS generation tool for wire calculus. Zbl 1344.68169
Lantair, Jennifer; Sobociński, Paweł
1
2011
Relational presheaves, change of base and weak simulation. Zbl 1327.68170
Sobociński, Paweł
1
2015
A well-behaved LTS for the pi-calculus (abstract). Zbl 1278.68223
Sobociński, Paweł
1
2007
Interacting Hopf algebras. Zbl 1345.68229
Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio
5
2017
The calculus of signal flow diagrams. I: Linear relations on streams. Zbl 1355.68188
Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio
4
2017
Confluence of graph rewriting with interfaces. Zbl 06721320
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio
3
2017
A categorical approach to open and interconnected dynamical systems. Zbl 1401.68134
Fong, Brendan; Sobociński, Paweł; Rapisarda, Paolo
6
2016
Rewriting modulo symmetric monoidal structure. Zbl 1395.68162
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio
3
2016
Lawvere categories as composed props. Zbl 06603963
Bonchi, Filippo; Sobocinski, Pawel; Zanasi, Fabio
2
2016
Full abstraction for signal flow graphs. Zbl 1346.68143
Bonchi, Filippo; Sobocinski, Pawel; Zanasi, Fabio
11
2015
Relational presheaves, change of base and weak simulation. Zbl 1327.68170
Sobociński, Paweł
1
2015
A categorical semantics of signal flow graphs. Zbl 1417.68119
Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio
16
2014
Interacting bialgebras are Frobenius. Zbl 1395.18009
Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio
8
2014
Compositional reachability in Petri nets. Zbl 1448.68351
Rathke, Julian; Sobociński, Paweł; Stephens, Owen
3
2014
A programming language for spatial distribution of net systems. Zbl 1410.68259
Sobociński, Paweł; Stephens, Owen
2
2014
Transformation and refinement of rigid structures. Zbl 1425.68157
Danos, Vincent; Heckel, Reiko; Sobocinski, Pawel
2
2014
Connector algebras for C/E and P/T nets’ interactions. Zbl 1274.68224
Bruni, Roberto; Melgratti, Hernan; Montanari, Ugo; Sobocinski, Pawel
11
2013
Nets, relations and linking diagrams. Zbl 1394.68256
Sobociński, Paweł
4
2013
Relational presheaves as labelled transition systems. Zbl 1328.68139
Sobociński, Paweł
2
2012
Adhesivity is not enough: local Church-Rosser revisited. Zbl 1343.68126
Baldan, Paolo; Gadducci, Fabio; Sobociński, Pawel
2
2011
Being Van Kampen is a universal property. Zbl 1237.18003
Heindel, Tobias; Sobociński, Paweł
1
2011
WiCcA: LTS generation tool for wire calculus. Zbl 1344.68169
Lantair, Jennifer; Sobociński, Paweł
1
2011
Representations of Petri net interactions. Zbl 1287.68142
Sobociński, Paweł
10
2010
Deriving structural labelled transitions for mobile ambients. Zbl 1214.68251
Rathke, Julian; Sobociński, Paweł
2
2010
Van Kampen colimits as bicolimits in Span. Zbl 1239.18003
Heindel, Tobias; Sobociński, Paweł
8
2009
Unfolding grammars in adhesive categories. Zbl 1239.68036
Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł
4
2009
Making the unobservable, unobservable. Zbl 1291.68290
Rathke, Julian; Sobociński, Paweł
3
2009
Deriving structural labelled transitions for mobile ambients. Zbl 1160.68474
Rathke, Julian; Sobociński, Paweł
13
2008
Subobject transformation systems. Zbl 1153.18002
Corradini, Andrea; Hermann, Frank; Sobociński, Paweł
3
2008
Semantic barbs and biorthogonality. Zbl 1195.68073
Rathke, Julian; Sassone, Vladimiro; Sobociński, Paweł
8
2007
General reversibility. Zbl 1277.68175
Danos, Vincent; Krivine, Jean; Sobociński, Paweł
8
2007
Quasitoposes, quasiadhesive categories and Artin glueing. Zbl 1214.18003
Johnstone, Peter T.; Lack, Stephen; Sobociński, Paweł
5
2007
A well-behaved LTS for the pi-calculus (abstract). Zbl 1278.68223
Sobociński, Paweł
1
2007
Toposes are adhesive. Zbl 1157.18303
Lack, Stephen; Sobociński, Paweł
12
2006
Processes for adhesive rewriting systems. Zbl 1180.68165
Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł
3
2006
Adhesive and quasiadhesive categories. Zbl 1078.18010
Lack, Stephen; Sobociński, Paweł
46
2005
Labels from reductions: Towards a general theory. Zbl 1151.68536
Klin, Bartek; Sassone, Vladimiro; Sobociński, Paweł
7
2005
Locating reaction with 2-categories. Zbl 1070.68107
Sassone, Vladimiro; Sobociński, Paweł
7
2005
A congruence for Petri nets. Zbl 1272.68320
Sassone, Vladimiro; Sobociński, Paweł
6
2005
Deriving weak bisimulation congruences from reduction systems. Zbl 1134.68428
Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo; Sobociński, Paweł
5
2005
Adhesive categories. Zbl 1126.68447
Lack, Stephen; Sobociński, Paweł
22
2004
Process congruences from reaction rules. Zbl 1169.68553
Sobociński, Pawel
2
2004
Deriving bisimulation congruences using 2-categories. Zbl 1062.68082
Sassone, Vladimiro; Sobociński, Paweł
12
2003
Syntactic formats for free. An abstract approach to process equivalence. Zbl 1274.68241
Klin, Bartek; Sobociński, Paweł
4
2003
Deriving bisimulation congruences: 2-categories vs precategories. Zbl 1029.68111
Sassone, Vladimiro; Sobociński, Paweł
2
2003
Deriving bisimulation congruences: a 2-categorical approach. Zbl 1270.68224
Sassone, Vladimiro; Sobociński, Pawel
5
2002
all top 5

Cited by 169 Authors

19 Bonchi, Filippo
18 Sobociński, Paweł
13 Gadducci, Fabio
11 Baldan, Paolo
11 Corradini, Andrea
11 Montanari, Ugo G.
9 Ehrig, Hartmut
8 Bruni, Roberto
8 Orejas, Fernando
8 Zanasi, Fabio
7 König, Barbara
6 Heindel, Tobias
6 Monreale, Giacoma Valentina
6 Ribeiro, Leila
5 Fong, Brendan
5 Melgratti, Hernán
4 Baez, John C.
4 Danos, Vincent
4 Golas, Ulrike
4 Lambers, Leen
4 Prange, Ulrike
3 Behr, Nicolas
3 Duval, Dominique
3 Gorla, Daniele
3 Hermann, Frank
3 Kissinger, Aleks
3 Klin, Bartek
3 König, Harald
3 Krivine, Jean
2 Bracciali, Andrea
2 Coya, Brandon
2 Deng, Yuxin
2 Garner, Richard
2 Habel, Annegret
2 Hirschowitz, Tom
2 Hosseini, Seyed Naser
2 Kahl, Wolfram
2 Kosiol, Jens
2 Koutny, Maciej
2 Lack, Stephen
2 Miculan, Marino
2 Milner, Robin
2 Phillips, Iain W.
2 Prost, Frédéric
2 Rathke, Julian
2 Sassone, Vladimiro
2 Stefani, Jean-Bernard
2 Taentzer, Gabriele
2 Wolter, Uwe E.
1 Abramsky, Samson
1 Amadio, Roberto M.
1 Andersen, Jakob Lykke
1 Arbab, Farhad
1 Arendt, Thorsten
1 Azzi, Guilherme Grochau
1 Bacci, Giorgio
1 Ballardin, Francesco
1 Barylska, Kamila
1 Boutillier, Pierre
1 Braatz, Benjamin
1 Brengos, Tomasz
1 Bruggink, H. J. Sander
1 Buckley, Mitchell
1 Cai, Xiaojuan
1 Cervesato, Iliano
1 Chantawibul, Apiwat
1 Chatain, Thomas
1 Cicala, Daniel
1 Coecke, Bob
1 Cottrell, Thomas
1 Courser, Kenny
1 Curien, Pierre-Louis
1 de Frutos-Escrig, David
1 de Lara, Juan
1 Dershowitz, Nachum
1 Di Gianantonio, Pietro
1 Durán, Francisco
1 Eberhart, Clovis
1 Echahed, Rachid
1 Ehrhard, Thomas
1 Erdal, Mehmet Akif
1 Fajstrup, Lisbeth
1 Fieremans, Timmy
1 Fritsche, Lars
1 Fujii, Soichiro
1 Gabriel, Karsten
1 Garnier, Ilias
1 Genovese, Fabrizio
1 Goncharov, Sergeĭ Savost’yanovich
1 Graversen, Eva
1 Gregorio-Rodríguez, Carlos
1 Grohmann, Davide
1 Guerra, Esther
1 Haar, Stefan
1 Heckel, Reiko
1 Hennessy, Matthew C. B.
1 Holland, Joshua
1 Honsell, Furio
1 Jacobs, Bart
1 Jakob, Julian
...and 69 more Authors

Citations by Year