Irek Ulidowski

Available identifiers

zbMath Open ulidowski.irekMaRDI QIDQ890615

List of research outcomes

Publication	Date of Publication	Type
An axiomatic theory for reversible computation	2024-04-26	Paper
Towards a taxonomy for reversible computation approaches	2024-01-11	Paper
Saving memory space in deep neural networks by recomputing: a survey	2024-01-11	Paper
Towards causal-consistent reversibility of imperative concurrent programs	2022-11-11	Paper
Modelling of DNA mismatch repair with a reversible process calculus	2022-06-24	Paper
https://portal.mardi4nfdi.de/entity/Q3384916	2021-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q5014800	2021-12-08	Paper
Reversible occurrence nets and causal reversible prime event structures	2021-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q4965863	2021-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q5150131	2021-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q5129948	2020-11-03	Paper
An axiomatic approach to reversible computation	2020-09-23	Paper
https://portal.mardi4nfdi.de/entity/Q5219758	2020-03-12	Paper
Reversible Imperative Parallel Programs and Debugging	2019-10-17	Paper
Towards Modelling of Local Reversibility	2016-09-30	Paper
A Calculus for Local Reversibility	2016-08-10	Paper
Event Identifier Logic	2016-07-26	Paper
A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway	2015-11-30	Paper
Reversibility and asymmetric conflict in event structures	2015-11-10	Paper
Operational Semantics of Reversibility in Process Algebra	2015-07-10	Paper
Concurrency and Reversibility	2014-09-02	Paper
Arbitration and Reversibility of Parallel Delay-Insensitive Modules	2014-09-02	Paper
Reversibility and models for concurrency	2014-01-10	Paper
Modelling of Bonding with Processes and Events	2013-12-17	Paper
Reversible Delay-Insensitive Distributed Memory Modules	2013-12-17	Paper
Reversibility and Asymmetric Conflict in Event Structures	2013-08-12	Paper
A hierarchy of reverse bisimulations on stable configuration structures	2012-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q5389328	2012-04-26	Paper
Refusal simulation and interactive games	2011-05-06	Paper
Priority rewrite systems for OSOS process languages.	2010-03-30	Paper
Generating priority rewrite systems for OSOS process languages	2009-04-14	Paper
Reversing algebraic process calculi	2007-08-23	Paper
Foundations of Software Science and Computation Structures	2007-05-02	Paper
Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation	2004-09-08	Paper
Ordered SOS process languages for branching and eager bisimulations	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4536608	2002-06-25	Paper
Finite axiom systems for testing preorder and De Simone process languages	2000-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q4703894	1999-12-01	Paper

Research outcomes over time

This page was built for person: Irek Ulidowski