Pawel Sobocinski

Cited by

	All	Since 2020
Citations	3124	1313
h-index	32	22
i10-index	65	36

300

150

225

2003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202511 65 74 85 73 134 121 109 115 100 89 106 132 112 122 133 149 176 221 299 267 280 68

Public access

View all

15 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Filippo BonchiCNRS ENS-LyonVerified email at ens-lyon.fr
Fabio ZanasiProfessor of Computer Science, University College LondonVerified email at ucl.ac.uk
Vladimiro SassoneUniversity of SouthamptonVerified email at ecs.soton.ac.uk
Fabio GadducciProfessore di Informatica, Università di PisaVerified email at unipi.it
Stephen LackMacquarie UniversityVerified email at mq.edu.au
Julian RathkeUniversity of SouthamptonVerified email at ecs.soton.ac.uk
Aleks KissingerAssociate Professor, University of OxfordVerified email at cs.ox.ac.uk
Robin PiedeleuPostdoctoral researcher at University College LondonVerified email at ucl.ac.uk
Andrea CorradiniProfessor of Computer Science, University of PisaVerified email at di.unipi.it
Roberto BruniUniversity of PisaVerified email at di.unipi.it
Tobias HeindelTU BerlinVerified email at tu-berlin.de
Elena Di LavoreUniversity of PisaVerified email at di.unipi.it
Paolo BaldanProfessor of Computer Science, University of PadovaVerified email at math.unipd.it
Hernán MelgrattiUniversidad de Buenos AiresVerified email at dc.uba.ar
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikVerified email at uni-due.de
Joshua HollandUniversity of SouthamptonVerified email at soton.ac.uk
Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureVerified email at ens.fr
Mario RománUniversity of OxfordVerified email at cs.ox.ac.uk
dusko pavlovicProfessor at University of HawaiiVerified email at hawaii.edu
Bartek KlinUniversity of OxfordVerified email at cs.ox.ac.uk

Pawel Sobocinski

Tallinn University of Technology

Verified email at cs.ioc.ee - Homepage

Concurrency Theory Category Theory Programming Languages Semantics Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Adhesive categories S Lack, P Sobociński International Conference on Foundations of Software Science and Computation …, 2004	306	2004
Adhesive and quasiadhesive categories S Lack, P Sobociński RAIRO-Theoretical Informatics and Applications 39 (3), 511-545, 2005	266	2005
Interacting hopf algebras F Bonchi, P Sobociński, F Zanasi Journal of Pure and Applied Algebra 221 (1), 144-184, 2017	116	2017
A categorical semantics of signal flow graphs F Bonchi, P Sobociński, F Zanasi International Conference on Concurrency Theory, 435-450, 2014	116	2014
Full abstraction for signal flow graphs F Bonchi, P Sobocinski, F Zanasi ACM SIGPLAN Notices 50 (1), 515-526, 2015	109	2015
Reactive systems over cospans V Sassone, P Sobocinski 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 311-320, 2005	107	2005
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	73	2016
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	72	2019
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	71	2019
Deriving bisimulation congruences using 2-categories V Sassone, P Sobocinski Nordic Journal of Computing 10, 163-183, 2003	71	2003
Representations of Petri net interactions P Sobociński International Conference on Concurrency Theory, 554-568, 2010	68	2010
Toposes are adhesive S Lack, P Sobociński International Conference on Graph Transformation, 184-198, 2006	66	2006
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	65	2017
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	58	2016
Quasitoposes, quasiadhesive categories and Artin glueing PT Johnstone, S Lack, P Sobociński Algebra and Coalgebra in Computer Science: Second International Conference …, 2007	58	2007
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	56	2022
A connector algebra for P/T nets interactions R Bruni, H Melgratti, U Montanari International Conference on Concurrency Theory, 312-326, 2011	56*	2011
A congruence for Petri nets V Sassone, P Sobociński Electronic Notes in Theoretical Computer Science 127 (2), 107-120, 2005	47	2005
Interacting bialgebras are Frobenius F Bonchi, P Sobociński, F Zanasi Foundations of Software Science and Computation Structures: 17th …, 2014	46	2014
Deriving process congruences from reaction rules P Sobocinski PhD thesis, BRICS, University of Aarhus, 2004	46	2004

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors