Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Irek Ulidowski
@article{DBLP:journals/kbs/ZhuWUZWCZ23,
author = {Hengde Zhu and
Wei Wang and
Irek Ulidowski and
Qinghua Zhou and
Shuihua Wang and
Huafeng Chen and
Yudong Zhang},
title = {MEEDNets: Medical Image Classification via Ensemble Bio-inspired Evolutionary
DenseNets},
journal = {Knowl. Based Syst.},
volume = {280},
pages = {111035},
year = {2023},
url = {https://doi.org/10.1016/j.knosys.2023.111035},
doi = {10.1016/J.KNOSYS.2023.111035},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kbs/ZhuWUZWCZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/GluckLMMPUV23,
author = {Robert Gl{\"{u}}ck and
Ivan Lanese and
Claudio Antares Mezzina and
Jaroslaw Adam Miszczak and
Iain C. C. Phillips and
Irek Ulidowski and
Germ{\'{a}}n Vidal},
editor = {Martin Kutrib and
Uwe Meyer},
title = {Towards a Taxonomy for Reversible Computation Approaches},
booktitle = {Reversible Computation - 15th International Conference, {RC} 2023,
Giessen, Germany, July 18-19, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13960},
pages = {24--39},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38100-3\_3},
doi = {10.1007/978-3-031-38100-3\_3},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rc/GluckLMMPUV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/Ulidowski23,
author = {Irek Ulidowski},
editor = {Martin Kutrib and
Uwe Meyer},
title = {Saving Memory Space in Deep Neural Networks by Recomputing: {A} Survey},
booktitle = {Reversible Computation - 15th International Conference, {RC} 2023,
Giessen, Germany, July 18-19, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13960},
pages = {89--105},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38100-3\_7},
doi = {10.1007/978-3-031-38100-3\_7},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rc/Ulidowski23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-13360,
author = {Ivan Lanese and
Iain C. C. Phillips and
Irek Ulidowski},
title = {An Axiomatic Theory for Reversible Computation},
journal = {CoRR},
volume = {abs/2307.13360},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.13360},
doi = {10.48550/ARXIV.2307.13360},
eprinttype = {arXiv},
eprint = {2307.13360},
timestamp = {Tue, 01 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-13360.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itpro/LaneseSUS22,
author = {Ivan Lanese and
Ulrik Pagh Schultz and
Irek Ulidowski},
title = {Reversible Computing in Debugging of Erlang Programs},
journal = {{IT} Prof.},
volume = {24},
number = {1},
pages = {74--80},
year = {2022},
url = {https://doi.org/10.1109/MITP.2021.3117920},
doi = {10.1109/MITP.2021.3117920},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/itpro/LaneseSUS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HoeyU22,
author = {James Hoey and
Irek Ulidowski},
title = {Reversing an imperative concurrent programming language},
journal = {Sci. Comput. Program.},
volume = {223},
pages = {102873},
year = {2022},
url = {https://doi.org/10.1016/j.scico.2022.102873},
doi = {10.1016/J.SCICO.2022.102873},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/HoeyU22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KuhnU22,
author = {Stefan Kuhn and
Irek Ulidowski},
title = {Modelling of {DNA} mismatch repair with a reversible process calculus},
journal = {Theor. Comput. Sci.},
volume = {925},
pages = {68--86},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2022.06.009},
doi = {10.1016/J.TCS.2022.06.009},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/KuhnU22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/HoeyU22,
author = {James Hoey and
Irek Ulidowski},
editor = {Claudio Antares Mezzina and
Krzysztof Podlaski},
title = {Towards Causal-Consistent Reversibility of Imperative Concurrent Programs},
booktitle = {Reversible Computation - 14th International Conference, {RC} 2022,
Urbino, Italy, July 5-6, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13354},
pages = {213--223},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-09005-9\_15},
doi = {10.1007/978-3-031-09005-9\_15},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rc/HoeyU22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-01171,
author = {James Hoey and
Irek Ulidowski},
title = {Reversing an Imperative Concurrent Programming Language},
journal = {CoRR},
volume = {abs/2205.01171},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.01171},
doi = {10.48550/ARXIV.2205.01171},
eprinttype = {arXiv},
eprint = {2205.01171},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-01171.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itpro/LaneseSUS21,
author = {Ivan Lanese and
Ulrik Pagh Schultz and
Irek Ulidowski},
title = {Reversible Execution for Robustness in Embodied {AI} and Industrial
Robots},
journal = {{IT} Prof.},
volume = {23},
number = {3},
pages = {12--17},
year = {2021},
url = {https://doi.org/10.1109/MITP.2021.3073757},
doi = {10.1109/MITP.2021.3073757},
timestamp = {Wed, 17 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/itpro/LaneseSUS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/MelgrattiMU20,
author = {Hern{\'{a}}n C. Melgratti and
Claudio Antares Mezzina and
Irek Ulidowski},
title = {Reversing Place Transition Nets},
journal = {Log. Methods Comput. Sci.},
volume = {16},
number = {4},
year = {2020},
url = {https://lmcs.episciences.org/6843},
timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/MelgrattiMU20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/LanesePU20,
author = {Ivan Lanese and
Iain C. C. Phillips and
Irek Ulidowski},
editor = {Jean Goubault{-}Larrecq and
Barbara K{\"{o}}nig},
title = {An Axiomatic Approach to Reversible Computation},
booktitle = {Foundations of Software Science and Computation Structures - 23rd
International Conference, {FOSSACS} 2020, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2020,
Dublin, Ireland, April 25-30, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12077},
pages = {442--461},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45231-5\_23},
doi = {10.1007/978-3-030-45231-5\_23},
timestamp = {Fri, 14 May 2021 08:34:11 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/LanesePU20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/MelgrattiM0PU20,
author = {Hern{\'{a}}n C. Melgratti and
Claudio Antares Mezzina and
Iain Phillips and
G. Michele Pinna and
Irek Ulidowski},
editor = {Ivan Lanese and
Mariusz Rawski},
title = {Reversible Occurrence Nets and Causal Reversible Prime Event Structures},
booktitle = {Reversible Computation - 12th International Conference, {RC} 2020,
Oslo, Norway, July 9-10, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12227},
pages = {35--53},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-52482-1\_2},
doi = {10.1007/978-3-030-52482-1\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rc/MelgrattiM0PU20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/AmanCGKKKLMMNPPPUV20,
author = {Bogdan Aman and
Gabriel Ciobanu and
Robert Gl{\"{u}}ck and
Robin Kaarsgaard and
Jarkko Kari and
Martin Kutrib and
Ivan Lanese and
Claudio Antares Mezzina and
Lukasz Mikulski and
Rajagopal Nagarajan and
Iain C. C. Phillips and
G. Michele Pinna and
Luca Prigioniero and
Irek Ulidowski and
Germ{\'{a}}n Vidal},
editor = {Irek Ulidowski and
Ivan Lanese and
Ulrik Pagh Schultz and
Carla Ferreira},
title = {Foundations of Reversible Computation},
booktitle = {Reversible Computation: Extending Horizons of Computing - Selected
Results of the {COST} Action {IC1405}},
series = {Lecture Notes in Computer Science},
volume = {12070},
pages = {1--40},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-47361-7\_1},
doi = {10.1007/978-3-030-47361-7\_1},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/AmanCGKKKLMMNPPPUV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/MezzinaSGHHCLMSSU20,
author = {Claudio Antares Mezzina and
Rudolf Schlatte and
Robert Gl{\"{u}}ck and
Tue Haulund and
James Hoey and
Martin Holm Cservenka and
Ivan Lanese and
Torben {\AE}. Mogensen and
Harun Siljak and
Ulrik Pagh Schultz and
Irek Ulidowski},
editor = {Irek Ulidowski and
Ivan Lanese and
Ulrik Pagh Schultz and
Carla Ferreira},
title = {Software and Reversible Systems: {A} Survey of Recent Activities},
booktitle = {Reversible Computation: Extending Horizons of Computing - Selected
Results of the {COST} Action {IC1405}},
series = {Lecture Notes in Computer Science},
volume = {12070},
pages = {41--59},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-47361-7\_2},
doi = {10.1007/978-3-030-47361-7\_2},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/MezzinaSGHHCLMSSU20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/HoeyL0UV20,
author = {James Hoey and
Ivan Lanese and
Naoki Nishida and
Irek Ulidowski and
Germ{\'{a}}n Vidal},
editor = {Irek Ulidowski and
Ivan Lanese and
Ulrik Pagh Schultz and
Carla Ferreira},
title = {A Case Study for Reversible Computing: Reversible Debugging of Concurrent
Programs},
booktitle = {Reversible Computation: Extending Horizons of Computing - Selected
Results of the {COST} Action {IC1405}},
series = {Lecture Notes in Computer Science},
volume = {12070},
pages = {108--127},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-47361-7\_5},
doi = {10.1007/978-3-030-47361-7\_5},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/HoeyL0UV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/0001ACPPU20,
author = {Stefan Kuhn and
Bogdan Aman and
Gabriel Ciobanu and
Anna Philippou and
Kyriaki Psara and
Irek Ulidowski},
editor = {Irek Ulidowski and
Ivan Lanese and
Ulrik Pagh Schultz and
Carla Ferreira},
title = {Reversibility in Chemical Reactions},
booktitle = {Reversible Computation: Extending Horizons of Computing - Selected
Results of the {COST} Action {IC1405}},
series = {Lecture Notes in Computer Science},
volume = {12070},
pages = {151--176},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-47361-7\_7},
doi = {10.1007/978-3-030-47361-7\_7},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/0001ACPPU20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/lncs/12070,
editor = {Irek Ulidowski and
Ivan Lanese and
Ulrik Pagh Schultz and
Carla Ferreira},
title = {Reversible Computation: Extending Horizons of Computing - Selected
Results of the {COST} Action {IC1405}},
series = {Lecture Notes in Computer Science},
volume = {12070},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-47361-7},
doi = {10.1007/978-3-030-47361-7},
isbn = {978-3-030-47360-0},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/12070.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/MelgrattiMU19,
author = {Hern{\'{a}}n C. Melgratti and
Claudio Antares Mezzina and
Irek Ulidowski},
editor = {Hanne Riis Nielson and
Emilio Tuosto},
title = {Reversing {P/T} Nets},
booktitle = {Coordination Models and Languages - 21st {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2019, Held as Part of the 14th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11533},
pages = {19--36},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22397-7\_2},
doi = {10.1007/978-3-030-22397-7\_2},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/MelgrattiMU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/HoeyU19,
author = {James Hoey and
Irek Ulidowski},
editor = {Michael Kirkedal Thomsen and
Mathias Soeken},
title = {Reversible Imperative Parallel Programs and Debugging},
booktitle = {Reversible Computation - 11th International Conference, {RC} 2019,
Lausanne, Switzerland, June 24-25, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11497},
pages = {108--127},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21500-2\_7},
doi = {10.1007/978-3-030-21500-2\_7},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rc/HoeyU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-04266,
author = {Hern{\'{a}}n C. Melgratti and
Claudio Antares Mezzina and
Irek Ulidowski},
title = {Reversing Place Transition Nets},
journal = {CoRR},
volume = {abs/1910.04266},
year = {2019},
url = {http://arxiv.org/abs/1910.04266},
eprinttype = {arXiv},
eprint = {1910.04266},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-04266.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-10987,
author = {Hern{\'{a}}n C. Melgratti and
Claudio Antares Mezzina and
Iain C. C. Phillips and
G. Michele Pinna and
Irek Ulidowski},
title = {Reversible Causal Nets and Reversible Event Structures},
journal = {CoRR},
volume = {abs/1910.10987},
year = {2019},
url = {http://arxiv.org/abs/1910.10987},
eprinttype = {arXiv},
eprint = {1910.10987},
timestamp = {Fri, 25 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-10987.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/UlidowskiPY18,
author = {Irek Ulidowski and
Iain Phillips and
Shoji Yuen},
title = {Reversing Event Structures},
journal = {New Gener. Comput.},
volume = {36},
number = {3},
pages = {281--306},
year = {2018},
url = {https://doi.org/10.1007/s00354-018-0040-8},
doi = {10.1007/S00354-018-0040-8},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/UlidowskiPY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KuhnU18,
author = {Stefan Kuhn and
Irek Ulidowski},
title = {Local reversibility in a Calculus of Covalent Bonding},
journal = {Sci. Comput. Program.},
volume = {151},
pages = {18--47},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2017.09.008},
doi = {10.1016/J.SCICO.2017.09.008},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KuhnU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1808-08651,
author = {James Hoey and
Irek Ulidowski and
Shoji Yuen},
editor = {Jorge A. P{\'{e}}rez and
Simone Tini},
title = {Reversing Parallel Programs with Blocks and Procedures},
booktitle = {Proceedings Combined 25th International Workshop on Expressiveness
in Concurrency and 15th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2018, Beijing, China, September 3, 2018},
series = {{EPTCS}},
volume = {276},
pages = {69--86},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.276.7},
doi = {10.4204/EPTCS.276.7},
timestamp = {Wed, 02 Dec 2020 13:20:37 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-08651.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rc/2018,
editor = {Jarkko Kari and
Irek Ulidowski},
title = {Reversible Computation - 10th International Conference, {RC} 2018,
Leicester, UK, September 12-14, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11106},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99498-7},
doi = {10.1007/978-3-319-99498-7},
isbn = {978-3-319-99497-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rc/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-00828,
author = {James Hoey and
Irek Ulidowski and
Shoji Yuen},
editor = {Kirstin Peters and
Simone Tini},
title = {Reversing Imperative Parallel Programs},
booktitle = {Proceedings Combined 24th International Workshop on Expressiveness
in Concurrency and 14th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2017, Berlin, Germany, 4th September 2017},
series = {{EPTCS}},
volume = {255},
pages = {51--66},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.255.4},
doi = {10.4204/EPTCS.255.4},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-00828.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jca/MorrisonU16,
author = {Daniel Morrison and
Irek Ulidowski},
title = {Direction-Reversible Self-Timed Cellular Automata for Delay-Insensitive
Circuits},
journal = {J. Cell. Autom.},
volume = {12},
number = {1-2},
pages = {101--120},
year = {2016},
url = {http://www.oldcitypublishing.com/journals/jca-home/jca-issue-contents/jca-volume-12-number-1-2-2016/jca-12-1-2-p-101-120/},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jca/MorrisonU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/0002U16,
author = {Stefan Kuhn and
Irek Ulidowski},
editor = {Simon J. Devitt and
Ivan Lanese},
title = {A Calculus for Local Reversibility},
booktitle = {Reversible Computation - 8th International Conference, {RC} 2016,
Bologna, Italy, July 7-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9720},
pages = {20--35},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40578-0\_2},
doi = {10.1007/978-3-319-40578-0\_2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rc/0002U16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/PhillipsU15,
author = {Iain Phillips and
Irek Ulidowski},
title = {Reversibility and asymmetric conflict in event structures},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {6},
pages = {781--805},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2015.07.004},
doi = {10.1016/J.JLAMP.2015.07.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/PhillipsU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/KuhnU15,
author = {Stefan Kuhn and
Irek Ulidowski},
editor = {Jean Krivine and
Jean{-}Bernard Stefani},
title = {Towards Modelling of Local Reversibility},
booktitle = {Reversible Computation - 7th International Conference, {RC} 2015,
Grenoble, France, July 16-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9138},
pages = {279--284},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20860-2\_19},
doi = {10.1007/978-3-319-20860-2\_19},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rc/KuhnU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/PhillipsU14,
author = {Iain Phillips and
Irek Ulidowski},
title = {Event Identifier Logic},
journal = {Math. Struct. Comput. Sci.},
volume = {24},
number = {2},
year = {2014},
url = {https://doi.org/10.1017/S0960129513000510},
doi = {10.1017/S0960129513000510},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/PhillipsU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acri/MorrisonU14,
author = {Daniel Morrison and
Irek Ulidowski},
editor = {Jaroslaw Was and
Georgios Ch. Sirakoulis and
Stefania Bandini},
title = {Direction-Reversible Self-Timed Cellular Automata for Delay-Insensitive
Circuits},
booktitle = {Cellular Automata - 11th International Conference on Cellular Automata
for Research and Industry, {ACRI} 2014, Krakow, Poland, September
22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8751},
pages = {367--377},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11520-7\_38},
doi = {10.1007/978-3-319-11520-7\_38},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acri/MorrisonU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/UlidowskiPY14,
author = {Irek Ulidowski and
Iain Phillips and
Shoji Yuen},
editor = {Shigeru Yamashita and
Shin{-}ichi Minato},
title = {Concurrency and Reversibility},
booktitle = {Reversible Computation - 6th International Conference, {RC} 2014,
Kyoto, Japan, July 10-11, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8507},
pages = {1--14},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08494-7\_1},
doi = {10.1007/978-3-319-08494-7\_1},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rc/UlidowskiPY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/MorrisonU14,
author = {Daniel Morrison and
Irek Ulidowski},
editor = {Shigeru Yamashita and
Shin{-}ichi Minato},
title = {Arbitration and Reversibility of Parallel Delay-Insensitive Modules},
booktitle = {Reversible Computation - 6th International Conference, {RC} 2014,
Kyoto, Japan, July 10-11, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8507},
pages = {67--81},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08494-7\_6},
doi = {10.1007/978-3-319-08494-7\_6},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rc/MorrisonU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/PhillipsU13,
author = {Iain Phillips and
Irek Ulidowski},
editor = {Pedro R. D'Argenio and
Hern{\'{a}}n C. Melgratti},
title = {Reversibility and Asymmetric Conflict in Event Structures},
booktitle = {{CONCUR} 2013 - Concurrency Theory - 24th International Conference,
{CONCUR} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8052},
pages = {303--318},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40184-8\_22},
doi = {10.1007/978-3-642-40184-8\_22},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/PhillipsU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/MorrisonU13,
author = {Daniel Morrison and
Irek Ulidowski},
editor = {Gerhard W. Dueck and
D. Michael Miller},
title = {Reversible Delay-Insensitive Distributed Memory Modules},
booktitle = {Reversible Computation - 5th International Conference, {RC} 2013,
Victoria, BC, Canada, July 4-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7948},
pages = {11--24},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38986-3\_2},
doi = {10.1007/978-3-642-38986-3\_2},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/rc/MorrisonU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/PhillipsUY13,
author = {Iain Phillips and
Irek Ulidowski and
Shoji Yuen},
editor = {Gerhard W. Dueck and
D. Michael Miller},
title = {Modelling of Bonding with Processes and Events},
booktitle = {Reversible Computation - 5th International Conference, {RC} 2013,
Victoria, BC, Canada, July 4-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7948},
pages = {141--154},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38986-3\_12},
doi = {10.1007/978-3-642-38986-3\_12},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rc/PhillipsUY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/PhillipsU12,
author = {Iain Phillips and
Irek Ulidowski},
title = {A hierarchy of reverse bisimulations on stable configuration structures},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {2},
pages = {333--372},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000429},
doi = {10.1017/S0960129511000429},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/PhillipsU12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/DrechslerUW12,
author = {Rolf Drechsler and
Irek Ulidowski and
Robert Wille},
title = {Foreword: Special Issue on Reversible Computation},
journal = {J. Multiple Valued Log. Soft Comput.},
volume = {18},
number = {1},
pages = {1--3},
year = {2012},
url = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-18-number-1-2012/mvlsc-18-1-p-1-3/},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mvl/DrechslerUW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/PhillipsUY12,
author = {Iain Phillips and
Irek Ulidowski and
Shoji Yuen},
editor = {Robert Gl{\"{u}}ck and
Tetsuo Yokoyama},
title = {A Reversible Process Calculus and the Modelling of the {ERK} Signalling
Pathway},
booktitle = {Reversible Computation, 4th International Workshop, {RC} 2012, Copenhagen,
Denmark, July 2-3, 2012. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {7581},
pages = {218--232},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-36315-3\_18},
doi = {10.1007/978-3-642-36315-3\_18},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rc/PhillipsUY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2012,
editor = {Maciej Koutny and
Irek Ulidowski},
title = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
{CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7454},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32940-1},
doi = {10.1007/978-3-642-32940-1},
isbn = {978-3-642-32939-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-4470,
author = {Iain Phillips and
Irek Ulidowski},
editor = {Bas Luttik and
Frank Valencia},
title = {A Logic with Reverse Modalities for History-preserving Bisimulations},
booktitle = {Proceedings 18th International Workshop on Expressiveness in Concurrency,
{EXPRESS} 2011, Aachen, Germany, 5th September 2011},
series = {{EPTCS}},
volume = {64},
pages = {104--118},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.64.8},
doi = {10.4204/EPTCS.64.8},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-4470.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CannataMU10,
author = {Nicola Cannata and
Emanuela Merelli and
Irek Ulidowski},
title = {Preface: Hybrid automata and oscillatory behaviour in biological systems},
journal = {Theor. Comput. Sci.},
volume = {411},
number = {20},
pages = {1997--1998},
year = {2010},
url = {https://doi.org/10.1016/j.tcs.2010.02.019},
doi = {10.1016/J.TCS.2010.02.019},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CannataMU10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MousaviPRU09,
author = {Mohammad Reza Mousavi and
Iain Phillips and
Michel A. Reniers and
Irek Ulidowski},
title = {Semantics and expressiveness of ordered {SOS}},
journal = {Inf. Comput.},
volume = {207},
number = {2},
pages = {85--119},
year = {2009},
url = {https://doi.org/10.1016/j.ic.2007.11.008},
doi = {10.1016/J.IC.2007.11.008},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/MousaviPRU09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/UlidowskiY09,
author = {Irek Ulidowski and
Shoji Yuen},
title = {Generating priority rewrite systems for {OSOS} process languages},
journal = {Inf. Comput.},
volume = {207},
number = {2},
pages = {120--145},
year = {2009},
url = {https://doi.org/10.1016/j.ic.2008.10.002},
doi = {10.1016/J.IC.2008.10.002},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/UlidowskiY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1002-2871,
author = {Iain C. C. Phillips and
Irek Ulidowski},
editor = {Bartek Klin and
Pawel Sobocinski},
title = {Reverse Bisimulations on Stable Configuration Structures},
booktitle = {Proceedings Sixth Workshop on Structural Operational Semantics, {SOS}
2009, Bologna, Italy, August 31, 2009},
series = {{EPTCS}},
volume = {18},
pages = {62--76},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.18.5},
doi = {10.4204/EPTCS.18.5},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1002-2871.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Ulidowski10,
author = {Irek Ulidowski},
editor = {Irek Ulidowski},
title = {Preface},
booktitle = {Proceedings of the Workshop on Reversible Computation, RC@ETAPS 2009,
York, UK, March 22, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {253},
number = {6},
pages = {1--2},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.02.001},
doi = {10.1016/J.ENTCS.2010.02.001},
timestamp = {Fri, 24 Feb 2023 15:38:09 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Ulidowski10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fbtc/2008,
editor = {Nicola Cannata and
Emanuela Merelli and
Irek Ulidowski},
title = {Proceedings of the Second Workshop From Biology to Concurrency and
Back, FBTC@ICALP 2008, Reykjavik, Iceland, July 12, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {1},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/229/issue/1},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbtc/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rc/2009,
editor = {Irek Ulidowski},
title = {Proceedings of the Workshop on Reversible Computation, RC@ETAPS 2009,
York, UK, March 22, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {253},
number = {6},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/253/issue/6},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rc/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CannataMU09,
author = {Nicola Cannata and
Emanuela Merelli and
Irek Ulidowski},
editor = {Nicola Cannata and
Emanuela Merelli and
Irek Ulidowski},
title = {Preface},
booktitle = {Proceedings of the Second Workshop From Biology to Concurrency and
Back, FBTC@ICALP 2008, Reykjavik, Iceland, July 12, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {1},
pages = {1--2},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.02.001},
doi = {10.1016/J.ENTCS.2009.02.001},
timestamp = {Fri, 24 Feb 2023 11:25:56 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CannataMU09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/PhillipsU07,
author = {Iain C. C. Phillips and
Irek Ulidowski},
title = {Reversing algebraic process calculi},
journal = {J. Log. Algebraic Methods Program.},
volume = {73},
number = {1-2},
pages = {70--96},
year = {2007},
url = {https://doi.org/10.1016/j.jlap.2006.11.002},
doi = {10.1016/J.JLAP.2006.11.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/PhillipsU07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MossesU07,
author = {Peter D. Mosses and
Irek Ulidowski},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {373},
number = {3},
pages = {161--162},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2006.12.015},
doi = {10.1016/J.TCS.2006.12.015},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MossesU07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PhillipsU07,
author = {Iain Phillips and
Irek Ulidowski},
editor = {Rob van Glabbeek and
Matthew Hennessy},
title = {Reversibility and Models for Concurrency},
booktitle = {Proceedings of the Fourth Workshop on Structural Operational Semantics,
SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {192},
number = {1},
pages = {93--108},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.08.018},
doi = {10.1016/J.ENTCS.2007.08.018},
timestamp = {Thu, 09 Feb 2023 10:45:04 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PhillipsU07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/PhillipsU06,
author = {Iain C. C. Phillips and
Irek Ulidowski},
editor = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Reversing Algebraic Process Calculi},
booktitle = {Foundations of Software Science and Computation Structures, 9th International
Conference, {FOSSACS} 2006, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria,
March 25-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3921},
pages = {246--260},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11690634\_17},
doi = {10.1007/11690634\_17},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/PhillipsU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/MousaviPRU06,
author = {Mohammad Reza Mousavi and
Iain C. C. Phillips and
Michel A. Reniers and
Irek Ulidowski},
editor = {S. Arun{-}Kumar and
Naveen Garg},
title = {The Meaning of Ordered {SOS}},
booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
Computer Science, 26th International Conference, Kolkata, India, December
13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4337},
pages = {333--344},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11944836\_31},
doi = {10.1007/11944836\_31},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/MousaviPRU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sos/2005,
editor = {Peter D. Mosses and
Irek Ulidowski},
title = {Proceedings of the Second Workshop on Structural Operational Semantics,
SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {156},
number = {1},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/156/issue/1},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sos/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MossesU06,
author = {Peter D. Mosses and
Irek Ulidowski},
editor = {Peter D. Mosses and
Irek Ulidowski},
title = {Preface},
booktitle = {Proceedings of the Second Workshop on Structural Operational Semantics,
SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {156},
number = {1},
pages = {1--2},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.01.018},
doi = {10.1016/J.ENTCS.2006.01.018},
timestamp = {Thu, 15 Dec 2022 16:08:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MossesU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PhillipsU06,
author = {Iain C. C. Phillips and
Irek Ulidowski},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Operational Semantics of Reversibility in Process Algebra},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {281--286},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.095},
doi = {10.1016/J.ENTCS.2005.12.095},
timestamp = {Fri, 20 Jan 2023 12:38:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PhillipsU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/arts/2004,
editor = {Irek Ulidowski},
title = {Proceedings of the 6th {AMAST} Workshop on Real-Time Systems, {ARTS}
2004, Stirling, UK, July 12, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {139},
number = {1},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/139/issue/1},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/arts/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sos/2004,
editor = {Luca Aceto and
Wan J. Fokkink and
Irek Ulidowski},
title = {Proceedings of the Workshop on Structural Operational Semantics, {SOS}
2004, London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {1},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/128/issue/1},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sos/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/UlidowskiY04,
author = {Irek Ulidowski and
Shoji Yuen},
title = {Process languages with discrete relative time based on the Ordered
{SOS} format and rooted eager bisimulation},
journal = {J. Log. Algebraic Methods Program.},
volume = {60-61},
pages = {401--460},
year = {2004},
url = {https://doi.org/10.1016/j.jlap.2004.03.002},
doi = {10.1016/J.JLAP.2004.03.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/UlidowskiY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AcetoFU05,
author = {Luca Aceto and
Wan J. Fokkink and
Irek Ulidowski},
editor = {Luca Aceto and
Wan J. Fokkink and
Irek Ulidowski},
title = {Preface},
booktitle = {Proceedings of the Workshop on Structural Operational Semantics, {SOS}
2004, London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {1},
pages = {1},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.08.053},
doi = {10.1016/J.ENTCS.2004.08.053},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AcetoFU05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Ulidowski05,
author = {Irek Ulidowski},
editor = {Irek Ulidowski},
title = {Preface},
booktitle = {Proceedings of the 6th {AMAST} Workshop on Real-Time Systems, {ARTS}
2004, Stirling, UK, July 12, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {139},
number = {1},
pages = {1--2},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.10.001},
doi = {10.1016/J.ENTCS.2005.10.001},
timestamp = {Tue, 13 Dec 2022 08:56:12 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Ulidowski05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Ulidowski03,
author = {Irek Ulidowski},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Priority Rewrite Systems for {OSOS} Process Languages},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {87--101},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_6},
doi = {10.1007/978-3-540-45187-7\_6},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Ulidowski03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/UlidowskiP02,
author = {Irek Ulidowski and
Iain C. C. Phillips},
title = {Ordered {SOS} Process Languages for Branching and Eager Bisimulations},
journal = {Inf. Comput.},
volume = {178},
number = {1},
pages = {180--213},
year = {2002},
url = {https://doi.org/10.1006/inco.2002.3161},
doi = {10.1006/INCO.2002.3161},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/UlidowskiP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Ulidowski02,
author = {Irek Ulidowski},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Refusal Simulation and Interactive Games},
booktitle = {Algebraic Methodology and Software Technology, 9th International Conference,
{AMAST} 2002, Saint-Gilles-les-Bains, Reunion Island, France, September
9-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2422},
pages = {208--222},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45719-4\_15},
doi = {10.1007/3-540-45719-4\_15},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/Ulidowski02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ulidowski00,
author = {Irek Ulidowski},
title = {Finite axiom systems for testing preorder and De Simone process languages},
journal = {Theor. Comput. Sci.},
volume = {239},
number = {1},
pages = {97--139},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(99)00214-5},
doi = {10.1016/S0304-3975(99)00214-5},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Ulidowski00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/UlidowskiY00,
author = {Irek Ulidowski and
Shoji Yuen},
editor = {Catuscia Palamidessi},
title = {Process Languages for Rooted Eager Bisimulation},
booktitle = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference,
University Park, PA, USA, August 22-25, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1877},
pages = {275--289},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44618-4\_21},
doi = {10.1007/3-540-44618-4\_21},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/UlidowskiY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/UlidowskiY97,
author = {Irek Ulidowski and
Shoji Yuen},
editor = {Michael Johnson},
title = {Extending Process Languages with Time},
booktitle = {Algebraic Methodology and Software Technology, 6th International Conference,
{AMAST} '97, Sydney, Australia, December 13-17, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1349},
pages = {524--538},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0000494},
doi = {10.1007/BFB0000494},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/UlidowskiY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/UlidowskiP97,
author = {Irek Ulidowski and
Iain C. C. Phillips},
editor = {Michel Bidoit and
Max Dauchet},
title = {Formats of Ordered {SOS} Rules with Silent Actions},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {297--308},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030605},
doi = {10.1007/BFB0030605},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tapsoft/UlidowskiP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Ulidowski96,
author = {Irek Ulidowski},
editor = {Martin Wirsing and
Maurice Nivat},
title = {Finite Axiom Systems for Testing Preorder and De Simone Process Languages},
booktitle = {Algebraic Methodology and Software Technology, 5th International Conference,
{AMAST} '96, Munich, Germany, July 1-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1101},
pages = {210--224},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0014317},
doi = {10.1007/BFB0014317},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amast/Ulidowski96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Ulidowski95,
author = {Irek Ulidowski},
editor = {Insup Lee and
Scott A. Smolka},
title = {Axiomatisations of Weak Equivalences for De Simone Languages},
booktitle = {{CONCUR} '95: Concurrency Theory, 6th International Conference, Philadelphia,
PA, USA, August 21-24, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {962},
pages = {219--233},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60218-6\_16},
doi = {10.1007/3-540-60218-6\_16},
timestamp = {Thu, 26 Jan 2023 14:05:52 +0100},
biburl = {https://dblp.org/rec/conf/concur/Ulidowski95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imperial/Ulidowski93,
author = {Irek Ulidowski},
editor = {Geoffrey Livingston Burn and
Simon J. Gay and
Mark Ryan},
title = {Congrurences for \emph{tau}-Respecting Formats of Rules},
booktitle = {Theory and Formal Methods 1993, Proceedings of the First Imperial
College Department of Computing Workshop on Theory and Formal Methods,
Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31
March 1993},
series = {Workshops in Computing},
pages = {314--325},
publisher = {Springer},
year = {1993},
timestamp = {Mon, 31 Oct 2022 11:04:42 +0100},
biburl = {https://dblp.org/rec/conf/imperial/Ulidowski93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Ulidowski92,
author = {Irek Ulidowski},
title = {Equivalences on Observable Processes},
booktitle = {Proceedings of the Seventh Annual Symposium on Logic in Computer Science
{(LICS} '92), Santa Cruz, California, USA, June 22-25, 1992},
pages = {148--159},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/LICS.1992.185529},
doi = {10.1109/LICS.1992.185529},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Ulidowski92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-01-14 23:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
