PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Maraninchi, Florence"

Author of the publication

copydeleteadd this publication to your clipboard
Embedding Declarative Subprograms into Imperative Constructs.

, , , and . PLILP, volume 714 of Lecture Notes in Computer Science, page 414-415. Springer, (1993)

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 Bockting University of Stuttgart

 

Other publications of authors with the same name

Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework., , and . Sci. Comput. Program., 63 (3): 297-320 (2006)System-level modeling of energy in TLM for early validation of power and thermal management., , and . DATE, page 1609-1614. EDA Consortium San Jose, CA, USA / ACM DL, (2013)LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level., , and . ACSD, page 26-35. IEEE Computer Society, (2005)The ARESA Project: Facilitating Research, Development and Commercialization of WSNs., , , , , , , , , and 2 other author(s). SECON, page 590-599. IEEE, (2007)Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip., , and . EMSOFT, page 317-324. ACM, (2005)Preface., , and . Electron. Notes Theor. Comput. Sci., 153 (4): 1-2 (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)Foreword., , and . Electron. Notes Theor. Comput. Sci., (2004)Argos: an automaton-based synchronous language., and . Comput. Lang., 27 (1/3): 61-92 (2001)AreaCast: A cross-layer approach for a communication by area in Wireless Sensor Networks., , and . ICON, page 112-117. IEEE, (2011)