default search action
Search dblp for Publications
export results for "toc:db/journals/scp/scp99.bht:"
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.