E-LIB Suche - Ergebnisse für: Ulidowski, Irek

1

An Axiomatic Theory for Reversible Computation:

Lanese, Ivan ; Phillips, Iain ; Ulidowski, Irek
ACM Transactions on Computational Logic. 25 (2024) 2 - p. 1-40 , 2024

Link: https://doi.org/10.1145/..

2

MEEDNets: Medical Image Classification via Ensemble Bio-ins..:

Zhu, Hengde ; Wang, Wei ; Ulidowski, Irek...
Knowledge-Based Systems. 280 (2023) - p. 111035 , 2023

Link: https://doi.org/10.1016/..

3

Saving Memory Space in Deep Neural Networks by Recomputing:..:

, In: Reversible Computation; Lecture Notes in Computer Science,

Ulidowski, Irek - p. 89-105 , 2023

Link: https://doi.org/10.1007/..

4

Towards a Taxonomy for Reversible Computation Approaches:

, In: Reversible Computation; Lecture Notes in Computer Science,

Glück, Robert ; Lanese, Ivan ; Mezzina, Claudio Antares... - p. 24-39 , 2023

Link: https://doi.org/10.1007/..

5

Reversing an imperative concurrent programming language:

Hoey, James ; Ulidowski, Irek
Science of Computer Programming. 223 (2022) - p. 102873 , 2022

Link: https://doi.org/10.1016/..

6

Modelling of DNA mismatch repair with a reversible process ..:

Kuhn, Stefan ; Ulidowski, Irek
Theoretical Computer Science. 925 (2022) - p. 68-86 , 2022

Link: https://doi.org/10.1016/..

7

Reversible Computing in Debugging of Erlang Programs:

Lanese, Ivan ; Schultz, Ulrik P. ; Ulidowski, Irek
IT Professional. 24 (2022) 1 - p. 74-80 , 2022

Link: https://doi.org/10.1109/..

8

Towards Causal-Consistent Reversibility of Imperative Concu..:

, In: Reversible Computation; Lecture Notes in Computer Science,

Hoey, James ; Ulidowski, Irek - p. 213-223 , 2022

Link: https://doi.org/10.1007/..

9

Reversible Execution for Robustness in Embodied AI and Indu..:

Lanese, Ivan ; Schultz, Ulrik ; Ulidowski, Irek
IT Professional. 23 (2021) 3 - p. 12-17 , 2021

Link: https://doi.org/10.1109/..

10

Reversible Occurrence Nets and Causal Reversible Prime Even..:

, In: Reversible Computation; Lecture Notes in Computer Science,

Melgratti, Hernán ; Mezzina, Claudio Antares ; Phillips, Iain.. - p. 35-53 , 2020

Link: https://doi.org/10.1007/..

11

Reversibility in Chemical Reactions:

, In: Reversible Computation: Extending Horizons of Computing; Lecture Notes in Computer Science,

Kuhn, Stefan ; Aman, Bogdan ; Ciobanu, Gabriel... - p. 151-176 , 2020

Link: https://doi.org/10.1007/..

12

Foundations of Reversible Computation:

, In: Reversible Computation: Extending Horizons of Computing; Lecture Notes in Computer Science,

Aman, Bogdan ; Ciobanu, Gabriel ; Glück, Robert... - p. 1-40 , 2020

Link: https://doi.org/10.1007/..

13

A Case Study for Reversible Computing: Reversible Debugging..:

, In: Reversible Computation: Extending Horizons of Computing; Lecture Notes in Computer Science,

Hoey, James ; Lanese, Ivan ; Nishida, Naoki.. - p. 108-127 , 2020

Link: https://doi.org/10.1007/..

14

Software and Reversible Systems: A Survey of Recent Activit..:

, In: Reversible Computation: Extending Horizons of Computing; Lecture Notes in Computer Science,

Mezzina, Claudio Antares ; Schlatte, Rudolf ; Glück, Robert... - p. 41-59 , 2020

Link: https://doi.org/10.1007/..

15

An Axiomatic Approach to Reversible Computation:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Lanese, Ivan ; Phillips, Iain ; Ulidowski, Irek - p. 442-461 , 2020

Link: https://doi.org/10.1007/..