Follow
Pawel Sobocinski
Pawel Sobocinski
Professor of Computer Science, Tallinn University of Technology
Verified email at cs.ioc.ee - Homepage
Title
Cited by
Cited by
Year
Adhesive categories
S Lack, P Sobociński
Foundations of Software Science and Computation Structures: 7th …, 2004
2722004
Adhesive and quasiadhesive categories
S Lack, P Sobociński
RAIRO-Theoretical Informatics and Applications 39 (3), 511-545, 2005
2292005
Reactive systems over cospans
V Sassone, P Sobocinski
20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 311-320, 2005
1042005
A categorical semantics of signal flow graphs
F Bonchi, P Sobociński, F Zanasi
CONCUR 2014–Concurrency Theory: 25th International Conference, CONCUR 2014 …, 2014
982014
Full abstraction for signal flow graphs
F Bonchi, P Sobocinski, F Zanasi
ACM SIGPLAN Notices 50 (1), 515-526, 2015
932015
Interacting hopf algebras
F Bonchi, P Sobociński, F Zanasi
Journal of Pure and Applied Algebra 221 (1), 144-184, 2017
892017
A connector algebra for P/T nets interactions
R Bruni, H Melgratti, U Montanari
CONCUR 2011–Concurrency Theory: 22nd International Conference, CONCUR 2011 …, 2011
712011
Deriving bisimulation congruences using 2-categories
V Sassone, P Sobocinski
Nordic Journal of Computing 10, 163-183, 2003
652003
Toposes are adhesive
S Lack, P Sobociński
Graph Transformations: Third International Conference, ICGT 2006 Natal, Rio …, 2006
592006
Rewriting modulo symmetric monoidal structure
F Bonchi, F Gadducci, A Kissinger, P Sobociński, F Zanasi
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
562016
Representations of Petri net interactions
P Sobociński
CONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010 …, 2010
552010
The calculus of signal flow diagrams I: linear relations on streams
F Bonchi, P Sobociński, F Zanasi
Information and Computation 252, 2-29, 2017
492017
Deriving process congruences from reaction rules
P Sobocinski
PhD thesis, BRICS, University of Aarhus, 2004
462004
A categorical approach to open and interconnected dynamical systems
B Fong, P Sobociński, P Rapisarda
Proceedings of the 31st annual ACM/IEEE symposium on Logic in Computer …, 2016
452016
Diagrammatic algebra: from linear to concurrent systems
F Bonchi, J Holland, R Piedeleu, P Sobociński, F Zanasi
Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019
432019
Interacting Bialgebras Are Frobenius.
F Bonchi, P Sobocinski, F Zanasi
FoSSaCS, 351-365, 2014
432014
A congruence for Petri nets
V Sassone, P Sobociński
Electronic Notes in Theoretical Computer Science 127 (2), 107-120, 2005
432005
General reversibility
V Danos, J Krivine, P Sobociński
Electronic Notes in Theoretical Computer Science 175 (3), 75-86, 2007
422007
Graphical affine algebra
F Bonchi, R Piedeleu, P Sobociński, F Zanasi
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2019
412019
Deconstructing behavioural theories of mobility
J Rathke, P Sobociński
Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008
412008
The system can't perform the operation now. Try again later.
Articles 1–20