IRIS
GEATTI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 1.281
NA - Nord America 1.047
EU - Europa 816
SA - Sud America 150
AF - Africa 31
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 1
Totale 3.333
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.001
SG - Singapore 706
IT - Italia 306
CN - Cina 193
DE - Germania 136
HK - Hong Kong 134
BR - Brasile 126
VN - Vietnam 86
GB - Regno Unito 57
RU - Federazione Russa 51
FR - Francia 42
KR - Corea 32
NL - Olanda 32
IN - India 30
FI - Finlandia 26
AT - Austria 25
CA - Canada 24
IE - Irlanda 22
JP - Giappone 19
SE - Svezia 17
BD - Bangladesh 16
CZ - Repubblica Ceca 15
MX - Messico 13
PL - Polonia 13
TR - Turchia 13
ID - Indonesia 12
LT - Lituania 11
UA - Ucraina 11
MT - Malta 9
RO - Romania 9
EC - Ecuador 7
ES - Italia 7
KE - Kenya 7
ZA - Sudafrica 7
AU - Australia 6
CH - Svizzera 6
MA - Marocco 6
IQ - Iraq 5
GR - Grecia 4
PH - Filippine 4
SI - Slovenia 4
TG - Togo 4
TW - Taiwan 4
UY - Uruguay 4
AR - Argentina 3
BO - Bolivia 3
DK - Danimarca 3
EG - Egitto 3
GE - Georgia 3
HU - Ungheria 3
IR - Iran 3
LB - Libano 3
NP - Nepal 3
PA - Panama 3
CG - Congo 2
CO - Colombia 2
CR - Costa Rica 2
IL - Israele 2
PE - Perù 2
PT - Portogallo 2
SA - Arabia Saudita 2
UZ - Uzbekistan 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AZ - Azerbaigian 1
BE - Belgio 1
BG - Bulgaria 1
BH - Bahrain 1
DM - Dominica 1
DO - Repubblica Dominicana 1
EU - Europa 1
GY - Guiana 1
KH - Cambogia 1
LV - Lettonia 1
MY - Malesia 1
NI - Nicaragua 1
NZ - Nuova Zelanda 1
OM - Oman 1
PK - Pakistan 1
PS - Palestinian Territory 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
TH - Thailandia 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
ZM - Zambia 1
Totale 3.333
Salva come PNG Salva come JPEG
Città #
Singapore 259
Ashburn 163
Hong Kong 124
Chandler 106
Beijing 73
Udine 62
Munich 53
Boardman 52
Los Angeles 45
Hefei 40
Fairfield 35
Ho Chi Minh City 28
Columbus 26
Seoul 25
Woodbridge 23
Seattle 22
Milan 20
Dallas 19
Dublin 18
New York 18
Redondo Beach 18
Hanoi 17
Vienna 17
Buffalo 16
Nuremberg 16
São Paulo 16
Tokyo 15
Wilmington 15
Brno 14
Treviso 14
Düsseldorf 13
The Dalles 13
Amsterdam 12
Princeton 12
Denver 11
Houston 11
Atlanta 10
Toronto 10
Cambridge 9
Chicago 9
Lappeenranta 9
Mumbai 9
Rome 9
San Ġwann 9
Venice 9
Warsaw 9
Frankfurt am Main 8
Guangzhou 8
Helsinki 8
Osnabrück 8
Rivignano 8
Utrecht 8
Verona 8
Brooklyn 7
Dong Ket 7
London 7
Motta di Livenza 7
Poplar 7
Trento 7
Dearborn 6
Florence 6
Hangzhou 6
Karlsruhe 6
Phoenix 6
San Jose 6
Santa Clara 6
Shanghai 6
Timisoara 6
Trieste 6
Turku 6
Waco 6
Andover 5
Bari 5
Baton Rouge 5
Jacksonville 5
Mexico City 5
Mogliano Veneto 5
Orem 5
Aachen 4
Ann Arbor 4
Bandung 4
Bologna 4
Bressanvido 4
Cagliari 4
Chennai 4
Davao City 4
Des Moines 4
Dresden 4
Fayetteville 4
Hove 4
Lomé 4
Madrid 4
Ogden 4
Pasian di Prato 4
Preganziol 4
Rio de Janeiro 4
Saarbrücken 4
Salt Lake City 4
Stockholm 4
Vilnius 4
Totale 1.826
Salva come PNG Salva come JPEG
Nome #
Evaluating LLMs Capabilities at Natural Language to Logic Translation: A Preliminary Investigation 243
Temporal Logic Specifications: Expressiveness, Satisfiability and Realizability 240
A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies 229
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL 194
One-pass and tree-shaped tableau systems for TPTL and TPTLb+past 142
Decidable Fragments of LTLf Modulo Theories 122
BLACK: A fast, flexible and reliable LTL satisfiability checker 109
On Cascades of Reset Automata 108
Expressiveness of Extended Bounded Response LTL 106
An abstract distributed middleware for transactions over heterogeneous stores 99
Towards Machine Learning Enhanced LTL Monitoring 93
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization 87
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past 85
A FIRST-ORDER LOGIC CHARACTERIZATION OF SAFETY AND CO-SAFETY LANGUAGES 78
Learning What to Monitor: Using Machine Learning to Improve past STL Monitoring 77
Complexity of Safety and coSafety Fragments of Linear Temporal Logic 76
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis 76
Safe decomposition of startup requirements: verification and synthesis 75
Past matters: Supporting LTL+past in the BLACK satisfiability Checker 75
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis 75
Cascade products and Wheeler automata 72
Reactive Synthesis from Extended Bounded Response LTL Specifications 72
A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL 70
Controller Synthesis for Timeline-based Games 67
Foundations of Reactive Synthesis for Declarative Process Specifications 60
First-Order Automata 60
LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa 58
CONTROLLER SYNTHESIS FOR TIMELINE-BASED GAMES∗ 58
Linear Temporal Logic Modulo Theories over Finite Traces 56
A Linear-size Cascade Decomposition for Wheeler Automata 56
Foundations of Collaborative DECLARE 55
Qualitative past Timeline-Based Games 54
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis 53
SMT-Based Symbolic Model-Checking for Operator Precedence Languages 46
SAT Meets Tableaux for Linear Temporal Logic Satisfiability 45
GR(1) is equivalent to R(1) 43
Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories 42
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems 40
Succinctness issues for LTL and safety and cosafety fragments of LTL 33
Interpretable Early Failure Detection via Machine Learning and Trace Checking-Based Monitoring 22
null 21
Safety and Liveness on Finite Words 17
Totale 3.489
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.968
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 12.968
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202143 0 0 0 0 0 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/20251.422 49 65 108 108 49 45 43 75 129 77 295 379
2025/20261.217 235 181 162 226 292 121 0 0 0 0 0 0
Totale 3.489