Search dblp for Publications

• > Home > Search

@article{DBLP:journals/tcs/BabariDP18,
  author       = {Parvaneh Babari and
                  Manfred Droste and
                  Vitaly Perevoshchikov},
  title        = {Weighted register automata and weighted logic on data words},
  journal      = {Theor. Comput. Sci.},
  volume       = {744},
  pages        = {3--21},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.tcs.2018.01.004},
  doi          = {10.1016/J.TCS.2018.01.004},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BabariDP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BenevidesLH18,
  author       = {Mario R. F. Benevides and
                  Bruno Lopes and
                  Edward Hermann Haeusler},
  title        = {Towards reasoning about Petri nets: {A} Propositional Dynamic Logic
                  based approach},
  journal      = {Theor. Comput. Sci.},
  volume       = {744},
  pages        = {22--36},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.tcs.2018.01.007},
  doi          = {10.1016/J.TCS.2018.01.007},
  timestamp    = {Thu, 27 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BenevidesLH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Guttmann18,
  author       = {Walter Guttmann},
  title        = {An algebraic framework for minimum spanning tree problems},
  journal      = {Theor. Comput. Sci.},
  volume       = {744},
  pages        = {37--55},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.tcs.2018.04.012},
  doi          = {10.1016/J.TCS.2018.04.012},
  timestamp    = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Guttmann18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/GuzmanPRV18,
  author       = {Michell Guzm{\'{a}}n and
                  Salim Perchy and
                  Camilo Rueda and
                  Frank D. Valencia},
  title        = {Characterizing right inverses for spatial constraint systems with
                  applications to modal logic},
  journal      = {Theor. Comput. Sci.},
  volume       = {744},
  pages        = {56--77},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.tcs.2018.05.022},
  doi          = {10.1016/J.TCS.2018.05.022},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/GuzmanPRV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MadeiraBHM18,
  author       = {Alexandre Madeira and
                  Lu{\'{\i}}s Soares Barbosa and
                  Rolf Hennicker and
                  Manuel A. Martins},
  title        = {A logic for the stepwise development of reactive systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {744},
  pages        = {78--96},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.tcs.2018.03.004},
  doi          = {10.1016/J.TCS.2018.03.004},
  timestamp    = {Wed, 21 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/MadeiraBHM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/McIverRS18,
  author       = {Annabelle McIver and
                  Tahiry M. Rabehaja and
                  Georg Struth},
  title        = {Schedulers and finishers: On generating and filtering the behaviours
                  of an event structure},
  journal      = {Theor. Comput. Sci.},
  volume       = {744},
  pages        = {97--112},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.tcs.2018.01.015},
  doi          = {10.1016/J.TCS.2018.01.015},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/McIverRS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/NevesB18,
  author       = {Renato Neves and
                  Lu{\'{\i}}s Soares Barbosa},
  title        = {Languages and models for hybrid automata: {A} coalgebraic perspective},
  journal      = {Theor. Comput. Sci.},
  volume       = {744},
  pages        = {113--142},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.tcs.2017.09.038},
  doi          = {10.1016/J.TCS.2017.09.038},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/NevesB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/SampaioW18,
  author       = {Augusto Sampaio and
                  Farn Wang},
  title        = {Theoretical aspects of computing},
  journal      = {Theor. Comput. Sci.},
  volume       = {744},
  pages        = {1--2},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.tcs.2018.07.001},
  doi          = {10.1016/J.TCS.2018.07.001},
  timestamp    = {Fri, 28 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/SampaioW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Schwammberger18,
  author       = {Maike Schwammberger},
  title        = {An abstract model for proving safety of autonomous urban traffic},
  journal      = {Theor. Comput. Sci.},
  volume       = {744},
  pages        = {143--169},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.tcs.2018.05.028},
  doi          = {10.1016/J.TCS.2018.05.028},
  timestamp    = {Fri, 28 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Schwammberger18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}