IRIS
GEATTI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.077
AS - Asia 1.606
EU - Europa 1.210
SA - Sud America 195
Continente sconosciuto - Info sul continente non disponibili 174
AF - Africa 51
OC - Oceania 8
Totale 5.321
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.956
SG - Singapore 821
IT - Italia 516
CN - Cina 235
DE - Germania 180
BR - Brasile 155
HK - Hong Kong 142
VN - Vietnam 134
GB - Regno Unito 91
FR - Francia 85
CA - Canada 65
BD - Bangladesh 64
RU - Federazione Russa 58
NL - Olanda 49
IN - India 48
KR - Corea 34
AT - Austria 28
FI - Finlandia 26
JP - Giappone 24
IE - Irlanda 23
ID - Indonesia 19
SE - Svezia 19
CZ - Repubblica Ceca 17
MX - Messico 17
PL - Polonia 17
LT - Lituania 16
ES - Italia 14
TR - Turchia 14
UA - Ucraina 13
IQ - Iraq 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
SV - El Salvador 6
BE - Belgio 5
GR - Grecia 5
GT - Guatemala 5
NI - Nicaragua 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
IL - Israele 4
MY - Malesia 4
SI - Slovenia 4
TG - Togo 4
CL - Cile 3
DK - Danimarca 3
DZ - Algeria 3
HN - Honduras 3
IR - Iran 3
JM - Giamaica 3
LB - Libano 3
OM - Oman 3
PA - Panama 3
PE - Perù 3
PT - Portogallo 3
SC - Seychelles 3
TT - Trinidad e Tobago 3
UZ - Uzbekistan 3
VE - Venezuela 3
AE - Emirati Arabi Uniti 2
AM - Armenia 2
CG - Congo 2
CI - Costa d'Avorio 2
CR - Costa Rica 2
CW - ???statistics.table.value.countryCode.CW??? 2
DO - Repubblica Dominicana 2
GP - Guadalupe 2
NO - Norvegia 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
GD - Grenada 1
GY - Guiana 1
HR - Croazia 1
KH - Cambogia 1
KW - Kuwait 1
MM - Myanmar 1
MQ - Martinica 1
Totale 5.141
Salva come PNG Salva come JPEG
Città #
Singapore 312
Ashburn 268
San Jose 209
Hong Kong 131
Council Bluffs 114
Chandler 107
Beijing 82
Boardman 70
Udine 69
Los Angeles 56
Munich 52
The Dalles 51
Ho Chi Minh City 48
Frankfurt am Main 41
Staranzano 41
Hefei 39
Lauterbourg 38
Fairfield 35
Dallas 32
New York 32
Santa Clara 30
Milan 29
Columbus 27
Hanoi 27
Seoul 26
Woodbridge 24
Chicago 23
Rome 22
Seattle 22
Treviso 21
Buffalo 20
Amsterdam 19
Dublin 19
North Bergen 19
Houston 18
Redondo Beach 18
São Paulo 18
Vienna 18
Phoenix 17
Denver 16
Nuremberg 16
Wilmington 16
Atlanta 15
Brno 15
Tokyo 15
Bologna 13
Düsseldorf 13
Orem 13
Osnabrück 13
Shanghai 13
Toronto 13
Princeton 12
Utrecht 12
Verona 12
Las Vegas 11
Chennai 10
Venice 10
Warsaw 10
Cambridge 9
Helsinki 9
Lappeenranta 9
London 9
Mexico City 9
Mumbai 9
San Ġwann 9
Guangzhou 8
Montreal 8
Oxford 8
Pittsburgh 8
Poplar 8
Rivignano 8
Brooklyn 7
Dong Ket 7
Florence 7
Hove 7
Madrid 7
Motta di Livenza 7
Trento 7
Bari 6
Dearborn 6
Hangzhou 6
Karlsruhe 6
Naples 6
Rio de Janeiro 6
Stockholm 6
Timisoara 6
Trieste 6
Vilnius 6
Waco 6
Andover 5
Baton Rouge 5
Davao City 5
Guatemala City 5
Haiphong 5
Jacksonville 5
Jakarta 5
Miami 5
Mogliano Veneto 5
Salt Lake City 5
San Salvador 5
Totale 2.773
Salva come PNG Salva come JPEG
Nome #
Evaluating LLMs Capabilities at Natural Language to Logic Translation: A Preliminary Investigation 393
Temporal Logic Specifications: Expressiveness, Satisfiability and Realizability 314
A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies 271
On Cascades of Reset Automata 257
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL 240
Decidable Fragments of LTLf Modulo Theories 172
One-pass and tree-shaped tableau systems for TPTL and TPTLb+past 166
BLACK: A fast, flexible and reliable LTL satisfiability checker 163
Expressiveness of Extended Bounded Response LTL 145
Towards Machine Learning Enhanced LTL Monitoring 135
An abstract distributed middleware for transactions over heterogeneous stores 130
A FIRST-ORDER LOGIC CHARACTERIZATION OF SAFETY AND CO-SAFETY LANGUAGES 125
Learning What to Monitor: Using Machine Learning to Improve past STL Monitoring 125
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization 124
Cascade products and Wheeler automata 121
Complexity of Safety and coSafety Fragments of Linear Temporal Logic 116
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis 115
LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa 114
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past 114
CONTROLLER SYNTHESIS FOR TIMELINE-BASED GAMES∗ 112
A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL 110
Controller Synthesis for Timeline-based Games 109
Past matters: Supporting LTL+past in the BLACK satisfiability Checker 109
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis 109
Foundations of Reactive Synthesis for Declarative Process Specifications 104
Safe decomposition of startup requirements: verification and synthesis 98
Foundations of Collaborative DECLARE 92
Qualitative past Timeline-Based Games 86
Reactive Synthesis from Extended Bounded Response LTL Specifications 86
First-Order Automata 85
Linear Temporal Logic Modulo Theories over Finite Traces 84
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis 82
SMT-Based Symbolic Model-Checking for Operator Precedence Languages 73
SAT Meets Tableaux for Linear Temporal Logic Satisfiability 70
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems 70
GR(1) is equivalent to R(1) 66
Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories 60
Safety and Liveness on Finite Words 58
Interpretable Early Failure Detection via Machine Learning and Trace Checking-Based Monitoring 58
An optimal pastification algorithm for LTL[X,F] and LTL[X,G] 55
Succinctness issues for LTL and safety and cosafety fragments of LTL 53
Do LLMs Really Struggle at NL-FOL Translation? Revealing Their Strengths via a Novel Benchmarking Strategy 49
A Linear-size Cascade Decomposition for Wheeler Automata 43
Automata-less Monitoring via Trace-Checking 36
Automata Cascades for Model Checking 24
Totale 5.321
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.971
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 17.971
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022101 0 0 0 0 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/2027764 92 75 238 306 53 0 0 0 0 0 0 0
Totale 5.321