CRIS Current Research Information System

LANEVE, COSIMO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.676
AS - Asia 4.061
EU - Europa 3.773
Continente sconosciuto - Info sul continente non disponibili 233
SA - Sud America 215
AF - Africa 124
OC - Oceania 9
Totale 13.091
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.571
IT - Italia 1.157
CN - Cina 1.117
SG - Singapore 1.065
GB - Regno Unito 1.019
VN - Vietnam 804
DE - Germania 345
HK - Hong Kong 309
SE - Svezia 270
FR - Francia 229
IN - India 196
RU - Federazione Russa 156
BR - Brasile 152
KR - Corea 117
UA - Ucraina 117
TR - Turchia 103
IE - Irlanda 100
JP - Giappone 84
CH - Svizzera 79
ZA - Sudafrica 71
BD - Bangladesh 70
CA - Canada 65
FI - Finlandia 54
ID - Indonesia 45
EE - Estonia 44
NL - Olanda 44
AT - Austria 37
AR - Argentina 29
PH - Filippine 25
BE - Belgio 23
MX - Messico 22
PK - Pakistan 22
PL - Polonia 19
IQ - Iraq 18
GR - Grecia 17
SC - Seychelles 14
TH - Thailandia 14
TW - Taiwan 14
ES - Italia 13
CI - Costa d'Avorio 11
SA - Arabia Saudita 10
TG - Togo 10
AU - Australia 9
PT - Portogallo 9
PE - Perù 8
CL - Cile 7
CO - Colombia 7
DK - Danimarca 7
EC - Ecuador 7
UZ - Uzbekistan 6
IL - Israele 5
JO - Giordania 5
LT - Lituania 5
MA - Marocco 5
MY - Malesia 5
SM - San Marino 5
SV - El Salvador 5
AZ - Azerbaigian 4
JM - Giamaica 4
LB - Libano 4
MT - Malta 4
NG - Nigeria 4
RO - Romania 4
IR - Iran 3
KZ - Kazakistan 3
OM - Oman 3
VE - Venezuela 3
AM - Armenia 2
BA - Bosnia-Erzegovina 2
BB - Barbados 2
BG - Bulgaria 2
BW - Botswana 2
CZ - Repubblica Ceca 2
DO - Repubblica Dominicana 2
GA - Gabon 2
HU - Ungheria 2
LA - Repubblica Popolare Democratica del Laos 2
LV - Lettonia 2
PY - Paraguay 2
SK - Slovacchia (Repubblica Slovacca) 2
TT - Trinidad e Tobago 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
CR - Costa Rica 1
DZ - Algeria 1
EG - Egitto 1
ET - Etiopia 1
GE - Georgia 1
KW - Kuwait 1
MK - Macedonia 1
NI - Nicaragua 1
NO - Norvegia 1
PA - Panama 1
PS - Palestinian Territory 1
RS - Serbia 1
SN - Senegal 1
TJ - Tagikistan 1
TL - Timor Orientale 1
TN - Tunisia 1
Totale 12.858
Salva come PNG Salva come JPEG
Città #
Southend 896
Singapore 712
Ashburn 404
Fairfield 385
Santa Clara 357
Bologna 331
Chandler 324
San Jose 281
Hong Kong 279
Hefei 243
Woodbridge 177
Seattle 173
Wilmington 171
Ann Arbor 156
Houston 156
Hanoi 152
Ho Chi Minh City 152
Dong Ket 144
Princeton 126
Cambridge 121
Beijing 116
Seoul 112
Los Angeles 107
Dublin 100
Boardman 98
Istanbul 96
Dallas 88
Lauterbourg 82
Milan 79
Council Bluffs 68
Tokyo 68
Jacksonville 63
Nanjing 63
Westminster 59
Bern 56
Padova 56
New York 49
Helsinki 45
Medford 45
Berlin 39
Buffalo 39
Saint Petersburg 35
Montreal 34
Shenyang 32
The Dalles 32
Jinan 29
Da Nang 28
Guangzhou 27
Rome 27
London 26
Bengaluru 24
Florence 24
São Paulo 24
Changsha 23
Hebei 23
Munich 23
Orem 23
Jakarta 22
Redondo Beach 21
San Francisco 21
Shanghai 21
Haiphong 20
Tianjin 20
Brussels 19
Frankfurt am Main 19
Mülheim 19
Vienna 19
Chicago 18
Amsterdam 17
Turin 17
Pune 16
Naples 15
Phoenix 15
Des Moines 14
Nuremberg 14
San Diego 14
Treviso 14
Warsaw 14
Dearborn 13
Nanchang 13
Olalla 13
Reggio Nell'emilia 13
Haikou 12
Modena 12
Rawalpindi 12
Abidjan 11
Denver 11
Redwood City 11
Stockholm 11
Verona 11
Xi'an 11
Brooklyn 10
Capiago Intimiano 10
Castenaso 10
Chennai 10
Hangzhou 10
Jiaxing 10
Lomé 10
Mexico City 10
Taizhou 10
Totale 8.315
Salva come PNG Salva come JPEG
Nome #
On the Prediction of Smart Contracts’ Behaviours 400
Pacta sunt servanda: Legal contracts in Stipula 339
Analysis of smart contracts balances 284
Le forme del falso negli smart contract 259
The Stipula Prototype 242
Actors may synchronize, safely! 223
Stipula: a domain specific language for legal contracts 222
Formal Molecular Biology 218
Deadlock analysis of unbounded process networks 218
A framework for deadlock detection in core ABS 210
A Formal Analysis of the Bitcoin Protocol 210
A simple calculus with proteins and cells 208
A Beginner's Guide to the DeadLock Analysis Model 207
Static analysis of cloud elasticity 202
An algebraic theory for web service contracts 197
Analysis of SLA compliance in the cloud: An automated, model-based approach 197
Analysis of synchronisations in stateful active objects 196
PRISM+ 194
Legal Contracts Amending with Stipula 193
BoPi: a distributed machine for experimenting web-services technologies 191
Leveraging static analysis for cost-aware serverless scheduling policies 189
A rude contract language for web services 189
Statically and dynamically verifiable SLA metrics 183
A basic contract language for web services 176
Deadlock Detection in Linear Recursive Programs 175
PiDuce: a process calculus with native XML datatypes 173
Decidability Problems for Actor Systems 173
JaDA - A Static Java Deadlock Analizer 172
A formal account of contracts for web services 170
Resilience of Hybrid Casper under varying values of parameters 169
An Algebraic Theory for Web Service Contracts. 169
Deadlock Analysis of Concurrent Objects: Theory and Practice 169
Deadlock detection of java bytecode 169
JaDA -- the Java Deadlock Analyzer 169
A simple calculus for proteins and cells 165
The Interval Analysis of Multilinear Expressions 164
Deadlock Analysis of Unbounded Process Networks 161
A lightweight deadlock analysis for programs with threads and reentrant locks 160
Liquidity Analysis in Resource-Aware Programming 157
Web Services and Formal Methods, 6th International Workshop 155
Analysis of Deadlocks in Object Groups 155
Liquidity analysis in resource-aware programming 154
Decidability problems for actor systems 154
Smooth Orchestrators 153
Foundations of web transactions 152
Time complexity of concurrent programs – A technique based on behavioural types 150
Proceedings of the First Workshop on Concurrent Models in Molecular Biology (BioConcur 2003) 145
Expressivity in the kappa Family 142
Engineering virtualized services 141
Towards the Typing of Resource Deployment 141
Serverless Scheduling Policies based on Cost Analysis 140
Linguaggi di Programmazione e Sistemi Software 140
DF4ABS - Deadlock Framework for ABS 140
A lightweight deadlock analysis for programs with threads and reentrant locks 136
PiDuce - A project for experimenting Web services technologies 135
The Pairing of Contracts and Session Types 135
From Biochemistry to Stochastic Processes 134
The must preorder revisited 133
Static analysis of cloud elasticity 132
Deadlock Analysis of Wait-Notify Coordination 130
SRA - Static Resource Analyzer for ABS 129
Analyzing the Fairness of Proof of Stake Ethereum 121
Modelization and Simulation of Nano Devices in k-Calculus 119
Programming Legal Contracts: – A Beginners Guide to Stipula – 113
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages 112
SDA - Static Deadlock Analyzer for ABS 111
Linear forwarders 110
Integration of statutory norms in computable contracts 108
nanoK: a Calculus for the Modeling and Simulation of nano devices 107
The Expressive Power of Synchronizations 107
PiDuce 104
A Stochastic Analysis of the Gasper Protocol 103
Reachability Analysis in Micro-Stipula 101
Webpi at work 98
Time analysis of actor programs 92
Reversibility in Massive Concurrent Systems 84
Reversible structures 77
A stochastic analysis of the Gasper protocol 70
Decidability Problems for Micro-Stipula 69
Assessing Code Understanding in LLMs 64
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages 59
The Stipula Platform: A Workbench for Programming and Analyzing Legal Contracts 55
Two standards means problems: A case study on formal protocol descriptions 50
Draft Better Contracts 37
Programming contract amending 32
Totale 13.091
Salva come PNG Salva come JPEG
Categoria #
all - tutte 35.929
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 35.929
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.266 0 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/20264.148 305 397 400 337 452 227 555 144 699 345 142 145
2026/2027200 120 80 0 0 0 0 0 0 0 0 0 0
Totale 13.091