IRIS
GEATTI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 1.575
NA - Nord America 1.468
EU - Europa 1.000
SA - Sud America 188
AF - Africa 49
OC - Oceania 8
Continente sconosciuto - Info sul continente non disponibili 1
Totale 4.289
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.403
SG - Singapore 839
IT - Italia 360
CN - Cina 230
DE - Germania 155
BR - Brasile 150
HK - Hong Kong 145
VN - Vietnam 134
FR - Francia 83
GB - Regno Unito 74
RU - Federazione Russa 53
NL - Olanda 48
IN - India 47
CA - Canada 37
KR - Corea 34
FI - Finlandia 28
AT - Austria 27
JP - Giappone 26
BD - Bangladesh 24
IE - Irlanda 23
SE - Svezia 19
CZ - Repubblica Ceca 17
ID - Indonesia 17
PL - Polonia 16
MX - Messico 15
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
PH - Filippine 6
BE - Belgio 5
CO - Colombia 5
GR - Grecia 5
TW - Taiwan 5
UY - Uruguay 5
BO - Bolivia 4
EG - Egitto 4
GE - Georgia 4
HU - Ungheria 4
NP - Nepal 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
MY - Malesia 3
OM - Oman 3
PA - Panama 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
PE - Perù 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
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
ZM - Zambia 1
Totale 4.289
Salva come PNG Salva come JPEG
Città #
Singapore 317
Ashburn 229
San Jose 167
Hong Kong 134
Chandler 106
Beijing 80
Udine 62
Munich 54
Boardman 52
The Dalles 52
Los Angeles 50
Ho Chi Minh City 47
Hefei 40
Lauterbourg 38
Fairfield 35
Hanoi 27
Columbus 26
Seoul 26
Milan 24
Dallas 23
New York 23
Woodbridge 23
Seattle 22
Amsterdam 19
Dublin 19
Frankfurt am Main 19
São Paulo 19
Redondo Beach 18
Vienna 18
Buffalo 17
Tokyo 17
Nuremberg 16
Brno 15
Wilmington 15
Treviso 14
Chicago 13
Düsseldorf 13
Orem 13
Santa Clara 13
Atlanta 12
Council Bluffs 12
Princeton 12
Utrecht 12
Denver 11
Houston 11
Rome 11
Shanghai 11
Verona 11
Chennai 10
Helsinki 10
Toronto 10
Venice 10
Warsaw 10
Cambridge 9
Lappeenranta 9
London 9
Mumbai 9
San Ġwann 9
Trieste 9
Guangzhou 8
Osnabrück 8
Phoenix 8
Poplar 8
Rivignano 8
Brooklyn 7
Dong Ket 7
Mexico City 7
Montreal 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
Bologna 4
Bressanvido 4
Brussels 4
Cagliari 4
City of London 4
Da Nang 4
Totale 2.357
Salva come PNG Salva come JPEG
Nome #
Evaluating LLMs Capabilities at Natural Language to Logic Translation: A Preliminary Investigation 320
Temporal Logic Specifications: Expressiveness, Satisfiability and Realizability 280
A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies 248
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL 217
Decidable Fragments of LTLf Modulo Theories 154
One-pass and tree-shaped tableau systems for TPTL and TPTLb+past 154
On Cascades of Reset Automata 148
BLACK: A fast, flexible and reliable LTL satisfiability checker 142
Expressiveness of Extended Bounded Response LTL 126
Towards Machine Learning Enhanced LTL Monitoring 117
An abstract distributed middleware for transactions over heterogeneous stores 116
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization 110
A FIRST-ORDER LOGIC CHARACTERIZATION OF SAFETY AND CO-SAFETY LANGUAGES 106
Learning What to Monitor: Using Machine Learning to Improve past STL Monitoring 106
Cascade products and Wheeler automata 103
Complexity of Safety and coSafety Fragments of Linear Temporal Logic 102
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis 102
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past 100
Controller Synthesis for Timeline-based Games 92
A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL 92
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis 92
Past matters: Supporting LTL+past in the BLACK satisfiability Checker 90
LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa 88
Safe decomposition of startup requirements: verification and synthesis 86
CONTROLLER SYNTHESIS FOR TIMELINE-BASED GAMES∗ 84
Foundations of Reactive Synthesis for Declarative Process Specifications 82
A Linear-size Cascade Decomposition for Wheeler Automata 81
Reactive Synthesis from Extended Bounded Response LTL Specifications 78
Foundations of Collaborative DECLARE 76
First-Order Automata 76
Linear Temporal Logic Modulo Theories over Finite Traces 74
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis 73
Qualitative past Timeline-Based Games 70
SMT-Based Symbolic Model-Checking for Operator Precedence Languages 61
SAT Meets Tableaux for Linear Temporal Logic Satisfiability 59
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems 59
GR(1) is equivalent to R(1) 58
Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories 49
Succinctness issues for LTL and safety and cosafety fragments of LTL 43
Safety and Liveness on Finite Words 41
Interpretable Early Failure Detection via Machine Learning and Trace Checking-Based Monitoring 41
null 21
Do LLMs Really Struggle at NL-FOL Translation? Revealing Their Strengths via a Novel Benchmarking Strategy 20
Automata-less Monitoring via Trace-Checking 14
An optimal pastification algorithm for LTL[X,F] and LTL[X,G] 3
Totale 4.454
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.933
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 14.933
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202119 0 0 0 0 0 0 0 0 0 0 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/20251.422 49 65 108 108 49 45 43 75 129 77 295 379
2025/20262.182 235 181 162 226 292 179 314 117 145 183 148 0
Totale 4.454