( en | de | ru )

 

Disambiguierung von "Nordio, Martin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automated Translation of Java Source Code to Eiffel.

, , , und . TOOLS (49), Volume 6705 von Lecture Notes in Computer Science, Seite 20-35. Springer, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Martin Brückner

Vergleichende Untersuchungen zur Inzidenz apoptotischer und proliferativer Veränderungen kultivierter, humaner Knochenzellen von Ober- und Unterkiefer auf maschinenbearbeitetem, reinem Titan über 25 Tage. Uni Leipzig, (2009)

Martin Breitenfeldt

Mass measurements on short-lived Cd and Ag nuclides at the online mass spectrometer ISOLTRAP. Uni Greifswald, (2009)

Martin Faes

Analyse der mehrskaligen Transportmechanismen beim laminaren Mischen mittels laseroptischer und numerischer Methoden. Uni Hannover, (2009)

Martin Klug

The late Quaternary environmental and climatic history of North-East Greenland, inferred from coastal lakes. Uni Köln, (2009)

Martin Hille

Providentia Dei, Reich und Kirche: Weltbild und Stimmungsprofil altgläubiger Chronisten 1517 - 1618. Uni Passau, habilitation, (2007)
 

Weitere Publikationen von Autoren mit dem selben Namen

Automatic Translation of C Source Code to Eiffel, , , , und . CoRR, (2012)Automatic Program Repair by Fixing Contracts., , , und . FASE, Volume 8411 von Lecture Notes in Computer Science, Seite 246-260. Springer, (2014)Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques., , , und . SEFM, Volume 7041 von Lecture Notes in Computer Science, Seite 382-398. Springer, (2011)A Framework for Execution of Secure Mobile Code based on Static Analysis., , , , und . SCCC, Seite 59-66. IEEE Computer Society, (2004)An experiment on teaching coordination in a globally distributed software engineering class., , , , , , und . CSEE&T, Seite 109-118. IEEE, (2014)Proof-transforming compilation of programs with abrupt termination., und . SAVCBS, Seite 39-46. ACM, (2007)Really Automatic Scalable Object-Oriented Reengineering., , , und . ECOOP, Volume 7920 von Lecture Notes in Computer Science, Seite 477-501. Springer, (2013)AutoProof: Auto-Active Functional Verification of Object-Oriented Programs., , , und . TACAS, Volume 9035 von Lecture Notes in Computer Science, Seite 566-580. Springer, (2015)Collaborative Debugging., , , und . ICGSE, Seite 110-119. IEEE Computer Society, (2013)Javanni: A Verifier for JavaScript., , und . FASE, Volume 7793 von Lecture Notes in Computer Science, Seite 231-234. Springer, (2013)