E-LIB Suche - Ergebnisse für: Arnaud, Mathilde

1

A 2-year intercomparison of three methods for measuring bla..:

Tinorua, Sarah ; Denjean, Cyrielle ; Nabat, Pierre...
Atmospheric Measurement Techniques. 17 (2024) 13 - p. 3897-3915 , 2024

Link: https://doi.org/10.5194/..

2

Context Specification Language for Formally Verifying Conse..:

, In: Tests and Proofs; Lecture Notes in Computer Science,

Clouet, Myriam ; Antignac, Thibaud ; Arnaud, Mathilde. - p. 68-93 , 2023

Link: https://doi.org/10.1007/..

3

Modelling and simulating new power grid control architectur..:

, In: 2023 IEEE PES Innovative Smart Grid Technologies Europe (ISGT EUROPE),

Arnaud, Mathilde ; Lapitre, Arnault ; Lhuillier, Yves... - p. 1-5 , 2023

Link: https://doi.org/10.1109/..

4

Le temple polygonal de la rue Lecointre à Reims/Durocortoru:

Péchart, Sébastien ; Poupon, Frédéric ; Arnaud, Mathilde.
Gallia. 79 (2022) 1 - p. 135-152 , 2022

Link: https://www.jstor.org/st..

5

A New Generic Representation for Modeling Privacy:

, In: 2022 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW),

Clouet, Myriam ; Antignac, Thibaud ; Arnaud, Mathilde.. - p. 203-211 , 2022

Link: https://doi.org/10.1109/..

6

Reims (Marne). Parvis de la basilique Saint-Remi:

Arnaud, Mathilde ; Thiol, Sandrine ; Truc, Marie-Cécile
Archéologie médiévale. , 2020

Link: https://doi.org/10.4000/..

7

An Illustrative Use Case of the DIVERSITY Platform based on..:

Arnaud, Mathilde ; Bannour, Boutheina ; Lapitre, Arnault
Electronic Notes in Theoretical Computer Science. 320 (2016) - p. 21-34 , 2016

Link: https://doi.org/10.1016/..

8

Modeling and verifying ad hoc routing protocols:

Arnaud, Mathilde ; Cortier, Véronique ; Delaune, Stéphanie
Information and Computation. 238 (2014) - p. 30-67 , 2014

Link: https://doi.org/10.1016/..

9

List of Contributors:

, In: Neuroergonomics,

Agbangla, Nounagnon F. ; Agrali, Atahan ; Albinet, Cédric T.... - p. xxi-xxvi , 2019

Link: https://doi.org/10.1016/..

10

Two-year intercomparison of three methods for measuring bla..:

Tinorua, Sarah ; Denjean, Cyrielle ; Nabat, Pierre...
https://doi.org/10.5194/egusphere-2024-47. , 2024

Link: https://doi.org/10.5194/..

11

La préparation à la naissance et à la parentalité à l'ère d..:

Arnaud, Mathilde
dumas-04226937. , 2023

Link: https://dumas.ccsd.cnrs...

12

Context Specification Language for Formally Verifying Conse..:

Clouet, Myriam ; Antignac, Thibaud ; Arnaud, Mathilde.
cea-04169474. , 2023

Link: https://cea.hal.science/..

13

The polygonal temple on Lecointre street in Reims/ Durocort..:

Péchart, Sébastien ; Poupon, Frédéric ; Arnaud, Mathilde.
info:eu-repo/semantics/altIdentifier/doi/10.4000/gallia.6660. , 2022

Link: https://hal.science/hal-..

14

The polygonal temple on Lecointre street in Reims/ Durocort..:

Péchart, Sébastien ; Poupon, Frédéric ; Arnaud, Mathilde.
info:eu-repo/semantics/altIdentifier/doi/10.4000/gallia.6660. , 2022

Link: https://hal.science/hal-..

15

The polygonal temple on Lecointre street in Reims/ Durocort..:

Péchart, Sébastien ; Poupon, Frédéric ; Arnaud, Mathilde.
info:eu-repo/semantics/altIdentifier/doi/10.4000/gallia.6660. , 2022

Link: https://hal.science/hal-..