Search dblp for Publications

• > Home > Search

@article{DBLP:journals/scp/BragaM16,
  author       = {Christiano Braga and
                  Narciso Mart{\'{\i}}{-}Oliet},
  title        = {Preface to {SCP} special issue with extended selected papers from
                  {SBMF} 2014},
  journal      = {Sci. Comput. Program.},
  volume       = {126},
  pages        = {1--2},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.scico.2016.05.006},
  doi          = {10.1016/J.SCICO.2016.05.006},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BragaM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/CalegariMS16,
  author       = {Daniel Calegari and
                  Till Mossakowski and
                  Nora Szasz},
  title        = {Heterogeneous verification in the context of model driven engineering},
  journal      = {Sci. Comput. Program.},
  volume       = {126},
  pages        = {3--30},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.scico.2016.02.003},
  doi          = {10.1016/J.SCICO.2016.02.003},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/CalegariMS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Ciaffaglione16,
  author       = {Alberto Ciaffaglione},
  title        = {Towards Turing computability via coinduction},
  journal      = {Sci. Comput. Program.},
  volume       = {126},
  pages        = {31--51},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.scico.2016.02.004},
  doi          = {10.1016/J.SCICO.2016.02.004},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Ciaffaglione16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/MoraesAM16,
  author       = {Alan Moraes and
                  Wilkerson de L. Andrade and
                  Patr{\'{\i}}cia D. L. Machado},
  title        = {A family of test selection criteria for Timed Input-Output Symbolic
                  Transition System models},
  journal      = {Sci. Comput. Program.},
  volume       = {126},
  pages        = {52--72},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.scico.2016.05.004},
  doi          = {10.1016/J.SCICO.2016.05.004},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/MoraesAM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/NevesMMB16,
  author       = {Renato Neves and
                  Alexandre Madeira and
                  Manuel A. Martins and
                  Lu{\'{\i}}s Soares Barbosa},
  title        = {Proof theory for hybrid(ised) logics},
  journal      = {Sci. Comput. Program.},
  volume       = {126},
  pages        = {73--93},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.scico.2016.03.001},
  doi          = {10.1016/J.SCICO.2016.03.001},
  timestamp    = {Wed, 21 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/NevesMMB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/TimmG16,
  author       = {Nils Timm and
                  Stefan Gruner},
  title        = {Parameterised three-valued model checking},
  journal      = {Sci. Comput. Program.},
  volume       = {126},
  pages        = {94--110},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.scico.2016.01.006},
  doi          = {10.1016/J.SCICO.2016.01.006},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/TimmG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}