Search dblp for Publications

• > Home > Search

@article{DBLP:journals/scp/BacchianiBGMR22,
  author       = {Lorenzo Bacchiani and
                  Mario Bravetti and
                  Marco Giunti and
                  Jo{\~{a}}o Mota and
                  Ant{\'{o}}nio Ravara},
  title        = {A Java typestate checker supporting inheritance},
  journal      = {Sci. Comput. Program.},
  volume       = {221},
  pages        = {102844},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.scico.2022.102844},
  doi          = {10.1016/J.SCICO.2022.102844},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/BacchianiBGMR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BasileB22,
  author       = {Davide Basile and
                  Maurice H. ter Beek},
  title        = {Contract Automata Library},
  journal      = {Sci. Comput. Program.},
  volume       = {221},
  pages        = {102841},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.scico.2022.102841},
  doi          = {10.1016/J.SCICO.2022.102841},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/BasileB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ChiapperiniMP22,
  author       = {Alessio Chiapperini and
                  Marino Miculan and
                  Marco Peressotti},
  title        = {Computing (optimal) embeddings of directed bigraphs},
  journal      = {Sci. Comput. Program.},
  volume       = {221},
  pages        = {102842},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.scico.2022.102842},
  doi          = {10.1016/J.SCICO.2022.102842},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/ChiapperiniMP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/KehrerG22,
  author       = {Timo Kehrer and
                  Fabio Gadducci},
  title        = {Special issue on Application-oriented aspects of graphs and graph
                  transformation {(ICGT} 2020)},
  journal      = {Sci. Comput. Program.},
  volume       = {221},
  pages        = {102845},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.scico.2022.102845},
  doi          = {10.1016/J.SCICO.2022.102845},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/KehrerG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}