( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
AMPHION: Automatic Programming for Scientific Subroutine Libraries.

, , , и . ISMIS, том 869 из Lecture Notes in Computer Science, стр. 326-335. Springer, (1994)

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.

Hedwig Pressburger

Hans Pressburger

Thomas Thomas

Thomas Harasim

Die Rolle des nucleostemin-Gens in dem Prozess der Ribosomenbiogenese. Uni München, (2009)

Thomas Baron

Untersuchungen an ungeschädigten und durch Pilzbefall geschädigten Nadelholzbauteilen mit ausgewählten Prüfverfahren. TU Dresden, (2009)
 

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

Towards Automated Synthesis of Data Mining Programs., , и . KDD, стр. 372-376. ACM, (1999)Rapid property specification and checking for model-based formalisms., , , , , , и . International Symposium on Rapid System Prototyping, стр. 121-127. IEEE, (2011)Robotics: A New Mission for FRET Requirements., , , , и . NFM, том 14627 из Lecture Notes in Computer Science, стр. 359-376. Springer, (2024)The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained., , , , , , и . RE, стр. 300-310. IEEE, (2020)From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project., , , , , , , , , и . FMAS, том 329 из EPTCS, стр. 23-30. (2020)From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif., , , , , , , , , и . NFM, том 13903 из Lecture Notes in Computer Science, стр. 353-360. Springer, (2023)Software Assurance Research Infusion: The NASA Experience., , , , и . ISoLA, стр. 18-27. IEEE Computer Society, (2006)From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET., , , , , и . FM, том 13047 из Lecture Notes in Computer Science, стр. 503-523. Springer, (2021)Automated Translation of Natural Language Requirements to Runtime Monitors., , , , и . TACAS (1), том 13243 из Lecture Notes in Computer Science, стр. 387-395. Springer, (2022)Generating Data Analysis Programs from Statistical Models., , и . SAIG, том 1924 из Lecture Notes in Computer Science, стр. 212-229. Springer, (2000)