P. Sobocinski
发表
P. Sobocinski,
1999
.
F. Bonchi,
P. Sobocinski,
R. Piedeleu,
2019
.
B. König,
A. Corradini,
Paolo Baldan,
2009
.
B. König,
A. Corradini,
Paolo Baldan,
2009
.
P. Sobocinski,
J. Rathke,
2007
.
P. Sobocinski,
2005
.
Elena Di Lavore,
Jules Hedges,
P. Sobocinski,
2020,
CSL.
P. Sobocinski,
2007
.
P. Sobocinski,
2004
.
F. Bonchi,
P. Sobocinski,
R. Piedeleu,
2019
.
B. König,
A. Corradini,
Paolo Baldan,
2006
.
P. Sobocinski,
J. Rathke,
2008,
Inf. Comput..
P. Sobocinski,
2022
.
F. Gadducci,
A. Kissinger,
F. Bonchi,
2021,
Mathematical Structures in Computer Science.
Reiko Heckel,
Vincent Danos,
Pawel Sobocinski,
2014,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Reiko Heckel,
Vincent Danos,
Pawel Sobocinski,
2014,
ICGT.
R. Heckel,
V. Danos,
P. Sobocinski,
2014
.
Vladimiro Sassone,
Pawel Sobocinski,
V. Sassone,
2002,
EXPRESS.
Pawel Sobocinski,
Stephen Lack,
Peter T. Johnstone,
2007,
CALCO.
Pawel Sobocinski,
Stephen Lack,
S. Lack,
2005,
RAIRO Theor. Informatics Appl..
Pawel Sobocinski,
Stephen Lack,
S. Lack,
2004,
FoSSaCS.
Fabio Gadducci,
Aleks Kissinger,
Filippo Bonchi,
2017,
ESOP.
Roberto Bruni,
Ugo Montanari,
Pawel Sobocinski,
2013,
Log. Methods Comput. Sci..
Andrea Corradini,
Paolo Baldan,
Barbara König,
2014,
Mathematical Structures in Computer Science.
Andrea Corradini,
Paolo Baldan,
Barbara König,
2009,
CALCO.
Andrea Corradini,
Paolo Baldan,
Barbara König,
2006,
FoSSaCS.
Pawel Sobocinski,
P. Sobocinski,
2015,
J. Comput. Syst. Sci..
F. Gadducci,
A. Kissinger,
F. Bonchi,
2020,
J. ACM.
Frank Hermann,
Andrea Corradini,
Pawel Sobocinski,
2008,
Appl. Categorical Struct..
Pawel Sobocinski,
Nathan Haydon,
P. Sobocinski,
2020,
Diagrams.
F. Górski,
K. Walczak,
P. Zawadzki,
2022,
Web3D.
Maciej Wielgus,
Filip Górski,
Rafal Wojciechowski,
2020,
EuroVR.
Filippo Bonchi,
Pawel Sobocinski,
Fabio Zanasi,
2014,
ArXiv.
Filippo Bonchi,
Fabio Zanasi,
Robin Piedeleu,
2019,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Filippo Bonchi,
Pawel Sobocinski,
Fabio Zanasi,
2019,
Proc. ACM Program. Lang..
Filippo Bonchi,
Pawel Sobocinski,
Fabio Zanasi,
2014,
CONCUR.
Filippo Bonchi,
Pawel Sobocinski,
Fabio Zanasi,
2014,
FoSSaCS.
Filippo Bonchi,
Pawel Sobocinski,
Jens Seeber,
2018,
CSL.
Filippo Bonchi,
Pawel Sobocinski,
Fabio Zanasi,
2018,
J. Log. Algebraic Methods Program..
Filippo Bonchi,
Pawel Sobocinski,
Fabio Zanasi,
2017,
Inf. Comput..
Fabio Gadducci,
Aleks Kissinger,
Filippo Bonchi,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Filippo Bonchi,
Pawel Sobocinski,
Fabio Zanasi,
2015,
POPL.
P. W. Wilson,
P. Sobocinski,
F. Zanasi,
2019
.
Filippo Bonchi,
Dusko Pavlovic,
Pawel Sobocinski,
2017,
CONCUR.
Filippo Bonchi,
Fabio Zanasi,
Robin Piedeleu,
2021,
Inf. Comput..
Filippo Bonchi,
Pawel Sobocinski,
Alessandro Di Giorgio,
2021,
FSTTCS.
Filippo Bonchi,
Pawel Sobocinski,
Fabio Zanasi,
2021,
IFIP's Exciting First 60+ Years.
Vladimiro Sassone,
Pawel Sobocinski,
V. Sassone,
2005,
Theor. Comput. Sci..
Vladimiro Sassone,
Pawel Sobocinski,
V. Sassone,
2004
.
Vladimiro Sassone,
Pawel Sobocinski,
V. Sassone,
2003,
FoSSaCS.
Sassone,
Paweł Sobociński,
P. Sobocinski,
2004
.
Vladimiro Sassone,
Pawel Sobocinski,
Bartek Klin,
2005,
CALCO.
Vladimiro Sassone,
Pawel Sobocinski,
V. Sassone,
2005,
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Pawel Sobocinski,
Nicolas Behr,
Nicolas Behr,
2018,
CSL.
Pawel Sobocinski,
P. Sobocinski,
2016,
DCM.
Pawel Sobocinski,
Owen Stephens,
P. Sobocinski,
2014,
Petri Nets.
Filippo Bonchi,
Dusko Pavlovic,
Pawel Sobocinski,
2017,
ArXiv.
Apiwat Chantawibul,
Pawel Sobocinski,
P. Sobocinski,
2015,
MFPS.
Julian Rathke,
Pawel Sobocinski,
Owen Stephens,
2014,
RP.
Filippo Bonchi,
Fabio Zanasi,
Robin Piedeleu,
2020,
FoSSaCS.
Filippo Bonchi,
Pawel Sobocinski,
Fabio Zanasi,
2019,
CONCUR.
Julian Rathke,
Vladimiro Sassone,
Pawel Sobocinski,
2007,
FoSSaCS.
Bartek Klin,
Pawel Sobocinski,
Bartek Klin,
2003
.
Vladimiro Sassone,
Pawel Sobocinski,
V. Sassone,
2005,
PNGT@ICGT.
Vladimiro Sassone,
Pawel Sobocinski,
V. Sassone,
2003,
Nord. J. Comput..
Julian Rathke,
Pawel Sobocinski,
P. Sobocinski,
2008,
IFIP TCS.
Pawel Sobocinski,
P. Sobocinski,
2013,
CALCO.
Pawel Sobocinski,
P. Sobocinski,
2010,
CONCUR.
Julian Rathke,
Pawel Sobocinski,
Owen Stephens,
2013,
ArXiv.
K. Walczak,
P. Sobocinski,
Mikołaj Maik,
2022,
2022 International Conference on Cyberworlds (CW).
João Paixão,
Pawel Sobocinski,
P. Sobocinski,
2020,
SBMF.
Pawel Sobocinski,
Tobias Heindel,
T. Heindel,
2011,
Log. Methods Comput. Sci..
P. Sobocinski,
Stephen Lack,
2004,
FoSSaCS.
Krzysztof Walczak,
Pawel Sobocinski,
Jakub Flotynski,
2021,
KES.
Pawel Sobocinski,
P. Sobocinski,
2012,
CMCS.