IRIS
GEATTI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 1.234
NA - Nord America 1.007
EU - Europa 803
SA - Sud America 146
AF - Africa 30
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 1
Totale 3.228
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 966
SG - Singapore 686
IT - Italia 301
CN - Cina 190
DE - Germania 136
HK - Hong Kong 134
BR - Brasile 123
VN - Vietnam 71
GB - Regno Unito 53
RU - Federazione Russa 50
FR - Francia 42
KR - Corea 32
NL - Olanda 29
IN - India 27
FI - Finlandia 26
AT - Austria 25
CA - Canada 22
IE - Irlanda 22
JP - Giappone 18
SE - Svezia 17
CZ - Repubblica Ceca 15
BD - Bangladesh 14
PL - Polonia 13
TR - Turchia 13
ID - Indonesia 12
MX - Messico 12
LT - Lituania 11
UA - Ucraina 11
MT - Malta 9
RO - Romania 9
EC - Ecuador 7
ES - Italia 7
KE - Kenya 7
AU - Australia 6
CH - Svizzera 6
MA - Marocco 6
ZA - Sudafrica 6
GR - Grecia 4
IQ - Iraq 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
HU - Ungheria 3
IR - Iran 3
LB - Libano 3
NP - Nepal 3
CG - Congo 2
CO - Colombia 2
CR - Costa Rica 2
IL - Israele 2
PA - Panama 2
PE - Perù 2
PT - Portogallo 2
SA - Arabia Saudita 2
UZ - Uzbekistan 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
GE - Georgia 1
GY - Guiana 1
KH - Cambogia 1
LV - Lettonia 1
MY - Malesia 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
VE - Venezuela 1
ZM - Zambia 1
Totale 3.228
Salva come PNG Salva come JPEG
Città #
Singapore 240
Ashburn 158
Hong Kong 124
Chandler 106
Beijing 73
Udine 62
Munich 53
Boardman 52
Los Angeles 41
Hefei 40
Fairfield 35
Columbus 26
Ho Chi Minh City 26
Seoul 25
Woodbridge 23
Seattle 22
Dallas 19
Milan 19
Dublin 18
Redondo Beach 18
Vienna 17
Buffalo 16
New York 16
Nuremberg 16
São Paulo 16
Wilmington 15
Brno 14
Tokyo 14
Treviso 14
Düsseldorf 13
Hanoi 13
Amsterdam 12
Princeton 12
Denver 10
Houston 10
Toronto 10
Cambridge 9
Chicago 9
Lappeenranta 9
Mumbai 9
San Ġwann 9
Venice 9
Warsaw 9
Atlanta 8
Frankfurt am Main 8
Guangzhou 8
Helsinki 8
Osnabrück 8
Rivignano 8
Rome 8
Verona 8
Brooklyn 7
Dong Ket 7
Motta di Livenza 7
Trento 7
Dearborn 6
Florence 6
Hangzhou 6
Karlsruhe 6
London 6
Phoenix 6
San Jose 6
Santa Clara 6
Shanghai 6
Timisoara 6
Trieste 6
Turku 6
Utrecht 6
Waco 6
Andover 5
Bari 5
Baton Rouge 5
Jacksonville 5
Mogliano Veneto 5
Orem 5
Poplar 5
Aachen 4
Ann Arbor 4
Bandung 4
Bologna 4
Bressanvido 4
Cagliari 4
Davao City 4
Des Moines 4
Dresden 4
Fayetteville 4
Hove 4
Lomé 4
Madrid 4
Mexico City 4
Ogden 4
Pasian di Prato 4
Preganziol 4
Rio de Janeiro 4
Saarbrücken 4
Salt Lake City 4
Stockholm 4
Vilnius 4
Ahmedabad 3
Almere Stad 3
Totale 1.766
Salva come PNG Salva come JPEG
Nome #
Temporal Logic Specifications: Expressiveness, Satisfiability and Realizability 238
Evaluating LLMs Capabilities at Natural Language to Logic Translation: A Preliminary Investigation 236
A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies 226
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL 189
One-pass and tree-shaped tableau systems for TPTL and TPTLb+past 141
Decidable Fragments of LTLf Modulo Theories 121
BLACK: A fast, flexible and reliable LTL satisfiability checker 106
On Cascades of Reset Automata 102
Expressiveness of Extended Bounded Response LTL 102
An abstract distributed middleware for transactions over heterogeneous stores 94
Towards Machine Learning Enhanced LTL Monitoring 92
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization 85
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past 82
A FIRST-ORDER LOGIC CHARACTERIZATION OF SAFETY AND CO-SAFETY LANGUAGES 77
Learning What to Monitor: Using Machine Learning to Improve past STL Monitoring 74
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis 74
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis 74
Safe decomposition of startup requirements: verification and synthesis 73
Past matters: Supporting LTL+past in the BLACK satisfiability Checker 72
Reactive Synthesis from Extended Bounded Response LTL Specifications 71
Cascade products and Wheeler automata 68
Complexity of Safety and coSafety Fragments of Linear Temporal Logic 67
A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL 65
Controller Synthesis for Timeline-based Games 64
Foundations of Reactive Synthesis for Declarative Process Specifications 59
First-Order Automata 58
LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa 57
CONTROLLER SYNTHESIS FOR TIMELINE-BASED GAMES∗ 56
Linear Temporal Logic Modulo Theories over Finite Traces 55
Qualitative past Timeline-Based Games 54
Foundations of Collaborative DECLARE 53
A Linear-size Cascade Decomposition for Wheeler Automata 52
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis 50
SMT-Based Symbolic Model-Checking for Operator Precedence Languages 45
SAT Meets Tableaux for Linear Temporal Logic Satisfiability 44
GR(1) is equivalent to R(1) 43
Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories 41
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems 38
Succinctness issues for LTL and safety and cosafety fragments of LTL 32
null 21
Interpretable Early Failure Detection via Machine Learning and Trace Checking-Based Monitoring 18
Safety and Liveness on Finite Words 13
Totale 3.382
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.680
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.680
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.110 235 181 162 226 292 14 0 0 0 0 0 0
Totale 3.382