Pawel Sobocinski

Cited by

	All	Since 2019
Citations	3031	1377
h-index	32	21
i10-index	63	35

300

150

225

200320042005200620072008200920102011201220132014201520162017201820192020202120222023202411 65 74 85 73 134 121 109 115 96 92 107 132 106 128 133 151 176 222 299 271 256

Public access

View all

16 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 ScienceVerified 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
Paolo BaldanProfessor of Computer Science, University of PadovaVerified email at math.unipd.it
Hernán MelgrattiUniversidad de Buenos AiresVerified email at dc.uba.ar
Elena Di LavoreUniversity of PisaVerified email at di.unipi.it
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikVerified email at uni-due.de
Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureVerified email at ens.fr
Joshua HollandUniversity of SouthamptonVerified email at soton.ac.uk
dusko pavlovicProfessor at University of HawaiiVerified email at hawaii.edu
Bartek KlinUniversity of OxfordVerified email at cs.ox.ac.uk
Mario RománUniversity 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	303	2004
Adhesive and quasiadhesive categories S Lack, P Sobociński RAIRO-Theoretical Informatics and Applications 39 (3), 511-545, 2005	259	2005
Interacting hopf algebras F Bonchi, P Sobociński, F Zanasi Journal of Pure and Applied Algebra 221 (1), 144-184, 2017	117	2017
A categorical semantics of signal flow graphs F Bonchi, P Sobociński, F Zanasi International Conference on Concurrency Theory, 435-450, 2014	113	2014
Reactive systems over cospans V Sassone, P Sobocinski 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 311-320, 2005	107	2005
Full abstraction for signal flow graphs F Bonchi, P Sobocinski, F Zanasi ACM SIGPLAN Notices 50 (1), 515-526, 2015	106	2015
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	70	2019
Deriving bisimulation congruences using 2-categories V Sassone, P Sobocinski Nordic Journal of Computing 10, 163-183, 2003	69	2003
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	68	2019
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	68	2016
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	56	2016
A connector algebra for P/T nets interactions R Bruni, H Melgratti, U Montanari International Conference on Concurrency Theory, 312-326, 2011	56*	2011
Quasitoposes, quasiadhesive categories and Artin glueing PT Johnstone, S Lack, P Sobociński Algebra and Coalgebra in Computer Science: Second International Conference …, 2007	55	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	50	2022
Interacting bialgebras are Frobenius F Bonchi, P Sobociński, F Zanasi Foundations of Software Science and Computation Structures: 17th …, 2014	46	2014
A congruence for Petri nets V Sassone, P Sobociński Electronic Notes in Theoretical Computer Science 127 (2), 107-120, 2005	46	2005
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