IRIS
MOLINARI, ALBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.541
AS - Asia 616
EU - Europa 498
SA - Sud America 97
AF - Africa 14
Totale 2.766
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.527
SG - Singapore 277
CN - Cina 134
IT - Italia 121
UA - Ucraina 102
DE - Germania 94
BR - Brasile 78
VN - Vietnam 69
HK - Hong Kong 55
RU - Federazione Russa 41
FR - Francia 28
FI - Finlandia 26
SE - Svezia 23
TR - Turchia 22
IE - Irlanda 19
IN - India 19
GB - Regno Unito 15
BE - Belgio 10
PL - Polonia 10
AR - Argentina 7
IQ - Iraq 7
CA - Canada 6
VE - Venezuela 5
BD - Bangladesh 4
JP - Giappone 4
MX - Messico 4
NP - Nepal 4
PH - Filippine 4
ZA - Sudafrica 4
CO - Colombia 3
ES - Italia 3
ID - Indonesia 3
AT - Austria 2
BH - Bahrain 2
CL - Cile 2
DO - Repubblica Dominicana 2
HR - Croazia 2
KE - Kenya 2
QA - Qatar 2
TN - Tunisia 2
AM - Armenia 1
AZ - Azerbaigian 1
CG - Congo 1
DZ - Algeria 1
EC - Ecuador 1
IL - Israele 1
IR - Iran 1
JO - Giordania 1
KG - Kirghizistan 1
KW - Kuwait 1
MA - Marocco 1
MU - Mauritius 1
NL - Olanda 1
PE - Perù 1
PR - Porto Rico 1
PS - Palestinian Territory 1
RS - Serbia 1
SA - Arabia Saudita 1
SN - Senegal 1
TG - Togo 1
TT - Trinidad e Tobago 1
TW - Taiwan 1
Totale 2.766
Salva come PNG Salva come JPEG
Città #
Fairfield 177
Chandler 158
Singapore 123
Woodbridge 121
Ann Arbor 100
Houston 90
Ashburn 89
Seattle 76
Beijing 71
Cambridge 59
Jacksonville 59
Wilmington 59
Hong Kong 54
Dearborn 47
Udine 46
Council Bluffs 32
Boardman 31
Dong Ket 30
Izmir 22
Princeton 22
San Jose 22
Ho Chi Minh City 21
San Mateo 21
Lauterbourg 20
Dublin 19
Des Moines 16
San Diego 16
Helsinki 13
The Dalles 13
Los Angeles 11
Brussels 10
Buffalo 9
Redondo Beach 9
Warsaw 9
Mumbai 8
Trieste 8
Phoenix 7
Karlsruhe 6
New York 6
Norwalk 6
Dallas 5
Rio de Janeiro 5
Serra Riccò 5
Cagliari 4
Caracas 4
Frankfurt am Main 4
Mcallen 4
Nanjing 4
Rome 4
Tokyo 4
Guangzhou 3
Hanoi 3
Johannesburg 3
Leipzig 3
Milwaukee 3
Treviso 3
Baghdad 2
Basiliano 2
Belo Horizonte 2
Biên Hòa 2
Brasília 2
Brooklyn 2
Campinas 2
Doha 2
Ferrara 2
Ha Long 2
Haiphong 2
Hefei 2
Hyderabad 2
Isa Town 2
Jinan 2
Joinville 2
Kolkata 2
Kunming 2
Nairobi 2
Nuremberg 2
Redwood City 2
Rodgau 2
San Francisco 2
Santa Clara 2
Santa Maria 2
Santa Maria Madalena 2
Santiago 2
Santo Domingo 2
Shanghai 2
Shenyang 2
São Bernardo do Campo 2
São Paulo 2
Tappahannock 2
Tianjin 2
Vicenza 2
Vienna 2
Virginia Beach 2
Ad Dawrah 1
Agadir 1
Amman 1
Amsterdam 1
Angra dos Reis 1
Araucária 1
Araxá 1
Totale 1.858
Salva come PNG Salva come JPEG
Nome #
Which Fragments of the Interval Temporal Logic HS are Tractable in Model Checking? 201
An in-depth investigation of interval temporal logic model checking with regular expressions 193
Model Checking for Fragments of the Interval Temporal Logic HS at the Low Levels of the Polynomial Time Hierarchy 184
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 174
Interval temporal logic model checking: The border between good and bad HS fragments 169
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic 158
Checking interval properties of computations 155
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives 154
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 140
Complexity of ITL model checking: some well-behaved fragments of the interval logic HS 138
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 125
Model Checking: il Metodo Intervallare 123
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling 119
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives 115
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground 111
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption 107
Model Checking Interval Temporal Logics with Regular Expressions 102
Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture 100
Timeline-based planning over dense temporal domains 92
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 87
Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete 66
Model Checking Timeline-based Systems over Dense Temporal Domains 58
Decidability and Complexity of Timeline-based Planning over Dense Temporal Domains 10
Totale 2.881
Salva come PNG Salva come JPEG
Categoria #
all - tutte 10.482
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 10.482
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021109 0 0 0 0 0 0 0 0 0 30 31 48
2021/2022199 13 33 28 5 4 6 11 13 1 27 28 30
2022/2023325 26 43 2 46 30 85 2 26 53 2 3 7
2023/202475 21 5 1 2 13 5 4 9 5 5 0 5
2024/2025334 5 35 7 14 0 11 32 43 31 11 62 83
2025/2026598 15 72 46 33 105 64 109 49 48 57 0 0
Totale 2.881