IRIS
SANGNIER, ARNAUD HENRI PAUL
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.066
SA - Sud America 17
AS - Asia 14
Totale 1.097
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 1.066
BR - Brasile 17
VN - Vietnam 9
CN - Cina 2
SG - Singapore 2
KW - Kuwait 1
Totale 1.097
Salva come PNG Salva come JPEG
Città #
Genoa 649
Vado Ligure 319
Genova 88
Rapallo 9
Ho Chi Minh City 3
Hanoi 2
Rio de Janeiro 2
Aracaju 1
Bagé 1
Beijing 1
Campo Mourão 1
Ha Long 1
Hải Dương 1
Itapemirim 1
Juiz de Fora 1
Kuwait City 1
Marechal Cândido Rondon 1
Nha Trang 1
Nova Iguaçu 1
Nova Olímpia 1
Paulínia 1
Ponta Grossa 1
Quận Bình Thạnh 1
Salete 1
Salvador 1
Santa Maria 1
Singapore 1
São João da Boa Vista 1
São Paulo 1
Turin 1
Totale 1.095
Salva come PNG Salva come JPEG
Nome #
Adding Data Registers to Parameterized Networks with Broadcast 158
Safety Verification of Wait-Only Non-Blocking Broadcast Protocols 49
On the formalization of decentralized contact tracing protocols 45
Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous 42
Deciding the existence of cut-off in parameterized rendez-vous networks 40
QLTL Model-Checking 33
Distributed Local Strategies in Broadcast Networks 33
ON THE SATISFIABILITY OF LOCAL FIRST-ORDER LOGICS WITH DATA 33
On the Complexity of Verifying Regular Properties on Flat Counter Systems 32
Parameterized verification of algorithms for oblivious robots on a ring 32
Local First-Order Logic with Two Data Values 31
ATLsc with partial observation 31
Equivalence between model-checking flat counter systems and Presburger arithmetic 30
Model-Checking Counting Temporal Logics on Flat Structures 29
Phase-Bounded Broadcast Networks over Topologies of Communication 29
Reachability in distributed memory automata 29
Parameterized verification of algorithms for oblivious robots on a ring 28
Mixing coverability and reachability to analyze VASS with one zero-test 28
On the Existential Fragments of Local First-Order Logics with Data 27
From time petri nets to timed automata: An untimed approach 25
Qualitative Analysis of VASS-Induced MDPs 24
Equivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic 23
Model checking memoryful linear-time logics over one-counter automata 23
Playing with Probabilities in Reconfigurable Broadcast Networks 23
Model Checking Freeze LTL over One-Counter Automata 23
On the parameterized verification of abstract models of contact tracing protocols 22
Formal Verification of Industrial Software with Dynamic Memory Management 22
How Hard is It to Verify Flat Affine Counter Systems with the Finite Monoid Property ? 19
The Complexity of Flat Freeze LTL 18
Taming past {LTL} and flat counter systems 17
Towards Synthesis of Distributed Algorithms with SMT Solvers 16
Parameterized Verification of Safety Properties in Ad Hoc Network Protocols 16
Verification of Contact Tracing Protocols via SMT-based Model Checking and Counting Abstraction 15
Reachability in Networks of Register Protocols under Stochastic Schedulers 14
Towards model-checking programs with lists 14
Reachability in Timed Counter Systems 14
Reversal-bounded counter machines revisited 12
When Model-Checking Freeze LTL over Counter Machines Becomes Decidable 11
Taming Past LTL and Flat Counter Systems 11
Solving Parity Games on Integer Vectors 11
Weak Time Petri Nets Strike Back! 11
The Complexity of Flat Freeze LTL 10
Wait-Only Broadcast Protocols Are Easier to Verify 4
Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks 3
Decidability Problems for Micro-Stipula 2
Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars 2
Totale 1.164
Salva come PNG Salva come JPEG
Categoria #
all - tutte 5.017
article - articoli 1.261
book - libri 0
conference - conferenze 3.756
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 10.034
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20219 0 0 0 0 0 0 3 0 2 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/2026359 105 17 139 92 6 0 0 0 0 0 0 0
Totale 1.164