Search dblp for Publications

• > Home > Search

@article{DBLP:journals/scp/BaeM15,
  author       = {Kyungmin Bae and
                  Jos{\'{e}} Meseguer},
  title        = {Model checking linear temporal logic of rewriting formulas under localized
                  fairness},
  journal      = {Sci. Comput. Program.},
  volume       = {99},
  pages        = {193--234},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2014.02.006},
  doi          = {10.1016/J.SCICO.2014.02.006},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/BaeM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BruniCGLV15,
  author       = {Roberto Bruni and
                  Andrea Corradini and
                  Fabio Gadducci and
                  Alberto Lluch{-}Lafuente and
                  Andrea Vandin},
  title        = {Modelling and analyzing adaptive self-assembly strategies with Maude},
  journal      = {Sci. Comput. Program.},
  volume       = {99},
  pages        = {75--94},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2013.11.043},
  doi          = {10.1016/J.SCICO.2013.11.043},
  timestamp    = {Thu, 26 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/BruniCGLV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/DuranM15,
  author       = {Francisco Dur{\'{a}}n and
                  Narciso Mart{\'{\i}}{-}Oliet},
  title        = {Preface to Rewriting Logic and Its Applications (extended selected
                  papers from {WRLA} 2012)},
  journal      = {Sci. Comput. Program.},
  volume       = {99},
  pages        = {1--2},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2014.08.002},
  doi          = {10.1016/J.SCICO.2014.08.002},
  timestamp    = {Mon, 28 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/DuranM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/EckhardtMMW15,
  author       = {Jonas Eckhardt and
                  Tobias M{\"{u}}hlbauer and
                  Jos{\'{e}} Meseguer and
                  Martin Wirsing},
  title        = {Semantics, distributed implementation, and formal analysis of {KLAIM}
                  models in Maude},
  journal      = {Sci. Comput. Program.},
  volume       = {99},
  pages        = {24--74},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2014.10.001},
  doi          = {10.1016/J.SCICO.2014.10.001},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/EckhardtMMW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/FadlisyahOA15,
  author       = {Muhammad Fadlisyah and
                  Peter Csaba {\"{O}}lveczky and
                  Erika {\'{A}}brah{\'{a}}m},
  title        = {Formal modeling and analysis of interacting hybrid systems in HI-Maude:
                  What happened at the 2010 Sauna World Championships?},
  journal      = {Sci. Comput. Program.},
  volume       = {99},
  pages        = {95--127},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2014.06.010},
  doi          = {10.1016/J.SCICO.2014.06.010},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/FadlisyahOA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/GutierrezMR15,
  author       = {Ra{\'{u}}l Guti{\'{e}}rrez and
                  Jos{\'{e}} Meseguer and
                  Camilo Rocha},
  title        = {Order-sorted equality enrichments modulo axioms},
  journal      = {Sci. Comput. Program.},
  volume       = {99},
  pages        = {235--261},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2014.07.003},
  doi          = {10.1016/J.SCICO.2014.07.003},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/GutierrezMR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/LepriAO15,
  author       = {Daniela Lepri and
                  Erika {\'{A}}brah{\'{a}}m and
                  Peter Csaba {\"{O}}lveczky},
  title        = {Sound and complete timed {CTL} model checking of timed Kripke structures
                  and real-time rewrite theories},
  journal      = {Sci. Comput. Program.},
  volume       = {99},
  pages        = {128--192},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2014.06.006},
  doi          = {10.1016/J.SCICO.2014.06.006},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/LepriAO15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/TushkanovaGRK15,
  author       = {Elena Tushkanova and
                  Alain Giorgetti and
                  Christophe Ringeissen and
                  Olga Kouchnarenko},
  title        = {A rule-based system for automatic decidability and combinability},
  journal      = {Sci. Comput. Program.},
  volume       = {99},
  pages        = {3--23},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2014.02.005},
  doi          = {10.1016/J.SCICO.2014.02.005},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/TushkanovaGRK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}