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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022119 0 0 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.397 49 65 108 108 49 45 43 71 128 74 292 365
2025/20262.310 228 176 160 222 283 175 307 113 144 176 185 141
2026/2027222 92 75 55 0 0 0 0 0 0 0 0 0
Totale 4.779