BibTeX records: Tomasz Brengos

download as .bib file

@article{DBLP:journals/lmcs/BrengosP19,
  author    = {Tomasz Brengos and
               Marco Peressotti},
  title     = {Behavioural equivalences for timed systems},
  journal   = {Logical Methods in Computer Science},
  volume    = {15},
  number    = {1},
  year      = {2019},
  url       = {https://doi.org/10.23638/LMCS-15(1:17)2019},
  doi       = {10.23638/LMCS-15(1:17)2019},
  timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/lmcs/BrengosP19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-02601,
  author    = {Tomasz Brengos},
  title     = {A coalgebraic take on regular and {\textdollar}{\(\omega\)}{\textdollar}-regular
               behaviours},
  journal   = {CoRR},
  volume    = {abs/1902.02601},
  year      = {2019},
  url       = {http://arxiv.org/abs/1902.02601},
  archivePrefix = {arXiv},
  eprint    = {1902.02601},
  timestamp = {Tue, 21 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1902-02601.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-05573,
  author    = {Tomasz Brengos and
               Marco Peressotti},
  title     = {Two modes of recognition: algebra, coalgebra, and languages},
  journal   = {CoRR},
  volume    = {abs/1906.05573},
  year      = {2019},
  url       = {http://arxiv.org/abs/1906.05573},
  archivePrefix = {arXiv},
  eprint    = {1906.05573},
  timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1906-05573.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Brengos18,
  author    = {Tomasz Brengos},
  editor    = {Sven Schewe and
               Lijun Zhang},
  title     = {A Coalgebraic Take on Regular and omega-Regular Behaviour for Systems
               with Internal Moves},
  booktitle = {29th International Conference on Concurrency Theory, {CONCUR} 2018,
               September 4-7, 2018, Beijing, China},
  series    = {LIPIcs},
  volume    = {118},
  pages     = {25:1--25:18},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2018},
  url       = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.25},
  doi       = {10.4230/LIPIcs.CONCUR.2018.25},
  timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl    = {https://dblp.org/rec/conf/concur/Brengos18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-10233,
  author    = {Tomasz Brengos and
               Marco Peressotti},
  title     = {A Uniform Framework for Timed Automata and Beyond},
  journal   = {CoRR},
  volume    = {abs/1711.10233},
  year      = {2017},
  url       = {http://arxiv.org/abs/1711.10233},
  archivePrefix = {arXiv},
  eprint    = {1711.10233},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1711-10233.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BrengosP16,
  author    = {Tomasz Brengos and
               Marco Peressotti},
  editor    = {Jos{\'{e}}e Desharnais and
               Radha Jagadeesan},
  title     = {A Uniform Framework for Timed Automata},
  booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
               August 23-26, 2016, Qu{\'{e}}bec City, Canada},
  series    = {LIPIcs},
  volume    = {59},
  pages     = {26:1--26:15},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2016},
  url       = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.26},
  doi       = {10.4230/LIPIcs.CONCUR.2016.26},
  timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl    = {https://dblp.org/rec/conf/concur/BrengosP16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Brengos13,
  author    = {Tomasz Brengos},
  title     = {Weak bisimulation for coalgebras over order enriched monads},
  journal   = {Logical Methods in Computer Science},
  volume    = {11},
  number    = {2},
  year      = {2015},
  url       = {https://doi.org/10.2168/LMCS-11(2:14)2015},
  doi       = {10.2168/LMCS-11(2:14)2015},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/Brengos13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BrengosMP15,
  author    = {Tomasz Brengos and
               Marino Miculan and
               Marco Peressotti},
  title     = {Behavioural equivalences for coalgebras with unobservable moves},
  journal   = {J. Log. Algebraic Methods Program.},
  volume    = {84},
  number    = {6},
  pages     = {826--852},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.jlamp.2015.09.002},
  doi       = {10.1016/j.jlamp.2015.09.002},
  timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/jlp/BrengosMP15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/Brengos14,
  author    = {Tomasz Brengos},
  editor    = {Marcello M. Bonsangue},
  title     = {On Coalgebras with Internal Moves},
  booktitle = {Coalgebraic Methods in Computer Science - 12th {IFIP} {WG} 1.3 International
               Workshop, {CMCS} 2014, Colocated with {ETAPS} 2014, Grenoble, France,
               April 5-6, 2014, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8446},
  pages     = {75--97},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-44124-4\_5},
  doi       = {10.1007/978-3-662-44124-4\_5},
  timestamp = {Sat, 19 Oct 2019 20:27:44 +0200},
  biburl    = {https://dblp.org/rec/conf/cmcs/Brengos14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Brengos14,
  author    = {Tomasz Brengos},
  title     = {On coalgebras with internal moves},
  journal   = {CoRR},
  volume    = {abs/1402.6281},
  year      = {2014},
  url       = {http://arxiv.org/abs/1402.6281},
  archivePrefix = {arXiv},
  eprint    = {1402.6281},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/Brengos14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Brengos14a,
  author    = {Tomasz Brengos},
  title     = {Lax Kleisli-valued presheaves and coalgebraic weak bisimulation},
  journal   = {CoRR},
  volume    = {abs/1404.5267},
  year      = {2014},
  url       = {http://arxiv.org/abs/1404.5267},
  archivePrefix = {arXiv},
  eprint    = {1404.5267},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/Brengos14a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrengosMP14,
  author    = {Tomasz Brengos and
               Marino Miculan and
               Marco Peressotti},
  title     = {Behavioural equivalences for coalgebras with unobservable moves},
  journal   = {CoRR},
  volume    = {abs/1411.0090},
  year      = {2014},
  url       = {http://arxiv.org/abs/1411.0090},
  archivePrefix = {arXiv},
  eprint    = {1411.0090},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/BrengosMP14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/Brengos12,
  author    = {Tomasz Brengos},
  editor    = {Jos C. M. Baeten and
               Thomas Ball and
               Frank S. de Boer},
  title     = {Weak Bisimulations for Coalgebras over Ordered Functors},
  booktitle = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International
               Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28,
               2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7604},
  pages     = {87--103},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-33475-7\_7},
  doi       = {10.1007/978-3-642-33475-7\_7},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ifipTCS/Brengos12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics