CRIS Current Research Information System

LANEVE, COSIMO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.310
AS - Asia 3.982
EU - Europa 3.683
SA - Sud America 211
AF - Africa 122
OC - Oceania 9
Totale 12.317
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.237
CN - Cina 1.113
IT - Italia 1.080
SG - Singapore 1.051
GB - Regno Unito 1.017
VN - Vietnam 803
DE - Germania 344
HK - Hong Kong 303
SE - Svezia 268
FR - Francia 228
IN - India 195
RU - Federazione Russa 154
BR - Brasile 150
KR - Corea 117
UA - Ucraina 117
TR - Turchia 103
IE - Irlanda 100
JP - Giappone 83
CH - Svizzera 79
ZA - Sudafrica 71
FI - Finlandia 54
CA - Canada 48
EE - Estonia 44
ID - Indonesia 44
NL - Olanda 43
AT - Austria 37
AR - Argentina 29
PH - Filippine 25
PK - Pakistan 22
BE - Belgio 21
BD - Bangladesh 19
PL - Polonia 19
IQ - Iraq 18
GR - Grecia 17
MX - Messico 17
TH - Thailandia 14
TW - Taiwan 14
ES - Italia 12
SC - Seychelles 12
CI - Costa d'Avorio 11
SA - Arabia Saudita 10
TG - Togo 10
AU - Australia 9
PT - Portogallo 9
CL - Cile 7
DK - Danimarca 7
EC - Ecuador 7
PE - Perù 7
CO - Colombia 6
UZ - Uzbekistan 6
IL - Israele 5
JO - Giordania 5
LT - Lituania 5
MA - Marocco 5
MY - Malesia 5
SM - San Marino 5
AZ - Azerbaigian 4
LB - Libano 4
NG - Nigeria 4
RO - Romania 4
IR - Iran 3
JM - Giamaica 3
KZ - Kazakistan 3
MT - Malta 3
OM - Oman 3
VE - Venezuela 3
AM - Armenia 2
BA - Bosnia-Erzegovina 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
AE - Emirati Arabi Uniti 1
AL - Albania 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
SV - El Salvador 1
TJ - Tagikistan 1
TL - Timor Orientale 1
TN - Tunisia 1
Totale 12.317
Salva come PNG Salva come JPEG
Città #
Southend 896
Singapore 700
Fairfield 385
Ashburn 376
Santa Clara 345
Chandler 324
Bologna 321
Hong Kong 275
Hefei 243
San Jose 236
Woodbridge 177
Wilmington 171
Seattle 170
Ann Arbor 156
Hanoi 152
Ho Chi Minh City 152
Houston 151
Dong Ket 144
Princeton 126
Cambridge 120
Beijing 115
Seoul 112
Dublin 100
Istanbul 96
Boardman 94
Los Angeles 94
Dallas 86
Lauterbourg 82
Milan 69
Tokyo 67
Nanjing 63
Jacksonville 62
Westminster 59
Bern 56
Padova 56
Helsinki 45
Medford 45
New York 40
Berlin 39
Saint Petersburg 35
Buffalo 32
Montreal 32
Shenyang 32
The Dalles 31
Jinan 29
Da Nang 27
Guangzhou 27
London 26
Bengaluru 24
Florence 24
São Paulo 24
Changsha 23
Hebei 23
Munich 23
Council Bluffs 22
Jakarta 22
Orem 22
Redondo Beach 21
Haiphong 20
Shanghai 20
Tianjin 20
Brussels 19
Frankfurt am Main 19
Mülheim 19
Vienna 19
Amsterdam 17
Chicago 17
Rome 17
San Francisco 17
Pune 16
Nuremberg 14
San Diego 14
Turin 14
Warsaw 14
Dearborn 13
Des Moines 13
Nanchang 13
Olalla 13
Reggio Nell'emilia 13
Treviso 13
Haikou 12
Rawalpindi 12
Abidjan 11
Modena 11
Naples 11
Redwood City 11
Xi'an 11
Capiago Intimiano 10
Castenaso 10
Chennai 10
Hangzhou 10
Jiaxing 10
Lomé 10
Taizhou 10
Verona 10
Can Tho 9
Fuzhou 9
Lanzhou 9
Paris 9
Stockholm 9
Totale 8.057
Salva come PNG Salva come JPEG
Nome #
On the Prediction of Smart Contracts’ Behaviours 388
Pacta sunt servanda: Legal contracts in Stipula 326
Analysis of smart contracts balances 276
Le forme del falso negli smart contract 248
The Stipula Prototype 236
Actors may synchronize, safely! 218
Stipula: a domain specific language for legal contracts 217
Deadlock analysis of unbounded process networks 216
Formal Molecular Biology 215
A framework for deadlock detection in core ABS 209
A simple calculus with proteins and cells 207
A Formal Analysis of the Bitcoin Protocol 205
A Beginner's Guide to the DeadLock Analysis Model 200
Analysis of synchronisations in stateful active objects 195
Static analysis of cloud elasticity 195
An algebraic theory for web service contracts 191
Analysis of SLA compliance in the cloud: An automated, model-based approach 190
PRISM+ 190
Legal Contracts Amending with Stipula 189
A rude contract language for web services 188
BoPi: a distributed machine for experimenting web-services technologies 185
Statically and dynamically verifiable SLA metrics 181
Deadlock Detection in Linear Recursive Programs 172
JaDA - A Static Java Deadlock Analizer 172
PiDuce: a process calculus with native XML datatypes 171
A basic contract language for web services 170
Deadlock Analysis of Concurrent Objects: Theory and Practice 168
Decidability Problems for Actor Systems 167
An Algebraic Theory for Web Service Contracts. 167
A formal account of contracts for web services 167
Deadlock detection of java bytecode 166
A simple calculus for proteins and cells 163
The Interval Analysis of Multilinear Expressions 160
Leveraging static analysis for cost-aware serverless scheduling policies 159
Deadlock Analysis of Unbounded Process Networks 157
A lightweight deadlock analysis for programs with threads and reentrant locks 155
Analysis of Deadlocks in Object Groups 154
Resilience of Hybrid Casper under varying values of parameters 153
Web Services and Formal Methods, 6th International Workshop 152
Liquidity analysis in resource-aware programming 150
Decidability problems for actor systems 150
JaDA -- the Java Deadlock Analyzer 148
Liquidity Analysis in Resource-Aware Programming 146
Foundations of web transactions 146
Smooth Orchestrators 146
Time complexity of concurrent programs – A technique based on behavioural types 144
Serverless Scheduling Policies based on Cost Analysis 140
Proceedings of the First Workshop on Concurrent Models in Molecular Biology (BioConcur 2003) 139
DF4ABS - Deadlock Framework for ABS 136
Linguaggi di Programmazione e Sistemi Software 135
Engineering virtualized services 135
Towards the Typing of Resource Deployment 134
PiDuce - A project for experimenting Web services technologies 133
Static analysis of cloud elasticity 131
A lightweight deadlock analysis for programs with threads and reentrant locks 130
The must preorder revisited 129
The Pairing of Contracts and Session Types 129
Expressivity in the kappa Family 128
From Biochemistry to Stochastic Processes 127
Deadlock Analysis of Wait-Notify Coordination 127
SRA - Static Resource Analyzer for ABS 124
Analyzing the Fairness of Proof of Stake Ethereum 113
Modelization and Simulation of Nano Devices in k-Calculus 109
Programming Legal Contracts: – A Beginners Guide to Stipula – 109
nanoK: a Calculus for the Modeling and Simulation of nano devices 107
SDA - Static Deadlock Analyzer for ABS 107
The Expressive Power of Synchronizations 106
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages 105
Linear forwarders 104
PiDuce 99
A Stochastic Analysis of the Gasper Protocol 96
Reachability Analysis in Micro-Stipula 94
Webpi at work 90
Time analysis of actor programs 89
Integration of statutory norms in computable contracts 88
Reversibility in Massive Concurrent Systems 80
Reversible structures 77
A stochastic analysis of the Gasper protocol 59
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages 52
Assessing Code Understanding in LLMs 48
Decidability Problems for Micro-Stipula 45
Two standards means problems: A case study on formal protocol descriptions 40
Draft Better Contracts 32
The Stipula Platform: A Workbench for Programming and Analyzing Legal Contracts 30
Programming contract amending 26
Totale 12.550
Salva come PNG Salva come JPEG
Categoria #
all - tutte 32.517
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 32.517
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021440 0 0 0 0 0 0 0 0 0 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/20263.807 305 397 400 337 452 227 555 144 699 291 0 0
Totale 12.550