( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods.

, , , и . HSCC, том 1790 из Lecture Notes in Computer Science, стр. 130-144. Springer, (2000)

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.

Thomas A Vilgis

Thomas A Fischer

Thomas A Fischer

Thomas A Willging

Thomas A Schartel

 

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

A hierarchical coordination language for interacting real-time tasks., , , , и . EMSOFT, стр. 132-141. ACM, (2006)Algorithms for Omega-Regular Games with Imperfect Information, , , и . CoRR, (2007)From boolean to quantitative synthesis., и . EMSOFT, стр. 149-154. ACM, (2011)Parametric real-time reasoning., , и . STOC, стр. 592-601. ACM, (1993)Biology As Reactivity, , и . Commun. ACM, 54 (10): 72--82 (октября 2011)Randomness for Free., , , и . MFCS, том 6281 из Lecture Notes in Computer Science, стр. 246-257. Springer, (2010)Synthesis of Uninitialized Systems., , , и . ICALP, том 2380 из Lecture Notes in Computer Science, стр. 644-656. Springer, (2002)Run-Time Optimization for Learned Controllers Through Quantitative Games., , , , , и . CAV (1), том 11561 из Lecture Notes in Computer Science, стр. 630-649. Springer, (2019)Linear Distances between Markov Chains., , , и . CONCUR, том 59 из LIPIcs, стр. 20:1-20:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Nested Weighted Limit-Average Automata of Bounded Width., , и . MFCS, том 58 из LIPIcs, стр. 24:1-24:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)