CRIS Current Research Information System

BRAVETTI, MARIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.673
EU - Europa 3.652
AS - Asia 1.254
AF - Africa 140
SA - Sud America 17
OC - Oceania 4
Continente sconosciuto - Info sul continente non disponibili 3
Totale 8.743
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.661
GB - Regno Unito 1.707
IT - Italia 533
CN - Cina 467
DE - Germania 375
VN - Vietnam 300
SE - Svezia 257
IN - India 211
UA - Ucraina 181
FR - Francia 152
IE - Irlanda 118
RU - Federazione Russa 118
TR - Turchia 117
SG - Singapore 94
ZA - Sudafrica 69
EE - Estonia 54
TG - Togo 34
JO - Giordania 28
BE - Belgio 26
CH - Svizzera 21
FI - Finlandia 17
CI - Costa d'Avorio 16
MT - Malta 14
SC - Seychelles 14
BR - Brasile 12
CA - Canada 12
GR - Grecia 11
JP - Giappone 10
NL - Olanda 10
RO - Romania 10
HR - Croazia 8
LB - Libano 8
BG - Bulgaria 7
DK - Danimarca 7
ES - Italia 5
ID - Indonesia 5
TN - Tunisia 5
AU - Australia 4
KR - Corea 4
PL - Polonia 4
RS - Serbia 4
SK - Slovacchia (Repubblica Slovacca) 4
CL - Cile 3
EU - Europa 3
IR - Iran 3
UZ - Uzbekistan 3
AT - Austria 2
CZ - Repubblica Ceca 2
IL - Israele 2
LU - Lussemburgo 2
AE - Emirati Arabi Uniti 1
AR - Argentina 1
DZ - Algeria 1
HK - Hong Kong 1
IM - Isola di Man 1
LT - Lituania 1
PE - Perù 1
PT - Portogallo 1
ZM - Zambia 1
Totale 8.743
Salva come PNG Salva come JPEG
Città #
Southend 1.622
Fairfield 594
Ashburn 307
Woodbridge 307
Chandler 250
Wilmington 248
Dong Ket 232
Seattle 228
Cambridge 221
Houston 206
Ann Arbor 191
Princeton 191
Dublin 118
Bologna 114
Istanbul 112
Jacksonville 108
Westminster 79
Nanjing 78
Padova 73
Medford 68
Singapore 63
Berlin 52
Hebei 46
Saint Petersburg 45
Shenyang 44
Jinan 40
San Diego 35
Lomé 34
Turin 32
Grafing 31
Changsha 29
Nanchang 29
Amman 28
Florence 22
Mülheim 22
Hyderabad 21
Tianjin 20
Des Moines 19
Beijing 18
Jiaxing 18
Hangzhou 17
Norwalk 17
Abidjan 16
Brussels 16
Milan 16
Taizhou 16
Haikou 14
Ningbo 14
Redwood City 14
Bern 13
Helsinki 13
Pavullo Nel Frignano 13
Boardman 12
Dearborn 12
Mahé 12
Novi Di Modena 12
Taiyuan 12
Kunming 11
Rome 11
Zhengzhou 11
Forlì 10
Bühl 9
Fuzhou 9
Olalla 9
Tokyo 9
Piacenza 8
Bremen 7
Guangzhou 7
Kraainem 7
Redmond 7
Rimini 7
Sofia 7
Verona 7
Augusta 6
Cesena 6
Falls Church 6
Los Angeles 6
Toronto 5
Belgrade 4
Bratislava 4
Ferrara 4
Finale Emilia 4
Jakarta 4
Leicester 4
Paris 4
San Francisco 4
St Louis 4
São Paulo 4
Amsterdam 3
Balzan 3
Bangalore 3
Barcelona 3
Bresso 3
Cankaya 3
Figline Vegliaturo 3
Frankfurt Am Main 3
Fremont 3
Hefei 3
Lanzhou 3
Lausanne 3
Totale 6.475
Salva come PNG Salva come JPEG
Nome #
A Component Model for the ABS Language 173
A Formal Approach to Microservice Architecture Deployment 172
Towards Global and Local Types for Adaptation 168
Optimal and automated deployment for microservices 165
Adaptable Processes (Extended Abstract) 160
Behavioral Types in Programming Languages 150
Real Time and Stochastic Time 145
A Sound Algorithm for Asynchronous Session Subtyping 145
A Process Algebraic Approach for the Analysis of Probabilistic Non-Interference 144
An Object Group-Based Component Model 139
Contract Compliance and Choreography Conformance in the Presence of Message Queues 137
Dynamic Rebinding for Concurrent Object Groups: Theory and practice 136
Relating Session Types and Behavioural Contracts: The Asynchronous Case 136
A theory of contracts for strong service compliance 131
Web Services and Formal Methods 123
Two Formal Approaches for Approximating Noninterference Properties 120
Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions 119
Reduction Semantics in Markovian Process Algebra 119
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces 118
Service Oriented Computing from a Process Algebraic Perspective 117
Choreographies and behavioural contracts on the way to dynamic updates 117
Web Services and Formal Methods 116
A Petri Net Based Analysis of Deadlocks for Active Objects and Futures 116
A ground-complete axiomatisation of finite-state processes in a generic process algebra 113
Replicating Web Services for Scalability 112
CONCUR 2009 - Concurrency theory 111
On the Boundary between Decidability and Undecidability of Asynchronous Session Subtyping 111
Contract-Driven Implementation of Choreographies 111
Combining Partitions in SecSpaces 110
A Petri Net Based Modeling of Active Objects and Futures 110
null 110
Towards a Unifying Theory for Choreography Conformance and Contract Compliance 107
Introduction to the Software Engineering and Formal Methods 2013 special issue 107
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language 107
Algebraic Process Calculi: The First Twenty Five Years and Beyond 106
Algebraic Process Calculi: The First Twenty Five Years and Beyond II 106
Fault Model Design Space for Cooperative Concurrency 105
On the expressive power of process interruption and compensation 104
Steps on the Road to Component Evolvability 104
A Ground-Complete Axiomatization of Finite State Processes in Process Algebra 104
Web Services for E-commerce: guaranteeing security access and quality of service 103
Algebraic Process Calculi: The First Twenty Five Years and Beyond III 103
null 101
Security Issues in the Tuple-Space Coordination Model 100
Supporting e-commerce systems formalization with choreography languages 99
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 97
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model 96
Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings 94
Asynchronous session subtyping as communicating automata refinement 94
Towards the Verification of Adaptable Processes 91
A Theory for Strong Service Compliance 91
A Foundational Theory of Contracts for Multi-party Service Composition 90
null 89
On the Expressive Power of Process Interruption and Compensation 88
Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004) 87
Service Discovery and Composition Based on Contracts and Choreographic Descriptions 87
Contract Based Multi-party Service Composition 87
Contract-Based Discovery and Composition of Web Services 87
Quantitative Information in the Tuple Space Coordination Model 87
Axiomatizing maximal progress and discrete time 87
Microservice Dynamic Architecture-Level Deployment Orchestration 87
Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time 83
Formalizing RESTful Services and Web-OS Middleware 83
Foundations of Coordination and Contracts and Their Contribution to Session Type Theory 82
Service Oriented Computing: A New Challenge for Process Algebras 81
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda 81
Process calculi as a tool for studying coordination, contracts and session types 80
A Generic Process Algebra 79
null 79
Special Issue of the journal of "Information and Computation" dedicated to Concurrency Theory 76
null 76
Web Services and Formal Methods - 7th International Workshop (WS-FM 2010), Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers 76
Guest Editorial: Special Issue on Service-Oriented Architectures and Programming 75
J.UCS Journal of Universal Computer Science 72
A sound algorithm for asynchronous session subtyping and its implementation 71
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems 68
Stochastic and Real Time in Process Algebra: A Conceptual Overview 67
Fair Refinement for Asynchronous Session Types 65
From Theoretical e-barter Models to an Implementation Based on Web Services 63
Probabilistic software product lines 63
Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time. 62
From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices 58
YMCA -Why Markov Chain Algebra? 53
Restful services and web-os middleware: A formal specification approach 52
ICT COST Action IC1201 Behavioural Types for Reliable Large-Scale Software Systems (BETTY) 51
Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study 48
Foundational Aspects of Contract Compliance and Choreography Conformance 45
A Session Subtyping Tool 45
Proactive-Reactive Global Scaling, with Analytics 36
Adaptable processes 35
A Java typestate checker supporting inheritance 31
Advanced Mechanisms for Service Composition, Query and Discovery 30
SEAWALL: Seamless Low Latency Cloud Platforms for the Industry 4.0 27
Analysis of temporal complex events in sensor networks 19
Towards dynamic updates in service composition 10
Undecidability of asynchronous session subtyping 10
Totale 8.981
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.010
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 22.010
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.509 390 63 22 141 234 218 319 319 304 150 98 251
2020/20211.820 323 96 34 74 16 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/2025107 107 0 0 0 0 0 0 0 0 0 0 0
Totale 8.981