( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Rust as a language for high performance GC implementation.

, , , и . ISMM, стр. 89-98. ACM, (2016)

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.

Michael Bode

Le groupe international de sociétés: le système de conflit de lois en droit comparé français et allemand. HU Berlin, (2009)

Michael Liecke

Subnationale Clusterpolitik: die Biotechnologiepolitik deutscher Länder im Vergleich. Uni München, (2009)

Michael Schoierer

NS-Diktatur, Anomie und Demokratisierung Westdeutschlands. Uni Augsburg, (2007)

Michael Krug

X-ray crystallographic analysis of the archaeal transcriptional regulator TrmB and development of a graphical user interface for the monochromatic diffraction data processing software XDS. Uni Konstanz, (2009)

Michael Bernateck

Komplexes Regionales Schmerzsyndrom Typ 1 (M.Sudeck): neue Aspekte zur Symptomatologie, Pathogenese, Diagnostik und Therapie. MedH Hannover, habilitation, (2009)
 

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

Verified Over-Approximation of the Diameter of Propositionally Factored Transition Systems., , и . ITP, том 9236 из Lecture Notes in Computer Science, стр. 1-16. Springer, (2015)MoonLight: Effective Fuzzing with Near-Optimal Corpus Distillation., , , , , , , и . CoRR, (2019)On the formalisation of Kolmogorov complexity., и . CPP, стр. 291-299. ACM, (2021)Designing a low-level virtual machine for implementing real-time managed languages., , , и . VMIL@SPLASH, стр. 1-11. ACM, (2019)Exploiting Symmetries by Planning for a Descriptive Quotient., , и . IJCAI, стр. 1479-1486. AAAI Press, (2015)Proof Pearl: Bounding Least Common Multiples with Triangles., и . ITP, том 9807 из Lecture Notes in Computer Science, стр. 140-150. Springer, (2016)Mechanizing Soundness of Off-Policy Evaluation., , , и . ITP, том 237 из LIPIcs, стр. 32:1-32:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)A new verified compiler backend for CakeML., , , , , и . ICFP, стр. 60-73. ACM, (2016)CakeML: a verified implementation of ML., , , и . POPL, стр. 179-192. ACM, (2014)Complete Integer Decision Procedures as Derived Rules in HOL.. TPHOLs, том 2758 из Lecture Notes in Computer Science, стр. 71-86. Springer, (2003)