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/cl/cl47.bht:"
download as .bib file
@article{DBLP:journals/cl/AdjeG17,
author = {Assal{\'{e}} Adj{\'{e}} and
Pierre{-}Lo{\"{\i}}c Garoche},
title = {Automatic synthesis of k-inductive piecewise quadratic invariants
for switched affine control programs},
journal = {Comput. Lang. Syst. Struct.},
volume = {47},
pages = {44--61},
year = {2017},
url = {https://doi.org/10.1016/j.cl.2015.12.002},
doi = {10.1016/J.CL.2015.12.002},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/AdjeG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/Bansal17,
author = {Ankita Jain Bansal},
title = {Empirical analysis of search based algorithms to identify change prone
classes of open source software},
journal = {Comput. Lang. Syst. Struct.},
volume = {47},
pages = {211--231},
year = {2017},
url = {https://doi.org/10.1016/j.cl.2016.10.001},
doi = {10.1016/J.CL.2016.10.001},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/Bansal17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/DSouzaL17,
author = {Deepak D'Souza and
Akash Lal},
title = {Special issue on the 16th International Conference on Verification,
Model Checking, and Abstract Interpretation},
journal = {Comput. Lang. Syst. Struct.},
volume = {47},
pages = {1},
year = {2017},
url = {https://doi.org/10.1016/j.cl.2016.06.002},
doi = {10.1016/J.CL.2016.06.002},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/DSouzaL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/DanMVY17,
author = {Andrei Marian Dan and
Yuri Meshman and
Martin T. Vechev and
Eran Yahav},
title = {Effective abstractions for verification under relaxed memory models},
journal = {Comput. Lang. Syst. Struct.},
volume = {47},
pages = {62--76},
year = {2017},
url = {https://doi.org/10.1016/j.cl.2016.02.003},
doi = {10.1016/J.CL.2016.02.003},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/DanMVY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/GhorbalSP17,
author = {Khalil Ghorbal and
Andrew Sogokon and
Andr{\'{e}} Platzer},
title = {A hierarchy of proof rules for checking positive invariance of algebraic
and semi-algebraic sets},
journal = {Comput. Lang. Syst. Struct.},
volume = {47},
pages = {19--43},
year = {2017},
url = {https://doi.org/10.1016/j.cl.2015.11.003},
doi = {10.1016/J.CL.2015.11.003},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/GhorbalSP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/KafleG17,
author = {Bishoksan Kafle and
John P. Gallagher},
title = {Horn clause verification with convex polyhedral abstraction and tree
automata-based refinement},
journal = {Comput. Lang. Syst. Struct.},
volume = {47},
pages = {2--18},
year = {2017},
url = {https://doi.org/10.1016/j.cl.2015.11.001},
doi = {10.1016/J.CL.2015.11.001},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/KafleG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/KarimpourR17,
author = {Reza Karimpour and
Guenther Ruhe},
title = {Evolutionary robust optimization for software product line scoping:
An explorative study},
journal = {Comput. Lang. Syst. Struct.},
volume = {47},
pages = {189--210},
year = {2017},
url = {https://doi.org/10.1016/j.cl.2016.07.007},
doi = {10.1016/J.CL.2016.07.007},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/KarimpourR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/KowalskiA17,
author = {Tomasz Marek Kowalski and
Radoslaw Adamus},
title = {Optimisation of language-integrated queries by query unnesting},
journal = {Comput. Lang. Syst. Struct.},
volume = {47},
pages = {131--150},
year = {2017},
url = {https://doi.org/10.1016/j.cl.2016.09.002},
doi = {10.1016/J.CL.2016.09.002},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/KowalskiA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/LiuR17,
author = {Jiangchao Liu and
Xavier Rival},
title = {An array content static analysis based on non-contiguous partitions},
journal = {Comput. Lang. Syst. Struct.},
volume = {47},
pages = {104--129},
year = {2017},
url = {https://doi.org/10.1016/j.cl.2016.01.005},
doi = {10.1016/J.CL.2016.01.005},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/LiuR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/Malhotra17,
author = {Ruchika Malhotra},
title = {Special issue on search-based techniques and their hybridizations
in software engineering},
journal = {Comput. Lang. Syst. Struct.},
volume = {47},
pages = {151--152},
year = {2017},
url = {https://doi.org/10.1016/j.cl.2016.11.002},
doi = {10.1016/J.CL.2016.11.002},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/Malhotra17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/MilewiczP17,
author = {Reed Milewicz and
Peter Pirkelbauer},
title = {Refinement of structural heuristics for model checking of concurrent
programs through data mining},
journal = {Comput. Lang. Syst. Struct.},
volume = {47},
pages = {170--188},
year = {2017},
url = {https://doi.org/10.1016/j.cl.2016.06.001},
doi = {10.1016/J.CL.2016.06.001},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/MilewiczP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/PrajapatiC17,
author = {Amarjeet Prajapati and
Jitender Kumar Chhabra},
title = {Harmony search based remodularization for object-oriented software
systems},
journal = {Comput. Lang. Syst. Struct.},
volume = {47},
pages = {153--169},
year = {2017},
url = {https://doi.org/10.1016/j.cl.2016.09.003},
doi = {10.1016/J.CL.2016.09.003},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/PrajapatiC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/UrbanM17,
author = {Caterina Urban and
Antoine Min{\'{e}}},
title = {Inference of ranking functions for proving temporal properties by
abstract interpretation},
journal = {Comput. Lang. Syst. Struct.},
volume = {47},
pages = {77--103},
year = {2017},
url = {https://doi.org/10.1016/j.cl.2015.10.001},
doi = {10.1016/J.CL.2015.10.001},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/UrbanM17.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-05-21 07:59 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:
