CRIS Current Research Information System

LANEVE, COSIMO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.861
EU - Europa 3.472
AS - Asia 2.832
SA - Sud America 190
AF - Africa 99
OC - Oceania 9
Totale 10.463
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.824
IT - Italia 1.017
GB - Regno Unito 1.001
CN - Cina 925
SG - Singapore 841
VN - Vietnam 347
DE - Germania 336
SE - Svezia 268
HK - Hong Kong 190
IN - India 175
RU - Federazione Russa 153
FR - Francia 145
BR - Brasile 134
UA - Ucraina 114
KR - Corea 112
IE - Irlanda 99
TR - Turchia 96
CH - Svizzera 78
ZA - Sudafrica 61
JP - Giappone 51
EE - Estonia 43
FI - Finlandia 43
AT - Austria 37
NL - Olanda 37
ID - Indonesia 36
AR - Argentina 28
CA - Canada 21
BE - Belgio 20
GR - Grecia 16
PL - Polonia 15
PK - Pakistan 14
MX - Messico 12
CI - Costa d'Avorio 11
TG - Togo 10
AU - Australia 9
ES - Italia 8
PT - Portogallo 8
SC - Seychelles 8
DK - Danimarca 7
BD - Bangladesh 6
CL - Cile 6
CO - Colombia 6
EC - Ecuador 6
PE - Perù 6
JO - Giordania 5
LT - Lituania 5
SM - San Marino 5
AZ - Azerbaigian 4
IQ - Iraq 4
UZ - Uzbekistan 4
IR - Iran 3
MA - Marocco 3
RO - Romania 3
SA - Arabia Saudita 3
AM - Armenia 2
BA - Bosnia-Erzegovina 2
BG - Bulgaria 2
CZ - Repubblica Ceca 2
HU - Ungheria 2
IL - Israele 2
KZ - Kazakistan 2
LB - Libano 2
MT - Malta 2
NG - Nigeria 2
OM - Oman 2
PY - Paraguay 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
BW - Botswana 1
DO - Repubblica Dominicana 1
ET - Etiopia 1
GA - Gabon 1
GE - Georgia 1
KW - Kuwait 1
LA - Repubblica Popolare Democratica del Laos 1
LV - Lettonia 1
MK - Macedonia 1
NI - Nicaragua 1
NO - Norvegia 1
PA - Panama 1
PH - Filippine 1
RS - Serbia 1
SN - Senegal 1
SV - El Salvador 1
TL - Timor Orientale 1
Totale 10.463
Salva come PNG Salva come JPEG
Città #
Southend 896
Singapore 570
Fairfield 385
Ashburn 350
Santa Clara 342
Chandler 324
Bologna 295
Hefei 242
Hong Kong 182
Woodbridge 177
Wilmington 171
Seattle 169
Ann Arbor 156
Houston 150
Dong Ket 144
Princeton 126
Cambridge 120
Beijing 112
Seoul 111
Dublin 99
Boardman 94
Istanbul 93
Dallas 85
Los Angeles 68
Milan 65
Jacksonville 62
Nanjing 60
Westminster 59
Bern 56
Padova 56
Ho Chi Minh City 52
Medford 45
Tokyo 44
Hanoi 40
Berlin 39
Helsinki 36
Saint Petersburg 35
New York 34
Shenyang 32
Buffalo 31
Jinan 29
Florence 24
Bengaluru 23
Hebei 23
Munich 23
Changsha 22
London 22
São Paulo 22
Redondo Beach 21
Mülheim 19
Vienna 19
Brussels 18
Frankfurt am Main 18
Jakarta 17
San Francisco 17
Tianjin 17
Pune 16
Shanghai 16
Chicago 14
Guangzhou 14
Orem 14
San Diego 14
Turin 14
Dearborn 13
Nanchang 13
Olalla 13
Reggio Nell'emilia 13
Rome 13
Treviso 13
Amsterdam 12
Des Moines 12
Haikou 12
Rawalpindi 12
Abidjan 11
Nuremberg 11
Redwood City 11
Capiago Intimiano 10
Castenaso 10
Jiaxing 10
Lomé 10
Modena 10
Naples 10
Taizhou 10
The Dalles 10
Verona 10
Warsaw 10
Stockholm 9
Yubileyny 9
Chennai 8
Falls Church 8
Fuzhou 8
Hallein 8
Lanzhou 8
Lausanne 8
Lauterbourg 8
Taiyuan 8
Brooklyn 7
Collegno 7
Da Nang 7
Denver 7
Totale 7.012
Salva come PNG Salva come JPEG
Nome #
On the Prediction of Smart Contracts’ Behaviours 353
Pacta sunt servanda: Legal contracts in Stipula 296
Le forme del falso negli smart contract 224
Analysis of smart contracts balances 223
Formal Molecular Biology 202
Actors may synchronize, safely! 197
Deadlock analysis of unbounded process networks 194
A simple calculus with proteins and cells 192
A framework for deadlock detection in core ABS 189
The Stipula Prototype 185
A Beginner's Guide to the DeadLock Analysis Model 185
A Formal Analysis of the Bitcoin Protocol 183
Analysis of synchronisations in stateful active objects 182
An algebraic theory for web service contracts 176
A rude contract language for web services 174
Legal Contracts Amending with Stipula 170
PRISM+ 170
Analysis of SLA compliance in the cloud: An automated, model-based approach 168
PiDuce: a process calculus with native XML datatypes 163
Statically and dynamically verifiable SLA metrics 162
BoPi: a distributed machine for experimenting web-services technologies 161
A basic contract language for web services 160
An Algebraic Theory for Web Service Contracts. 157
Deadlock Analysis of Concurrent Objects: Theory and Practice 155
Deadlock detection of java bytecode 153
JaDA - A Static Java Deadlock Analizer 153
Stipula: a domain specific language for legal contracts 151
A formal account of contracts for web services 150
A simple calculus for proteins and cells 150
Deadlock Detection in Linear Recursive Programs 149
Static analysis of cloud elasticity 149
Decidability Problems for Actor Systems 147
The Interval Analysis of Multilinear Expressions 144
Analysis of Deadlocks in Object Groups 142
Liquidity analysis in resource-aware programming 134
Smooth Orchestrators 134
JaDA -- the Java Deadlock Analyzer 134
Foundations of web transactions 133
A lightweight deadlock analysis for programs with threads and reentrant locks 133
Decidability problems for actor systems 132
Deadlock Analysis of Unbounded Process Networks 132
Resilience of Hybrid Casper under varying values of parameters 131
Web Services and Formal Methods, 6th International Workshop 131
Leveraging static analysis for cost-aware serverless scheduling policies 130
Serverless Scheduling Policies based on Cost Analysis 121
Proceedings of the First Workshop on Concurrent Models in Molecular Biology (BioConcur 2003) 121
Static analysis of cloud elasticity 121
Linguaggi di Programmazione e Sistemi Software 120
Time complexity of concurrent programs – A technique based on behavioural types 120
Towards the Typing of Resource Deployment 120
The Pairing of Contracts and Session Types 120
Engineering virtualized services 119
Liquidity Analysis in Resource-Aware Programming 116
Deadlock Analysis of Wait-Notify Coordination 116
From Biochemistry to Stochastic Processes 114
DF4ABS - Deadlock Framework for ABS 114
PiDuce - A project for experimenting Web services technologies 113
Expressivity in the kappa Family 112
The must preorder revisited 107
A lightweight deadlock analysis for programs with threads and reentrant locks 105
SRA - Static Resource Analyzer for ABS 101
The Expressive Power of Synchronizations 100
Modelization and Simulation of Nano Devices in k-Calculus 95
nanoK: a Calculus for the Modeling and Simulation of nano devices 95
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages 95
Linear forwarders 89
PiDuce 85
SDA - Static Deadlock Analyzer for ABS 85
Programming Legal Contracts: – A Beginners Guide to Stipula – 85
Webpi at work 78
A Stochastic Analysis of the Gasper Protocol 72
Time analysis of actor programs 72
Reversibility in Massive Concurrent Systems 71
Reversible structures 70
Analyzing the Fairness of Proof of Stake Ethereum 56
Reachability Analysis in Micro-Stipula 50
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages 35
Two standards means problems: A case study on formal protocol descriptions 34
Decidability Problems for Micro-Stipula 3
Totale 10.663
Salva come PNG Salva come JPEG
Categoria #
all - tutte 29.364
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 29.364
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021830 0 0 0 0 0 49 36 89 216 105 74 261
2021/20221.413 147 70 86 78 129 102 35 99 61 51 252 303
2022/20231.555 148 196 99 178 97 167 43 121 212 81 103 110
2023/2024519 42 68 34 29 78 85 22 29 19 41 26 46
2024/20251.909 95 236 200 95 434 66 156 50 22 68 138 349
2025/20261.920 305 397 400 337 452 29 0 0 0 0 0 0
Totale 10.663