Pawel Sobocinski

Hivatkozott rá

	Összes	2016 óta
Hivatkozások	2164	784
h-index	28	15
i10-index	49	19

220

110

165

2002200320042005200620072008200920102011201220132014201520162017201820192020202110 13 73 70 88 94 157 138 110 126 114 76 99 134 109 158 144 146 211 9

Társszerzők

Filippo BonchiCNRS ENS-LyonE-mail megerősítve itt: ens-lyon.fr
Fabio ZanasiAssociate Professor at University College LondonE-mail megerősítve itt: ucl.ac.uk
Vladimiro SassoneUniversity of SouthamptonE-mail megerősítve itt: ecs.soton.ac.uk
Stephen LackMacquarie UniversityE-mail megerősítve itt: mq.edu.au
Andrea CorradiniProfessor of Computer Science, University of PisaE-mail megerősítve itt: di.unipi.it
Fabio GadducciProfessore di scienze informatiche, Università di PisaE-mail megerősítve itt: unipi.it
Tobias HeindelTU BerlinE-mail megerősítve itt: tu-berlin.de
Roberto BruniUniversity of PisaE-mail megerősítve itt: di.unipi.it
Paolo BaldanAssociate Professor of Computer Science, University of PadovaE-mail megerősítve itt: math.unipd.it
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikE-mail megerősítve itt: uni-due.de
Aleks KissingerAssociate Professor, University of OxfordE-mail megerősítve itt: cs.ox.ac.uk
Hernán MelgrattiUniversidad de Buenos AiresE-mail megerősítve itt: dc.uba.ar
Bartek KlinUniversity of WarsawE-mail megerősítve itt: mimuw.edu.pl
Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureE-mail megerősítve itt: ens.fr
Joshua HollandUniversity of SouthamptonE-mail megerősítve itt: soton.ac.uk
dusko pavlovicProfessor at University of HawaiiE-mail megerősítve itt: hawaii.edu
Jean KrivineCNRS and Université de ParisE-mail megerősítve itt: irif.fr
Frank HermannSoftware Designer; Carmeq GmbHE-mail megerősítve itt: frank-hermann.de
Paolo RapisardaFull Professor, University of SouthamptonE-mail megerősítve itt: ecs.soton.ac.uk
Brendan FongMassachusetts Institute of TechnologyE-mail megerősítve itt: mit.edu

Pawel Sobocinski

Professor of Computer Science, Tallinn University of Technology

E-mail megerősítve itt: cs.ioc.ee - Kezdőlap

Concurrency Theory Category Theory Programming Languages Semantics Verification


Cím Rendezés hivatkozások szerint Rendezés év szerint Rendezés cím szerint	Hivatkozott rá Hivatkozott rá	Év
Adhesive categories S Lack, P Sobociński International Conference on Foundations of Software Science and Computation …, 2004	250	2004
Adhesive and quasiadhesive categories S Lack, P Sobociński RAIRO-Theoretical Informatics and Applications 39 (3), 511-545, 2005	207	2005
Reactive systems over cospans V Sassone, P Sobocinski 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 311-320, 2005	104	2005
Full abstraction for signal flow graphs F Bonchi, P Sobocinski, F Zanasi ACM SIGPLAN Notices 50 (1), 515-526, 2015	72	2015
A categorical semantics of signal flow graphs F Bonchi, P Sobociński, F Zanasi International Conference on Concurrency Theory, 435-450, 2014	72	2014
A connector algebra for P/T nets interactions R Bruni, H Melgratti, U Montanari International Conference on Concurrency Theory, 312-326, 2011	68	2011
Deriving bisimulation congruences using 2-categories V Sassone, P Sobocinski Nordic Journal of Computing 10, 163-183, 2003	65	2003
Interacting Hopf algebras F Bonchi, P Sobociński, F Zanasi Journal of Pure and Applied Algebra 221 (1), 144-184, 2017	60	2017
Some properties of timed nets under the earliest firing rule PH Starke European Workshop on Applications and Theory in Petri Nets, 418-432, 1988	52	1988
Representations of Petri net interactions P Sobociński International Conference on Concurrency Theory, 554-568, 2010	50	2010
Toposes are adhesive S Lack, P Sobociński International Conference on Graph Transformation, 184-198, 2006	50	2006
Deriving process congruences from reaction rules P Sobocinski PhD thesis, BRICS, University of Aarhus, 2004	45	2004
Reactive Systems over Cospans P Sobocinski Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science …, 2005	43	2005
A congruence for Petri nets V Sassone, P Sobociński Electronic Notes in Theoretical Computer Science 127 (2), 107-120, 2005	42	2005
Deconstructing behavioural theories of mobility J Rathke, P Sobociński Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008	41	2008
Deriving bisimulation congruences: 2-categories vs precategories V Sassone, P Sobociśki International Conference on Foundations of Software Science and Computation …, 2003	40	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	38	2016
Semantic barbs and biorthogonality J Rathke, V Sassone, P Sobociński International Conference on Foundations of Software Science and …, 2007	37	2007
Interacting bialgebras are Frobenius F Bonchi, P Sobociński, F Zanasi International Conference on Foundations of Software Science and Computation …, 2014	36	2014
Deriving structural labelled transitions for mobile ambients J Rathke, P Sobociński International Conference on Concurrency Theory, 462-476, 2008	36	2008

A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.

Cikkek 1–20

Hivatkozások évente

Ismétlődő hivatkozások

Összevont hivatkozások

Társszerzők hozzáadásaTársszerzők

PDF feltöltése

A szerző követése

Hivatkozott rá

Társszerzők