Rocco De Nicola

Dikutip oleh

	Semua	Sejak 2020
Kutipan	11818	2361
indeks-h	54	24
indeks-i10	160	61

580

290

145

435

19871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202565 62 87 121 146 168 148 171 203 220 183 223 260 241 192 261 331 345 431 364 431 443 408 355 348 354 320 334 461 343 259 335 502 449 393 474 425 577 40

Akses publik

Lihat semua

44 artikel

2 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Prof. Michele LoretiSchool of Science and Technology, University of CamerinoEmail yang diverifikasi di unicam.it
Rosario PuglieseProfessor of Computer Science, University of FlorenceEmail yang diverifikasi di unifi.it
Mieke MassinkCNR-ISTIEmail yang diverifikasi di isti.cnr.it
Michele BorealeUniversità di Firenze, DiSIAEmail yang diverifikasi di unifi.it
Francesco TiezziUniversità di CamerinoEmail yang diverifikasi di unicam.it
Diego LatellaSenior Researcher - CNR-ISTI (Pisa)Email yang diverifikasi di cnr.it
Lorenzo BettiniAssociate Professor in Computer Science, Dipartimento di Statistica, Informatica e ApplicazioniEmail yang diverifikasi di unifi.it
Marinella PetrocchiIIT-CNR, Pisa, ItalyEmail yang diverifikasi di iit.cnr.it
Daniele GorlaEmail yang diverifikasi di di.uniroma1.it
Omar InversoGran Sasso Science Institute (GSSI), L'Aquila, ItalyEmail yang diverifikasi di gssi.it
matthew hennessyProfessor of Computer ScienceEmail yang diverifikasi di cs.tcd.ie
Rafael Brundo UriarteDigital Research Coordinator at the Kunsthistorisches Institut in Florenz - Max-Planck-InstitutEmail yang diverifikasi di khi.fi.it
Martin WirsingProfessor of Computer Science, LMU MunichEmail yang diverifikasi di lmu.de
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityEmail yang diverifikasi di cs.ru.nl
Marco BernardoUniversity of UrbinoEmail yang diverifikasi di uniurb.it
Yehia Abd AlrahmanAssociate Professor in Computing, University of GothenburgEmail yang diverifikasi di gu.se
Emilio TuostoGran Sasso Science InstituteEmail yang diverifikasi di gssi.it
Flavio CorradiniProfessore di Informatica, Università di CamerinoEmail yang diverifikasi di unicam.it
Roberto SegalaUniversità di VeronaEmail yang diverifikasi di univr.it

Ikuti

Rocco De Nicola

Professor of Computer Science, IMT Lucca

Email yang diverifikasi di imtlucca.it - Beranda

Concurrency Theory Programming Languages Formal Methods Distributed Systems Cybersecurity


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
Testing equivalences for processes R De Nicola, MCB Hennessy Theoretical computer science 34 (1-2), 83-133, 1984	1821	1984
KLAIM: A kernel language for agents interaction and mobility R De Nicola, GL Ferrari, R Pugliese IEEE Transactions on software engineering 24 (5), 315-330, 1998	765	1998
Three logics for branching bisimulation R De Nicola, F Vaandrager Journal of the ACM (JACM) 42 (2), 458-487, 1995	523	1995
Action versus state based logics for transition systems R De Nicola, F Vaandrager Semantics of Systems of Concurrent Processes 469 (Lecture Notes in Computer …, 1990	491	1990
Extensional equivalences for transition systems R De Nicola Acta Informatica 24 (2), 211-237, 1987	360	1987
A formal approach to autonomic systems programming: the SCEL language RD Nicola, M Loreti, R Pugliese, F Tiezzi ACM Transactions on Autonomous and Adaptive Systems (TAAS) 9 (2), 1-29, 2014	223*	2014
A distributed operational semantics for CCS based on condition/event systems P Degano, R De Nicola, U Montanari Acta Informatica 26 (1), 59-91, 1988	222	1988
SCC: a service centered calculus M Boreale, R Bruni, L Caires, R De Nicola, I Lanese, M Loreti, F Martins, ... International Workshop on Web Services and Formal Methods, 38-57, 2006	210	2006
Proof techniques for cryptographic processes M Boreale, R De Nicola, R Pugliese SIAM Journal on Computing 31 (3), 947-986, 2001	188	2001
Back and forth bisimulations R De Nicola, U Montanari, F Vaandrager International Conference on Concurrency Theory, 152-165, 1990	177	1990
The role of bot squads in the political propaganda on Twitter G Caldarelli, R De Nicola, F Del Vigna, M Petrocchi, F Saracco Communications Physics 3 (1), 81, 2020	161	2020
Sessions and pipelines for structured service programming M Boreale, R Bruni, R De Nicola, M Loreti International Conference on Formal Methods for Open Object-Based Distributed …, 2008	157	2008
The klaim project: Theory and practice L Bettini, V Bono, R De Nicola, G Ferrari, D Gorla, M Loreti, E Moggi, ... Global Computing. Programming Environments, Languages, Security, and …, 2003	153	2003
Partial orderings descriptions and observations of nondeterministic concurrent processes P Degano, R De Nicola, U Montanari Linear Time, Branching Time and Partial Order in Logics and Models for …, 1989	140	1989
Types for access control R De Nicola, GL Ferrari, R Pugliese, B Venneri Theoretical Computer Science 240 (1), 215-254, 2000	132	2000
Testing equivalence for mobile processes M Boreale, R De Nicola Information and Computation 120 (2), 279-303, 1995	127	1995
CCS without τ's R De Nicola, M Hennessy Colloquium on Trees in Algebra and Programming, 138-152, 1987	125	1987
An action-based framework for veryfying logical and behavioural properties of concurrent systems R De Nicola, A Fantechi, S Gnesi, G Ristori Computer networks and ISDN systems 25 (7), 761-778, 1993	124	1993
Klava: a Java package for distributed and mobile applications L Bettini, R De Nicola, R Pugliese Software: Practice and Experience 32 (14), 1365-1394, 2002	122	2002
A partial ordering semantics for CCS P Degano, R De Nicola, U Montanari Theoretical Computer Science 75 (3), 223-262, 1990	117	1990

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama