Suchergebnisse - Ulidowski, Irek

1

Local reversibility in a Calculus of Covalent Bonding von Kuhn, Stefan, Ulidowski, Irek

Veröffentlicht in Science of computer programming

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Towards Causal-Consistent Reversibility of Imperative Concurrent Programs von Hoey, James, Ulidowski, Irek

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Reversing Place Transition Nets von Hernán Melgratti, Claudio Antares Mezzina, Irek Ulidowski

Veröffentlicht in Logical methods in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Reversible Computation: 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings von Kari, Jarkko, Ulidowski, Irek

Volltext
Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Reversing Parallel Programs with Blocks and Procedures von Hoey, James, Ulidowski, Irek, Yuen, Shoji

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Modelling of DNA mismatch repair with a reversible process calculus von Kuhn, Stefan, Ulidowski, Irek

Veröffentlicht in Theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Reversing an imperative concurrent programming language von Hoey, James, Ulidowski, Irek

Veröffentlicht in Science of computer programming

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405 von Ulidowski, Irek, Lanese, Ivan, Schultz, Ulrik Pagh, Ferreira, Carla

Volltext

Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Reversing Imperative Parallel Programs von Hoey, James, Ulidowski, Irek, Yuen, Shoji

Veröffentlicht in Electronic proceedings in theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

A hierarchy of reverse bisimulations on stable configuration structures von PHILLIPS, IAIN, ULIDOWSKI, IREK

Veröffentlicht in Mathematical structures in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Quantum Circuit Optimization by Changing the Gate Order for 2D Nearest Neighbor Architectures von Hattori, Wakaki, Yamashita, Shigeru

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

An Axiomatic Theory for Reversible Computation von Lanese, Ivan, Phillips, Iain, Ulidowski, Irek

Veröffentlicht in ACM transactions on computational logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Saving Memory Space in Deep Neural Networks by Recomputing: A Survey von Ulidowski, Irek

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

CONCUR 2012- Concurrency Theory: 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings von Koutny, Maciej, Ulidowski, Irek

Volltext

Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

MEEDNets: Medical Image Classification via Ensemble Bio-inspired Evolutionary DenseNets von Zhu, Hengde, Wang, Wei, Ulidowski, Irek, Zhou, Qinghua, Wang, Shuihua, Chen, Huafeng, Zhang, Yudong

Veröffentlicht in Knowledge-based systems

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

Reverse Bisimulations on Stable Configuration Structures von Phillips, Iain, Ulidowski, Irek

Veröffentlicht in Electronic proceedings in theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

A Logic with Reverse Modalities for History-preserving Bisimulations von Phillips, Iain, Ulidowski, Irek

Veröffentlicht in Electronic proceedings in theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Reversing Event Structures von Ulidowski, Irek, Phillips, Iain, Yuen, Shoji

Veröffentlicht in New generation computing

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Reversibility and asymmetric conflict in event structures von Phillips, Iain, Ulidowski, Irek

Veröffentlicht in Journal of logical and algebraic methods in programming

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

Data Structures and Dynamic Memory Management in Reversible Languages von Cservenka, Martin Holm, Glück, Robert, Haulund, Tue, Mogensen, Torben Ægidius

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

1
2
3
4
5
6
7
8
9
10
Nächster
[10]

Local reversibility in a Calculus of Covalent Bonding von Kuhn, Stefan, Ulidowski, Irek

Towards Causal-Consistent Reversibility of Imperative Concurrent Programs von Hoey, James, Ulidowski, Irek

Reversing Place Transition Nets von Hernán Melgratti, Claudio Antares Mezzina, Irek Ulidowski

Reversible Computation: 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings von Kari, Jarkko, Ulidowski, Irek

Reversing Parallel Programs with Blocks and Procedures von Hoey, James, Ulidowski, Irek, Yuen, Shoji

Modelling of DNA mismatch repair with a reversible process calculus von Kuhn, Stefan, Ulidowski, Irek

Reversing an imperative concurrent programming language von Hoey, James, Ulidowski, Irek

Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405 von Ulidowski, Irek, Lanese, Ivan, Schultz, Ulrik Pagh, Ferreira, Carla

Reversing Imperative Parallel Programs von Hoey, James, Ulidowski, Irek, Yuen, Shoji

A hierarchy of reverse bisimulations on stable configuration structures von PHILLIPS, IAIN, ULIDOWSKI, IREK

Quantum Circuit Optimization by Changing the Gate Order for 2D Nearest Neighbor Architectures von Hattori, Wakaki, Yamashita, Shigeru

An Axiomatic Theory for Reversible Computation von Lanese, Ivan, Phillips, Iain, Ulidowski, Irek

Saving Memory Space in Deep Neural Networks by Recomputing: A Survey von Ulidowski, Irek

CONCUR 2012- Concurrency Theory: 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings von Koutny, Maciej, Ulidowski, Irek

MEEDNets: Medical Image Classification via Ensemble Bio-inspired Evolutionary DenseNets von Zhu, Hengde, Wang, Wei, Ulidowski, Irek, Zhou, Qinghua, Wang, Shuihua, Chen, Huafeng, Zhang, Yudong

Reverse Bisimulations on Stable Configuration Structures von Phillips, Iain, Ulidowski, Irek

A Logic with Reverse Modalities for History-preserving Bisimulations von Phillips, Iain, Ulidowski, Irek

Reversing Event Structures von Ulidowski, Irek, Phillips, Iain, Yuen, Shoji

Reversibility and asymmetric conflict in event structures von Phillips, Iain, Ulidowski, Irek

Data Structures and Dynamic Memory Management in Reversible Languages von Cservenka, Martin Holm, Glück, Robert, Haulund, Tue, Mogensen, Torben Ægidius

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle