CRIS Current Research Information System

BRAVETTI, MARIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.143
AS - Asia 4.818
EU - Europa 4.249
SA - Sud America 316
AF - Africa 206
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 3
Totale 14.742
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.091
GB - Regno Unito 1.744
CN - Cina 1.423
SG - Singapore 1.330
VN - Vietnam 1.014
IT - Italia 695
DE - Germania 448
IN - India 269
SE - Svezia 264
FR - Francia 258
HK - Hong Kong 235
BR - Brasile 219
UA - Ucraina 189
RU - Federazione Russa 185
TR - Turchia 125
IE - Irlanda 122
JP - Giappone 95
KR - Corea 87
ZA - Sudafrica 87
EE - Estonia 54
FI - Finlandia 51
NL - Olanda 49
AR - Argentina 38
ID - Indonesia 34
TG - Togo 34
CI - Costa d'Avorio 31
BE - Belgio 30
CA - Canada 30
PH - Filippine 30
JO - Giordania 29
TH - Thailandia 26
CH - Svizzera 23
IQ - Iraq 20
AT - Austria 19
TW - Taiwan 19
MT - Malta 17
BD - Bangladesh 16
MX - Messico 15
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
CO - Colombia 9
HR - Croazia 9
TN - Tunisia 9
DK - Danimarca 8
PK - Pakistan 8
AU - Australia 7
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
EU - Europa 3
IL - Israele 3
IR - Iran 3
PS - Palestinian Territory 3
BH - Bahrain 2
CR - Costa Rica 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
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
ME - Montenegro 1
Totale 14.737
Salva come PNG Salva come JPEG
Città #
Southend 1.622
Singapore 829
Fairfield 594
Ashburn 421
Santa Clara 310
Woodbridge 307
San Jose 281
Chandler 250
Wilmington 248
Dong Ket 232
Seattle 230
Hong Kong 226
Ho Chi Minh City 222
Cambridge 221
Hefei 212
Houston 208
Ann Arbor 191
Princeton 191
Hanoi 172
Bologna 154
Beijing 127
Dublin 122
Istanbul 113
Jacksonville 108
Boardman 106
Dallas 92
Lauterbourg 90
Nanjing 82
Westminster 79
Padova 73
Los Angeles 71
Seoul 70
Medford 68
Tokyo 65
Berlin 52
Jinan 50
Shenyang 50
Buffalo 46
Hebei 46
Milan 45
Saint Petersburg 45
Changsha 41
Guangzhou 36
San Diego 35
Turin 35
Helsinki 34
Lomé 34
Nanchang 32
Abidjan 31
Grafing 31
Haiphong 30
Amman 28
Shanghai 28
Tianjin 27
Hangzhou 26
Florence 25
São Paulo 24
Zhengzhou 24
Council Bluffs 23
Hyderabad 22
Jakarta 22
Mülheim 22
The Dalles 22
Da Nang 21
Des Moines 21
Redondo Beach 21
Rome 21
Brussels 20
Jiaxing 19
Munich 18
New York 17
Norwalk 17
Nuremberg 17
Taizhou 17
Bengaluru 16
Ningbo 16
Taiyuan 15
Cesena 14
Frankfurt am Main 14
Haikou 14
Redwood City 14
Bern 13
Düsseldorf 13
Fuzhou 13
Kunming 13
Orem 13
Pavullo Nel Frignano 13
Rimini 13
Dearborn 12
Mahé 12
Novi Di Modena 12
Forlì 11
Hải Dương 11
Yubileyny 11
Boston 10
Chicago 10
Phoenix 10
Bühl 9
Chengdu 9
Faenza 9
Totale 9.882
Salva come PNG Salva come JPEG
Nome #
A Formal Approach to Microservice Architecture Deployment 282
A Sound Algorithm for Asynchronous Session Subtyping 254
Behavioral Types in Programming Languages 237
Optimal and automated deployment for microservices 232
A Component Model for the ABS Language 225
Towards Global and Local Types for Adaptation 222
A Process Algebraic Approach for the Analysis of Probabilistic Non-Interference 217
Real Time and Stochastic Time 216
Adaptable Processes (Extended Abstract) 212
Relating Session Types and Behavioural Contracts: The Asynchronous Case 209
Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study 205
Proactive-reactive microservice architecture global scaling 202
Web Services and Formal Methods 197
Proactive-Reactive Global Scaling, with Analytics 192
Dynamic Rebinding for Concurrent Object Groups: Theory and practice 192
Asynchronous session subtyping as communicating automata refinement 192
Axiomatizing maximal progress and discrete time 189
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language 185
Web Services and Formal Methods 183
An Object Group-Based Component Model 182
Microservice Dynamic Architecture-Level Deployment Orchestration 182
Contract Compliance and Choreography Conformance in the Presence of Message Queues 181
Choreographies and behavioural contracts on the way to dynamic updates 180
A Petri Net Based Analysis of Deadlocks for Active Objects and Futures 179
Web Services for E-commerce: guaranteeing security access and quality of service 176
Service Oriented Computing from a Process Algebraic Perspective 175
Two Formal Approaches for Approximating Noninterference Properties 175
Fault Model Design Space for Cooperative Concurrency 174
A theory of contracts for strong service compliance 173
Contract-Driven Implementation of Choreographies 172
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 169
Algebraic Process Calculi: The First Twenty Five Years and Beyond 169
Replicating Web Services for Scalability 169
A Ground-Complete Axiomatization of Finite State Processes in Process Algebra 168
Combining Partitions in SecSpaces 167
CONCUR 2009 - Concurrency theory 165
A sound algorithm for asynchronous session subtyping and its implementation 165
Algebraic Process Calculi: The First Twenty Five Years and Beyond II 164
Supporting e-commerce systems formalization with choreography languages 162
A ground-complete axiomatisation of finite-state processes in a generic process algebra 161
Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time 159
Reduction Semantics in Markovian Process Algebra 159
A Java typestate checker supporting inheritance 158
Algebraic Process Calculi: The First Twenty Five Years and Beyond III 158
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
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces 156
Fair Refinement for Asynchronous Session Types 156
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model 155
A Petri Net Based Modeling of Active Objects and Futures 154
Towards a Unifying Theory for Choreography Conformance and Contract Compliance 152
Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004) 151
Steps on the Road to Component Evolvability 150
Process calculi as a tool for studying coordination, contracts and session types 150
On the expressive power of process interruption and compensation 148
Security Issues in the Tuple-Space Coordination Model 145
Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings 144
J.UCS Journal of Universal Computer Science 144
Introduction to the Software Engineering and Formal Methods 2013 special issue 142
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda 142
Quantitative Information in the Tuple Space Coordination Model 139
Contract Based Multi-party Service Composition 134
Special Issue of the journal of "Information and Computation" dedicated to Concurrency Theory 133
Towards the Verification of Adaptable Processes 132
Contract-Based Discovery and Composition of Web Services 132
A Session Subtyping Tool 131
A Foundational Theory of Contracts for Multi-party Service Composition 130
Behavioural Up/down Casting For Statically Typed Languages 128
Fair Asynchronous Session Subtyping 127
ICT COST Action IC1201 Behavioural Types for Reliable Large-Scale Software Systems (BETTY) 126
A Theory for Strong Service Compliance 126
Service Discovery and Composition Based on Contracts and Choreographic Descriptions 125
Guest Editorial: Special Issue on Service-Oriented Architectures and Programming 125
Web Services and Formal Methods - 7th International Workshop (WS-FM 2010), Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers 125
Foundations of Coordination and Contracts and Their Contribution to Session Type Theory 124
On the Expressive Power of Process Interruption and Compensation 121
Formalizing RESTful Services and Web-OS Middleware 120
A Generic Process Algebra 119
Service Oriented Computing: A New Challenge for Process Algebras 116
SEAWALL: Seamless Low Latency Cloud Platforms for the Industry 4.0 110
null 110
Adaptable processes 104
From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices 103
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems 103
Stochastic and Real Time in Process Algebra: A Conceptual Overview 102
null 101
Foundational Aspects of Contract Compliance and Choreography Conformance 100
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 99
Probabilistic software product lines 94
null 89
Restful services and web-os middleware: A formal specification approach 88
YMCA -Why Markov Chain Algebra? 88
Advanced Mechanisms for Service Composition, Query and Discovery 80
null 79
null 76
Integrated Timed Architectural Modeling/Execution Language 75
Undecidability of asynchronous session subtyping 56
Analysis of temporal complex events in sensor networks 53
A Sound and Complete Characterization of Fair Asynchronous Session Subtyping 49
Totale 14.962
Salva come PNG Salva come JPEG
Categoria #
all - tutte 39.768
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 39.768
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021669 0 0 0 0 0 0 0 0 0 153 139 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/20263.910 226 492 495 272 486 225 495 146 816 257 0 0
Totale 15.009