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/jlp/jlp85.bht:"
download as .bib file
@article{DBLP:journals/jlp/AichernigJT16,
author = {Bernhard K. Aichernig and
Elisabeth J{\"{o}}bstl and
Martin Tappler},
title = {Does this fault lead to failure? Combining refinement and input-output
conformance checking in fault-oriented test-case generation},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {806--823},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.02.002},
doi = {10.1016/J.JLAMP.2016.02.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AichernigJT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Almendros-Jimenez16,
author = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez and
Luis Iribarne and
Jes{\'{u}}s J. L{\'{o}}pez{-}Fern{\'{a}}ndez and
{\'{A}}ngel Mora Segura},
title = {{PTL:} {A} model transformation language based on logic programming},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {2},
pages = {332--366},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.06.006},
doi = {10.1016/J.JLAMP.2015.06.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Almendros-Jimenez16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AlpuenteBFS16,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Francisco Frechina and
Julia Sapi{\~{n}}a},
title = {Debugging Maude programs via runtime assertion checking and trace
slicing},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {707--736},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.03.001},
doi = {10.1016/J.JLAMP.2016.03.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AlpuenteBFS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Armas-Cervantes16,
author = {Abel Armas{-}Cervantes and
Paolo Baldan and
Luciano Garc{\'{\i}}a{-}Ba{\~{n}}uelos},
title = {Reduction of event structures under history preserving bisimulation},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {6},
pages = {1110--1130},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.10.004},
doi = {10.1016/J.JLAMP.2015.10.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Armas-Cervantes16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Backhouse16,
author = {Roland Carl Backhouse},
title = {Factor theory and the unity of opposites},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {824--846},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.01.003},
doi = {10.1016/J.JLAMP.2016.01.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Backhouse16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BarbosaCS16,
author = {Lu{\'{\i}}s Soares Barbosa and
Alcino Cunha and
Alexandra Silva},
title = {Quien sabe por Algebra, sabe scientificamente: {A} tribute to Jos{\'{e}}
Nuno Oliveira},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {805},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.07.002},
doi = {10.1016/J.JLAMP.2016.07.002},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/BarbosaCS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BartheCK16,
author = {Gilles Barthe and
Juan Manuel Crespo and
C{\'{e}}sar Kunz},
title = {Product programs and relational program logics},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {847--859},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.05.004},
doi = {10.1016/J.JLAMP.2016.05.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BartheCK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BartolettiCPZ16,
author = {Massimo Bartoletti and
Tiziana Cimoli and
G. Michele Pinna and
Roberto Zunino},
title = {Contracts as games on event structures},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {3},
pages = {399--424},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.05.001},
doi = {10.1016/J.JLAMP.2015.05.001},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/BartolettiCPZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BasileDFT16,
author = {Davide Basile and
Pierpaolo Degano and
Gian{-}Luigi Ferrari and
Emilio Tuosto},
title = {Relating two automata-based models of orchestration and choreography},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {3},
pages = {425--446},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.09.011},
doi = {10.1016/J.JLAMP.2015.09.011},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/BasileDFT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Batory16,
author = {Don S. Batory},
title = {Foreword to the Special Issue on Formal Methods for Software Product
Line Engineering},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {1},
pages = {121--122},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.09.007},
doi = {10.1016/J.JLAMP.2015.09.007},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Batory16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BeekCS16,
author = {Maurice H. ter Beek and
Dave Clarke and
Ina Schaefer},
title = {Editorial preface for the {JLAMP} Special Issue on Formal Methods
for Software Product Line Engineering},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {1},
pages = {123--124},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.09.006},
doi = {10.1016/J.JLAMP.2015.09.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BeekCS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BeekFGM16,
author = {Maurice H. ter Beek and
Alessandro Fantechi and
Stefania Gnesi and
Franco Mazzanti},
title = {Modelling and analysing variability in product families: Model checking
of modal transition systems with variability constraints},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {2},
pages = {287--315},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.11.006},
doi = {10.1016/J.JLAMP.2015.11.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BeekFGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BeekLNR16,
author = {Maurice H. ter Beek and
Alexei Lisitsa and
Andrei P. Nemytykh and
Ant{\'{o}}nio Ravara},
title = {Automated verification of programs and Web systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {653--654},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.06.005},
doi = {10.1016/J.JLAMP.2016.06.005},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/BeekLNR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BeoharM16,
author = {Harsh Beohar and
Mohammad Reza Mousavi},
title = {Input-output conformance testing for software product lines},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {6},
pages = {1131--1153},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.09.007},
doi = {10.1016/J.JLAMP.2016.09.007},
timestamp = {Sat, 11 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/BeoharM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BerghammerHS16,
author = {Rudolf Berghammer and
Peter H{\"{o}}fner and
Insa Stucke},
title = {Cardinality of relations and relational approximation algorithms},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {2},
pages = {269--286},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.12.001},
doi = {10.1016/J.JLAMP.2015.12.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BerghammerHS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Bettini16,
author = {Lorenzo Bettini},
title = {Implementing type systems for the {IDE} with Xsemantics},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {655--680},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.11.005},
doi = {10.1016/J.JLAMP.2015.11.005},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Bettini16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Boiten16,
author = {Eerke A. Boiten},
title = {Diversity and adjudication},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {860--866},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.10.007},
doi = {10.1016/J.JLAMP.2015.10.007},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Boiten16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Boute16,
author = {Raymond T. Boute},
title = {Why mathematics needs engineering},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {867--878},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.01.001},
doi = {10.1016/J.JLAMP.2016.01.001},
timestamp = {Fri, 26 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Boute16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BrunetP16,
author = {Paul Brunet and
Damien Pous},
title = {Algorithms for Kleene algebra with converse},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {4},
pages = {574--594},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.07.005},
doi = {10.1016/J.JLAMP.2015.07.005},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/BrunetP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/CamachoLN16,
author = {Carlos Camacho and
Luis Llana and
Alberto N{\'{u}}{\~{n}}ez},
title = {Cost-related interface for software product lines},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {1},
pages = {227--244},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.09.009},
doi = {10.1016/J.JLAMP.2015.09.009},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/CamachoLN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/ChiangM16,
author = {Yu{-}Hsi Chiang and
Shin{-}Cheng Mu},
title = {Formal derivation of Greedy algorithms from relational specifications:
{A} tutorial},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {879--905},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.12.003},
doi = {10.1016/J.JLAMP.2015.12.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/ChiangM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/CiobanuHS16,
author = {Gabriel Ciobanu and
Ross Horne and
Vladimiro Sassone},
title = {A descriptive type foundation for {RDF} Schema},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {681--706},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.02.006},
doi = {10.1016/J.JLAMP.2016.02.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/CiobanuHS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Escobar16,
author = {Santiago Escobar},
title = {Rewriting logic and its applications (extended selected papers from
{WRLA} 2014)},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {1},
pages = {1--2},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.10.003},
doi = {10.1016/J.JLAMP.2015.10.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Escobar16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/FerreiraM16,
author = {Jo{\~{a}}o F. Ferreira and
Alexandra Mendes},
title = {A calculational approach to path-based properties of the Eisenstein-Stern
and Stern-Brocot trees via matrix algebra},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {906--920},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.11.004},
doi = {10.1016/J.JLAMP.2015.11.004},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/FerreiraM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Genet16,
author = {Thomas Genet},
title = {Termination criteria for tree automata completion},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {1},
pages = {3--33},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.05.003},
doi = {10.1016/J.JLAMP.2015.05.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Genet16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/GhassemiM16,
author = {Fatemeh Ghassemi and
Mohammad Reza Mousavi},
title = {Product line process theory},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {1},
pages = {200--226},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.09.008},
doi = {10.1016/J.JLAMP.2015.09.008},
timestamp = {Sat, 11 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/GhassemiM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Gibbons16,
author = {Jeremy Gibbons},
title = {Kernels, in a nutshell},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {921--930},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.10.006},
doi = {10.1016/J.JLAMP.2015.10.006},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Gibbons16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Guttmann16,
author = {Walter Guttmann},
title = {An algebraic approach to computations with progress},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {4},
pages = {520--539},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.11.009},
doi = {10.1016/J.JLAMP.2015.11.009},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Guttmann16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HalleBGBB16,
author = {Sylvain Hall{\'{e}} and
Nicolas Bergeron and
Francis Guerin and
Gabriel Le Breton and
Oussama Beroual},
title = {Declarative layout constraints for testing web applications},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {737--758},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.04.001},
doi = {10.1016/J.JLAMP.2016.04.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/HalleBGBB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HinzeM16,
author = {Ralf Hinze and
Dan Marsden},
title = {Equational reasoning with lollipops, forks, cups, caps, snakes, and
speedometers},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {931--951},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.12.004},
doi = {10.1016/J.JLAMP.2015.12.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/HinzeM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HoareSMSZ16,
author = {Tony Hoare and
Stephan van Staden and
Bernhard M{\"{o}}ller and
Georg Struth and
Huibiao Zhu},
title = {Developments in concurrent Kleene algebra},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {4},
pages = {617--636},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.09.012},
doi = {10.1016/J.JLAMP.2015.09.012},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/HoareSMSZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HofnerJKM16,
author = {Peter H{\"{o}}fner and
Peter Jipsen and
Wolfram Kahl and
Martin Eric M{\"{u}}ller},
title = {Relational and algebraic methods in computer science},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {4},
pages = {447--448},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.02.003},
doi = {10.1016/J.JLAMP.2016.02.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/HofnerJKM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HofnerM16,
author = {Peter H{\"{o}}fner and
Bernhard M{\"{o}}ller},
title = {Extended Feature Algebra},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {952--971},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.12.002},
doi = {10.1016/J.JLAMP.2015.12.002},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/HofnerM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Iosif-LazarW16,
author = {Alexandru F. Iosif{-}Lazar and
Andrzej Wasowski},
title = {Trustworthy variant derivation with translation validation for safety
critical product lines},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {6},
pages = {1154--1176},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.02.001},
doi = {10.1016/J.JLAMP.2016.02.001},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Iosif-LazarW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Jeltsch16,
author = {Wolfgang Jeltsch},
title = {Abstract categorical semantics for resourceful functional reactive
programming},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {6},
pages = {1177--1200},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.07.001},
doi = {10.1016/J.JLAMP.2016.07.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Jeltsch16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/JipsenM16,
author = {Peter Jipsen and
M. Andrew Moshier},
title = {Concurrent Kleene algebra with tests and branching automata},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {4},
pages = {637--652},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.12.005},
doi = {10.1016/J.JLAMP.2015.12.005},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/JipsenM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Johansen16,
author = {Christian Johansen},
title = {ST-structures},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {6},
pages = {1201--1233},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.10.009},
doi = {10.1016/J.JLAMP.2015.10.009},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/Johansen16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/JonesH16,
author = {Cliff B. Jones and
Ian J. Hayes},
title = {Possible values: Exploring a concept for concurrency},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {972--984},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.01.002},
doi = {10.1016/J.JLAMP.2016.01.002},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/JonesH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/KurzV16,
author = {Alexander Kurz and
Jir{\'{\i}} Velebil},
title = {Relation lifting, a survey},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {4},
pages = {475--499},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.08.002},
doi = {10.1016/J.JLAMP.2015.08.002},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/KurzV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LaneseLSV16,
author = {Ivan Lanese and
Alberto Lluch{-}Lafuente and
Ana Sokolova and
Hugo Torres Vieira},
title = {Preface for the special issue on Interaction and Concurrency Experience
2014},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {3},
pages = {367},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.09.010},
doi = {10.1016/J.JLAMP.2015.09.010},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/LaneseLSV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LarsenF16,
author = {Peter Gorm Larsen and
John S. Fitzgerald},
title = {The evolution of {VDM} tools from the 1990s to 2015 and the influence
of {CAMILA}},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {985--998},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.10.001},
doi = {10.1016/J.JLAMP.2015.10.001},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/LarsenF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LitakMH16,
author = {Tadeusz Litak and
Szabolcs Mikul{\'{a}}s and
Jan Hidders},
title = {Relational lattices: From databases to universal algebra},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {4},
pages = {540--573},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.11.008},
doi = {10.1016/J.JLAMP.2015.11.008},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/LitakMH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LiuOM16,
author = {Si Liu and
Peter Csaba {\"{O}}lveczky and
Jos{\'{e}} Meseguer},
title = {Modeling and analyzing mobile ad hoc networks in Real-Time Maude},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {1},
pages = {34--66},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.05.002},
doi = {10.1016/J.JLAMP.2015.05.002},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/LiuOM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LochauMBR16,
author = {Malte Lochau and
Stephan Mennicke and
Hauke Baller and
Lars Ribbeck},
title = {Incremental model checking of delta-oriented software product lines},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {1},
pages = {245--267},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.09.004},
doi = {10.1016/J.JLAMP.2015.09.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/LochauMBR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LucasM16,
author = {Salvador Lucas and
Jos{\'{e}} Meseguer},
title = {Normal forms and normal theories in conditional rewriting},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {1},
pages = {67--97},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.06.001},
doi = {10.1016/J.JLAMP.2015.06.001},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/LucasM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Macedo16,
author = {Hugo Daniel Macedo},
title = {Gaussian elimination is not optimal, revisited},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {999--1010},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.06.003},
doi = {10.1016/J.JLAMP.2016.06.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Macedo16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MadeiraNM16,
author = {Alexandre Madeira and
Renato Neves and
Manuel A. Martins},
title = {An exercise on the generation of many-valued dynamic logics},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {1011--1037},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.03.004},
doi = {10.1016/J.JLAMP.2016.03.004},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/MadeiraNM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Naumann16,
author = {David A. Naumann},
title = {Towards patterns for heaps and imperative lambdas},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {1038--1056},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.10.008},
doi = {10.1016/J.JLAMP.2015.10.008},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Naumann16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Nepeivoda16,
author = {Antonina Nepeivoda},
title = {Ping-pong protocols as prefix grammars: Modelling and verification
via program transformation},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {782--804},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.06.001},
doi = {10.1016/J.JLAMP.2016.06.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Nepeivoda16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/NevesBHM16,
author = {Renato Neves and
Lu{\'{\i}}s Soares Barbosa and
Dirk Hofmann and
Manuel A. Martins},
title = {Continuity as a computational effect},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {1057--1085},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.05.005},
doi = {10.1016/J.JLAMP.2016.05.005},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/NevesBHM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/NormannJH16,
author = {H{\aa}kon Normann and
Christian Johansen and
Thomas T. Hildebrandt},
title = {Declarative event based models of concurrency and refinement in psi-calculi},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {3},
pages = {368--398},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.12.007},
doi = {10.1016/J.JLAMP.2015.12.007},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/NormannJH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/OliveiraM16,
author = {Jos{\'{e}} Nuno Oliveira and
Victor Cacciari Miraldo},
title = {"Keep definition, change category" - {A} practical approach to state-based
system calculi},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {4},
pages = {449--474},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.11.007},
doi = {10.1016/J.JLAMP.2015.11.007},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/OliveiraM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/PunSS16,
author = {Ka I Pun and
Martin Steffen and
Volker Stolz},
title = {Effect-polymorphic behaviour inference for deadlock checking},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {6},
pages = {1234--1267},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.05.003},
doi = {10.1016/J.JLAMP.2016.05.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/PunSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/RamanujamS16,
author = {Ramaswamy Ramanujam and
S. Sheerazuddin},
title = {Realizable temporal logics for web service choreography},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {759--781},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.06.002},
doi = {10.1016/J.JLAMP.2016.06.002},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/RamanujamS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/RheinTSLA16,
author = {Alexander von Rhein and
Thomas Th{\"{u}}m and
Ina Schaefer and
J{\"{o}}rg Liebig and
Sven Apel},
title = {Variability encoding: From compile-time to load-time variability},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {1},
pages = {125--145},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.06.007},
doi = {10.1016/J.JLAMP.2015.06.007},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/RheinTSLA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/RotB16,
author = {Jurriaan Rot and
Marcello M. Bonsangue},
title = {Structural congruence for bialgebraic semantics},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {6},
pages = {1268--1291},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.08.001},
doi = {10.1016/J.JLAMP.2016.08.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/RotB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/RusuLSASR16,
author = {Vlad Rusu and
Dorel Lucanu and
Traian{-}Florin Serbanuta and
Andrei Arusoaie and
Andrei Stefanescu and
Grigore Rosu},
title = {Language definitions as rewrite theories},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {1},
pages = {98--120},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.09.001},
doi = {10.1016/J.JLAMP.2015.09.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/RusuLSASR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/SaarikiviH16,
author = {Olli Saarikivi and
Keijo Heljanko},
title = {{LCTD:} Test-guided proofs for {C} programs on {LLVM}},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {6},
pages = {1292--1317},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.10.010},
doi = {10.1016/J.JLAMP.2015.10.010},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/SaarikiviH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/StellSR16,
author = {John G. Stell and
Renate A. Schmidt and
David E. Rydeheard},
title = {A bi-intuitionistic modal logic: Foundations and automation},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {4},
pages = {500--519},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.11.003},
doi = {10.1016/J.JLAMP.2015.11.003},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/StellSR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Unel16,
author = {Gulay {\"{U}}nel},
title = {Incremental reasoning on monadic second-order logics with logic programming},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {2},
pages = {316--331},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.11.002},
doi = {10.1016/J.JLAMP.2015.11.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Unel16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Uramoto16,
author = {Takeo Uramoto},
title = {Canonical finite models of Kleene algebra with tests},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {4},
pages = {595--616},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.11.001},
doi = {10.1016/J.JLAMP.2015.11.001},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/Uramoto16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Uustalu16,
author = {Tarmo Uustalu},
title = {A divertimento on MonadPlus and nondeterminism},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {1086--1094},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.06.004},
doi = {10.1016/J.JLAMP.2016.06.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Uustalu16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/UustaluV16,
author = {Tarmo Uustalu and
J{\"{u}}ri Vain},
title = {Guest editors' foreword},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {6},
pages = {1109},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.10.004},
doi = {10.1016/J.JLAMP.2016.10.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/UustaluV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Winter16,
author = {Michael Winter},
title = {Dependencies in relational models of databases},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {1095--1107},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.12.006},
doi = {10.1016/J.JLAMP.2015.12.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Winter16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/ZanardiniAV16,
author = {Damiano Zanardini and
Elvira Albert and
Karina Villela},
title = {Resource-usage-aware configuration in software product lines},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {1},
pages = {173--199},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.08.003},
doi = {10.1016/J.JLAMP.2015.08.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/ZanardiniAV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/ZhangK16,
author = {Qinglei Zhang and
Ridha Kh{\'{e}}dri},
title = {On the weaving process of aspect-oriented product family algebra},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {1},
pages = {146--172},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.08.004},
doi = {10.1016/J.JLAMP.2015.08.004},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/ZhangK16.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-07 18:41 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:
