default search action
BibTeX records: Irek Ulidowski
@article{DBLP:journals/tocl/LanesePU24, author = {Ivan Lanese and Iain C. C. Phillips and Irek Ulidowski}, title = {An Axiomatic Theory for Reversible Computation}, journal = {{ACM} Trans. Comput. Log.}, volume = {25}, number = {2}, pages = {11:1--11:40}, year = {2024}, url = {https://doi.org/10.1145/3648474}, doi = {10.1145/3648474}, timestamp = {Fri, 17 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tocl/LanesePU24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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, 08 Jun 2024 01:00:00 +0200}, 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} }
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.