Search dblp for Publications

• > Home > Search

@article{DBLP:journals/iandc/BerardHPDS21,
  author       = {B{\'{e}}atrice B{\'{e}}rard and
                  Serge Haddad and
                  Claudine Picaronny and
                  Mohab Safey El Din and
                  Mathieu Sassolas},
  title        = {Polynomial interrupt timed automata: Verification and expressiveness},
  journal      = {Inf. Comput.},
  volume       = {277},
  pages        = {104580},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ic.2020.104580},
  doi          = {10.1016/J.IC.2020.104580},
  timestamp    = {Tue, 30 Mar 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/BerardHPDS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/BojanczykBHLOP21,
  author       = {Mikolaj Bojanczyk and
                  Thomas Brihaye and
                  Christoph Haase and
                  Slawomir Lasota and
                  Jo{\"{e}}l Ouaknine and
                  Igor Potapov},
  title        = {Preface},
  journal      = {Inf. Comput.},
  volume       = {277},
  pages        = {104579},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ic.2020.104579},
  doi          = {10.1016/J.IC.2020.104579},
  timestamp    = {Tue, 30 Mar 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/BojanczykBHLOP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/FribourgGMMP21,
  author       = {Laurent Fribourg and
                  Eric Goubault and
                  Sameh Mohamed and
                  Marian Mrozek and
                  Sylvie Putot},
  title        = {A topological method for finding invariant sets of continuous systems},
  journal      = {Inf. Comput.},
  volume       = {277},
  pages        = {104581},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ic.2020.104581},
  doi          = {10.1016/J.IC.2020.104581},
  timestamp    = {Tue, 30 Mar 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/FribourgGMMP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/LazicS21,
  author       = {Ranko Lazic and
                  Sylvain Schmitz},
  title        = {The ideal view on Rackoff's coverability technique},
  journal      = {Inf. Comput.},
  volume       = {277},
  pages        = {104582},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ic.2020.104582},
  doi          = {10.1016/J.IC.2020.104582},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/LazicS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Zetzsche21,
  author       = {Georg Zetzsche},
  title        = {The emptiness problem for valence automata over graph monoids},
  journal      = {Inf. Comput.},
  volume       = {277},
  pages        = {104583},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ic.2020.104583},
  doi          = {10.1016/J.IC.2020.104583},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/Zetzsche21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}