TUOSTO, EMILIO
 Distribuzione geografica
Continente #
EU - Europa 710
NA - Nord America 240
Continente sconosciuto - Info sul continente non disponibili 34
AS - Asia 24
OC - Oceania 2
SA - Sud America 2
Totale 1012
Nazione #
UA - Ucraina 297
SE - Svezia 260
US - Stati Uniti d'America 238
DE - Germania 58
IT - Italia 33
EU - Europa 32
FR - Francia 32
CN - Cina 8
IL - Israele 8
GB - Regno Unito 4
NL - Olanda 4
DK - Danimarca 3
RO - Romania 3
RU - Federazione Russa 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AT - Austria 2
AU - Australia 2
CA - Canada 2
CL - Cile 2
FI - Finlandia 2
IN - India 2
NO - Norvegia 2
PT - Portogallo 2
TR - Turchia 2
VN - Vietnam 2
AL - Albania 1
CH - Svizzera 1
ES - Italia 1
HK - Hong Kong 1
IR - Iran 1
MC - Monaco 1
PL - Polonia 1
Totale 1012
Città #
San Mateo 97
Ann Arbor 44
Chandler 37
Hanover 32
Wilmington 26
Strasbourg 20
Shaoxing 8
Andover 6
Redwood City 5
Trepuzzi 5
Frankfurt am Main 4
Leawood 4
Clearwater 3
Copenhagen 3
Mountain View 3
Rome 3
Berlin 2
Dong Ket 2
Helsinki 2
Kemerovo 2
Kocaeli 2
Laurel 2
Montréal 2
Nîmes 2
Apo 1
Buffalo 1
Busso 1
Cambridge 1
Central 1
Cerveteri 1
Groningen 1
Kish 1
Leicester 1
Los Angeles 1
Lüneburg 1
Monaco 1
Napoli 1
Philadelphia 1
Pisa 1
Reghin 1
Rovereto 1
Saint Louis 1
Sassuolo 1
Southend 1
Tilburg 1
Totale 337
Nome #
Trustworthy Global Computing 31
Interaction and Concurrency Experiences 31
Web Services and Formal Methods 29
On Resolving Non-determinism in Choreographies 27
null 27
A Choreography-Driven Approach to APIs: The OpenDXL Case Study 25
Choreography Automata 24
Probabilistic Analysis of Binary Sessions 23
Towards Choreographic-Based Monitoring 23
Choreographic Development of Message-Passing Applications 21
ICGT 2008 Doctoral Symposium 20
Attribute-based transactions in service oriented computing 19
Contract-Oriented design of distributed applications: A tutorial 19
From Communicating Machines to Graphical Choreographies 18
An Observational Model for Spatial Logics 17
Coordination Models and Languages - 21st IFIP WG 6.1 17
BPMN Modelling of Services with Dynamically Reconfigurable Transactions 16
Foundations of Session Types and Behavioural Contracts 16
Calculi for Network Aware Programming 15
Towards Refinable Choreographies 15
A Prototype for Data Race Detection in CSeq 3 15
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods 14
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods 14
Event-Based Service Coordination 14
Graph Transformation and Visual Modeling Techniques 14
Service Oriented Computing and Applications 14
Semantics of global view of choreographies 13
A LTS Semantics of Ambients via Graph Synchronization with Mobility 13
Interface Automata for Choreographies 13
null 13
Contract-Oriented Computing in CO2 13
Choreographies for Automatic Recovery 12
Network Applications of Graph Bisimulation 12
A debugging calculus for mobile ambients 12
History Dependent Automata for Service Compatibility 12
Service Oriented Architectural Design 12
Towards A Formal Semantics For Autonomic Components 12
A tool for choreography-based analysis of message-passing software 12
The Klaim Project 12
Translating Orc Features into Petri Nets and the Join Calculus 11
Tool Supported Analysis of IoT 11
Testing Attribute-Based Transactions in SOC 11
A Modular Toolkit for Distributed Interactions 11
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing 11
International Conference on Graph Transformation - Doctoral Symposium 11
A Java Inspired Semantics for Transactions in SOC 11
Verication On The Web Of Mobile Systems 11
Realisability of Pomsets via Communicating Automata 11
null 11
null 10
Three Algorithms and a Methodology for Amending Contracts for Choreographies 10
null 10
A symbolic framework for multi-faceted security protocol analysis 10
A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions 10
Patterns of Federated Identity Management Systems as Architectural Reconfigurations 10
Honesty by Typing 10
On Learning Nominal Automata with Binders 10
Data-Driven Choreographies à la Klaim 10
An Abstract Framework for Choreographic Testing 10
SHReQ 10
Towards Probabilistic Session-Type Monitoring 10
Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types 9
Model-Driven Development of Long Running Transactions 9
Modelling Fusion Calculus using HD-Automata 9
From Co-algebraic Specifications to Implementation 9
Reversible Choreographies via Monitoring in Erlang 9
Refactoring Long Running Transactions: A Case Study 9
Choreography-Based Analysis of Distributed Message Passing Programs 9
A Process Calculus for QoS-Aware Applications 9
From Theory to Practice in Transactional Composition of Web Services 9
Model Checking for Nominal Calculi 9
Tarzan 9
Multiparty Sessions in SOC 9
Coordination Via Types in an Event-Based Framework 9
Realisability of pomsets 8
A Coordination-based Methodology for Security Protocol Verification 8
Refactoring Long Running Transactions 8
null 8
An Ada95 Implementation of a Network Coordination Language with Code Mobility 8
Honesty by Typing 8
Security and Dynamic Compositions of Open Systems 8
Playing with Our CAT and Communication-Centric Applications 8
Relating two automata-based models of orchestration and choreography 8
A Theory of Design-by-Contract for Distributed Multiparty Interactions 8
Enforcing Architectural Styles in Presence of Unexpected Distributed Reconfigurations 8
Graph-Based Models of Internetworking Systems 8
Virtual models for archaeology 8
Architectural Models of Ambient-PRISMA in Channel Ambient Calculus 8
Communicating machines as a dynamic binding mechanism of services 7
Synchronized Hyperedge Replacement for Heterogeneous Systems 7
An Abstract Semantics of the Global View of Choreographies 7
On the Realizability of Contracts in Dishonest Systems 7
null 7
Reliability and Fault-Tolerance by Choreographic Design 7
null 7
null 7
Synthesising Choreographies from Local Session Types 6
Resolving Non-determinism in Choreographies 6
Contract-Oriented Services 6
Contracts in distributed systems 6
Totale 1218
Categoria #
all - tutte 7756
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 7756


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021417 01948 2013 01 28372465
2021/2022775 8545487 737 290 21622117
2022/202393 951285 00 00 0000
Totale 1285