( en | de | ru )

 

Disambiguation of "Ulidowski, Irek"

Author of the publication

copydeleteadd this publication to your clipboard
Concurrency and Reversibility.

, , and . RC, volume 8507 of Lecture Notes in Computer Science, page 1-14. Springer, (2014)

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. You can also use the button next to the name to display some publications already assigned to the person.

Joachim Irek

Ottokar Ku irek

 

Other publications of authors with the same name

Reversing Algebraic Process Calculi., and . FoSSaCS, volume 3921 of Lecture Notes in Computer Science, page 246-260. Springer, (2006)Reversibility and Asymmetric Conflict in Event Structures., and . CONCUR, volume 8052 of Lecture Notes in Computer Science, page 303-318. Springer, (2013)Towards a Taxonomy for Reversible Computation Approaches., , , , , , and . RC, volume 13960 of Lecture Notes in Computer Science, page 24-39. Springer, (2023)An Axiomatic Approach to Reversible Computation., , and . FoSSaCS, volume 12077 of Lecture Notes in Computer Science, page 442-461. Springer, (2020)Towards Modelling of Local Reversibility., and . RC, volume 9138 of Lecture Notes in Computer Science, page 279-284. Springer, (2015)Foundations of Reversible Computation., , , , , , , , , and 5 other author(s). Selected Results of the COST Action IC1405, volume 12070 of Lecture Notes in Computer Science, Springer, (2020)Saving Memory Space in Deep Neural Networks by Recomputing: A Survey.. RC, volume 13960 of Lecture Notes in Computer Science, page 89-105. Springer, (2023)Towards Causal-Consistent Reversibility of Imperative Concurrent Programs., and . RC, volume 13354 of Lecture Notes in Computer Science, page 213-223. Springer, (2022)Axiomatisations of Weak Equivalences for De Simone Languages.. CONCUR, volume 962 of Lecture Notes in Computer Science, page 219-233. Springer, (1995)Equivalences on Observable Processes. LICS, page 148-159. IEEE Computer Society, (1992)