IRIS
TUOSTO, EMILIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.019
EU - Europa 1.240
AS - Asia 71
Continente sconosciuto - Info sul continente non disponibili 34
AF - Africa 6
OC - Oceania 5
SA - Sud America 4
Totale 3.379
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.011
SE - Svezia 370
UA - Ucraina 297
DE - Germania 224
IE - Irlanda 95
IT - Italia 85
FR - Francia 39
EU - Europa 32
GB - Regno Unito 27
IL - Israele 19
FI - Finlandia 18
HK - Hong Kong 14
CN - Cina 12
BE - Belgio 11
CZ - Repubblica Ceca 11
NL - Olanda 9
SG - Singapore 8
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
JP - Giappone 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
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
TW - Taiwan 1
Totale 3.379
Salva come PNG Salva come JPEG
Città #
Chandler 522
Boardman 261
New York 139
Kitzingen 115
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 17
Las Vegas 16
Berlin 15
Central 14
Frankfurt am Main 14
Munich 12
Brussels 11
Edinburgh 10
Shaoxing 8
Brno 7
Singapore 7
Andover 6
Amsterdam 5
Redwood City 5
Trepuzzi 5
Budapest 4
Leawood 4
Milan 4
Olomouc 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
Cologne 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
Totale 1.881
Salva come PNG Salva come JPEG
Nome #
Trustworthy Global Computing 67
Web Services and Formal Methods 65
Interaction and Concurrency Experiences 63
Choreography Automata 60
ICGT 2008 Doctoral Symposium 59
On Resolving Non-determinism in Choreographies 59
A Choreography-Driven Approach to APIs: The OpenDXL Case Study 55
From Communicating Machines to Graphical Choreographies 50
Probabilistic Analysis of Binary Sessions 49
Choreographic Development of Message-Passing Applications 48
Event-Based Service Coordination 46
A Prototype for Data Race Detection in CSeq 3 45
Calculi for Network Aware Programming 43
BPMN Modelling of Services with Dynamically Reconfigurable Transactions 43
Service Oriented Computing and Applications 43
Attribute-based transactions in service oriented computing 41
Graph Transformation and Visual Modeling Techniques 40
Realisability of Pomsets via Communicating Automata 40
An Observational Model for Spatial Logics 39
Choreographies for Automatic Recovery 39
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods 39
A Java Inspired Semantics for Transactions in SOC 39
Interface Automata for Choreographies 38
Foundations of Session Types and Behavioural Contracts 38
Realisability of pomsets 37
A design-by-contract approach to recover the architectural style from run-time misbehaviour 37
A debugging calculus for mobile ambients 37
History Dependent Automata for Service Compatibility 37
Towards A Formal Semantics For Autonomic Components 37
Abstractions for Collective Adaptive Systems 37
An Abstract Framework for Choreographic Testing 36
An abstract framework for choreographic testing 36
International Conference on Graph Transformation - Doctoral Symposium 35
From Theory to Practice in Transactional Composition of Web Services 35
Contract-Oriented Computing in CO2 35
Tarzan 35
An Ada95 Implementation of a Network Coordination Language with Code Mobility 34
Service Oriented Architectural Design 34
Refactoring Long Running Transactions: A Case Study 34
Choreography-Based Analysis of Distributed Message Passing Programs 34
A Coordination-based Methodology for Security Protocol Verification 33
Amending Contracts for Choreographies 32
Testing Attribute-Based Transactions in SOC 32
Verication On The Web Of Mobile Systems 32
Towards Probabilistic Session-Type Monitoring 32
From Co-algebraic Specifications to Implementation 31
An Abstract Semantics of the Global View of Choreographies 31
A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions 31
A Modular Toolkit for Distributed Interactions 31
Playing with Our CAT and Communication-Centric Applications 31
On Sessions and Infinite Data 31
The Klaim Project 31
Graph-Based Models of Internetworking Systems 31
Refactoring Long Running Transactions 30
Security and Dynamic Compositions of Open Systems 30
Towards Choreographic-Based Monitoring 30
SHReQ 30
Architectural Models of Ambient-PRISMA in Channel Ambient Calculus 30
A LTS Semantics of Ambients via Graph Synchronization with Mobility 29
Tool Supported Analysis of IoT 29
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods 29
Contract-Oriented Services 29
A Process Calculus for QoS-Aware Applications 29
Model Checking for Nominal Calculi 29
Coordination Via Types in an Event-Based Framework 29
On Model-Based Performance Analysis of Collective Adaptive Systems 28
Communicating machines as a dynamic binding mechanism of services 28
Honesty by Typing 28
Honesty by Typing 28
Coordination Models and Languages - 21st IFIP WG 6.1 28
Contract-Oriented design of distributed applications: A tutorial 28
Reliability and Fault-Tolerance by Choreographic Design 28
PSTMonitor: Monitor synthesis from probabilistic session types 27
Modelling Fusion Calculus using HD-Automata 27
null 27
Security Issues in Component-based Design 27
Corinne, a Tool for Choreography Automata 27
Network Applications of Graph Bisimulation 26
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing 26
A tool for choreography-based analysis of message-passing software 26
Proceedings of the Doctoral Symposium at the International Conference on Graph Transformation 26
Composition and decomposition of multiparty sessions 26
Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types 25
On Sessions and Infinite Data 25
Synchronized Hyperedge Replacement for Heterogeneous Systems 25
Relating archaeological chaîne opératoire and process mining in computer science 25
Contracts in distributed systems 24
Patterns of Federated Identity Management Systems as Architectural Reconfigurations 24
A Logic for Application Level QoS 24
Towards Refinable Choreographies 23
Model-Driven Development of Long Running Transactions 22
A symbolic framework for multi-faceted security protocol analysis 22
A Formal Basis for Reasoning on Programmable QoS 22
Interaction and Concurrency Experience: Structured Interactions 22
Translating Orc Features into Petri Nets and the Join Calculus 21
A Theory of Design-by-Contract for Distributed Multiparty Interactions 20
Semantics of global view of choreographies 19
Relating two automata-based models of orchestration and choreography 19
Data-Driven Choreographies à la Klaim 19
Multiparty Sessions in SOC 19
Totale 3.341
Salva come PNG Salva come JPEG
Categoria #
all - tutte 40.932
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 40.932
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/20241.028 39 41 169 32 33 156 35 127 9 189 143 55
Totale 3.661