( 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 Koch

Michael R Schön

 

Weitere Publikationen von Autoren mit dem selben Namen

AMPHION: Automatic Programming for Scientific Subroutine Libraries., , , und . ISMIS, Volume 869 von Lecture Notes in Computer Science, Seite 326-335. Springer, (1994)Automating software design.. COMPCON, Seite 222-225. IEEE Computer Society, (1989)Algorithm synthesis through problem reformulation.. Stanford University, USA, (1989)Guest Editorial., , und . Autom. Softw. Eng., 6 (4): 327-328 (1999)Certifying Domain-Specific Policies., , und . ASE, Seite 81-90. IEEE Computer Society, (2001)Learning Physical Descriptions From Functional Definitions, Examples, and Precedents., , , und . AAAI, Seite 433-439. AAAI Press, (1983)Polyglot: Systematic Analysis for Multiple Statechart Formalisms., , , und . TACAS, Volume 7795 von Lecture Notes in Computer Science, Seite 523-529. Springer, (2013)Timing analysis of a middleware-based system., , und . ARM@Middleware, Seite 5:1-5:6. ACM, (2017)Analytic Verification of Flight Software., und . IEEE Intelligent Systems, 13 (5): 45-49 (1998)Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation., , , , , und . IEEE Trans. Ind. Informatics, 8 (2): 366-377 (2012)