ACCIAI, LUCIA
 Distribuzione geografica
Continente #
NA - Nord America 1.046
EU - Europa 567
AS - Asia 64
AF - Africa 2
Totale 1.679
Nazione #
US - Stati Uniti d'America 1.044
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 9
IN - India 7
CH - Svizzera 6
CA - Canada 2
SC - Seychelles 2
SG - Singapore 2
VN - Vietnam 2
FR - Francia 1
NL - Olanda 1
Totale 1.679
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 8
Boardman 7
San Diego 7
Bern 6
Medford 6
Norwalk 6
Cagliari 5
Falls Church 3
Auburn Hills 2
Dong Ket 2
Hillsboro 2
New York 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
Singapore 1
Totale 1.260
Nome #
A Process-Algebraic view of Service Oriented Architectures 188
A Typed Calculus for Querying Distributed XML Documents 122
Behavioural contracts with request-response operations 102
A Concurrent Calculus with Atomic Transactions 101
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 84
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
Spatial and Behavioral Types in the Pi-Calculus 78
Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types 77
Linear-Time and May-Testing in a Probabilistic Reactive Setting 77
XPi: A typed process calculus for XML messaging 71
On the relationship between spatial logics and behavioral simulations 71
Totale 1.683
Categoria #
all - tutte 4.540
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.540


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019167 0 0 0 0 0 0 0 0 0 0 96 71
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/202481 5 13 18 3 6 11 5 20 0 0 0 0
Totale 1.683