IRIS
GEATTI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 600
EU - Europa 521
AS - Asia 281
SA - Sud America 41
AF - Africa 11
OC - Oceania 4
Continente sconosciuto - Info sul continente non disponibili 1
Totale 1.459
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 579
IT - Italia 197
SG - Singapore 161
DE - Germania 74
RU - Federazione Russa 47
CN - Cina 46
BR - Brasile 37
GB - Regno Unito 32
NL - Olanda 23
FR - Francia 21
IE - Irlanda 21
FI - Finlandia 18
AT - Austria 15
CA - Canada 15
CZ - Repubblica Ceca 15
SE - Svezia 13
HK - Hong Kong 12
IN - India 10
VN - Vietnam 10
JP - Giappone 9
RO - Romania 9
UA - Ucraina 9
KR - Corea 6
TR - Turchia 6
KE - Kenya 5
LT - Lituania 5
ES - Italia 4
GR - Grecia 4
TG - Togo 4
AU - Australia 3
DK - Danimarca 3
MX - Messico 3
TW - Taiwan 3
BD - Bangladesh 2
CH - Svizzera 2
ID - Indonesia 2
IR - Iran 2
PA - Panama 2
PH - Filippine 2
PL - Polonia 2
PT - Portogallo 2
AE - Emirati Arabi Uniti 1
BE - Belgio 1
BH - Bahrain 1
BO - Bolivia 1
CR - Costa Rica 1
EC - Ecuador 1
EG - Egitto 1
EU - Europa 1
GE - Georgia 1
HU - Ungheria 1
IL - Israele 1
KH - Cambogia 1
LV - Lettonia 1
MY - Malesia 1
NP - Nepal 1
NZ - Nuova Zelanda 1
OM - Oman 1
PE - Perù 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
TH - Thailandia 1
UY - Uruguay 1
UZ - Uzbekistan 1
ZA - Sudafrica 1
Totale 1.459
Salva come PNG Salva come JPEG
Città #
Singapore 126
Chandler 106
Boardman 52
Udine 38
Fairfield 35
Ashburn 30
Columbus 26
Woodbridge 23
Seattle 19
Dublin 17
Munich 15
Wilmington 15
Brno 14
Nuremberg 14
Düsseldorf 13
Treviso 13
Milan 12
Princeton 12
Los Angeles 11
Vienna 11
Amsterdam 9
Cambridge 9
Lappeenranta 8
Dong Ket 7
Guangzhou 7
Helsinki 7
Toronto 7
Venice 7
Dearborn 6
Hangzhou 6
Hong Kong 6
Houston 6
Timisoara 6
Verona 6
Andover 5
Baton Rouge 5
Beijing 5
Florence 5
Frankfurt am Main 5
Jacksonville 5
Mogliano Veneto 5
Rome 5
San Jose 5
Tokyo 5
Utrecht 5
Ann Arbor 4
Bressanvido 4
Cagliari 4
Fayetteville 4
Hove 4
Karlsruhe 4
Lomé 4
Madrid 4
Ogden 4
Pasian di Prato 4
Preganziol 4
Saarbrücken 4
São Paulo 4
Trento 4
Ahmedabad 3
Almere Stad 3
Conegliano 3
Contigliano 3
Des Moines 3
Hyderabad 3
Izmir 3
Lauterbourg 3
Osnabrück 3
Saint Leonards-on-Sea 3
Santa Clara 3
Shatin 3
Shenzhen 3
Southwark 3
Trieste 3
Aachen 2
Acerra 2
Albuquerque 2
Ashton-under-Lyne 2
Athens 2
Belluno 2
Berlin 2
Borås 2
Busan 2
Chennai 2
City of Westminster 2
Codroipo 2
Colnbrook 2
Copenhagen 2
Council Bluffs 2
Coventry 2
Davao City 2
Ferraz de Vasconcelos 2
Gradisca d'Isonzo 2
Hamburg 2
Ho Chi Minh City 2
Horia 2
Huskvarna 2
Isernia 2
Klagenfurt 2
Laurel 2
Totale 907
Salva come PNG Salva come JPEG
Nome #
Temporal Logic Specifications: Expressiveness, Satisfiability and Realizability 184
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL 152
One-pass and tree-shaped tableau systems for TPTL and TPTLb+past 113
Decidable Fragments of LTLf Modulo Theories 70
Evaluating LLMs Capabilities at Natural Language to Logic Translation: A Preliminary Investigation 66
An abstract distributed middleware for transactions over heterogeneous stores 57
BLACK: A fast, flexible and reliable LTL satisfiability checker 56
Expressiveness of Extended Bounded Response LTL 53
Reactive Synthesis from Extended Bounded Response LTL Specifications 49
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past 47
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization 47
Safe decomposition of startup requirements: verification and synthesis 44
Learning What to Monitor: Using Machine Learning to Improve past STL Monitoring 43
Past matters: Supporting LTL+past in the BLACK satisfiability Checker 43
Towards Machine Learning Enhanced LTL Monitoring 42
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis 42
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis 42
A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies 34
Controller Synthesis for Timeline-based Games 28
Cascade products and Wheeler automata 28
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis 28
Qualitative past Timeline-Based Games 26
GR(1) is equivalent to R(1) 26
Foundations of Reactive Synthesis for Declarative Process Specifications 26
Foundations of Collaborative DECLARE 25
A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL 24
A FIRST-ORDER LOGIC CHARACTERIZATION OF SAFETY AND CO-SAFETY LANGUAGES 24
LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa 22
Complexity of Safety and coSafety Fragments of Linear Temporal Logic 22
null 21
SMT-Based Symbolic Model-Checking for Operator Precedence Languages 20
CONTROLLER SYNTHESIS FOR TIMELINE-BASED GAMES∗ 19
Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories 19
Linear Temporal Logic Modulo Theories over Finite Traces 14
Succinctness issues for LTL and safety and cosafety fragments of LTL 12
SAT Meets Tableaux for Linear Temporal Logic Satisfiability 11
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems 9
A Linear-size Cascade Decomposition for Wheeler Automata 8
Totale 1.596
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.022
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 8.022
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202020 0 0 0 0 0 0 0 0 0 6 7 7
2020/202187 1 9 0 31 3 6 2 7 3 6 9 10
2021/2022129 4 6 3 15 7 0 10 4 1 8 32 39
2022/2023225 26 25 7 33 24 46 2 13 30 5 6 8
2023/2024282 12 14 17 5 39 14 18 18 16 37 21 71
2024/2025746 49 65 108 108 49 45 43 75 129 75 0 0
Totale 1.596