Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/scp/scp74.bht:"
download as .bib file
@article{DBLP:journals/scp/Abel09,
author = {Andreas Abel},
title = {Type-based termination of generic programs},
journal = {Sci. Comput. Program.},
volume = {74},
number = {8},
pages = {550--567},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2008.01.004},
doi = {10.1016/J.SCICO.2008.01.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Abel09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AleksyAGPW09,
author = {Markus Aleksy and
Vasco Amaral and
Ralf Gitzel and
James F. Power and
John Waldron},
title = {{PPPJ} special issue-Foreword},
journal = {Sci. Comput. Program.},
volume = {74},
number = {5-6},
pages = {259--260},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2009.01.008},
doi = {10.1016/J.SCICO.2009.01.008},
timestamp = {Mon, 26 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/AleksyAGPW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AudebaudP09,
author = {Philippe Audebaud and
Christine Paulin{-}Mohring},
title = {Proofs of randomized algorithms in Coq},
journal = {Sci. Comput. Program.},
volume = {74},
number = {8},
pages = {568--589},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2007.09.002},
doi = {10.1016/J.SCICO.2007.09.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AudebaudP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BarbosaB09,
author = {Marco Antonio Barbosa and
Lu{\'{\i}}s Soares Barbosa},
title = {A perspective on service orchestration},
journal = {Sci. Comput. Program.},
volume = {74},
number = {9},
pages = {671--687},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2008.09.019},
doi = {10.1016/J.SCICO.2008.09.019},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BarbosaB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BettiniCV09,
author = {Lorenzo Bettini and
Sara Capecchi and
Betti Venneri},
title = {Featherweight Java with dynamic and static overloading},
journal = {Sci. Comput. Program.},
volume = {74},
number = {5-6},
pages = {261--278},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2009.01.007},
doi = {10.1016/J.SCICO.2009.01.007},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BettiniCV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BinkleyLMM09,
author = {David W. Binkley and
Dawn J. Lawrie and
Steve Maex and
Christopher Morrell},
title = {Identifier length and limited programmer memory},
journal = {Sci. Comput. Program.},
volume = {74},
number = {7},
pages = {430--445},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2009.02.006},
doi = {10.1016/J.SCICO.2009.02.006},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BinkleyLMM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BradelA09,
author = {Borys J. Bradel and
Tarek S. Abdelrahman},
title = {A study of potential parallelism among traces in Java programs},
journal = {Sci. Comput. Program.},
volume = {74},
number = {5-6},
pages = {296--313},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2009.01.004},
doi = {10.1016/J.SCICO.2009.01.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BradelA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ButterfieldFW09,
author = {Andrew Butterfield and
Leo Freitas and
Jim Woodcock},
title = {Mechanising a formal model of flash memory},
journal = {Sci. Comput. Program.},
volume = {74},
number = {4},
pages = {219--237},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2008.09.014},
doi = {10.1016/J.SCICO.2008.09.014},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ButterfieldFW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CarpinetiLP09,
author = {Samuele Carpineti and
Cosimo Laneve and
Luca Padovani},
title = {PiDuce - {A} project for experimenting Web services technologies},
journal = {Sci. Comput. Program.},
volume = {74},
number = {10},
pages = {777--811},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2009.03.002},
doi = {10.1016/J.SCICO.2009.03.002},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/CarpinetiLP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CasadeiVG09,
author = {Matteo Casadei and
Mirko Viroli and
Luca Gardelli},
title = {On the collective sort problem for distributed tuple spaces},
journal = {Sci. Comput. Program.},
volume = {74},
number = {9},
pages = {702--722},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2008.09.018},
doi = {10.1016/J.SCICO.2008.09.018},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CasadeiVG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ChenLRSZ09,
author = {Zhenbang Chen and
Zhiming Liu and
Anders P. Ravn and
Volker Stolz and
Naijun Zhan},
title = {Refinement and verification in component-based model-driven design},
journal = {Sci. Comput. Program.},
volume = {74},
number = {4},
pages = {168--196},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2008.08.003},
doi = {10.1016/J.SCICO.2008.08.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ChenLRSZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CockettP09,
author = {J. Robin B. Cockett and
Craig A. Pastro},
title = {The logic of message-passing},
journal = {Sci. Comput. Program.},
volume = {74},
number = {8},
pages = {498--533},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2007.11.005},
doi = {10.1016/J.SCICO.2007.11.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CockettP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ColvinD09,
author = {Robert Colvin and
Brijesh Dongol},
title = {A general technique for proving lock-freedom},
journal = {Sci. Comput. Program.},
volume = {74},
number = {3},
pages = {143--165},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2008.09.013},
doi = {10.1016/J.SCICO.2008.09.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ColvinD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DaltonWDH09,
author = {Andrew R. Dalton and
Sally K. Wahba and
Sravanthi Dandamudi and
Jason O. Hallstrom},
title = {Visualizing the runtime behavior of embedded network systems: {A}
toolkit for TinyOS},
journal = {Sci. Comput. Program.},
volume = {74},
number = {7},
pages = {446--469},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2009.02.004},
doi = {10.1016/J.SCICO.2009.02.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/DaltonWDH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DanvyM09,
author = {Olivier Danvy and
Kevin Millikin},
title = {Refunctionalization at work},
journal = {Sci. Comput. Program.},
volume = {74},
number = {8},
pages = {534--549},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2007.10.007},
doi = {10.1016/J.SCICO.2007.10.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/DanvyM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DongS09,
author = {Jin Song Dong and
Jing Sun},
title = {{SCP} special issue on the grand challenge - Preface},
journal = {Sci. Comput. Program.},
volume = {74},
number = {4},
pages = {167},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2008.10.001},
doi = {10.1016/J.SCICO.2008.10.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/DongS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Eshuis09,
author = {Rik Eshuis},
title = {Reconciling statechart semantics},
journal = {Sci. Comput. Program.},
volume = {74},
number = {3},
pages = {65--99},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2008.09.001},
doi = {10.1016/J.SCICO.2008.09.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Eshuis09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/EveleensV09,
author = {J. Laurenz Eveleens and
Chris Verhoef},
title = {Quantifying {IT} forecast quality},
journal = {Sci. Comput. Program.},
volume = {74},
number = {11-12},
pages = {934--988},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2009.09.005},
doi = {10.1016/J.SCICO.2009.09.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/EveleensV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/FraikinF09,
author = {Beno{\^{\i}}t Fraikin and
Marc Frappier},
title = {Efficient symbolic computation of process expressions},
journal = {Sci. Comput. Program.},
volume = {74},
number = {9},
pages = {723--753},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2009.02.002},
doi = {10.1016/J.SCICO.2009.02.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/FraikinF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/FreitasWF09,
author = {Leo Freitas and
Jim Woodcock and
Zheng Fu},
title = {{POSIX} file store in Z/Eves: An experiment in the verified software
repository},
journal = {Sci. Comput. Program.},
volume = {74},
number = {4},
pages = {238--257},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2008.08.001},
doi = {10.1016/J.SCICO.2008.08.001},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/FreitasWF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/FreitasWZ09,
author = {Leo Freitas and
Jim Woodcock and
Yichi Zhang},
title = {Verifying the {CICS} File Control {API} with Z/Eves: An experiment
in the verified software repository},
journal = {Sci. Comput. Program.},
volume = {74},
number = {4},
pages = {197--218},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2008.09.012},
doi = {10.1016/J.SCICO.2008.09.012},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/FreitasWZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GaravelSS09,
author = {Hubert Garavel and
Gwen Sala{\"{u}}n and
Wendelin Serwe},
title = {On the semantics of communicating hardware processes and their translation
into {LOTOS} for the verification of asynchronous circuits with {CADP}},
journal = {Sci. Comput. Program.},
volume = {74},
number = {3},
pages = {100--127},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2008.09.011},
doi = {10.1016/J.SCICO.2008.09.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GaravelSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HindleGH09,
author = {Abram Hindle and
Michael W. Godfrey and
Richard C. Holt},
title = {Reading beside the lines: Using indentation to rank revisions by complexity},
journal = {Sci. Comput. Program.},
volume = {74},
number = {7},
pages = {414--429},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2009.02.005},
doi = {10.1016/J.SCICO.2009.02.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HindleGH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HinzeL09,
author = {Ralf Hinze and
Andres L{\"{o}}h},
title = {Generic programming in 3D},
journal = {Sci. Comput. Program.},
volume = {74},
number = {8},
pages = {590--628},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2007.10.006},
doi = {10.1016/J.SCICO.2007.10.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HinzeL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HoangKBA09,
author = {Thai Son Hoang and
Hironobu Kuruma and
David A. Basin and
Jean{-}Raymond Abrial},
title = {Developing topology discovery in Event-B},
journal = {Sci. Comput. Program.},
volume = {74},
number = {11-12},
pages = {879--899},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2009.07.006},
doi = {10.1016/J.SCICO.2009.07.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HoangKBA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HoffmanE09,
author = {Kevin J. Hoffman and
Patrick Th. Eugster},
title = {Cooperative aspect-oriented programming},
journal = {Sci. Comput. Program.},
volume = {74},
number = {5-6},
pages = {333--354},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2009.01.003},
doi = {10.1016/J.SCICO.2009.01.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HoffmanE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KluppelholzB09,
author = {Sascha Kl{\"{u}}ppelholz and
Christel Baier},
title = {Symbolic model checking for channel-based component connectors},
journal = {Sci. Comput. Program.},
volume = {74},
number = {9},
pages = {688--701},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2008.09.020},
doi = {10.1016/J.SCICO.2008.09.020},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KluppelholzB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KourieOWM09,
author = {Derrick G. Kourie and
Sergei A. Obiedkov and
Bruce W. Watson and
Dean van der Merwe},
title = {An incremental algorithm to construct a lattice of set intersections},
journal = {Sci. Comput. Program.},
volume = {74},
number = {3},
pages = {128--142},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2008.09.015},
doi = {10.1016/J.SCICO.2008.09.015},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KourieOWM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KrikhaarL09,
author = {Ren{\'{e}} L. Krikhaar and
Ralf L{\"{a}}mmel},
title = {Guest editors' introduction},
journal = {Sci. Comput. Program.},
volume = {74},
number = {7},
pages = {397--398},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2009.02.008},
doi = {10.1016/J.SCICO.2009.02.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KrikhaarL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KulkPV09,
author = {G. P. Kulk and
R. J. Peters and
Chris Verhoef},
title = {Quantifying {IT} estimation risks},
journal = {Sci. Comput. Program.},
volume = {74},
number = {11-12},
pages = {900--933},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2009.09.001},
doi = {10.1016/J.SCICO.2009.09.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KulkPV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LemosFM09,
author = {Ot{\'{a}}vio Augusto Lazzarini Lemos and
Ivan Gustavo Franchin and
Paulo C{\'{e}}sar Masiero},
title = {Integration testing of Object-Oriented and Aspect-Oriented programs:
{A} structural pairwise approach for Java},
journal = {Sci. Comput. Program.},
volume = {74},
number = {10},
pages = {861--878},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2009.05.001},
doi = {10.1016/J.SCICO.2009.05.001},
timestamp = {Thu, 18 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/LemosFM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MakelaL09,
author = {Sami M{\"{a}}kel{\"{a}} and
Ville Lepp{\"{a}}nen},
title = {Client-based cohesion metrics for Java programs},
journal = {Sci. Comput. Program.},
volume = {74},
number = {5-6},
pages = {355--378},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2009.01.005},
doi = {10.1016/J.SCICO.2009.01.005},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/MakelaL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MiliAN09,
author = {Ali Mili and
Shir Aharon and
Chaitanya Nadkarni},
title = {Mathematics for reasoning about loop functions},
journal = {Sci. Comput. Program.},
volume = {74},
number = {11-12},
pages = {989--1020},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2009.09.009},
doi = {10.1016/J.SCICO.2009.09.009},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MiliAN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MolinaRO09,
author = {Ana I. Molina and
Miguel A. Redondo and
Manuel Ortega},
title = {A methodological approach for user interface development of collaborative
applications: {A} case study},
journal = {Sci. Comput. Program.},
volume = {74},
number = {9},
pages = {754--776},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2009.03.001},
doi = {10.1016/J.SCICO.2009.03.001},
timestamp = {Mon, 11 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MolinaRO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Morgan09,
author = {Carroll Morgan},
title = {The Shadow Knows: Refinement and security in sequential programs},
journal = {Sci. Comput. Program.},
volume = {74},
number = {8},
pages = {629--653},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2007.09.003},
doi = {10.1016/J.SCICO.2007.09.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Morgan09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/OrtinRP09,
author = {Francisco Ortin and
Jose Manuel Redondo and
J. Baltasar Garc{\'{\i}}a P{\'{e}}rez{-}Schofield},
title = {Efficient virtual machine support of runtime structural reflection},
journal = {Sci. Comput. Program.},
volume = {74},
number = {10},
pages = {836--860},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2009.04.001},
doi = {10.1016/J.SCICO.2009.04.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/OrtinRP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PimentelJ09,
author = {Ernesto Pimentel and
Jean{-}Marie Jacquet},
title = {Special issue on the 5th international workshop on foundations of
coordination languages and software architectures (FOCLASA'06)},
journal = {Sci. Comput. Program.},
volume = {74},
number = {9},
pages = {669--670},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2008.09.017},
doi = {10.1016/J.SCICO.2008.09.017},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/PimentelJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PuderH09,
author = {Arno Puder and
Sascha H{\"{a}}berling},
title = {Byte code level cross-compilation for developing web applications},
journal = {Sci. Comput. Program.},
volume = {74},
number = {5-6},
pages = {379--396},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2009.01.009},
doi = {10.1016/J.SCICO.2009.01.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/PuderH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/RoldanDV09,
author = {Manuel Rold{\'{a}}n and
Francisco Dur{\'{a}}n and
Antonio Vallecillo},
title = {Invariant-driven specifications in Maude},
journal = {Sci. Comput. Program.},
volume = {74},
number = {10},
pages = {812--835},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2009.03.003},
doi = {10.1016/J.SCICO.2009.03.003},
timestamp = {Mon, 28 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/RoldanDV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/RoyCK09,
author = {Chanchal Kumar Roy and
James R. Cordy and
Rainer Koschke},
title = {Comparison and evaluation of code clone detection techniques and tools:
{A} qualitative approach},
journal = {Sci. Comput. Program.},
volume = {74},
number = {7},
pages = {470--495},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2009.02.007},
doi = {10.1016/J.SCICO.2009.02.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/RoyCK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SolinW09,
author = {Kim Solin and
Joakim von Wright},
title = {Enabledness and termination in refinement algebra},
journal = {Sci. Comput. Program.},
volume = {74},
number = {8},
pages = {654--668},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2007.11.004},
doi = {10.1016/J.SCICO.2007.11.004},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/SolinW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Uustalu09,
author = {Tarmo Uustalu},
title = {Preface},
journal = {Sci. Comput. Program.},
volume = {74},
number = {8},
pages = {497},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2009.02.001},
doi = {10.1016/J.SCICO.2009.02.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Uustalu09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/VidacsBG09,
author = {L{\'{a}}szl{\'{o}} Vid{\'{a}}cs and
{\'{A}}rp{\'{a}}d Besz{\'{e}}des and
Tibor Gyim{\'{o}}thy},
title = {Combining preprocessor slicing with {C/C++} language slicing},
journal = {Sci. Comput. Program.},
volume = {74},
number = {7},
pages = {399--413},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2009.02.003},
doi = {10.1016/J.SCICO.2009.02.003},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/VidacsBG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/WurthingerWM09,
author = {Thomas W{\"{u}}rthinger and
Christian Wimmer and
Hanspeter M{\"{o}}ssenb{\"{o}}ck},
title = {Array bounds check elimination in the context of deoptimization},
journal = {Sci. Comput. Program.},
volume = {74},
number = {5-6},
pages = {279--295},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2009.01.002},
doi = {10.1016/J.SCICO.2009.01.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/WurthingerWM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ZhangK09,
author = {Lingli Zhang and
Chandra Krintz},
title = {As-if-serial exception handling semantics for Java futures},
journal = {Sci. Comput. Program.},
volume = {74},
number = {5-6},
pages = {314--332},
year = {2009},
url = {https://doi.org/10.1016/j.scico.2009.01.006},
doi = {10.1016/J.SCICO.2009.01.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ZhangK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AktugN08,
author = {Irem Aktug and
Katsiaryna Naliuka},
title = {ConSpec - {A} formal language for policy specification},
journal = {Sci. Comput. Program.},
volume = {74},
number = {1-2},
pages = {2--12},
year = {2008},
url = {https://doi.org/10.1016/j.scico.2008.09.004},
doi = {10.1016/J.SCICO.2008.09.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AktugN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BianchiBFPT08,
author = {Giuseppe Bianchi and
Marco Bonola and
Vincenzo Falletta and
Francesco Saverio Proto and
Simone Teofili},
title = {The {SPARTA} pseudonym and authorization system},
journal = {Sci. Comput. Program.},
volume = {74},
number = {1-2},
pages = {23--33},
year = {2008},
url = {https://doi.org/10.1016/j.scico.2008.09.010},
doi = {10.1016/J.SCICO.2008.09.010},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BianchiBFPT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BringerCK08,
author = {Julien Bringer and
Herv{\'{e}} Chabanne and
Bruno Kindarji},
title = {The best of both worlds: Applying secure sketches to cancelable biometrics},
journal = {Sci. Comput. Program.},
volume = {74},
number = {1-2},
pages = {43--51},
year = {2008},
url = {https://doi.org/10.1016/j.scico.2008.09.016},
doi = {10.1016/J.SCICO.2008.09.016},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BringerCK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Hartog08,
author = {Jerry den Hartog},
title = {Towards mechanized correctness proofs for cryptographic algorithms:
Axiomatization of a probabilistic Hoare style logic},
journal = {Sci. Comput. Program.},
volume = {74},
number = {1-2},
pages = {52--63},
year = {2008},
url = {https://doi.org/10.1016/j.scico.2008.09.006},
doi = {10.1016/J.SCICO.2008.09.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Hartog08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MassacciPM08,
author = {Fabio Massacci and
Frank Piessens and
Sjouke Mauw},
title = {Preface},
journal = {Sci. Comput. Program.},
volume = {74},
number = {1-2},
pages = {1},
year = {2008},
url = {https://doi.org/10.1016/j.scico.2008.09.002},
doi = {10.1016/J.SCICO.2008.09.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MassacciPM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/RefsdalS08,
author = {Atle Refsdal and
Ketil St{\o}len},
title = {Extending {UML} sequence diagrams to model trust-dependent behavior
with the aim to support risk analysis},
journal = {Sci. Comput. Program.},
volume = {74},
number = {1-2},
pages = {34--42},
year = {2008},
url = {https://doi.org/10.1016/j.scico.2008.09.003},
doi = {10.1016/J.SCICO.2008.09.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/RefsdalS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SchellekensWP08,
author = {Dries Schellekens and
Brecht Wyseur and
Bart Preneel},
title = {Remote attestation on legacy operating systems with trusted platform
modules},
journal = {Sci. Comput. Program.},
volume = {74},
number = {1-2},
pages = {13--22},
year = {2008},
url = {https://doi.org/10.1016/j.scico.2008.09.005},
doi = {10.1016/J.SCICO.2008.09.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/SchellekensWP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-06-03 22:37 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
