Pawel Sobocinski

Cited by

	All	Since 2019
Citations	2964	1310
h-index	32	20
i10-index	63	34

300

150

225

200320042005200620072008200920102011201220132014201520162017201820192020202120222023202411 65 74 85 73 134 121 109 115 96 92 107 132 106 128 133 151 176 223 293 275 190

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
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikVerified email at uni-due.de
Elena Di LavoreUniversity of PisaVerified email at di.unipi.it
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
Nicolas BehrUniversité Paris Cité, CNRS, IRIF, Paris, FranceVerified email at irif.fr

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	299	2004
Adhesive and quasiadhesive categories S Lack, P Sobociński RAIRO-Theoretical Informatics and Applications 39 (3), 511-545, 2005	255	2005
Interacting hopf algebras F Bonchi, P Sobociński, F Zanasi Journal of Pure and Applied Algebra 221 (1), 144-184, 2017	115	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	106	2005
Full abstraction for signal flow graphs F Bonchi, P Sobocinski, F Zanasi ACM SIGPLAN Notices 50 (1), 515-526, 2015	105	2015
Deriving bisimulation congruences using 2-categories V Sassone, P Sobocinski Nordic Journal of Computing 10, 163-183, 2003	69	2003
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	67	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	66	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	65	2019
Toposes are adhesive S Lack, P Sobociński International Conference on Graph Transformation, 184-198, 2006	65	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	64	2017
Representations of Petri net interactions P Sobociński International Conference on Concurrency Theory, 554-568, 2010	64	2010
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	53	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	47	2022
Interacting bialgebras are Frobenius F Bonchi, P Sobociński, F Zanasi Foundations of Software Science and Computation Structures: 17th …, 2014	46	2014
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	45	2013
A congruence for Petri nets V Sassone, P Sobociński Electronic Notes in Theoretical Computer Science 127 (2), 107-120, 2005	45	2005

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