( en | de | ru )

 

Disambiguation of "Maraninchi, Florence"

Author of the publication

copydeleteadd this publication to your clipboard
The ARESA Project: Facilitating Research, Development and Commercialization of WSNs.

, , , , , , , , , , , and . SECON, page 590-599. IEEE, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Florence Oloff

Florence Pojer

Florence Michel

Florence Hellen

Florence Delmotte

 

Other publications of authors with the same name

Argos: an automaton-based synchronous language, and . Computer Languages, 27 (1-3): 61--92 (2001)Preface., , and . SLAP@ETAPS, volume 153 of Electronic Notes in Theoretical Computer Science, page 1-2. Elsevier, (2004)Running-modes of real-time systems: a case-study with mode-automata., and . ECRTS, page 257-264. IEEE Computer Society, (2000)Modular Design of Man-Machine Interfaces with Larissa., , and . SC@ETAPS, volume 4089 of Lecture Notes in Computer Science, page 291-306. Springer, (2006)AreaCast: A cross-layer approach for a communication by area in Wireless Sensor Networks., , and . ICON, page 112-117. IEEE, (2011)Argos: an automaton-based synchronous language., and . Comput. Lang., 27 (1/3): 61-92 (2001)On the Importance of Modeling the Environment when Analyzing Sensor Networks., , and . SECON, page 835-841. IEEE, (2006)Let us not put all our eggs in one basket.. Commun. ACM, 65 (9): 35-37 (2022)Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework., , and . Sci. Comput. Program., 63 (3): 297-320 (2006)Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra.. Automatic Verification Methods for Finite State Systems, volume 407 of Lecture Notes in Computer Science, page 38-53. Springer, (1989)