( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations.

, , , , , , и . PVM/MPI, том 5759 из Lecture Notes in Computer Science, стр. 261-270. Springer, (2009)

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 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)

Michael Schoierer

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

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)
 

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

Hierarchical cache coherence protocol verification one level at a time through assume guarantee., , , , и . HLDVT, стр. 107-114. IEEE Computer Society, (2007)Formal specification of the MPI-2.0 standard in TLA+., , , и . PPoPP, стр. 283-284. ACM, (2008)Some resources for teaching concurrency., , , , , , , , , и 1 other автор(ы). PADTAD, ACM, (2009)How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations., , , , , , и . PVM/MPI, том 5759 из Lecture Notes in Computer Science, стр. 261-270. Springer, (2009)Implementing Efficient Dynamic Formal Verification Methods for MPI Programs., , , , , и . PVM/MPI, том 5205 из Lecture Notes in Computer Science, стр. 248-256. Springer, (2008)Scheduling considerations for building dynamic verification tools for MPI., , , и . PADTAD, стр. 3. ACM, (2008)An Approach to Formalization and Analysis of Message Passing Libraries., , , и . FMICS, том 4916 из Lecture Notes in Computer Science, стр. 164-181. Springer, (2007)Formal verification of practical MPI programs., , , , , и . PPoPP, стр. 261-270. ACM, (2009)Robust non-local multi-atlas segmentation of the optic nerve., , , , и . Medical Imaging: Image Processing, том 8669 из SPIE Proceedings, стр. 86691L. SPIE, (2013)A new paradigm for treatment of glaucoma., , , и . EMBC, стр. 6147-6150. IEEE, (2014)