Author of the publication

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.

 

Other publications of authors with the same name

Biorthogonality for a Lazy language., , , and . IFL, page 6:1-6:9. ACM, (2017)La réflexion comportementale partielle comme infrastructure de programmation par aspects. Etude du cas des coupes dynamiques., , and . L'OBJET, 11 (3): 31-52 (2005)Supporting Dynamic Crosscutting with Partial Behavioral Reflection: A Case Study., , and . SCCC, page 48-58. IEEE Computer Society, (2004)An Intrinsic Denotational Semantics for a Lazy Functional Language.. SBLP, volume 9325 of Lecture Notes in Computer Science, page 75-80. Springer, (2015)Proving Correctness of a Compiler Using Step-indexed Logical Relations., , and . LSFA, volume 323 of Electronic Notes in Theoretical Computer Science, page 197-214. Elsevier, (2015)Architecture of Component-based Information Systems over the J2EE Platform., , and . CLEI Electron. J., (2005)A Certified Extension of the Krivine Machine for a Call-by-Name Higher-Order Imperative Language., , and . TYPES, volume 26 of LIPIcs, page 230-250. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)The Road from Stochastic Automata to the Simulation of Rare Events., , , , , and . ModelEd, TestEd, TrustEd, volume 10500 of Lecture Notes in Computer Science, page 276-294. Springer, (2017)On achievable rate and ergodic capacity of non-symmetric half-duplex NAF relay channels., , and . WCNC, page 565-569. IEEE, (2012)Optimal power adaption for NAF relaying with channel side information., , , and . ICC, page 4537-4541. IEEE, (2012)