IRIS
MOLINARI, ALBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.586
AS - Asia 617
EU - Europa 501
SA - Sud America 97
AF - Africa 14
Totale 2.815
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.570
SG - Singapore 278
CN - Cina 134
IT - Italia 122
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
PL - Polonia 11
BE - Belgio 10
AR - Argentina 7
CA - Canada 7
IQ - Iraq 7
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
NL - Olanda 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
PE - Perù 1
PR - Porto Rico 1
PS - Palestinian Territory 1
RS - Serbia 1
SA - Arabia Saudita 1
SN - Senegal 1
SV - El Salvador 1
TG - Togo 1
TT - Trinidad e Tobago 1
TW - Taiwan 1
Totale 2.815
Salva come PNG Salva come JPEG
Città #
Fairfield 177
Chandler 158
Singapore 124
Woodbridge 121
Ann Arbor 100
Houston 90
Ashburn 89
Seattle 76
Beijing 71
Cambridge 59
Jacksonville 59
Wilmington 59
Hong Kong 54
Dearborn 47
San Jose 46
Udine 46
Council Bluffs 39
Boardman 31
Dong Ket 30
Izmir 22
Princeton 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
Phoenix 8
Trieste 8
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.891
Salva come PNG Salva come JPEG
Nome #
Which Fragments of the Interval Temporal Logic HS are Tractable in Model Checking? 202
An in-depth investigation of interval temporal logic model checking with regular expressions 196
Model Checking for Fragments of the Interval Temporal Logic HS at the Low Levels of the Polynomial Time Hierarchy 187
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 175
Interval temporal logic model checking: The border between good and bad HS fragments 170
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic 161
Checking interval properties of computations 156
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives 156
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 142
Complexity of ITL model checking: some well-behaved fragments of the interval logic HS 140
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 129
Model Checking: il Metodo Intervallare 128
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling 120
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives 118
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption 112
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground 112
Model Checking Interval Temporal Logics with Regular Expressions 104
Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture 101
Timeline-based planning over dense temporal domains 93
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 90
Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete 69
Model Checking Timeline-based Systems over Dense Temporal Domains 59
Decidability and Complexity of Timeline-based Planning over Dense Temporal Domains 10
Totale 2.930
Salva come PNG Salva come JPEG
Categoria #
all - tutte 10.893
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.893
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202148 0 0 0 0 0 0 0 0 0 0 0 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/2026647 15 72 46 33 105 64 109 49 48 67 36 3
Totale 2.930