Concepedia

Irek Ulidowski

IU

Statistics

Publications

15

Citations

545

H-Index

14

Active since

2000

Affiliations

University of Leicester(Current)

Imperial College London

Nagoya University

Irek Ulidowski is an author at University of Leicester specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSemanticsProbabilityVerificationSystems EngineeringPhysics

Publications per year

2000–2023

15

Publications

15

Reversing algebraic process calculi

Iain Phillips, Irek Ulidowski · The Journal of Logic and Algebraic Programming · 2007 · 167 citations

Formal Methods, Process Control, Computer Algebra +3

Reversibility and Models for Concurrency

Iain Phillips, Irek Ulidowski · Electronic Notes in Theoretical Computer Science · 2007 · 52 citations · Full text

Equivalences on observable processes

Irek Ulidowski · 2003 · 51 citations

Engineering, Observable Process Behavior, Verification +16

Reversibility and asymmetric conflict in event structures

Iain Phillips, Irek Ulidowski · Journal of Logical and Algebraic Methods in Programming · 2015 · 45 citations

Event Correlation, Probability Theory, Causality +4

Ordered SOS Process Languages for Branching and Eager Bisimulations

Irek Ulidowski · Information and Computation · 2002 · 33 citations

Programming Language Theory, Engineering, Concurrency Theory +5

1–5 of 15