Search dblp for Publications

export results for "toc:db/journals/scp/scp111.bht:"

 download as .bib file

@article{DBLP:journals/scp/0002KS15,
  author       = {Akihisa Yamada and
                  Keiichirou Kusakari and
                  Toshiki Sakabe},
  title        = {A unified ordering for termination proving},
  journal      = {Sci. Comput. Program.},
  volume       = {111},
  pages        = {110--134},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2014.07.009},
  doi          = {10.1016/J.SCICO.2014.07.009},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/0002KS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/AlbertAGP15,
  author       = {Elvira Albert and
                  Puri Arenas and
                  Samir Genaim and
                  Germ{\'{a}}n Puebla},
  title        = {A practical comparator of cost functions and its applications},
  journal      = {Sci. Comput. Program.},
  volume       = {111},
  pages        = {483--504},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2014.12.001},
  doi          = {10.1016/J.SCICO.2014.12.001},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/AlbertAGP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/AlkhammashBFC15,
  author       = {Eman H. Alkhammash and
                  Michael J. Butler and
                  Asieh Salehi Fathabadi and
                  Corina C{\^{\i}}rstea},
  title        = {Building traceable Event-B models from requirements},
  journal      = {Sci. Comput. Program.},
  volume       = {111},
  pages        = {318--338},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.06.002},
  doi          = {10.1016/J.SCICO.2015.06.002},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/AlkhammashBFC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/CaballeroST15,
  author       = {Rafael Caballero and
                  Peter J. Stuckey and
                  Antonio Tenorio{-}Fornes},
  title        = {Two type extensions for the constraint modeling language MiniZinc},
  journal      = {Sci. Comput. Program.},
  volume       = {111},
  pages        = {156--189},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.04.007},
  doi          = {10.1016/J.SCICO.2015.04.007},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/CaballeroST15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/CanaveseCOPR15,
  author       = {Daniele Canavese and
                  Emanuele Cesena and
                  Rachid Ouchary and
                  Marco Pedicini and
                  Luca Roversi},
  title        = {Light combinators for finite fields arithmetic},
  journal      = {Sci. Comput. Program.},
  volume       = {111},
  pages        = {365--394},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.04.001},
  doi          = {10.1016/J.SCICO.2015.04.001},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/CanaveseCOPR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/DawC15,
  author       = {Zamira Daw and
                  Rance Cleaveland},
  title        = {Comparing model checkers for timed {UML} activity diagrams},
  journal      = {Sci. Comput. Program.},
  volume       = {111},
  pages        = {277--299},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.05.008},
  doi          = {10.1016/J.SCICO.2015.05.008},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/DawC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/DongolD15,
  author       = {Brijesh Dongol and
                  John Derrick},
  title        = {Interval-based data refinement: {A} uniform approach to true concurrency
                  in discrete and real-time systems},
  journal      = {Sci. Comput. Program.},
  volume       = {111},
  pages        = {214--247},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.05.005},
  doi          = {10.1016/J.SCICO.2015.05.005},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/DongolD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/GaboardiP15,
  author       = {Marco Gaboardi and
                  Romain P{\'{e}}choux},
  title        = {On bounding space usage of streams using interpretation analysis},
  journal      = {Sci. Comput. Program.},
  volume       = {111},
  pages        = {395--425},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.05.004},
  doi          = {10.1016/J.SCICO.2015.05.004},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/GaboardiP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/MandelPP15,
  author       = {Louis Mandel and
                  C{\'{e}}dric Pasteur and
                  Marc Pouzet},
  title        = {Time refinement in a functional synchronous language},
  journal      = {Sci. Comput. Program.},
  volume       = {111},
  pages        = {190--211},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.07.002},
  doi          = {10.1016/J.SCICO.2015.07.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/MandelPP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/MatsudaW15,
  author       = {Kazutaka Matsuda and
                  Meng Wang},
  title        = {"Bidirectionalization for free" for monomorphic transformations},
  journal      = {Sci. Comput. Program.},
  volume       = {111},
  pages        = {79--109},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2014.07.008},
  doi          = {10.1016/J.SCICO.2014.07.008},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/MatsudaW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/MontenegroPS15,
  author       = {Manuel Montenegro and
                  Ricardo Pe{\~{n}}a and
                  Clara Segura},
  title        = {Shape analysis in a functional language by using regular languages},
  journal      = {Sci. Comput. Program.},
  volume       = {111},
  pages        = {51--78},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2014.12.006},
  doi          = {10.1016/J.SCICO.2014.12.006},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/MontenegroPS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/MontenegroPS15a,
  author       = {Manuel Montenegro and
                  Ricardo Pe{\~{n}}a and
                  Clara Segura},
  title        = {Space consumption analysis by abstract interpretation: Inference of
                  recursive functions},
  journal      = {Sci. Comput. Program.},
  volume       = {111},
  pages        = {426--457},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2014.04.006},
  doi          = {10.1016/J.SCICO.2014.04.006},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/MontenegroPS15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/MontenegroPS15b,
  author       = {Manuel Montenegro and
                  Ricardo Pe{\~{n}}a and
                  Clara Segura},
  title        = {Space consumption analysis by abstract interpretation: Reductivity
                  properties},
  journal      = {Sci. Comput. Program.},
  volume       = {111},
  pages        = {458--482},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2014.04.014},
  doi          = {10.1016/J.SCICO.2014.04.014},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/MontenegroPS15b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/MorbeS15,
  author       = {Georges Morb{\'{e}} and
                  Christoph Scholl},
  title        = {Fully symbolic {TCTL} model checking for complete and incomplete real-time
                  systems},
  journal      = {Sci. Comput. Program.},
  volume       = {111},
  pages        = {248--276},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.08.002},
  doi          = {10.1016/J.SCICO.2015.08.002},
  timestamp    = {Tue, 02 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/MorbeS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ODonnell15,
  author       = {John T. O'Donnell},
  title        = {Extensible sparse functional arrays with circuit parallelism},
  journal      = {Sci. Comput. Program.},
  volume       = {111},
  pages        = {23--50},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2014.12.005},
  doi          = {10.1016/J.SCICO.2014.12.005},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ODonnell15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/PatcasLM15,
  author       = {Lucian M. Patcas and
                  Mark Lawford and
                  Tom Maibaum},
  title        = {Implementability of requirements in the four-variable model},
  journal      = {Sci. Comput. Program.},
  volume       = {111},
  pages        = {339--362},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.05.007},
  doi          = {10.1016/J.SCICO.2015.05.007},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/PatcasLM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/PinoBV15,
  author       = {Luis Fernando Pino and
                  Filippo Bonchi and
                  Frank D. Valencia},
  title        = {Efficient algorithms for program equivalence for confluent concurrent
                  constraint programming},
  journal      = {Sci. Comput. Program.},
  volume       = {111},
  pages        = {135--155},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2014.12.003},
  doi          = {10.1016/J.SCICO.2014.12.003},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/PinoBV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/RobbinsHK15,
  author       = {Edward Robbins and
                  Jacob M. Howe and
                  Andy King},
  title        = {Theory propagation and reification},
  journal      = {Sci. Comput. Program.},
  volume       = {111},
  pages        = {3--22},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2014.05.013},
  doi          = {10.1016/J.SCICO.2014.05.013},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/RobbinsHK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/RodriguesAFSPV15,
  author       = {Vitor Rodrigues and
                  Benny Akesson and
                  M{\'{a}}rio Florido and
                  Sim{\~{a}}o Melo de Sousa and
                  Jo{\~{a}}o Pedro Pedroso and
                  Pedro B. Vasconcelos},
  title        = {Certifying execution time in multicores},
  journal      = {Sci. Comput. Program.},
  volume       = {111},
  pages        = {505--534},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.06.006},
  doi          = {10.1016/J.SCICO.2015.06.006},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/RodriguesAFSPV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/SchneiderT15,
  author       = {Steve A. Schneider and
                  Helen Treharne},
  title        = {Special issue on Automated Verification of Critical Systems (AVoCS
                  2013)},
  journal      = {Sci. Comput. Program.},
  volume       = {111},
  pages        = {213},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.08.006},
  doi          = {10.1016/J.SCICO.2015.08.006},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/SchneiderT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Schrijvers15,
  author       = {Tom Schrijvers},
  title        = {Preface for {SCP} special issue on Principles and Practice of Declarative
                  Programming},
  journal      = {Sci. Comput. Program.},
  volume       = {111},
  pages        = {1--2},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.07.001},
  doi          = {10.1016/J.SCICO.2015.07.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Schrijvers15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/ShkaravskaRE15,
  author       = {Olha Shkaravska and
                  Simona Ronchi Della Rocca and
                  Marko C. J. D. van Eekelen},
  title        = {Preface of the special issue on Foundational and Practical Aspects
                  of Resource Analysis {(FOPARA)} 2009 {\&} 2011},
  journal      = {Sci. Comput. Program.},
  volume       = {111},
  pages        = {363--364},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.08.008},
  doi          = {10.1016/J.SCICO.2015.08.008},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ShkaravskaRE15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/SmythRC15,
  author       = {Ben Smyth and
                  Mark Dermot Ryan and
                  Liqun Chen},
  title        = {Formal analysis of privacy in Direct Anonymous Attestation schemes},
  journal      = {Sci. Comput. Program.},
  volume       = {111},
  pages        = {300--317},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.04.004},
  doi          = {10.1016/J.SCICO.2015.04.004},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/SmythRC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.