IRIS
GEATTI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 1.623
NA - Nord America 1.621
EU - Europa 1.049
SA - Sud America 192
AF - Africa 49
OC - Oceania 8
Continente sconosciuto - Info sul continente non disponibili 1
Totale 4.543
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.549
SG - Singapore 839
IT - Italia 400
CN - Cina 234
DE - Germania 160
BR - Brasile 152
HK - Hong Kong 145
VN - Vietnam 135
FR - Francia 83
GB - Regno Unito 77
BD - Bangladesh 64
RU - Federazione Russa 53
NL - Olanda 48
IN - India 47
CA - Canada 41
KR - Corea 34
AT - Austria 28
FI - Finlandia 28
JP - Giappone 26
IE - Irlanda 23
SE - Svezia 19
ID - Indonesia 18
CZ - Repubblica Ceca 17
MX - Messico 17
PL - Polonia 16
LT - Lituania 14
TR - Turchia 14
ES - Italia 13
IQ - Iraq 12
UA - Ucraina 12
RO - Romania 11
MA - Marocco 10
MT - Malta 9
ZA - Sudafrica 9
KE - Kenya 8
AR - Argentina 7
AU - Australia 7
CH - Svizzera 7
EC - Ecuador 7
CO - Colombia 6
PH - Filippine 6
BE - Belgio 5
GR - Grecia 5
NP - Nepal 5
TW - Taiwan 5
UY - Uruguay 5
BO - Bolivia 4
EG - Egitto 4
GE - Georgia 4
HU - Ungheria 4
MY - Malesia 4
PK - Pakistan 4
SI - Slovenia 4
TG - Togo 4
UZ - Uzbekistan 4
CL - Cile 3
DK - Danimarca 3
DZ - Algeria 3
IR - Iran 3
LB - Libano 3
OM - Oman 3
PA - Panama 3
PE - Perù 3
VE - Venezuela 3
AE - Emirati Arabi Uniti 2
CG - Congo 2
CI - Costa d'Avorio 2
CR - Costa Rica 2
DO - Repubblica Dominicana 2
IL - Israele 2
NI - Nicaragua 2
NO - Norvegia 2
PT - Portogallo 2
RS - Serbia 2
SA - Arabia Saudita 2
TH - Thailandia 2
TN - Tunisia 2
AZ - Azerbaigian 1
BG - Bulgaria 1
BH - Bahrain 1
CD - Congo 1
DM - Dominica 1
ET - Etiopia 1
EU - Europa 1
GY - Guiana 1
HN - Honduras 1
HR - Croazia 1
JM - Giamaica 1
KH - Cambogia 1
KW - Kuwait 1
LV - Lettonia 1
MM - Myanmar 1
MQ - Martinica 1
NG - Nigeria 1
NZ - Nuova Zelanda 1
PS - Palestinian Territory 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
SR - Suriname 1
TT - Trinidad e Tobago 1
Totale 4.542
Salva come PNG Salva come JPEG
Città #
Singapore 317
Ashburn 241
San Jose 173
Hong Kong 134
Chandler 106
Beijing 80
Boardman 70
Udine 68
Munich 54
Los Angeles 52
The Dalles 52
Council Bluffs 51
Ho Chi Minh City 48
Hefei 40
Lauterbourg 38
Fairfield 35
Hanoi 27
New York 27
Columbus 26
Milan 26
Seoul 26
Dallas 25
Woodbridge 23
Seattle 22
Amsterdam 19
Dublin 19
Frankfurt am Main 19
São Paulo 19
Buffalo 18
Redondo Beach 18
Vienna 18
Tokyo 17
Nuremberg 16
Santa Clara 16
Brno 15
Wilmington 15
Chicago 14
Treviso 14
Düsseldorf 13
Orem 13
Osnabrück 13
Atlanta 12
Princeton 12
Rome 12
Shanghai 12
Utrecht 12
Denver 11
Houston 11
Toronto 11
Verona 11
Chennai 10
Helsinki 10
Venice 10
Warsaw 10
Bologna 9
Cambridge 9
Lappeenranta 9
London 9
Mexico City 9
Mumbai 9
San Ġwann 9
Trieste 9
Guangzhou 8
Montreal 8
Phoenix 8
Poplar 8
Rivignano 8
Brooklyn 7
Dong Ket 7
Hove 7
Motta di Livenza 7
Pittsburgh 7
Trento 7
Bari 6
Dearborn 6
Florence 6
Hangzhou 6
Karlsruhe 6
Madrid 6
Miami 6
Stockholm 6
Timisoara 6
Turku 6
Waco 6
Andover 5
Baton Rouge 5
Davao City 5
Haiphong 5
Jacksonville 5
Jakarta 5
Mogliano Veneto 5
Rio de Janeiro 5
Aachen 4
Ann Arbor 4
Baghdad 4
Bandung 4
Bogotá 4
Bressanvido 4
Brussels 4
Cagliari 4
Totale 2.473
Salva come PNG Salva come JPEG
Nome #
Evaluating LLMs Capabilities at Natural Language to Logic Translation: A Preliminary Investigation 360
Temporal Logic Specifications: Expressiveness, Satisfiability and Realizability 283
A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies 253
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL 223
On Cascades of Reset Automata 198
Decidable Fragments of LTLf Modulo Theories 162
One-pass and tree-shaped tableau systems for TPTL and TPTLb+past 155
BLACK: A fast, flexible and reliable LTL satisfiability checker 146
Expressiveness of Extended Bounded Response LTL 130
Towards Machine Learning Enhanced LTL Monitoring 121
An abstract distributed middleware for transactions over heterogeneous stores 118
A FIRST-ORDER LOGIC CHARACTERIZATION OF SAFETY AND CO-SAFETY LANGUAGES 113
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization 111
Learning What to Monitor: Using Machine Learning to Improve past STL Monitoring 106
Cascade products and Wheeler automata 105
Complexity of Safety and coSafety Fragments of Linear Temporal Logic 103
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis 102
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past 101
Controller Synthesis for Timeline-based Games 98
A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL 98
LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa 97
Past matters: Supporting LTL+past in the BLACK satisfiability Checker 96
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis 96
A Linear-size Cascade Decomposition for Wheeler Automata 89
Safe decomposition of startup requirements: verification and synthesis 89
CONTROLLER SYNTHESIS FOR TIMELINE-BASED GAMES∗ 88
Foundations of Reactive Synthesis for Declarative Process Specifications 86
Foundations of Collaborative DECLARE 81
Reactive Synthesis from Extended Bounded Response LTL Specifications 79
Linear Temporal Logic Modulo Theories over Finite Traces 76
First-Order Automata 76
Qualitative past Timeline-Based Games 74
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis 73
SAT Meets Tableaux for Linear Temporal Logic Satisfiability 65
SMT-Based Symbolic Model-Checking for Operator Precedence Languages 62
GR(1) is equivalent to R(1) 61
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems 60
Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories 53
Safety and Liveness on Finite Words 46
Succinctness issues for LTL and safety and cosafety fragments of LTL 46
Interpretable Early Failure Detection via Machine Learning and Trace Checking-Based Monitoring 45
Do LLMs Really Struggle at NL-FOL Translation? Revealing Their Strengths via a Novel Benchmarking Strategy 26
null 22
Automata-less Monitoring via Trace-Checking 19
An optimal pastification algorithm for LTL[X,F] and LTL[X,G] 15
Automata Cascades for Model Checking 6
Totale 4.712
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.961
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 15.961
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/20251.422 49 65 108 108 49 45 43 75 129 77 295 379
2025/20262.372 235 181 162 226 292 179 314 117 145 183 191 147
2026/202768 68 0 0 0 0 0 0 0 0 0 0 0
Totale 4.712