( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Compiler Generation from Relational Semantics.

, и . ESOP, том 213 из Lecture Notes in Computer Science, стр. 1-29. Springer, (1986)

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.

Mads Rosendahl

Mads Grünberg

Mads Kyed

Renate Dam

Ria Dam

 

Другие публикации лиц с тем же именем

CTL* and ECTL* as Fragments of the Modal µ-Calculus.. CAAP, том 581 из Lecture Notes in Computer Science, стр. 145-164. Springer, (1992)On the Decidability of Process Equivalences for the pi-calculus.. AMAST, том 936 из Lecture Notes in Computer Science, стр. 169-183. Springer, (1995)Hoare-Style Logic for Unstructured Programs., , , и . SEFM, том 12310 из Lecture Notes in Computer Science, стр. 193-213. Springer, (2020)Gossiping for threshold detection., , и . Integrated Network Management, стр. 259-266. IEEE, (2009)Formal Verification of Secure User Mode Device Execution with DMA., и . Haifa Verification Conference, том 8855 из Lecture Notes in Computer Science, стр. 236-251. Springer, (2014)Decentralized real-time monitoring of network-wide aggregates., , , и . LADIS, стр. 7:1-7:6. ACM, (2008)On the secure implementation of security protocols., и . Sci. Comput. Program., 50 (1-3): 73-99 (2004)On Compositional Information Flow Aware Refinement., , , и . CSF, стр. 1-16. IEEE, (2021)Decidability and proof systems for language-based noninterference relations.. POPL, стр. 67-78. ACM, (2006)Efficient and fully abstract routing of futures in object network overlays., и . AGERE!@SPLASH, стр. 49-60. ACM, (2013)