SANGNIER, ARNAUD HENRI PAUL

Nome completo

Afferenza

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi

Mostra records

Risultati 1 - 9 di 9 (tempo di esecuzione: 0.021 secondi).

2016-01-01 Delzanno, Giorgio; Sangnier, Arnaud; Traverso, Riccardo

2026-01-01 Delzanno, G.; Laneve, C.; Sangnier, A.; Zavattaro, G.

2018-01-01 Demri, S; Dhar, A K; Sangnier, A

2010-01-01 Lazic, R; Demri, S; Sangnier, A

2024-01-01 Bollig, B.; Sangnier, A.; Stietel, O.

2019-01-01 Sangnier, A; Sznajder, N; Potop-Butucaru, M; Tixeuil, S

2009-01-01 Bouchy, F; Finkel, A; Sangnier, A

2015-01-01 Demri, S; Dhar, A K; Sangnier, A

2019-01-01 Bollig, B; Quaas, K; Sangnier, A

Titolo	Data di pubblicazione	Autore(i)
Adding Data Registers to Parameterized Networks with Broadcast	1-gen-2016	Delzanno, Giorgio; Sangnier, Arnaud; Traverso, Riccardo
Clause-reachability is undecidable in legal contracts	1-gen-2026	Delzanno, G.; Laneve, C.; Sangnier, A.; Zavattaro, G.
Equivalence between model-checking flat counter systems and Presburger arithmetic	1-gen-2018	Demri, S; Dhar, A K; Sangnier, A
Model checking memoryful linear-time logics over one-counter automata	1-gen-2010	Lazic, R; Demri, S; Sangnier, A
ON THE SATISFIABILITY OF LOCAL FIRST-ORDER LOGICS WITH DATA	1-gen-2024	Bollig, B.; Sangnier, A.; Stietel, O.
Parameterized verification of algorithms for oblivious robots on a ring	1-gen-2019	Sangnier, A; Sznajder, N; Potop-Butucaru, M; Tixeuil, S
Reachability in Timed Counter Systems	1-gen-2009	Bouchy, F; Finkel, A; Sangnier, A
Taming past {LTL} and flat counter systems	1-gen-2015	Demri, S; Dhar, A K; Sangnier, A
The Complexity of Flat Freeze LTL	1-gen-2019	Bollig, B; Quaas, K; Sangnier, A