Pawel Sobocinski

Cited by

	All	Since 2018
Citations	2754	1212
h-index	31	19
i10-index	62	34

280

140

210

20032004200520062007200820092010201120122013201420152016201720182019202020212022202311 65 71 82 75 133 125 108 120 95 91 106 133 108 138 136 142 172 231 266 261

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
Tobias HeindelTU BerlinVerified email at tu-berlin.de
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
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 LavoreTallinn University of TechnologyVerified email at ttu.ee
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	291	2004
Adhesive and quasiadhesive categories S Lack, P Sobociński RAIRO-Theoretical Informatics and Applications 39 (3), 511-545, 2005	248	2005
Reactive systems over cospans V Sassone, P Sobocinski 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 311-320, 2005	105	2005
A categorical semantics of signal flow graphs F Bonchi, P Sobociński, F Zanasi International Conference on Concurrency Theory, 435-450, 2014	102	2014
Interacting hopf algebras F Bonchi, P Sobociński, F Zanasi Journal of Pure and Applied Algebra 221 (1), 144-184, 2017	99	2017
Full abstraction for signal flow graphs F Bonchi, P Sobocinski, F Zanasi ACM SIGPLAN Notices 50 (1), 515-526, 2015	99	2015
Deriving bisimulation congruences using 2-categories V Sassone, P Sobocinski Nordic Journal of Computing 10, 163-183, 2003	66	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	62	2016
Toposes are adhesive S Lack, P Sobociński International Conference on Graph Transformation, 184-198, 2006	62	2006
Representations of Petri net interactions P Sobociński International Conference on Concurrency Theory, 554-568, 2010	61	2010
A connector algebra for P/T nets interactions R Bruni, H Melgratti, U Montanari International Conference on Concurrency Theory, 312-326, 2011	57	2011
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	53	2019
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	52	2017
Quasitoposes, quasiadhesive categories and Artin glueing PT Johnstone, S Lack, P Sobociński Algebra and Coalgebra in Computer Science: Second International Conference …, 2007	52	2007
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	50	2016
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	49	2019
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
Deriving process congruences from reaction rules P Sobocinski PhD thesis, BRICS, University of Aarhus, 2004	45	2004
Interacting bialgebras are Frobenius F Bonchi, P Sobociński, F Zanasi Foundations of Software Science and Computation Structures: 17th …, 2014	44	2014
A congruence for Petri nets V Sassone, P Sobociński Electronic Notes in Theoretical Computer Science 127 (2), 107-120, 2005	44	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