( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An Updated Survey of Bidding Games on Graphs (Invited Talk).

, и . MFCS, том 241 из LIPIcs, стр. 3:1-3:6. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

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 Weitz

 

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

A hierarchical coordination language for interacting real-time tasks., , , , и . EMSOFT, стр. 132-141. ACM, (2006)From boolean to quantitative synthesis., и . EMSOFT, стр. 149-154. ACM, (2011)Biology As Reactivity, , и . Commun. ACM, 54 (10): 72--82 (октября 2011)Inductive sequentialization of asynchronous programs., , , , и . PLDI, стр. 227-242. ACM, (2020)A Comparison of Control Problems for Timed and Hybrid Systems., , и . HSCC, том 2289 из Lecture Notes in Computer Science, стр. 134-148. Springer, (2002)Games with secure equilibria., , и . Theor. Comput. Sci., 365 (1-2): 67-82 (2006)Quantitative Monitoring of Software.. VSTTE, том 13124 из Lecture Notes in Computer Science, стр. 3-6. Springer, (2021)Model Checking Gene Regulatory Networks., , , , , и . TACAS, том 9035 из Lecture Notes in Computer Science, стр. 469-483. Springer, (2015)Formal Methods with a Touch of Magic., , , и . FMCAD, стр. 138-147. IEEE, (2020)Algorithms for Omega-Regular Games with Imperfect Information, , , и . CoRR, (2007)