CRIS Current Research Information System

BRAVETTI, MARIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.459
AS - Asia 4.868
EU - Europa 4.301
SA - Sud America 318
AF - Africa 206
OC - Oceania 9
Continente sconosciuto - Info sul continente non disponibili 3
Totale 15.164
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.387
GB - Regno Unito 1.744
CN - Cina 1.427
SG - Singapore 1.333
VN - Vietnam 1.014
IT - Italia 745
DE - Germania 448
IN - India 269
SE - Svezia 264
FR - Francia 258
HK - Hong Kong 240
BR - Brasile 221
UA - Ucraina 189
RU - Federazione Russa 185
TR - Turchia 126
IE - Irlanda 122
JP - Giappone 99
KR - Corea 87
ZA - Sudafrica 87
EE - Estonia 54
FI - Finlandia 51
BD - Bangladesh 49
NL - Olanda 49
CA - Canada 44
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
CL - Cile 14
ES - Italia 14
PL - Polonia 14
SC - Seychelles 14
GR - Grecia 12
RO - Romania 12
EC - Ecuador 10
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
VE - Venezuela 6
ET - Etiopia 5
MY - Malesia 5
SK - Slovacchia (Repubblica Slovacca) 5
DZ - Algeria 4
KE - Kenya 4
OM - Oman 4
PE - Perù 4
RS - Serbia 4
AE - Emirati Arabi Uniti 3
BO - Bolivia 3
CR - Costa Rica 3
EU - Europa 3
IL - Israele 3
IR - Iran 3
PS - Palestinian Territory 3
BH - Bahrain 2
CZ - Repubblica Ceca 2
LK - Sri Lanka 2
LU - Lussemburgo 2
MN - Mongolia 2
PT - Portogallo 2
UY - Uruguay 2
BN - Brunei Darussalam 1
BS - Bahamas 1
CG - Congo 1
CY - Cipro 1
DO - Repubblica Dominicana 1
GE - Georgia 1
GH - Ghana 1
GT - Guatemala 1
GY - Guiana 1
HN - Honduras 1
HU - Ungheria 1
IM - Isola di Man 1
JM - Giamaica 1
KG - Kirghizistan 1
KW - Kuwait 1
KZ - Kazakistan 1
LR - Liberia 1
LY - Libia 1
Totale 15.156
Salva come PNG Salva come JPEG
Città #
Southend 1.622
Singapore 832
Fairfield 594
Ashburn 443
San Jose 370
Santa Clara 317
Woodbridge 307
Chandler 250
Wilmington 248
Dong Ket 232
Hong Kong 231
Seattle 230
Ho Chi Minh City 222
Cambridge 221
Hefei 212
Houston 209
Ann Arbor 191
Princeton 191
Hanoi 172
Bologna 163
Beijing 130
Dublin 122
Istanbul 114
Boardman 113
Jacksonville 108
Dallas 100
Lauterbourg 90
Nanjing 82
Westminster 79
Los Angeles 76
Padova 73
Seoul 70
Medford 69
Tokyo 69
Council Bluffs 56
Buffalo 54
Berlin 52
Milan 51
Jinan 50
Shenyang 50
Hebei 46
Saint Petersburg 45
Changsha 41
Guangzhou 36
Turin 36
San Diego 35
Helsinki 34
Lomé 34
New York 34
Nanchang 32
Abidjan 31
Grafing 31
Haiphong 30
Amman 28
Shanghai 28
Tianjin 27
Florence 26
Hangzhou 26
São Paulo 24
Zhengzhou 24
Hyderabad 22
Jakarta 22
Mülheim 22
Rome 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
Bern 13
Düsseldorf 13
Fuzhou 13
Kunming 13
Pavullo Nel Frignano 13
San Francisco 13
Toronto 13
Chicago 12
Dearborn 12
Mahé 12
Novi Di Modena 12
Phoenix 12
Forlì 11
Hải Dương 11
Yubileyny 11
Boston 10
Bühl 9
Totale 10.134
Salva come PNG Salva come JPEG
Nome #
A Formal Approach to Microservice Architecture Deployment 290
A Sound Algorithm for Asynchronous Session Subtyping 254
Behavioral Types in Programming Languages 244
Optimal and automated deployment for microservices 233
A Component Model for the ABS Language 230
Towards Global and Local Types for Adaptation 227
Real Time and Stochastic Time 226
Proactive-reactive microservice architecture global scaling 223
A Process Algebraic Approach for the Analysis of Probabilistic Non-Interference 218
Relating Session Types and Behavioural Contracts: The Asynchronous Case 218
Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study 217
Adaptable Processes (Extended Abstract) 216
Web Services and Formal Methods 203
Proactive-Reactive Global Scaling, with Analytics 201
Asynchronous session subtyping as communicating automata refinement 194
Dynamic Rebinding for Concurrent Object Groups: Theory and practice 193
Axiomatizing maximal progress and discrete time 193
Web Services and Formal Methods 186
Contract Compliance and Choreography Conformance in the Presence of Message Queues 186
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language 186
A Petri Net Based Analysis of Deadlocks for Active Objects and Futures 185
Microservice Dynamic Architecture-Level Deployment Orchestration 185
Choreographies and behavioural contracts on the way to dynamic updates 184
An Object Group-Based Component Model 182
Web Services for E-commerce: guaranteeing security access and quality of service 179
Combining Partitions in SecSpaces 179
Fault Model Design Space for Cooperative Concurrency 179
Service Oriented Computing from a Process Algebraic Perspective 178
A theory of contracts for strong service compliance 177
Replicating Web Services for Scalability 176
Contract-Driven Implementation of Choreographies 176
Two Formal Approaches for Approximating Noninterference Properties 175
A Java typestate checker supporting inheritance 174
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 173
CONCUR 2009 - Concurrency theory 173
Supporting e-commerce systems formalization with choreography languages 172
Algebraic Process Calculi: The First Twenty Five Years and Beyond 172
A ground-complete axiomatisation of finite-state processes in a generic process algebra 172
A Ground-Complete Axiomatization of Finite State Processes in Process Algebra 170
Algebraic Process Calculi: The First Twenty Five Years and Beyond II 169
A sound algorithm for asynchronous session subtyping and its implementation 168
Algebraic Process Calculi: The First Twenty Five Years and Beyond III 162
Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time 161
Reduction Semantics in Markovian Process Algebra 159
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces 159
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model 159
Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions 158
On the Boundary between Decidability and Undecidability of Asynchronous Session Subtyping 158
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda 158
Fair Refinement for Asynchronous Session Types 158
Towards a Unifying Theory for Choreography Conformance and Contract Compliance 157
On the expressive power of process interruption and compensation 157
Steps on the Road to Component Evolvability 155
Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004) 154
A Petri Net Based Modeling of Active Objects and Futures 154
Process calculi as a tool for studying coordination, contracts and session types 154
Security Issues in the Tuple-Space Coordination Model 149
J.UCS Journal of Universal Computer Science 147
Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings 145
Introduction to the Software Engineering and Formal Methods 2013 special issue 143
Quantitative Information in the Tuple Space Coordination Model 143
Behavioural Up/down Casting For Statically Typed Languages 138
Contract Based Multi-party Service Composition 136
Contract-Based Discovery and Composition of Web Services 136
Towards the Verification of Adaptable Processes 134
Special Issue of the journal of "Information and Computation" dedicated to Concurrency Theory 133
A Session Subtyping Tool 132
Service Discovery and Composition Based on Contracts and Choreographic Descriptions 131
A Foundational Theory of Contracts for Multi-party Service Composition 131
Fair Asynchronous Session Subtyping 130
Guest Editorial: Special Issue on Service-Oriented Architectures and Programming 130
ICT COST Action IC1201 Behavioural Types for Reliable Large-Scale Software Systems (BETTY) 128
Web Services and Formal Methods - 7th International Workshop (WS-FM 2010), Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers 127
Foundations of Coordination and Contracts and Their Contribution to Session Type Theory 127
A Theory for Strong Service Compliance 126
On the Expressive Power of Process Interruption and Compensation 124
A Generic Process Algebra 120
Formalizing RESTful Services and Web-OS Middleware 120
Service Oriented Computing: A New Challenge for Process Algebras 118
SEAWALL: Seamless Low Latency Cloud Platforms for the Industry 4.0 115
From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices 111
null 110
Adaptable processes 109
Probabilistic software product lines 107
Integrated Timed Architectural Modeling/Execution Language 106
Foundational Aspects of Contract Compliance and Choreography Conformance 106
Stochastic and Real Time in Process Algebra: A Conceptual Overview 104
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems 103
null 101
Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time. 100
From Theoretical e-barter Models to an Implementation Based on Web Services 100
null 89
YMCA -Why Markov Chain Algebra? 89
Restful services and web-os middleware: A formal specification approach 88
Advanced Mechanisms for Service Composition, Query and Discovery 80
null 79
null 76
Undecidability of asynchronous session subtyping 56
Analysis of temporal complex events in sensor networks 56
A Sound and Complete Characterization of Fair Asynchronous Session Subtyping 52
Totale 15.384
Salva come PNG Salva come JPEG
Categoria #
all - tutte 42.052
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 42.052
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021377 0 0 0 0 0 0 0 0 0 0 0 377
2021/20221.887 195 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.332 226 492 495 272 486 225 495 146 816 346 179 154
Totale 15.431