Pawel Sobocinski

Cited by

	All	Since 2018
Citations	2537	1024
h-index	28	19
i10-index	53	26

280

140

210

2003200420052006200720082009201020112012201320142015201620172018201920202021202220239 65 72 78 74 137 128 102 109 101 88 101 129 104 143 133 139 175 235 269 72

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 ZanasiAssociate ProfessorVerified email at ucl.ac.uk
Vladimiro SassoneUniversity of SouthamptonVerified email at ecs.soton.ac.uk
Stephen LackMacquarie UniversityVerified email at mq.edu.au
Fabio GadducciProfessore di Informatica, Università di PisaVerified email at unipi.it
Aleks KissingerAssociate Professor, University of OxfordVerified email at cs.ox.ac.uk
Andrea CorradiniProfessor of Computer Science, University 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
Roberto BruniUniversity of PisaVerified email at di.unipi.it
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikVerified email at uni-due.de
Hernán MelgrattiUniversidad de Buenos AiresVerified email at dc.uba.ar
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
Paolo RapisardaFull Professor, University of SouthamptonVerified email at ecs.soton.ac.uk
Brendan FongMassachusetts Institute of TechnologyVerified email at mit.edu
Jean KrivineCNRS and Université de ParisVerified email at irif.fr
Reiko HeckelProfessor of Software Engineering, Dept. of Computer Science, University of LeicesterVerified email at mcs.le.ac.uk

Pawel Sobocinski

Professor of Computer Science, 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 Foundations of Software Science and Computation Structures: 7th …, 2004	279	2004
Adhesive and quasiadhesive categories S Lack, P Sobociński RAIRO-Theoretical Informatics and Applications 39 (3), 511-545, 2005	235	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 CONCUR 2014–Concurrency Theory: 25th International Conference, CONCUR 2014 …, 2014	98	2014
Full abstraction for signal flow graphs F Bonchi, P Sobocinski, F Zanasi ACM SIGPLAN Notices 50 (1), 515-526, 2015	95	2015
Interacting hopf algebras F Bonchi, P Sobociński, F Zanasi Journal of Pure and Applied Algebra 221 (1), 144-184, 2017	92	2017
A connector algebra for P/T nets interactions R Bruni, H Melgratti, U Montanari CONCUR 2011–Concurrency Theory: 22nd International Conference, CONCUR 2011 …, 2011	73	2011
Deriving bisimulation congruences using 2-categories V Sassone, P Sobocinski Nordic Journal of Computing 10, 163-183, 2003	66	2003
Toposes are adhesive S Lack, P Sobociński Graph Transformations: Third International Conference, ICGT 2006 Natal, Rio …, 2006	59	2006
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	57	2016
Representations of Petri net interactions P Sobociński CONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010 …, 2010	57	2010
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
Deriving process congruences from reaction rules P Sobocinski PhD thesis, BRICS, University of Aarhus, 2004	47	2004
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	45	2019
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	45	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	43	2019
Interacting Bialgebras Are Frobenius. F Bonchi, P Sobocinski, F Zanasi FoSSaCS, 351-365, 2014	43	2014
A congruence for Petri nets V Sassone, P Sobociński Electronic Notes in Theoretical Computer Science 127 (2), 107-120, 2005	43	2005
General reversibility V Danos, J Krivine, P Sobociński Electronic Notes in Theoretical Computer Science 175 (3), 75-86, 2007	42	2007
Quasitoposes, quasiadhesive categories and Artin glueing PT Johnstone, S Lack, P Sobociński Algebra and Coalgebra in Computer Science: Second International Conference …, 2007	42	2007

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