CRIS Current Research Information System

LANEVE, COSIMO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.996
NA - Nord America 2.914
AS - Asia 958
AF - Africa 75
SA - Sud America 13
OC - Oceania 9
Totale 6.965
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.906
GB - Regno Unito 979
IT - Italia 812
CN - Cina 287
DE - Germania 280
SE - Svezia 261
VN - Vietnam 199
SG - Singapore 179
IN - India 133
FR - Francia 113
UA - Ucraina 112
IE - Irlanda 99
TR - Turchia 95
RU - Federazione Russa 82
CH - Svizzera 78
ZA - Sudafrica 56
EE - Estonia 43
AT - Austria 29
FI - Finlandia 26
BE - Belgio 20
NL - Olanda 15
PK - Pakistan 14
ID - Indonesia 11
TG - Togo 10
AU - Australia 9
GR - Grecia 9
JP - Giappone 9
HK - Hong Kong 7
SC - Seychelles 7
CA - Canada 6
DK - Danimarca 6
PL - Polonia 5
PT - Portogallo 5
SM - San Marino 5
AR - Argentina 4
BR - Brasile 4
CL - Cile 4
ES - Italia 4
JO - Giordania 4
KR - Corea 3
RO - Romania 3
UZ - Uzbekistan 3
BG - Bulgaria 2
HU - Ungheria 2
IL - Israele 2
LB - Libano 2
MT - Malta 2
NG - Nigeria 2
SA - Arabia Saudita 2
AE - Emirati Arabi Uniti 1
AM - Armenia 1
BA - Bosnia-Erzegovina 1
BD - Bangladesh 1
DO - Repubblica Dominicana 1
IR - Iran 1
KW - Kuwait 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
LV - Lettonia 1
MK - Macedonia 1
NO - Norvegia 1
PA - Panama 1
PE - Perù 1
PH - Filippine 1
Totale 6.965
Salva come PNG Salva come JPEG
Città #
Southend 896
Fairfield 385
Chandler 324
Bologna 235
Ashburn 211
Woodbridge 177
Wilmington 171
Seattle 167
Singapore 162
Ann Arbor 156
Houston 146
Dong Ket 144
Princeton 126
Cambridge 120
Dublin 99
Istanbul 92
Jacksonville 62
Westminster 59
Nanjing 57
Bern 56
Padova 50
Medford 45
Berlin 37
Milan 37
Saint Petersburg 35
Santa Clara 35
Shenyang 30
Helsinki 25
Jinan 25
Florence 23
Hebei 23
Changsha 20
Mülheim 19
Brussels 18
Boardman 17
New York 16
Pune 16
Tianjin 16
Vienna 15
Beijing 14
San Diego 14
Turin 14
Dearborn 13
London 13
Nanchang 13
Olalla 13
Reggio Nell'emilia 13
San Francisco 13
Treviso 13
Des Moines 12
Haikou 12
Rawalpindi 12
Redwood City 11
Castenaso 10
Jiaxing 10
Lomé 10
Modena 9
Rome 9
Dallas 8
Falls Church 8
Hallein 8
Lanzhou 8
Lausanne 8
Los Angeles 8
Mahé 7
Naples 7
Norwalk 7
Pfungstadt 7
Verona 7
Ningbo 6
Paris 6
Semarang 6
Taiyuan 6
Taizhou 6
Tokyo 6
Trento 6
Vigonza 6
Amsterdam 5
Campagnola Emilia 5
Copenhagen 5
Fuzhou 5
Genova 5
Grassano 5
Hangzhou 5
Kunming 5
Macerata 5
Munich 5
Piacenza 5
Ravenna 5
Venice 5
Amman 4
Boissy-Saint-Léger 4
Canberra 4
Casalecchio di Reno 4
Cento 4
Como 4
Ferrara 4
Frankfurt am Main 4
Jakarta 4
Kiev 4
Totale 4.811
Salva come PNG Salva come JPEG
Nome #
On the Prediction of Smart Contracts’ Behaviours 292
Actors may synchronize, safely! 169
A simple calculus with proteins and cells 164
Deadlock analysis of unbounded process networks 159
Formal Molecular Biology 158
Analysis of smart contracts balances 157
A framework for deadlock detection in core ABS 154
Analysis of synchronisations in stateful active objects 148
A rude contract language for web services 147
A Beginner's Guide to the DeadLock Analysis Model 146
An algebraic theory for web service contracts 139
A basic contract language for web services 137
Deadlock Analysis of Concurrent Objects: Theory and Practice 135
Statically and dynamically verifiable SLA metrics 135
A Formal Analysis of the Bitcoin Protocol 135
A simple calculus for proteins and cells 128
An Algebraic Theory for Web Service Contracts. 126
BoPi: a distributed machine for experimenting web-services technologies 122
Deadlock detection of java bytecode 122
Analysis of Deadlocks in Object Groups 120
Deadlock Detection in Linear Recursive Programs 119
Pacta sunt servanda: Legal contracts in Stipula 118
PiDuce: a process calculus with native XML datatypes 118
Decidability Problems for Actor Systems 118
A formal account of contracts for web services 117
Analysis of SLA compliance in the cloud: An automated, model-based approach 117
PRISM+ 115
JaDA - A Static Java Deadlock Analizer 113
The Interval Analysis of Multilinear Expressions 112
Le forme del falso negli smart contract 108
A lightweight deadlock analysis for programs with threads and reentrant locks 108
Web Services and Formal Methods, 6th International Workshop 106
Deadlock Analysis of Unbounded Process Networks 106
Static analysis of cloud elasticity 105
Decidability problems for actor systems 103
Static analysis of cloud elasticity 98
JaDA -- the Java Deadlock Analyzer 96
Engineering virtualized services 94
The Pairing of Contracts and Session Types 94
Time complexity of concurrent programs – A technique based on behavioural types 92
Towards the Typing of Resource Deployment 92
Foundations of web transactions 90
From Biochemistry to Stochastic Processes 90
Proceedings of the First Workshop on Concurrent Models in Molecular Biology (BioConcur 2003) 88
Linguaggi di Programmazione e Sistemi Software 87
Smooth Orchestrators 86
Expressivity in the kappa Family 86
PiDuce - A project for experimenting Web services technologies 86
DF4ABS - Deadlock Framework for ABS 80
Deadlock Analysis of Wait-Notify Coordination 77
The must preorder revisited 75
The Expressive Power of Synchronizations 72
Modelization and Simulation of Nano Devices in k-Calculus 71
nanoK: a Calculus for the Modeling and Simulation of nano devices 70
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages 67
Linear forwarders 67
SRA - Static Resource Analyzer for ABS 64
A lightweight deadlock analysis for programs with threads and reentrant locks 62
PiDuce 61
SDA - Static Deadlock Analyzer for ABS 56
The Stipula Prototype 54
Reversibility in Massive Concurrent Systems 51
Reversible structures 49
Webpi at work 48
Stipula: a domain specific language for legal contracts 45
Resilience of Hybrid Casper under varying values of parameters 43
Programming Legal Contracts: – A Beginners Guide to Stipula – 42
Time analysis of actor programs 40
Legal Contracts Amending with Stipula 31
Liquidity Analysis in Resource-Aware Programming 28
Serverless Scheduling Policies based on Cost Analysis 16
A Stochastic Analysis of the Gasper Protocol 9
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages 8
Liquidity analysis in resource-aware programming 7
Two standards means problems: A case study on formal protocol descriptions 6
Totale 7.154
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.179
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 18.179
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.332 0 38 21 110 147 156 196 212 201 101 52 98
2020/20211.214 214 54 30 60 26 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/2025320 95 225 0 0 0 0 0 0 0 0 0 0
Totale 7.154