DE NICOLA, ROCCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.993
EU - Europa 973
AS - Asia 142
AF - Africa 12
Continente sconosciuto - Info sul continente non disponibili 4
Totale 4.124
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.985
SE - Svezia 258
IE - Irlanda 168
UA - Ucraina 155
DE - Germania 116
IT - Italia 95
GB - Regno Unito 82
HK - Hong Kong 75
FI - Finlandia 59
CN - Cina 25
SG - Singapore 20
TR - Turchia 18
FR - Francia 13
BE - Belgio 12
SC - Seychelles 12
CA - Canada 7
CH - Svizzera 6
RU - Federazione Russa 6
EU - Europa 4
IN - India 3
AT - Austria 1
HR - Croazia 1
KR - Corea 1
MX - Messico 1
NL - Olanda 1
Totale 4.124
Salva come PNG Salva come JPEG
Città #
Fairfield 531
Jacksonville 254
Chandler 242
Woodbridge 237
Ashburn 210
Seattle 209
Cambridge 195
Houston 194
Wilmington 173
Dublin 168
Ann Arbor 131
Princeton 58
Buffalo 52
Medford 39
Lawrence 36
Altamura 32
Hong Kong 32
San Diego 25
Boardman 24
Boston 24
Izmir 18
West Jordan 16
Norwalk 14
Beijing 13
Kent 13
Brussels 12
Shanghai 12
Singapore 11
Frankfurt Am Main 10
Rome 10
Auburn Hills 9
Philadelphia 8
Hillsboro 7
Milan 7
Bern 6
Florence 5
London 5
Ottawa 5
Cedar Knolls 4
Andover 3
Dearborn 3
Falls Church 3
Helsinki 3
Los Angeles 3
Verona 3
Grevenbroich 2
New York 2
Saint Petersburg 2
Toronto 2
Acton 1
Arnsberg 1
Brooklyn 1
Calusco D'adda 1
Clermont-ferrand 1
Laurel 1
Mexico City 1
Naaldwijk 1
Old Bridge 1
Paris 1
Reston 1
San Mateo 1
Sant'Elpidio a Mare 1
Santa Clara 1
Seoul 1
Vienna 1
Washington 1
Zagreb 1
Totale 3.095
Salva come PNG Salva come JPEG
Nome #
A MODAL LOGIC FOR MOBILE AGENTS 115
Graded Modalities and Resource Bisimulation 111
An equational axiomatization of bisimulation over regular expressions 105
A finite axiomatization of nondeterministic regular expressions 102
COORDINATION AND ACCESS CONTROL OF MOBILE AGENTS 100
Software Update via Mobile Agent Based Programming 96
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing 92
A Distributed Operational Semantics for CCS Based on Condition/Event Systems 89
TREE MORPHISMS AND BISIMULATIONS 89
A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces 88
Testing Equivalences for Processes 88
CaSPiS: a calculus of sessions, pipelines and services 85
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes 84
A Process Algebraic View of Input/Output Automata 84
A calculus for attribute-based communication 83
Extensional Equivalences for Transition Systems 82
Implementing a Distributed Mobile Calculus Using the IMC Framework 82
Models of Nondeterministic Regular Expressions 81
Model checking mobile stochastic logic 81
Implementing Session Centered Calculi 80
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems 80
Translating Strong Mobility into Weak Mobility 78
Concurrency: Theory and Practice. 78
Linear-Time and May-Testing in a Probabilistic Reactive Setting 77
A Partial Ordering Semantics for CCS 76
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi 75
Three Logics for Branching Bisimulation 74
Testing Equivalence for Mobile Processes 74
Multiple-Labelled Transition Systems for nominal calculi and their logics 73
Semantic Subtyping for the pi-Calculus 72
Sessions and Pipelines for Structured Service Programming 72
Rate-Based Transition Systems for Stochastic Process Calculi 71
On a Uniform Framework for the Definition of Stochastic Process Languages. 71
Towards a Logic for Performance and Mobility. 70
Universal Axioms for Bisimulations. 69
Provably Correct Implementations of Services 69
ON FOUR PARTIAL ORDERING SEMANTICS FOR A PROCESS CALCULUS 69
A Modal Logic for KLAIM 68
Basic Observables for Probabilistic May Testing 68
Nondeterministic regular expressions as solutions of equational systems 67
TAPAs: A Tool for the Analysis of Process Algebras 66
Locality Based Semantics for Process Algebras 66
SCC: a Service Centered Calculus 66
MarCaSPiS: a Markovian Extension of a Calculus for Services 64
Two Complete Axiom Systems for a Theory of Communicating Sequential Processes 63
MoMo: A Modal Logic for Reasoning About Mobility 63
Semantic subtyping for the pi-calculus 63
Modelling global computations with Klaim 62
Algebraic characterizations of trace and decorated trace equivalences over tree-like structures 59
A Symbolic Semantics for the pi-Calculus 50
Tree-functors, determinacy and bisimulations 50
Types in concurrency - Editorial of the Special Issue. 47
Session Centered Calculi for Service Oriented Computing 46
Implementing Mobile and Distributed Applications in X-Klaim 45
Methods and apparatus for tuple management in data processing system 37
Ugo Montanari in a Nutshell 24
Totale 4.139
Salva come PNG Salva come JPEG
Categoria #
all - tutte 11.849
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 11.849
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.104 104 71 22 107 112 151 130 153 107 51 70 26
2020/2021650 49 44 72 44 15 98 24 67 56 73 45 63
2021/2022403 23 35 30 6 18 22 22 20 20 14 124 69
2022/2023857 98 139 35 69 79 172 101 52 59 3 36 14
2023/2024236 18 40 57 12 11 7 0 32 0 18 22 19
2024/20257 7 0 0 0 0 0 0 0 0 0 0 0
Totale 4.139