IRIS
MOLINARI, ALBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 935
EU - Europa 500
AS - Asia 71
AF - Africa 4
SA - Sud America 3
OC - Oceania 2
Totale 1.515
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 923
RU - Federazione Russa 263
IT - Italia 99
FR - Francia 46
DE - Germania 29
VN - Vietnam 26
CN - Cina 23
GB - Regno Unito 19
CA - Canada 12
IN - India 11
PL - Polonia 10
FI - Finlandia 6
JP - Giappone 5
IE - Irlanda 4
NL - Olanda 4
SE - Svezia 4
ZA - Sudafrica 4
GR - Grecia 3
AU - Australia 2
DK - Danimarca 2
HU - Ungheria 2
KR - Corea 2
RO - Romania 2
SG - Singapore 2
UA - Ucraina 2
BR - Brasile 1
CL - Cile 1
CO - Colombia 1
CZ - Repubblica Ceca 1
ES - Italia 1
IR - Iran 1
LT - Lituania 1
PT - Portogallo 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 1.515
Salva come PNG Salva come JPEG
Città #
Saint Petersburg 251
Houston 109
Fairfield 100
Ashburn 72
Santa Cruz 64
Woodbridge 64
Udine 61
Ann Arbor 58
Buffalo 49
Seattle 42
Cambridge 39
Wilmington 33
Des Moines 25
Dong Ket 22
Beijing 16
San Diego 12
University Park 10
Chicago 9
Las Vegas 8
Warsaw 8
Bengaluru 7
Henderson 7
Phoenix 7
Clearwater 6
Columbus 6
Helsinki 6
Ottawa 6
Paris 6
Bordeaux 5
Dallas 5
Mountain View 5
Dublin 4
Hanoi 4
Muizenberg 4
New York 4
Provo 4
Riva 4
Stockholm 4
Toronto 4
Auburn 3
Brescia 3
Easton 3
Frankfurt Am Main 3
London 3
Los Angeles 3
New City 3
San Francisco 3
Shanghai 3
Wuhan 3
Aachen 2
Athens 2
Centreville 2
Chennai 2
Cheyenne 2
Council Bluffs 2
Crugers 2
Denver 2
Derby 2
Fort Washington 2
Jacksonville 2
Kharagpur 2
Lake Forest 2
Napoli 2
Redmond 2
Rome 2
Tokyo 2
Agnadello 1
Atlanta 1
Austin 1
Bagsværd 1
Bedford 1
Boardman 1
Bogotá 1
Boulder 1
Budapest 1
Cagliari 1
Cartagena 1
Cascina 1
Casoria 1
Chions 1
Dartford 1
Davis 1
Dortmund 1
Flinders 1
Herndon 1
Kirkcaldy 1
Liverpool 1
Lombard 1
Madeirã 1
Morkov 1
Moscow 1
Nagold 1
Newcastle 1
Niagara Falls 1
Nizhniy Novgorod 1
Norwalk 1
Pardis 1
Pickens 1
Pistoia 1
Providence 1
Totale 1.248
Salva come PNG Salva come JPEG
Nome #
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives, file e27ce0c2-6c2b-055e-e053-6605fe0a7873 292
An in-depth investigation of interval temporal logic model checking with regular expressions, file e27ce0c4-9279-055e-e053-6605fe0a7873 162
Which Fragments of the Interval Temporal Logic HS are Tractable in Model Checking?, file e27ce0c5-24df-055e-e053-6605fe0a7873 143
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete, file e27ce0c2-f36b-055e-e053-6605fe0a7873 138
Model Checking for Fragments of the Interval Temporal Logic HS at the Low Levels of the Polynomial Time Hierarchy, file e27ce0c5-24e1-055e-e053-6605fe0a7873 133
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic, file e27ce0c2-e7c5-055e-e053-6605fe0a7873 112
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions, file e27ce0c4-9050-055e-e053-6605fe0a7873 112
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives, file e27ce0c4-977f-055e-e053-6605fe0a7873 112
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground, file e27ce0c5-96b1-055e-e053-6605fe0a7873 99
Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption, file e27ce0c4-8c45-055e-e053-6605fe0a7873 58
Interval temporal logic model checking: The border between good and bad HS fragments, file e27ce0c2-f366-055e-e053-6605fe0a7873 43
Model Checking: il Metodo Intervallare, file e27ce0c6-44c4-055e-e053-6605fe0a7873 43
Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture, file e27ce0c2-f369-055e-e053-6605fe0a7873 30
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison, file e27ce0c3-4dfd-055e-e053-6605fe0a7873 28
Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete, file e27ce0c5-96b5-055e-e053-6605fe0a7873 26
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison, file e27ce0c5-96ae-055e-e053-6605fe0a7873 25
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling, file e27ce0c2-f17e-055e-e053-6605fe0a7873 12
Checking interval properties of computations, file e27ce0c2-6488-055e-e053-6605fe0a7873 3
Complexity of ITL model checking: some well-behaved fragments of the interval logic HS, file e27ce0c2-631a-055e-e053-6605fe0a7873 2
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives, file e27ce0c9-8c53-055e-e053-6605fe0a7873 1
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison, file e27ce0c9-8fcc-055e-e053-6605fe0a7873 1
Totale 1.575
Salva come PNG Salva come JPEG
Categoria #
all - tutte 2.825
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 2.825
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201966 0 0 0 0 0 0 0 0 0 0 37 29
2019/2020251 23 33 28 22 19 20 18 25 26 13 10 14
2020/2021217 11 19 12 17 12 15 30 15 17 13 30 26
2021/2022326 15 22 16 62 46 10 12 22 4 18 76 23
2022/2023221 12 18 63 26 12 43 8 1 1 3 28 6
2023/202478 3 3 22 0 9 28 0 7 0 2 4 0
Totale 1.575