ACCIAI, LUCIA
 Distribuzione geografica
Continente #
NA - Nord America 1.702
EU - Europa 819
AS - Asia 144
OC - Oceania 13
AF - Africa 6
Totale 2.684
Nazione #
US - Stati Uniti d'America 1.700
RU - Federazione Russa 287
PL - Polonia 128
DE - Germania 97
SE - Svezia 97
IE - Irlanda 73
HK - Hong Kong 52
IT - Italia 52
SG - Singapore 43
GB - Regno Unito 31
UA - Ucraina 25
FI - Finlandia 21
IN - India 18
TR - Turchia 18
AU - Australia 13
CN - Cina 10
CH - Svizzera 6
CI - Costa d'Avorio 4
CA - Canada 2
SC - Seychelles 2
VN - Vietnam 2
FR - Francia 1
ID - Indonesia 1
NL - Olanda 1
Totale 2.684
Città #
Santa Clara 611
Fairfield 173
Warsaw 128
Chandler 125
Seattle 95
Ashburn 92
Woodbridge 83
Cambridge 77
Dublin 73
Wilmington 66
Jacksonville 58
Houston 52
Hong Kong 36
Singapore 34
Lawrence 25
Altamura 22
Izmir 18
Princeton 18
Ann Arbor 17
Boston 17
Buffalo 17
Florence 17
Melbourne 13
Mumbai 11
Shanghai 9
Boardman 7
San Diego 7
Bern 6
Medford 6
Norwalk 6
Cagliari 5
Abidjan 4
Moscow 4
Falls Church 3
Helsinki 3
Auburn Hills 2
Dong Ket 2
Hillsboro 2
Kent 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
Jakarta 1
Kilburn 1
London 1
Los Angeles 1
Maricopa 1
Pisa 1
Pune 1
Rotterdam 1
San Mateo 1
Totale 1.969
Nome #
A Process-Algebraic view of Service Oriented Architectures 245
A Typed Calculus for Querying Distributed XML Documents 182
Behavioural contracts with request-response operations 156
Type Abstractions of Name-Passing Processes 155
XPi: A Typed Process Calculus for XML Messaging 154
A Concurrent Calculus with Atomic Transactions 154
Responsiveness in Process Calculi 153
Static Analysis Techniques for Session-Oriented Calculi 152
Behavioural contracts with request-response operations 146
A Type System for Client Progress in a Service-Oriented Calculus 142
Responsiveness in process calculi 139
Deciding safety properties in infinite-state pi-calculus via behavioural types 135
Spatial and behavioral types in the pi-calculus 133
Linear-Time and May-Testing in a Probabilistic Reactive Setting 132
Spatial and Behavioral Types in the Pi-Calculus 130
On the relationship between spatial logics and behavioral simulations 130
Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types 126
XPi: A typed process calculus for XML messaging 124
Totale 2.688
Categoria #
all - tutte 6.403
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 6.403


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020179 0 0 0 0 0 0 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.001 26 99 58 137 391 290 0 0 0 0 0 0
Totale 2.688