CRIS Current Research Information System

BRAVETTI, MARIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.618
AS - Asia 4.892
EU - Europa 4.323
SA - Sud America 321
Continente sconosciuto - Info sul continente non disponibili 272
AF - Africa 209
OC - Oceania 9
Totale 15.644
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.533
GB - Regno Unito 1.744
CN - Cina 1.433
SG - Singapore 1.343
VN - Vietnam 1.014
IT - Italia 763
DE - Germania 448
IN - India 269
SE - Svezia 264
FR - Francia 258
HK - Hong Kong 245
BR - Brasile 222
UA - Ucraina 189
RU - Federazione Russa 185
TR - Turchia 126
IE - Irlanda 123
JP - Giappone 99
KR - Corea 87
ZA - Sudafrica 87
EE - Estonia 54
FI - Finlandia 52
BD - Bangladesh 51
CA - Canada 49
NL - Olanda 49
AR - Argentina 38
ID - Indonesia 34
TG - Togo 34
CI - Costa d'Avorio 31
BE - Belgio 30
PH - Filippine 30
JO - Giordania 29
TH - Thailandia 26
CH - Svizzera 24
IQ - Iraq 20
AT - Austria 19
TW - Taiwan 19
MX - Messico 18
MT - Malta 17
SC - Seychelles 17
PL - Polonia 15
CL - Cile 14
ES - Italia 14
GR - Grecia 12
RO - Romania 12
EC - Ecuador 11
LB - Libano 10
PY - Paraguay 10
AU - Australia 9
CO - Colombia 9
HR - Croazia 9
TN - Tunisia 9
DK - Danimarca 8
PK - Pakistan 8
BG - Bulgaria 7
LT - Lituania 7
UZ - Uzbekistan 7
EG - Egitto 6
MA - Marocco 6
SA - Arabia Saudita 6
SK - Slovacchia (Repubblica Slovacca) 6
VE - Venezuela 6
CR - Costa Rica 5
ET - Etiopia 5
MY - Malesia 5
PE - Perù 5
DZ - Algeria 4
KE - Kenya 4
OM - Oman 4
RS - Serbia 4
AE - Emirati Arabi Uniti 3
BO - Bolivia 3
EU - Europa 3
IL - Israele 3
IR - Iran 3
JM - Giamaica 3
PS - Palestinian Territory 3
BH - Bahrain 2
CZ - Repubblica Ceca 2
HN - Honduras 2
LK - Sri Lanka 2
LU - Lussemburgo 2
MN - Mongolia 2
PT - Portogallo 2
SV - El Salvador 2
UY - Uruguay 2
AM - Armenia 1
BN - Brunei Darussalam 1
BS - Bahamas 1
CG - Congo 1
CY - Cipro 1
DO - Repubblica Dominicana 1
GD - Grenada 1
GE - Georgia 1
GH - Ghana 1
GT - Guatemala 1
GY - Guiana 1
HU - Ungheria 1
IM - Isola di Man 1
KG - Kirghizistan 1
KW - Kuwait 1
Totale 15.364
Salva come PNG Salva come JPEG
Città #
Southend 1.622
Singapore 838
Fairfield 594
Ashburn 455
San Jose 378
Santa Clara 321
Woodbridge 307
Chandler 250
Wilmington 248
Hong Kong 235
Dong Ket 232
Seattle 230
Ho Chi Minh City 222
Cambridge 221
Hefei 212
Houston 209
Ann Arbor 191
Princeton 191
Hanoi 172
Bologna 164
Beijing 134
Dublin 122
Istanbul 114
Boardman 113
Jacksonville 109
Council Bluffs 106
Dallas 100
Lauterbourg 90
Nanjing 82
Westminster 79
Los Angeles 77
Padova 73
Seoul 70
Medford 69
Tokyo 69
Buffalo 54
Milan 54
Berlin 52
Jinan 50
Shenyang 50
Hebei 46
Saint Petersburg 45
Changsha 41
Guangzhou 36
Turin 36
Helsinki 35
San Diego 35
Lomé 34
New York 34
Nanchang 32
Abidjan 31
Grafing 31
Haiphong 30
Shanghai 29
Amman 28
Tianjin 27
Florence 26
Hangzhou 26
São Paulo 24
Zhengzhou 24
Rome 23
Hyderabad 22
Jakarta 22
Mülheim 22
The Dalles 22
Da Nang 21
Des Moines 21
Redondo Beach 21
Brussels 20
Rimini 20
Jiaxing 19
Munich 18
Norwalk 17
Nuremberg 17
Taizhou 17
Bengaluru 16
Ningbo 16
Taiyuan 15
Cesena 14
Frankfurt am Main 14
Haikou 14
Orem 14
Redwood City 14
Toronto 14
Bern 13
Chicago 13
Düsseldorf 13
Fuzhou 13
Kunming 13
Pavullo Nel Frignano 13
Phoenix 13
San Francisco 13
Dearborn 12
Mahé 12
Novi Di Modena 12
Brooklyn 11
Forlì 11
Hải Dương 11
Yubileyny 11
Boston 10
Totale 10.236
Salva come PNG Salva come JPEG
Nome #
A Formal Approach to Microservice Architecture Deployment 298
A Sound Algorithm for Asynchronous Session Subtyping 256
Behavioral Types in Programming Languages 245
Optimal and automated deployment for microservices 235
A Component Model for the ABS Language 232
Towards Global and Local Types for Adaptation 230
Real Time and Stochastic Time 229
Proactive-reactive microservice architecture global scaling 228
Relating Session Types and Behavioural Contracts: The Asynchronous Case 225
Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study 223
A Process Algebraic Approach for the Analysis of Probabilistic Non-Interference 218
Adaptable Processes (Extended Abstract) 218
Web Services and Formal Methods 205
Proactive-Reactive Global Scaling, with Analytics 202
Axiomatizing maximal progress and discrete time 201
Asynchronous session subtyping as communicating automata refinement 199
Dynamic Rebinding for Concurrent Object Groups: Theory and practice 193
A Petri Net Based Analysis of Deadlocks for Active Objects and Futures 188
Web Services and Formal Methods 187
Contract Compliance and Choreography Conformance in the Presence of Message Queues 187
Choreographies and behavioural contracts on the way to dynamic updates 187
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language 187
Microservice Dynamic Architecture-Level Deployment Orchestration 186
An Object Group-Based Component Model 184
Fault Model Design Space for Cooperative Concurrency 184
Web Services for E-commerce: guaranteeing security access and quality of service 182
Combining Partitions in SecSpaces 181
Service Oriented Computing from a Process Algebraic Perspective 178
A theory of contracts for strong service compliance 178
Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005 177
Replicating Web Services for Scalability 177
Contract-Driven Implementation of Choreographies 177
A Java typestate checker supporting inheritance 176
CONCUR 2009 - Concurrency theory 175
Two Formal Approaches for Approximating Noninterference Properties 175
A ground-complete axiomatisation of finite-state processes in a generic process algebra 175
Supporting e-commerce systems formalization with choreography languages 173
Algebraic Process Calculi: The First Twenty Five Years and Beyond 173
A sound algorithm for asynchronous session subtyping and its implementation 172
Algebraic Process Calculi: The First Twenty Five Years and Beyond II 170
A Ground-Complete Axiomatization of Finite State Processes in Process Algebra 170
Algebraic Process Calculi: The First Twenty Five Years and Beyond III 165
Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time 164
Reduction Semantics in Markovian Process Algebra 162
Fair Refinement for Asynchronous Session Types 162
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda 160
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces 160
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model 160
On the expressive power of process interruption and compensation 159
Steps on the Road to Component Evolvability 159
On the Boundary between Decidability and Undecidability of Asynchronous Session Subtyping 159
Towards a Unifying Theory for Choreography Conformance and Contract Compliance 158
Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions 158
J.UCS Journal of Universal Computer Science 156
A Petri Net Based Modeling of Active Objects and Futures 156
Process calculi as a tool for studying coordination, contracts and session types 156
Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004) 154
Security Issues in the Tuple-Space Coordination Model 149
Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings 145
Quantitative Information in the Tuple Space Coordination Model 144
Introduction to the Software Engineering and Formal Methods 2013 special issue 143
Behavioural Up/down Casting For Statically Typed Languages 140
Special Issue of the journal of "Information and Computation" dedicated to Concurrency Theory 138
Contract-Based Discovery and Composition of Web Services 138
Contract Based Multi-party Service Composition 137
A Session Subtyping Tool 136
Towards the Verification of Adaptable Processes 135
A Foundational Theory of Contracts for Multi-party Service Composition 134
Fair Asynchronous Session Subtyping 132
Service Discovery and Composition Based on Contracts and Choreographic Descriptions 132
Guest Editorial: Special Issue on Service-Oriented Architectures and Programming 130
ICT COST Action IC1201 Behavioural Types for Reliable Large-Scale Software Systems (BETTY) 129
Foundations of Coordination and Contracts and Their Contribution to Session Type Theory 128
A Theory for Strong Service Compliance 128
Web Services and Formal Methods - 7th International Workshop (WS-FM 2010), Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers 127
On the Expressive Power of Process Interruption and Compensation 124
Formalizing RESTful Services and Web-OS Middleware 123
A Generic Process Algebra 121
Service Oriented Computing: A New Challenge for Process Algebras 119
SEAWALL: Seamless Low Latency Cloud Platforms for the Industry 4.0 116
From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices 112
Integrated Timed Architectural Modeling/Execution Language 111
Adaptable processes 110
null 110
Foundational Aspects of Contract Compliance and Choreography Conformance 108
Probabilistic software product lines 108
Stochastic and Real Time in Process Algebra: A Conceptual Overview 105
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems 103
null 101
From Theoretical e-barter Models to an Implementation Based on Web Services 101
Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time. 100
YMCA -Why Markov Chain Algebra? 91
null 89
Restful services and web-os middleware: A formal specification approach 88
Advanced Mechanisms for Service Composition, Query and Discovery 84
null 79
null 76
Undecidability of asynchronous session subtyping 58
A Sound and Complete Characterization of Fair Asynchronous Session Subtyping 57
Analysis of temporal complex events in sensor networks 56
Totale 15.579
Salva come PNG Salva come JPEG
Categoria #
all - tutte 43.525
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 43.525
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.692 0 77 164 159 197 115 54 154 99 32 338 303
2022/20231.409 153 180 76 144 107 167 75 56 261 25 109 56
2023/2024357 24 70 23 26 25 31 31 29 10 46 14 28
2024/20252.225 107 367 158 151 361 91 359 39 40 74 122 356
2025/20264.341 226 492 495 272 486 225 495 146 816 346 179 163
2026/2027204 111 93 0 0 0 0 0 0 0 0 0 0
Totale 15.644