CNR Institutional Research Information System

DE NICOLA, ROCCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 326
AS - Asia 97
EU - Europa 12
Totale 435
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 326
SG - Singapore 97
FI - Finlandia 6
IT - Italia 3
SE - Svezia 3
Totale 435
Salva come PNG Salva come JPEG
Città #
Santa Clara 308
Singapore 76
Helsinki 6
Gothenburg 3
Boardman 1
Venice 1
Totale 395
Salva come PNG Salva come JPEG
Nome #
A partial ordering semantics for CCS 12
Back and forth bisimulations 12
Concurrency and compositionality. Extended abstracts of a workshop 12
Transformation rules 11
Towards a logic for performance and mobility. FULL VERSION 11
Algebraic transformations-verification of basic lotos processes 11
On the operational semantics of distributed concurrent systems 11
Information Spreading and the Role of Automated Accounts on Twitter: Two Case Studies 11
Observational equivalences for concurrency models 10
Testing equivalences for processes 10
Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications 10
Observational logics and concurrency models 10
Flow of online misinformation during the peak of the COVID-19 pandemic in Italy 10
Testing equivalences and fully abstract models for communicating processes 10
Observational logics and true concurrency 10
Partial orderings descriptions and observations of nondeterministic concurrent processes 10
Formal modeling and quantitative analysis of KLAIM-based mobile systems 10
Semantica denotazionale ed algebrica dei linguaggi di programmazione 9
Three logics for branching bisimulation 9
SENSORIA - D4.2a - Stochastic logics 9
Observational logics and true concurrency 9
Models and operators for nondeterministic processes 9
CCS without T'S 9
Costruzione di strumenti per sistemi concorrenti e distribuiti con la teoria 9
Action versus state based logics for transition systems 9
Transformation rules 8
A tutorial on LOTOS 8
A new operational semantics for ccs based on condition/event systems 8
A distributed operational semantics for CCS based on condition/event systems 8
Testing equivalences for processes 8
Behavioural equivalences for transition systems 8
Partial ordering derivations for CCS 8
Extensional equivalences for transition systems 8
Expressing the concurrent behaviour of abstract data types with message passing or shared memory : a formal comparison 8
Models and operators for nondeterministic processes 8
A distributed operational semantics for CCS based on condition/event systems 8
The role of bot squads in the political propaganda on Twitter 8
Transition systems and testing preorders : an alternative to Petri Nets for systems specifications 7
A partial ordering semantics for CCS 7
Testing equivalences for event structures 7
CCS is an (augmented) contact free C/E system 7
Extensional equivalences for transition systems 7
Testing equivalences for event structures 7
A complete set of axioms for a theory of communicating sequential processes 7
Two complete axiom systems for a theory of communicating sequential processes 7
Two complete axiom systems for a theory of communicating sequential processes 7
On the consistency of 'truly concurrent' operational and denotational semantics 7
Testing equivalences for processors 7
Partial ordering derivations for CCS 7
Online disinformation in the 2020 U.S. election: swing vs. safe states 5
Totale 438
Salva come PNG Salva come JPEG
Categoria #
all - tutte 1.506
article - articoli 289
book - libri 25
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 160
Totale 1.980
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/20241 0 0 0 0 0 0 0 0 0 0 0 1
2024/2025437 3 0 68 29 260 77 0 0 0 0 0 0
Totale 438