עקוב אחר
Pawel Sobocinski
Pawel Sobocinski
Tallinn University of Technology
כתובת אימייל מאומתת בדומיין cs.ioc.ee - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
Adhesive categories‏
S Lack, P Sobociński‏
International Conference on Foundations of Software Science and Computation …, 2004‏
3092004
Adhesive and quasiadhesive categories‏
S Lack, P Sobociński‏
RAIRO-Theoretical Informatics and Applications 39 (3), 511-545, 2005‏
2702005
Interacting hopf algebras‏
F Bonchi, P Sobociński, F Zanasi‏
Journal of Pure and Applied Algebra 221 (1), 144-184, 2017‏
1202017
A categorical semantics of signal flow graphs‏
F Bonchi, P Sobociński, F Zanasi‏
International Conference on Concurrency Theory, 435-450, 2014‏
1182014
Full abstraction for signal flow graphs‏
F Bonchi, P Sobocinski, F Zanasi‏
ACM SIGPLAN Notices 50 (1), 515-526, 2015‏
1122015
Reactive systems over cospans‏
V Sassone, P Sobocinski‏
20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 311-320, 2005‏
1112005
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‏
762019
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‏
742019
Deriving bisimulation congruences using 2-categories‏
V Sassone, P Sobocinski‏
Nordic Journal of Computing 10, 163-183, 2003‏
732003
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‏
712016
Representations of Petri net interactions‏
P Sobociński‏
International Conference on Concurrency Theory, 554-568, 2010‏
672010
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‏
662017
Toposes are adhesive‏
S Lack, P Sobociński‏
International Conference on Graph Transformation, 184-198, 2006‏
652006
Quasitoposes, quasiadhesive categories and Artin glueing‏
PT Johnstone, S Lack, P Sobociński‏
Algebra and Coalgebra in Computer Science: Second International Conference …, 2007‏
582007
String diagram rewrite theory I: rewriting with Frobenius structure‏
F Bonchi, F Gadducci, A Kissinger, P Sobocinski, F Zanasi‏
Journal of the ACM (JACM) 69 (2), 1-58, 2022‏
572022
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‏
572016
A connector algebra for P/T nets interactions‏
R Bruni, H Melgratti, U Montanari‏
International Conference on Concurrency Theory, 312-326, 2011‏
57*2011
A congruence for Petri nets‏
V Sassone, P Sobociński‏
Electronic Notes in Theoretical Computer Science 127 (2), 107-120, 2005‏
492005
Interacting bialgebras are Frobenius‏
F Bonchi, P Sobociński, F Zanasi‏
Foundations of Software Science and Computation Structures: 17th …, 2014‏
472014
Connector algebras for C/E and P/T nets' interactions‏
R Bruni, H Melgratti, U Montanari, P Sobocinski‏
Logical Methods in Computer Science 9, 2013‏
472013
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20