( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Simple Executions of Snapshot Implementations.

, , и . CoRR, (2015)

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.

Steffi Gal

Gal Schkolnik

Andreas Gál

Jan Gal

Oda Gal

 

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

Triggers for Reactive Synthesis Specifications., , , , и . ICSE, стр. 729-741. IEEE, (2023)Triggers for Reactive Synthesis Specifications., , , , и . Software Engineering, том P-343 из LNI, стр. 41-42. Gesellschaft für Informatik e.V., (2024)Dynamic Update for Synthesized GR(1) Controllers., , , и . ICSE, стр. 786-797. ACM, (2022)Adapting Behaviors via Reactive Synthesis., , , , , и . CAV (1), том 12759 из Lecture Notes in Computer Science, стр. 870-893. Springer, (2021)Efficient Algorithms for Omega-Regular Energy Games., , , и . FM, том 13047 из Lecture Notes in Computer Science, стр. 163-181. Springer, (2021)An Efficient Generalized Shift-Rule for the Prefer-Max De Bruijn Sequence., и . CoRR, (2018)On the Signaling Problem.. ICDCN, том 8314 из Lecture Notes in Computer Science, стр. 44-65. Springer, (2014)The F-Snapshot Problem.. SIROCCO, том 9988 из Lecture Notes in Computer Science, стр. 159-176. (2016)On the Mailbox Problem., и . CoRR, (2013)On the Mailbox Problem., и . OPODIS, том 8878 из Lecture Notes in Computer Science, стр. 453-468. Springer, (2014)