SCEAS

The SCEAS System

Search the dblp DataBase

Title:
Author:

Irek Ulidowski: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

Irek Ulidowski
Refusal Simulation and Interactive Games. [Citation Graph (0, 0)][DBLP]
AMAST, 2002, pp:208-222 [Conf]
Irek Ulidowski
Finite Axiom Systems for Testing Preorder and De Simone Process Languages. [Citation Graph (0, 0)][DBLP]
AMAST, 1996, pp:210-224 [Conf]
Irek Ulidowski, Shoji Yuen
Extending Process Languages with Time. [Citation Graph (0, 0)][DBLP]
AMAST, 1997, pp:524-538 [Conf]
Irek Ulidowski
Priority Rewrite Systems for OSOS Process Languages. [Citation Graph (0, 0)][DBLP]
CONCUR, 2003, pp:87-101 [Conf]
Irek Ulidowski
Axiomatisations of Weak Equivalences for De Simone Languages. [Citation Graph (0, 0)][DBLP]
CONCUR, 1995, pp:219-233 [Conf]
Irek Ulidowski, Shoji Yuen
Process Languages for Rooted Eager Bisimulation. [Citation Graph (0, 0)][DBLP]
CONCUR, 2000, pp:275-289 [Conf]
Iain Phillips, Irek Ulidowski
Reversing Algebraic Process Calculi. [Citation Graph (0, 0)][DBLP]
FoSSaCS, 2006, pp:246-260 [Conf]
Mohammad Reza Mousavi, Iain Phillips, Michel A. Reniers, Irek Ulidowski
The Meaning of Ordered SOS. [Citation Graph (0, 0)][DBLP]
FSTTCS, 2006, pp:333-344 [Conf]
Irek Ulidowski
Congrurences for tau-Respecting Formats of Rules. [Citation Graph (0, 0)][DBLP]
Theory and Formal Methods, 1993, pp:314-325 [Conf]
Irek Ulidowski
Equivalences on Observable Processes [Citation Graph (0, 0)][DBLP]
LICS, 1992, pp:148-159 [Conf]
Irek Ulidowski, Iain Phillips
Formats of Ordered SOS Rules with Silent Actions. [Citation Graph (0, 0)][DBLP]
TAPSOFT, 1997, pp:297-308 [Conf]
Luca Aceto, Wan Fokkink, Irek Ulidowski
Preface. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:128, n:1, pp:1-0 [Journal]
Peter D. Mosses, Irek Ulidowski
Preface. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2006, v:156, n:1, pp:1-2 [Journal]
Irek Ulidowski
Preface. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:139, n:1, pp:1-2 [Journal]
Iain Phillips, Irek Ulidowski
Operational Semantics of Reversibility in Process Algebra. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:281-286 [Journal]
Irek Ulidowski, Iain Phillips
Ordered SOS Process Languages for Branching and Eager Bisimulations. [Citation Graph (0, 0)][DBLP]
Inf. Comput., 2002, v:178, n:1, pp:180-213 [Journal]
Irek Ulidowski, Shoji Yuen
Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation. [Citation Graph (0, 0)][DBLP]
J. Log. Algebr. Program., 2004, v:60, n:, pp:401-460 [Journal]
Irek Ulidowski
Finite axiom systems for testing preorder and De Simone process languages. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 2000, v:239, n:1, pp:97-139 [Journal]
Peter D. Mosses, Irek Ulidowski
Preface. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 2007, v:373, n:3, pp:161-162 [Journal]
Iain Phillips, Irek Ulidowski
Reversing algebraic process calculi. [Citation Graph (0, 0)][DBLP]
J. Log. Algebr. Program., 2007, v:73, n:1-2, pp:70-96 [Journal]
Reverse Bisimulations on Stable Configuration Structures [Citation Graph (, )][DBLP]
Reversibility and Models for Concurrency. [Citation Graph (, )][DBLP]
Preface. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.003secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP