( en | de | ru )

 

Disambiguierung von "Lowry, Michael R."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Learning Physical Descriptions From Functional Definitions, Examples, and Precedents.

, , , und . AAAI, Seite 433-439. AAAI Press, (1983)

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.

Stephen Lowry

Michael R Schön

Michael R Glaubitz

Michael R Schön

Michael R Koch

 

Weitere Publikationen von Autoren mit dem selben Namen

Analysis and testing of PLEXIL plans., , , , und . FormaliSE, Seite 52-58. ACM, (2014)A Formal Approach to Domain-Oriented Software Design Environments., , , und . KBSE, Seite 48-57. IEEE Computer Society, (1994)Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation., , , , , und . IEEE Trans. Ind. Informatics, 8 (2): 366-377 (2012)Analytic Verification of Flight Software., und . IEEE Intelligent Systems, 13 (5): 45-49 (1998)N-version programming in WCET analysis: revisiting a discredited idea., und . FoSER, Seite 157-160. ACM, (2010)Towards predictive models of technology impact on software design productivity.. FoSER, Seite 223-228. ACM, (2010)Explaining Synthesized Software., , , und . ASE, Seite 240-248. IEEE Computer Society, (1998)AMPHION: Automatic Programming for Subroutine Libraries., , , und . KBSE, Seite 2. IEEE Computer Society, (1994)Deductive Composition of Astronomical Software from Subroutine Libraries., , , , und . CADE, Volume 814 von Lecture Notes in Computer Science, Seite 341-355. Springer, (1994)The Abstraction/Implementation Model of Problem Reformulation.. IJCAI, Seite 1004-1010. Morgan Kaufmann, (1987)