Irek Ulidowski

Available identifiers

zbMath Open ulidowski.irekMaRDI QIDQ890615

List of research outcomes

Publication	Date of Publication	Type
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
Reversible Delay-Insensitive Distributed Memory Modules	2013-12-17	Paper
Modelling of Bonding with Processes and Events	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
CONCUR 2003 - Concurrency Theory	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Irek Ulidowski