IRIS
SANGNIER, ARNAUD HENRI PAUL
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.119
AS - Asia 286
NA - Nord America 197
SA - Sud America 30
AF - Africa 7
Totale 1.639
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 1.091
US - Stati Uniti d'America 190
SG - Singapore 130
CN - Cina 92
VN - Vietnam 35
BR - Brasile 27
FR - Francia 12
HK - Hong Kong 8
BD - Bangladesh 5
CA - Canada 3
DE - Germania 3
IQ - Iraq 3
NL - Olanda 3
AR - Argentina 2
FI - Finlandia 2
IE - Irlanda 2
MX - Messico 2
PH - Filippine 2
UZ - Uzbekistan 2
BG - Bulgaria 1
BS - Bahamas 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
EC - Ecuador 1
ES - Italia 1
GB - Regno Unito 1
GH - Ghana 1
ID - Indonesia 1
IN - India 1
JP - Giappone 1
KE - Kenya 1
KR - Corea 1
KW - Kuwait 1
MA - Marocco 1
ML - Mali 1
NG - Nigeria 1
NP - Nepal 1
PK - Pakistan 1
RU - Federazione Russa 1
SA - Arabia Saudita 1
TN - Tunisia 1
TR - Turchia 1
UA - Ucraina 1
Totale 1.639
Salva come PNG Salva come JPEG
Città #
Genoa 657
Vado Ligure 319
San Jose 94
Genova 88
Singapore 37
New York 26
Ashburn 12
Beijing 12
Ho Chi Minh City 9
Rapallo 9
Hong Kong 8
Santa Clara 8
Hanoi 7
Lauterbourg 5
Rome 5
São Paulo 4
Rio de Janeiro 3
Amsterdam 2
Chicago 2
Council Bluffs 2
Dallas 2
Dublin 2
Frankfurt am Main 2
Guangzhou 2
Helsinki 2
Isernia 2
Orem 2
Tashkent 2
Accra 1
Aracaju 1
Atlanta 1
Baghdad 1
Bagé 1
Ballwin 1
Belén de Escobar 1
Boca del Rio 1
Bologna 1
Bowling Green 1
Boydton 1
Brooklyn 1
Bến Tre 1
Campo Mourão 1
Chennai 1
Chittagong 1
City of London 1
Concordia 1
Cosenza 1
Denver 1
Fortaleza 1
Goldsboro 1
Ha Long 1
Haiphong 1
Harvey Station 1
Honolulu 1
Hải Dương 1
Ilha das Flores 1
Ilmenau 1
Istanbul 1
Itapemirim 1
Jinan 1
Juiz de Fora 1
Kansas City 1
Kuwait City 1
Kyiv 1
Lagos 1
Lahore 1
Lajeado 1
Lamezia Terme 1
Latacunga 1
Los Angeles 1
Manila 1
Marechal Cândido Rondon 1
Marrakesh 1
Marseille 1
McDonough 1
Miami 1
Montoro Inferiore 1
Montreal 1
Mopti 1
Nairobi 1
Nassau 1
Nha Trang 1
Ninh Bình 1
Norristown 1
North Hills 1
Nova Iguaçu 1
Nova Olímpia 1
Paris 1
Paulínia 1
Penalva 1
Ponta Grossa 1
Prague 1
Quận Bình Thạnh 1
Quận Ninh Kiều 1
Riyadh 1
Salete 1
Salvador 1
San José 1
Santa Maria 1
Sidi Bel Abbes 1
Totale 1.397
Salva come PNG Salva come JPEG
Nome #
Adding Data Registers to Parameterized Networks with Broadcast 191
On the formalization of decentralized contact tracing protocols 61
Safety Verification of Wait-Only Non-Blocking Broadcast Protocols 59
Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous 53
Deciding the existence of cut-off in parameterized rendez-vous networks 51
Distributed Local Strategies in Broadcast Networks 51
ON THE SATISFIABILITY OF LOCAL FIRST-ORDER LOGICS WITH DATA 51
Model-Checking Counting Temporal Logics on Flat Structures 46
On the Complexity of Verifying Regular Properties on Flat Counter Systems 45
ATLsc with partial observation 45
QLTL Model-Checking 45
Equivalence between model-checking flat counter systems and Presburger arithmetic 45
Local First-Order Logic with Two Data Values 44
Mixing coverability and reachability to analyze VASS with one zero-test 44
Phase-Bounded Broadcast Networks over Topologies of Communication 42
From time petri nets to timed automata: An untimed approach 42
On the Existential Fragments of Local First-Order Logics with Data 40
Model Checking Freeze LTL over One-Counter Automata 40
Formal Verification of Industrial Software with Dynamic Memory Management 39
On the parameterized verification of abstract models of contact tracing protocols 38
Parameterized verification of algorithms for oblivious robots on a ring 38
Equivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic 37
Reachability in distributed memory automata 37
Model checking memoryful linear-time logics over one-counter automata 36
Parameterized verification of algorithms for oblivious robots on a ring 35
Decidability Problems for Micro-Stipula 34
Verification of Contact Tracing Protocols via SMT-based Model Checking and Counting Abstraction 33
How Hard is It to Verify Flat Affine Counter Systems with the Finite Monoid Property ? 32
Playing with Probabilities in Reconfigurable Broadcast Networks 29
Qualitative Analysis of VASS-Induced MDPs 28
The Complexity of Flat Freeze LTL 27
Parameterized Verification of Safety Properties in Ad Hoc Network Protocols 25
Reachability in Networks of Register Protocols under Stochastic Schedulers 21
Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks 20
Taming past {LTL} and flat counter systems 20
Towards Synthesis of Distributed Algorithms with SMT Solvers 19
Reversal-bounded counter machines revisited 19
Reachability in Timed Counter Systems 19
Taming Past LTL and Flat Counter Systems 18
Solving Parity Games on Integer Vectors 18
Towards model-checking programs with lists 18
When Model-Checking Freeze LTL over Counter Machines Becomes Decidable 17
The Complexity of Flat Freeze LTL 16
Wait-Only Broadcast Protocols Are Easier to Verify 15
Weak Time Petri Nets Strike Back! 14
Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars 9
Totale 1.706
Salva come PNG Salva come JPEG
Categoria #
all - tutte 6.372
article - articoli 1.496
book - libri 0
conference - conferenze 4.876
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 12.744
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20214 0 0 0 0 0 0 0 0 0 0 2 2
2021/202213 0 0 0 1 0 3 0 5 1 2 0 1
2022/202313 1 3 0 0 2 2 0 0 4 0 0 1
2023/2024111 1 0 0 1 34 2 45 4 5 2 4 13
2024/2025589 3 46 9 117 100 65 60 60 9 8 36 76
2025/2026901 105 17 139 92 89 100 150 34 78 97 0 0
Totale 1.706