CRIS Current Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.277 0 0 0 0 0 39 39 202 328 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/20262.099 226 492 495 272 486 128 0 0 0 0 0 0
Totale 13.198