ACCIAI, LUCIA
 Distribuzione geografica
Continente #
NA - Nord America 1.048
EU - Europa 567
AS - Asia 67
AF - Africa 2
Totale 1.684
Nazione #
US - Stati Uniti d'America 1.046
PL - Polonia 128
DE - Germania 97
SE - Svezia 97
IE - Irlanda 73
IT - Italia 52
RU - Federazione Russa 38
GB - Regno Unito 31
HK - Hong Kong 26
UA - Ucraina 25
FI - Finlandia 18
TR - Turchia 18
CN - Cina 10
IN - India 7
CH - Svizzera 6
SG - Singapore 4
CA - Canada 2
SC - Seychelles 2
VN - Vietnam 2
FR - Francia 1
NL - Olanda 1
Totale 1.684
Città #
Fairfield 173
Warsaw 128
Chandler 125
Seattle 95
Ashburn 92
Woodbridge 83
Cambridge 77
Dublin 73
Wilmington 66
Jacksonville 58
Houston 52
Lawrence 25
Altamura 22
Izmir 18
Princeton 18
Ann Arbor 17
Boston 17
Buffalo 17
Florence 17
Hong Kong 10
Shanghai 9
Boardman 7
San Diego 7
Bern 6
Medford 6
Norwalk 6
Cagliari 5
Falls Church 3
Auburn Hills 2
Dong Ket 2
Hillsboro 2
Kent 2
New York 2
Singapore 2
Sovicille 2
Toronto 2
Washington 2
Acton 1
Andover 1
Beijing 1
Central District 1
Frankfurt Am Main 1
Islington 1
Kilburn 1
London 1
Los Angeles 1
Maricopa 1
Pisa 1
Pune 1
Rotterdam 1
San Mateo 1
Totale 1.264
Nome #
A Process-Algebraic view of Service Oriented Architectures 188
A Typed Calculus for Querying Distributed XML Documents 123
A Concurrent Calculus with Atomic Transactions 102
Behavioural contracts with request-response operations 102
XPi: A Typed Process Calculus for XML Messaging 97
Type Abstractions of Name-Passing Processes 97
Responsiveness in Process Calculi 96
Behavioural contracts with request-response operations 90
Responsiveness in process calculi 86
A Type System for Client Progress in a Service-Oriented Calculus 85
Static Analysis Techniques for Session-Oriented Calculi 84
Deciding safety properties in infinite-state pi-calculus via behavioural types 83
Spatial and behavioral types in the pi-calculus 79
Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types 78
Spatial and Behavioral Types in the Pi-Calculus 78
Linear-Time and May-Testing in a Probabilistic Reactive Setting 77
On the relationship between spatial logics and behavioral simulations 72
XPi: A typed process calculus for XML messaging 71
Totale 1.688
Categoria #
all - tutte 4.837
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 4.837


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020369 34 19 13 32 46 46 44 48 41 20 21 5
2020/2021244 49 14 37 33 3 24 3 11 16 19 11 24
2021/2022147 2 21 23 0 3 4 10 9 3 4 45 23
2022/2023397 31 82 29 33 39 67 44 33 26 0 6 7
2023/202485 5 13 18 3 6 11 5 20 0 0 2 2
2024/20251 1 0 0 0 0 0 0 0 0 0 0 0
Totale 1.688