IRIS
SANGNIER, ARNAUD HENRI PAUL
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.135
AS - Asia 313
NA - Nord America 305
SA - Sud America 30
AF - Africa 7
Totale 1.790
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 1.106
US - Stati Uniti d'America 288
SG - Singapore 135
CN - Cina 100
VN - Vietnam 35
BR - Brasile 27
BD - Bangladesh 19
FR - Francia 12
HK - Hong Kong 8
CA - Canada 7
CR - Costa Rica 4
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
CZ - Repubblica Ceca 1
DZ - Algeria 1
EC - Ecuador 1
ES - Italia 1
GB - Regno Unito 1
GH - Ghana 1
GR - Grecia 1
GT - Guatemala 1
HN - Honduras 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
VG - Isole Vergini Britanniche 1
Totale 1.790
Salva come PNG Salva come JPEG
Città #
Genoa 657
Vado Ligure 319
San Jose 122
Genova 88
Singapore 42
New York 31
Ashburn 22
Beijing 19
Ho Chi Minh City 9
Rapallo 9
Hong Kong 8
Santa Clara 8
Hanoi 7
Lauterbourg 5
Rome 5
Council Bluffs 4
São Paulo 4
Boardman 3
Bologna 3
Rio de Janeiro 3
San José 3
Amsterdam 2
Boydton 2
Chicago 2
Dallas 2
Dublin 2
Fosdinovo 2
Frankfurt am Main 2
Gatineau 2
Guangzhou 2
Helsinki 2
Isernia 2
Los Angeles 2
Orem 2
San Francisco 2
Tashkent 2
Accra 1
Ancona 1
Appleton 1
Aracaju 1
Arlington 1
Athens 1
Atlanta 1
Aurora 1
Baghdad 1
Bagé 1
Ballwin 1
Belén de Escobar 1
Blairsville 1
Boca del Rio 1
Bossier City 1
Bowling Green 1
Brooklyn 1
Buffalo 1
Bến Tre 1
Campagna 1
Campo Mourão 1
Charlotte 1
Chennai 1
Chesapeake 1
Chittagong 1
City of London 1
Clovis 1
Concord 1
Concordia 1
Cosenza 1
Denver 1
Durham 1
El Paso 1
Elyria 1
Farmington Hills 1
Florence 1
Fort Smith 1
Fortaleza 1
Goldsboro 1
Granite Bay 1
Guatemala City 1
Ha Long 1
Haiphong 1
Harvey Station 1
Hickory 1
Honolulu 1
Houston 1
Hải Dương 1
Ilha das Flores 1
Ilmenau 1
Istanbul 1
Itapemirim 1
Jacksonville 1
Jinan 1
Joliet 1
Juiz de Fora 1
Kansas City 1
Kuwait City 1
Kyiv 1
Lagos 1
Lahore 1
Lajeado 1
Lamezia Terme 1
Largo 1
Totale 1.465
Salva come PNG Salva come JPEG
Nome #
Adding Data Registers to Parameterized Networks with Broadcast 199
Safety Verification of Wait-Only Non-Blocking Broadcast Protocols 64
On the formalization of decentralized contact tracing protocols 63
Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous 58
Deciding the existence of cut-off in parameterized rendez-vous networks 57
Distributed Local Strategies in Broadcast Networks 55
ON THE SATISFIABILITY OF LOCAL FIRST-ORDER LOGICS WITH DATA 53
Model-Checking Counting Temporal Logics on Flat Structures 51
ATLsc with partial observation 50
On the Complexity of Verifying Regular Properties on Flat Counter Systems 49
QLTL Model-Checking 49
Local First-Order Logic with Two Data Values 47
Mixing coverability and reachability to analyze VASS with one zero-test 47
Equivalence between model-checking flat counter systems and Presburger arithmetic 46
Phase-Bounded Broadcast Networks over Topologies of Communication 44
On the Existential Fragments of Local First-Order Logics with Data 43
From time petri nets to timed automata: An untimed approach 43
Decidability Problems for Micro-Stipula 43
Model Checking Freeze LTL over One-Counter Automata 42
Formal Verification of Industrial Software with Dynamic Memory Management 42
On the parameterized verification of abstract models of contact tracing protocols 40
Reachability in distributed memory automata 40
Model checking memoryful linear-time logics over one-counter automata 40
Parameterized verification of algorithms for oblivious robots on a ring 40
Equivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic 38
Parameterized verification of algorithms for oblivious robots on a ring 38
How Hard is It to Verify Flat Affine Counter Systems with the Finite Monoid Property ? 35
Verification of Contact Tracing Protocols via SMT-based Model Checking and Counting Abstraction 35
Playing with Probabilities in Reconfigurable Broadcast Networks 33
The Complexity of Flat Freeze LTL 33
Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks 31
Qualitative Analysis of VASS-Induced MDPs 28
Parameterized Verification of Safety Properties in Ad Hoc Network Protocols 26
Reachability in Networks of Register Protocols under Stochastic Schedulers 25
Taming past {LTL} and flat counter systems 24
Towards Synthesis of Distributed Algorithms with SMT Solvers 22
Reversal-bounded counter machines revisited 22
Solving Parity Games on Integer Vectors 22
Reachability in Timed Counter Systems 22
Taming Past LTL and Flat Counter Systems 20
Towards model-checking programs with lists 20
When Model-Checking Freeze LTL over Counter Machines Becomes Decidable 18
The Complexity of Flat Freeze LTL 18
Weak Time Petri Nets Strike Back! 16
Wait-Only Broadcast Protocols Are Easier to Verify 16
Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars 10
Totale 1.857
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.291
article - articoli 1.631
book - libri 0
conference - conferenze 5.660
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 14.582
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20212 0 0 0 0 0 0 0 0 0 0 0 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/20261.052 105 17 139 92 89 100 150 34 78 112 60 76
Totale 1.857