IRIS
TUOSTO, EMILIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.977
EU - Europa 1.092
AS - Asia 63
Continente sconosciuto - Info sul continente non disponibili 34
AF - Africa 6
OC - Oceania 5
SA - Sud America 4
Totale 3.181
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.969
SE - Svezia 370
UA - Ucraina 297
IE - Irlanda 95
DE - Germania 89
IT - Italia 84
FR - Francia 39
EU - Europa 32
GB - Regno Unito 27
IL - Israele 19
FI - Finlandia 17
HK - Hong Kong 14
CN - Cina 12
BE - Belgio 11
NL - Olanda 9
CA - Canada 7
RU - Federazione Russa 6
AU - Australia 5
RS - Serbia 5
AT - Austria 4
HU - Ungheria 4
PL - Polonia 4
RO - Romania 4
TR - Turchia 4
CH - Svizzera 3
DK - Danimarca 3
EE - Estonia 3
ES - Italia 3
A2 - ???statistics.table.value.countryCode.A2??? 2
BR - Brasile 2
CL - Cile 2
DJ - Gibuti 2
GH - Ghana 2
HR - Croazia 2
IN - India 2
JP - Giappone 2
MD - Moldavia 2
NO - Norvegia 2
PH - Filippine 2
PT - Portogallo 2
VN - Vietnam 2
AL - Albania 1
BG - Bulgaria 1
GL - Groenlandia 1
IM - Isola di Man 1
IR - Iran 1
LI - Liechtenstein 1
LK - Sri Lanka 1
LU - Lussemburgo 1
MA - Marocco 1
MC - Monaco 1
MN - Mongolia 1
MT - Malta 1
NG - Nigeria 1
NP - Nepal 1
SG - Singapore 1
TW - Taiwan 1
Totale 3.181
Salva come PNG Salva come JPEG
Città #
Chandler 522
Boardman 239
New York 138
San Mateo 97
Dublin 95
Los Angeles 82
Ogden 73
Ann Arbor 44
Turin 44
Hanover 32
Ashburn 27
Wilmington 26
Strasbourg 20
West Jordan 20
Helsinki 16
Las Vegas 16
Central 14
Berlin 13
Frankfurt am Main 12
Brussels 11
Edinburgh 10
Shaoxing 8
Andover 6
Amsterdam 5
Redwood City 5
Trepuzzi 5
Budapest 4
Leawood 4
Milan 4
Belgrade 3
Clearwater 3
Copenhagen 3
London 3
Manchester 3
Miami 3
Mountain View 3
Paris 3
Rome 3
Stockholm 3
Tallinn 3
Warsaw 3
Balbala 2
Berdsk 2
Canterbury 2
Charlotte 2
Chisinau 2
Dong Ket 2
Houston 2
Istanbul 2
Kemerovo 2
Kocaeli 2
Laurel 2
L’Aquila 2
Madrid 2
Marseille 2
Montreal 2
Montréal 2
Novi Sad 2
Nîmes 2
Sydney 2
Tagoloan 2
Tel Aviv 2
Tokyo 2
Vienna 2
Zagreb 2
Zurich 2
Accra 1
Adelfia 1
Apo 1
Atlanta 1
Birmingham 1
Boston 1
Brisbane 1
Bristol 1
Buffalo 1
Busso 1
Cambridge 1
Cerveteri 1
Chicago 1
Cormeilles-en-Parisis 1
Dambulla 1
Douglas 1
Falkenstein 1
Groningen 1
Halifax 1
Hamburg 1
Kamampa 1
Kathmandu 1
Kish 1
Lagos 1
Leicester 1
Lüneburg 1
Monaco 1
Napoli 1
New Orleans 1
Novosibirsk 1
Nuuk 1
Orlando 1
Philadelphia 1
Phoenix 1
Totale 1.712
Salva come PNG Salva come JPEG
Nome #
Trustworthy Global Computing 61
Web Services and Formal Methods 61
Choreography Automata 59
Interaction and Concurrency Experiences 59
On Resolving Non-determinism in Choreographies 58
ICGT 2008 Doctoral Symposium 55
A Choreography-Driven Approach to APIs: The OpenDXL Case Study 53
From Communicating Machines to Graphical Choreographies 47
Probabilistic Analysis of Binary Sessions 47
Event-Based Service Coordination 45
Choreographic Development of Message-Passing Applications 44
BPMN Modelling of Services with Dynamically Reconfigurable Transactions 42
Service Oriented Computing and Applications 42
A Prototype for Data Race Detection in CSeq 3 42
Calculi for Network Aware Programming 41
Attribute-based transactions in service oriented computing 40
Realisability of Pomsets via Communicating Automata 39
An Observational Model for Spatial Logics 38
Graph Transformation and Visual Modeling Techniques 38
Choreographies for Automatic Recovery 37
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods 37
Interface Automata for Choreographies 37
A Java Inspired Semantics for Transactions in SOC 37
Foundations of Session Types and Behavioural Contracts 37
Realisability of pomsets 36
Towards A Formal Semantics For Autonomic Components 36
A debugging calculus for mobile ambients 35
A design-by-contract approach to recover the architectural style from run-time misbehaviour 34
International Conference on Graph Transformation - Doctoral Symposium 34
Abstractions for Collective Adaptive Systems 34
Contract-Oriented Computing in CO2 34
An Ada95 Implementation of a Network Coordination Language with Code Mobility 33
Service Oriented Architectural Design 33
Refactoring Long Running Transactions: A Case Study 33
Choreography-Based Analysis of Distributed Message Passing Programs 33
An Abstract Framework for Choreographic Testing 33
History Dependent Automata for Service Compatibility 32
From Theory to Practice in Transactional Composition of Web Services 32
Tarzan 32
An abstract framework for choreographic testing 32
A Coordination-based Methodology for Security Protocol Verification 31
Testing Attribute-Based Transactions in SOC 31
Towards Probabilistic Session-Type Monitoring 31
From Co-algebraic Specifications to Implementation 30
An Abstract Semantics of the Global View of Choreographies 30
A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions 30
Playing with Our CAT and Communication-Centric Applications 30
On Sessions and Infinite Data 30
Verication On The Web Of Mobile Systems 30
Graph-Based Models of Internetworking Systems 30
Refactoring Long Running Transactions 29
Amending Contracts for Choreographies 29
A Modular Toolkit for Distributed Interactions 29
Security and Dynamic Compositions of Open Systems 29
Towards Choreographic-Based Monitoring 29
The Klaim Project 29
SHReQ 29
Tool Supported Analysis of IoT 28
Contract-Oriented Services 28
A Process Calculus for QoS-Aware Applications 28
Model Checking for Nominal Calculi 28
Architectural Models of Ambient-PRISMA in Channel Ambient Calculus 28
Coordination Via Types in an Event-Based Framework 28
Communicating machines as a dynamic binding mechanism of services 27
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods 27
Honesty by Typing 27
Honesty by Typing 27
Coordination Models and Languages - 21st IFIP WG 6.1 27
null 27
Reliability and Fault-Tolerance by Choreographic Design 27
PSTMonitor: Monitor synthesis from probabilistic session types 26
Modelling Fusion Calculus using HD-Automata 26
A LTS Semantics of Ambients via Graph Synchronization with Mobility 26
Contract-Oriented design of distributed applications: A tutorial 26
Security Issues in Component-based Design 26
Corinne, a Tool for Choreography Automata 26
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing 25
Proceedings of the Doctoral Symposium at the International Conference on Graph Transformation 25
Composition and decomposition of multiparty sessions 25
Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types 24
Synchronized Hyperedge Replacement for Heterogeneous Systems 24
Network Applications of Graph Bisimulation 24
A tool for choreography-based analysis of message-passing software 24
Relating archaeological chaîne opératoire and process mining in computer science 24
On Sessions and Infinite Data 23
Contracts in distributed systems 23
Patterns of Federated Identity Management Systems as Architectural Reconfigurations 23
Towards Refinable Choreographies 22
A Logic for Application Level QoS 22
Model-Driven Development of Long Running Transactions 21
Interaction and Concurrency Experience: Structured Interactions 21
On Model-Based Performance Analysis of Collective Adaptive Systems 20
Translating Orc Features into Petri Nets and the Join Calculus 20
A Formal Basis for Reasoning on Programmable QoS 20
Semantics of global view of choreographies 18
A symbolic framework for multi-faceted security protocol analysis 18
Relating two automata-based models of orchestration and choreography 18
Data-Driven Choreographies à la Klaim 18
Multiparty Sessions in SOC 18
A Theory of Design-by-Contract for Distributed Multiparty Interactions 17
Totale 3.168
Salva come PNG Salva come JPEG
Categoria #
all - tutte 36.658
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.658
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021417 0 1 9 48 201 3 0 1 28 37 24 65
2021/2022775 8 5 45 487 73 7 29 0 21 62 21 17
2022/20231.441 9 51 28 193 135 233 109 208 214 76 171 14
2023/2024830 39 41 169 32 33 156 35 127 9 189 0 0
Totale 3.463