( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs.

, , , , и . Selected Results of the COST Action IC1405, том 12070 из Lecture Notes in Computer Science, Springer, (2020)

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.

Joachim Irek

Ottokar Ku irek

 

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

Towards a Taxonomy for Reversible Computation Approaches., , , , , , и . RC, том 13960 из Lecture Notes in Computer Science, стр. 24-39. Springer, (2023)An Axiomatic Approach to Reversible Computation., , и . FoSSaCS, том 12077 из Lecture Notes in Computer Science, стр. 442-461. Springer, (2020)Reversing Algebraic Process Calculi., и . FoSSaCS, том 3921 из Lecture Notes in Computer Science, стр. 246-260. Springer, (2006)Reversibility and Asymmetric Conflict in Event Structures., и . CONCUR, том 8052 из Lecture Notes in Computer Science, стр. 303-318. Springer, (2013)Towards Modelling of Local Reversibility., и . RC, том 9138 из Lecture Notes in Computer Science, стр. 279-284. Springer, (2015)Foundations of Reversible Computation., , , , , , , , , и 5 other автор(ы). Selected Results of the COST Action IC1405, том 12070 из Lecture Notes in Computer Science, Springer, (2020)Saving Memory Space in Deep Neural Networks by Recomputing: A Survey.. RC, том 13960 из Lecture Notes in Computer Science, стр. 89-105. Springer, (2023)Towards Causal-Consistent Reversibility of Imperative Concurrent Programs., и . RC, том 13354 из Lecture Notes in Computer Science, стр. 213-223. Springer, (2022)Axiomatisations of Weak Equivalences for De Simone Languages.. CONCUR, том 962 из Lecture Notes in Computer Science, стр. 219-233. Springer, (1995)Formats of Ordered SOS Rules with Silent Actions., и . TAPSOFT, том 1214 из Lecture Notes in Computer Science, стр. 297-308. Springer, (1997)