( en | de | ru )

 

Disambiguation of "Ulidowski, Irek"

Author of the publication

copydeleteadd this publication to your clipboard
A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway.

, , and . RC, volume 7581 of Lecture Notes in Computer Science, page 218-232. Springer, (2012)

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 Parallel Programs with Blocks and Procedures., , and . EXPRESS/SOS, volume 276 of EPTCS, page 69-86. (2018)Towards a Taxonomy for Reversible Computation Approaches., , , , , , and . RC, volume 13960 of Lecture Notes in Computer Science, page 24-39. Springer, (2023)Reversible Execution for Robustness in Embodied AI and Industrial Robots., , and . IT Prof., 23 (3): 12-17 (2021)Reversibility and Asymmetric Conflict in Event Structures., and . CONCUR, volume 8052 of Lecture Notes in Computer Science, page 303-318. Springer, (2013)Reversing Algebraic Process Calculi., and . FoSSaCS, volume 3921 of Lecture Notes in Computer Science, page 246-260. Springer, (2006)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)Preface.. ARTS, volume 139 of Electronic Notes in Theoretical Computer Science, page 1-2. Elsevier, (2004)A hierarchy of reverse bisimulations on stable configuration structures., and . Math. Struct. Comput. Sci., 22 (2): 333-372 (2012)Reversing Event Structures., , and . New Gener. Comput., 36 (3): 281-306 (2018)