IRIS
SANGNIER, ARNAUD HENRI PAUL
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.148
NA - Nord America 416
AS - Asia 321
Continente sconosciuto - Info sul continente non disponibili 69
SA - Sud America 32
AF - Africa 8
Totale 1.994
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 1.116
US - Stati Uniti d'America 387
SG - Singapore 136
CN - Cina 100
VN - Vietnam 35
BR - Brasile 28
BD - Bangladesh 25
FR - Francia 12
HK - Hong Kong 9
CA - Canada 8
CR - Costa Rica 7
JM - Giamaica 4
NL - Olanda 4
DE - Germania 3
IQ - Iraq 3
MX - Messico 3
AR - Argentina 2
EC - Ecuador 2
FI - Finlandia 2
GT - Guatemala 2
IE - Irlanda 2
PH - Filippine 2
UA - Ucraina 2
UZ - Uzbekistan 2
BG - Bulgaria 1
BS - Bahamas 1
BZ - Belize 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
ES - Italia 1
GB - Regno Unito 1
GH - Ghana 1
GR - Grecia 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
PT - Portogallo 1
RU - Federazione Russa 1
SA - Arabia Saudita 1
SC - Seychelles 1
TN - Tunisia 1
TR - Turchia 1
TT - Trinidad e Tobago 1
VG - Isole Vergini Britanniche 1
Totale 1.925
Salva come PNG Salva come JPEG
Città #
Genoa 657
Vado Ligure 319
San Jose 140
Genova 88
Ashburn 56
Singapore 43
New York 31
Beijing 19
Ho Chi Minh City 9
Rapallo 9
Santa Clara 9
Hong Kong 8
Hanoi 7
Lauterbourg 5
Rome 5
San José 5
Chicago 4
Council Bluffs 4
São Paulo 4
Boardman 3
Bologna 3
Buffalo 3
Kingston 3
Los Angeles 3
Rio de Janeiro 3
Amsterdam 2
Arlington 2
Boydton 2
Dallas 2
Dublin 2
Fosdinovo 2
Frankfurt am Main 2
Gatineau 2
Guangzhou 2
Guatemala City 2
Helsinki 2
Isernia 2
Jacksonville 2
Kansas City 2
Miano 2
Milan 2
Newark 2
Orem 2
Reidsville 2
San Diego 2
San Francisco 2
Spokane 2
Tashkent 2
Weymouth 2
Accra 1
Afragola 1
Ancona 1
Appleton 1
Aracaju 1
Athens 1
Atlanta 1
Aubrey 1
Augusta 1
Aurora 1
Baghdad 1
Bagé 1
Ballwin 1
Belize City 1
Belén de Escobar 1
Bitonto 1
Blairsville 1
Boca del Rio 1
Bossier City 1
Bowling Green 1
Brenham 1
Brooklyn 1
Brownsville 1
Bến Tre 1
Campagna 1
Campo Mourão 1
Carapichaima 1
Charlotte 1
Chennai 1
Chesapeake 1
Chittagong 1
City of London 1
Clovis 1
Colorado Springs 1
Concord 1
Concordia 1
Cosenza 1
Denver 1
Detroit 1
Durham 1
East Orange 1
Easton 1
Edison 1
El Paso 1
Elyria 1
Endicott 1
Farmington Hills 1
Federalsburg 1
Florence 1
Fort Lauderdale 1
Fort Smith 1
Totale 1.539
Salva come PNG Salva come JPEG
Nome #
Adding Data Registers to Parameterized Networks with Broadcast 204
Safety Verification of Wait-Only Non-Blocking Broadcast Protocols 69
On the formalization of decentralized contact tracing protocols 67
Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous 61
Deciding the existence of cut-off in parameterized rendez-vous networks 61
ON THE SATISFIABILITY OF LOCAL FIRST-ORDER LOGICS WITH DATA 58
Distributed Local Strategies in Broadcast Networks 55
Model-Checking Counting Temporal Logics on Flat Structures 54
Local First-Order Logic with Two Data Values 52
QLTL Model-Checking 51
On the Complexity of Verifying Regular Properties on Flat Counter Systems 50
Mixing coverability and reachability to analyze VASS with one zero-test 50
ATLsc with partial observation 50
Phase-Bounded Broadcast Networks over Topologies of Communication 48
Equivalence between model-checking flat counter systems and Presburger arithmetic 48
On the parameterized verification of abstract models of contact tracing protocols 47
Decidability Problems for Micro-Stipula 47
On the Existential Fragments of Local First-Order Logics with Data 46
From time petri nets to timed automata: An untimed approach 46
Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks 45
Model Checking Freeze LTL over One-Counter Automata 45
Formal Verification of Industrial Software with Dynamic Memory Management 44
Reachability in distributed memory automata 43
Equivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic 42
Parameterized verification of algorithms for oblivious robots on a ring 42
Model checking memoryful linear-time logics over one-counter automata 41
Parameterized verification of algorithms for oblivious robots on a ring 39
How Hard is It to Verify Flat Affine Counter Systems with the Finite Monoid Property ? 36
Verification of Contact Tracing Protocols via SMT-based Model Checking and Counting Abstraction 36
Playing with Probabilities in Reconfigurable Broadcast Networks 35
The Complexity of Flat Freeze LTL 34
Qualitative Analysis of VASS-Induced MDPs 28
Towards Synthesis of Distributed Algorithms with SMT Solvers 27
Parameterized Verification of Safety Properties in Ad Hoc Network Protocols 27
Reachability in Networks of Register Protocols under Stochastic Schedulers 26
Taming past {LTL} and flat counter systems 26
Reversal-bounded counter machines revisited 24
Reachability in Timed Counter Systems 23
Solving Parity Games on Integer Vectors 22
Wait-Only Broadcast Protocols Are Easier to Verify 22
Towards model-checking programs with lists 21
The Complexity of Flat Freeze LTL 21
Taming Past LTL and Flat Counter Systems 20
When Model-Checking Freeze LTL over Counter Machines Becomes Decidable 18
Weak Time Petri Nets Strike Back! 17
Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars 12
Safety Analysis in Broadcast Networks Defined by Graph Grammars 9
Clause-reachability is undecidable in legal contracts 5
Totale 1.994
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.037
article - articoli 1.795
book - libri 0
conference - conferenze 6.242
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 16.074
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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.055 105 17 139 92 89 100 150 34 78 112 60 79
2026/2027134 92 42 0 0 0 0 0 0 0 0 0 0
Totale 1.994