IRIS
GEATTI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 761
NA - Nord America 646
EU - Europa 600
SA - Sud America 58
AF - Africa 16
OC - Oceania 6
Continente sconosciuto - Info sul continente non disponibili 1
Totale 2.088
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 623
SG - Singapore 441
IT - Italia 224
CN - Cina 114
HK - Hong Kong 103
DE - Germania 100
BR - Brasile 54
RU - Federazione Russa 49
GB - Regno Unito 36
KR - Corea 31
FR - Francia 27
NL - Olanda 24
FI - Finlandia 23
IE - Irlanda 21
AT - Austria 16
CA - Canada 16
CZ - Repubblica Ceca 15
VN - Vietnam 14
SE - Svezia 13
IN - India 11
JP - Giappone 10
RO - Romania 9
UA - Ucraina 9
TR - Turchia 7
KE - Kenya 6
AU - Australia 5
BD - Bangladesh 5
CH - Svizzera 5
LT - Lituania 5
ES - Italia 4
GR - Grecia 4
ID - Indonesia 4
MX - Messico 4
PL - Polonia 4
TG - Togo 4
DK - Danimarca 3
EG - Egitto 3
HU - Ungheria 3
TW - Taiwan 3
IQ - Iraq 2
IR - Iran 2
NP - Nepal 2
PA - Panama 2
PH - Filippine 2
PT - Portogallo 2
ZA - Sudafrica 2
AE - Emirati Arabi Uniti 1
BE - Belgio 1
BH - Bahrain 1
BO - Bolivia 1
CR - Costa Rica 1
EC - Ecuador 1
EU - Europa 1
GE - Georgia 1
IL - Israele 1
KH - Cambogia 1
LB - Libano 1
LV - Lettonia 1
MY - Malesia 1
NZ - Nuova Zelanda 1
OM - Oman 1
PE - Perù 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
TH - Thailandia 1
TN - Tunisia 1
UY - Uruguay 1
UZ - Uzbekistan 1
Totale 2.088
Salva come PNG Salva come JPEG
Città #
Singapore 175
Chandler 106
Hong Kong 94
Boardman 52
Hefei 40
Udine 40
Fairfield 35
Ashburn 33
Beijing 29
Munich 28
Columbus 26
Seoul 25
Woodbridge 23
Seattle 19
Dublin 17
Nuremberg 16
Milan 15
Wilmington 15
Brno 14
Düsseldorf 13
Treviso 13
Princeton 12
Los Angeles 11
Vienna 11
Amsterdam 10
Cambridge 9
Venice 9
Lappeenranta 8
Toronto 8
Dong Ket 7
Guangzhou 7
Helsinki 7
Osnabrück 7
Trento 7
Dearborn 6
Florence 6
Hangzhou 6
Houston 6
Karlsruhe 6
São Paulo 6
Timisoara 6
Tokyo 6
Verona 6
Andover 5
Bari 5
Baton Rouge 5
Frankfurt am Main 5
Jacksonville 5
Mogliano Veneto 5
New York 5
Rome 5
San Jose 5
Santa Clara 5
Turku 5
Utrecht 5
Aachen 4
Ann Arbor 4
Bressanvido 4
Brooklyn 4
Cagliari 4
Fayetteville 4
Hanoi 4
Hove 4
Lomé 4
Madrid 4
Ogden 4
Pasian di Prato 4
Preganziol 4
Saarbrücken 4
Ahmedabad 3
Almere Stad 3
Atlanta 3
Belluno 3
Conegliano 3
Contigliano 3
Des Moines 3
Hyderabad 3
Izmir 3
Lauterbourg 3
London 3
Orléans 3
Rio de Janeiro 3
Saint Leonards-on-Sea 3
Shanghai 3
Shatin 3
Shenzhen 3
Southwark 3
Trieste 3
Acerra 2
Albuquerque 2
Ashton-under-Lyne 2
Athens 2
Augusta 2
Bandung 2
Berlin 2
Borås 2
Budapest 2
Busan 2
Chennai 2
Chicago 2
Totale 1.192
Salva come PNG Salva come JPEG
Nome #
Temporal Logic Specifications: Expressiveness, Satisfiability and Realizability 204
A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies 191
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL 160
One-pass and tree-shaped tableau systems for TPTL and TPTLb+past 117
Evaluating LLMs Capabilities at Natural Language to Logic Translation: A Preliminary Investigation 103
Decidable Fragments of LTLf Modulo Theories 88
Expressiveness of Extended Bounded Response LTL 71
BLACK: A fast, flexible and reliable LTL satisfiability checker 65
An abstract distributed middleware for transactions over heterogeneous stores 64
Safe decomposition of startup requirements: verification and synthesis 59
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization 59
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past 56
Reactive Synthesis from Extended Bounded Response LTL Specifications 55
Towards Machine Learning Enhanced LTL Monitoring 54
Learning What to Monitor: Using Machine Learning to Improve past STL Monitoring 53
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis 50
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis 50
On Cascades of Reset Automata 48
A FIRST-ORDER LOGIC CHARACTERIZATION OF SAFETY AND CO-SAFETY LANGUAGES 46
Past matters: Supporting LTL+past in the BLACK satisfiability Checker 45
A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL 42
Complexity of Safety and coSafety Fragments of Linear Temporal Logic 40
Cascade products and Wheeler automata 39
Controller Synthesis for Timeline-based Games 37
Qualitative past Timeline-Based Games 36
Foundations of Reactive Synthesis for Declarative Process Specifications 36
GR(1) is equivalent to R(1) 33
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis 33
LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa 32
Foundations of Collaborative DECLARE 32
CONTROLLER SYNTHESIS FOR TIMELINE-BASED GAMES∗ 29
SMT-Based Symbolic Model-Checking for Operator Precedence Languages 26
Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories 26
A Linear-size Cascade Decomposition for Wheeler Automata 25
Linear Temporal Logic Modulo Theories over Finite Traces 24
SAT Meets Tableaux for Linear Temporal Logic Satisfiability 23
First-Order Automata 22
null 21
Succinctness issues for LTL and safety and cosafety fragments of LTL 19
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems 18
Totale 2.231
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.249
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 9.249
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20207 0 0 0 0 0 0 0 0 0 0 0 7
2020/202187 1 9 0 31 3 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.381 49 65 108 108 49 45 43 75 129 77 295 338
Totale 2.231