( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Temporal Causality in Reactive Systems.

, , , , , и . ATVA, том 13505 из Lecture Notes in Computer Science, стр. 208-224. Springer, (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.

Niklas Rahlmeyer

Vorstandshaftung zwischen traditionellem deutschen Aktienrecht und kapitalmarktorientierter Corporate Governance. Uni Bremen, (2009)

Heinrich Niklas

Jürgen Niklas

Herbert Niklas

Niklas Andermahr

 

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

Second-Order Hyperproperties., , , и . CAV (2), том 13965 из Lecture Notes in Computer Science, стр. 309-332. Springer, (2023)Synthesis of Temporal Causality., , , и . CoRR, (2024)Visual Analysis of Hyperproperties for Understanding Model Checking Results., , , , , , , , и . IEEE Trans. Vis. Comput. Graph., 28 (1): 357-367 (2022)Information Flow Guided Synthesis., , и . CAV (2), том 13372 из Lecture Notes in Computer Science, стр. 505-525. Springer, (2022)Explaining Hyperproperty Violations., , , , , , , и . CAV (1), том 13371 из Lecture Notes in Computer Science, стр. 407-429. Springer, (2022)Temporal Causality in Reactive Systems., , , , , и . ATVA, том 13505 из Lecture Notes in Computer Science, стр. 208-224. Springer, (2022)Live synthesis., , и . Innov. Syst. Softw. Eng., 18 (3): 443-454 (2022)Live Synthesis., , и . ATVA, том 12971 из Lecture Notes in Computer Science, стр. 153-169. Springer, (2021)Monitoring Second-Order Hyperproperties., , , и . AAMAS, стр. 180-188. International Foundation for Autonomous Agents and Multiagent Systems / ACM, (2024)aMAZEing Programming - Providing SKILLs to Fellow Students., , , , и . SKILL, том S-15 из LNI, стр. 59-70. Gesellschaft für Informatik e.V., (2019)