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/jlp80.bht:"
download as .bib file
@article{DBLP:journals/jlp/BanachJ11,
author = {Richard Banach and
Czeslaw Jeske},
title = {Simple feature engineering via neat default retrenchments},
journal = {J. Log. Algebraic Methods Program.},
volume = {80},
number = {8},
pages = {453--480},
year = {2011},
url = {https://doi.org/10.1016/j.jlap.2010.12.001},
doi = {10.1016/J.JLAP.2010.12.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BanachJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BerghammerJM11,
author = {Rudolf Berghammer and
Ali Jaoua and
Bernhard M{\"{o}}ller},
title = {Relations and Kleene algebras in computer science},
journal = {J. Log. Algebraic Methods Program.},
volume = {80},
number = {6},
pages = {219--220},
year = {2011},
url = {https://doi.org/10.1016/j.jlap.2011.04.002},
doi = {10.1016/J.JLAP.2011.04.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BerghammerJM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Brogi11,
author = {Antonio Brogi},
title = {On the potential advantages of exploiting behavioural information
for contract-based service discovery and composition},
journal = {J. Log. Algebraic Methods Program.},
volume = {80},
number = {1},
pages = {3--12},
year = {2011},
url = {https://doi.org/10.1016/j.jlap.2010.01.001},
doi = {10.1016/J.JLAP.2010.01.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Brogi11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BurgessC11,
author = {Mark Burgess and
Alva L. Couch},
title = {On system rollback and totalized fields: An algebraic approach to
system change},
journal = {J. Log. Algebraic Methods Program.},
volume = {80},
number = {8},
pages = {427--443},
year = {2011},
url = {https://doi.org/10.1016/j.jlap.2011.07.001},
doi = {10.1016/J.JLAP.2011.07.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BurgessC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BuscemiM11,
author = {Maria Grazia Buscemi and
Ugo Montanari},
title = {QoS negotiation in service composition},
journal = {J. Log. Algebraic Methods Program.},
volume = {80},
number = {1},
pages = {13--24},
year = {2011},
url = {https://doi.org/10.1016/j.jlap.2010.04.001},
doi = {10.1016/J.JLAP.2010.04.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BuscemiM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/CambroneroRVM11,
author = {Mar{\'{\i}}a{-}Emilia Cambronero and
Gregorio D{\'{\i}}az and
Valent{\'{\i}}n Valero and
Enrique Mart{\'{\i}}nez},
title = {Validation and verification of Web services choreographies by using
timed automata},
journal = {J. Log. Algebraic Methods Program.},
volume = {80},
number = {1},
pages = {25--49},
year = {2011},
url = {https://doi.org/10.1016/j.jlap.2010.02.001},
doi = {10.1016/J.JLAP.2010.02.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/CambroneroRVM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/CiobanuK11,
author = {Gabriel Ciobanu and
Maciej Koutny},
title = {Timed Mobility in process algebra and Petri nets},
journal = {J. Log. Algebraic Methods Program.},
volume = {80},
number = {7},
pages = {377--391},
year = {2011},
url = {https://doi.org/10.1016/j.jlap.2011.05.002},
doi = {10.1016/J.JLAP.2011.05.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/CiobanuK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/ColvinH11,
author = {Robert Colvin and
Ian J. Hayes},
title = {Structural operational semantics through context-dependent behaviour},
journal = {J. Log. Algebraic Methods Program.},
volume = {80},
number = {7},
pages = {392--426},
year = {2011},
url = {https://doi.org/10.1016/j.jlap.2011.05.001},
doi = {10.1016/J.JLAP.2011.05.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/ColvinH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DangHM11,
author = {Han{-}Hing Dang and
Peter H{\"{o}}fner and
Bernhard M{\"{o}}ller},
title = {Algebraic separation logic},
journal = {J. Log. Algebraic Methods Program.},
volume = {80},
number = {6},
pages = {221--247},
year = {2011},
url = {https://doi.org/10.1016/j.jlap.2011.04.003},
doi = {10.1016/J.JLAP.2011.04.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DangHM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DanicicHL11,
author = {Sebastian Danicic and
Robert M. Hierons and
Michael R. Laurence},
title = {Decidability of strong equivalence for subschemas of a class of linear,
free, near-liberal program schemas},
journal = {J. Log. Algebraic Methods Program.},
volume = {80},
number = {2},
pages = {92--112},
year = {2011},
url = {https://doi.org/10.1016/j.jlap.2010.08.001},
doi = {10.1016/J.JLAP.2010.08.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DanicicHL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DanicicHL11a,
author = {Sebastian Danicic and
Robert M. Hierons and
Michael R. Laurence},
title = {Characterizing minimal semantics-preserving slices of predicate-linear,
free, liberal program schemas},
journal = {J. Log. Algebraic Methods Program.},
volume = {80},
number = {8},
pages = {481--496},
year = {2011},
url = {https://doi.org/10.1016/j.jlap.2011.04.009},
doi = {10.1016/J.JLAP.2011.04.009},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DanicicHL11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DineshJLS11,
author = {Nikhil Dinesh and
Aravind K. Joshi and
Insup Lee and
Oleg Sokolsky},
title = {Permission to speak: {A} logic for access control and conformance},
journal = {J. Log. Algebraic Methods Program.},
volume = {80},
number = {1},
pages = {50--74},
year = {2011},
url = {https://doi.org/10.1016/j.jlap.2009.12.002},
doi = {10.1016/J.JLAP.2009.12.002},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DineshJLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/GadducciM11,
author = {Fabio Gadducci and
Giacoma Valentina Monreale},
title = {A decentralised graphical implementation of mobile ambients},
journal = {J. Log. Algebraic Methods Program.},
volume = {80},
number = {2},
pages = {113--136},
year = {2011},
url = {https://doi.org/10.1016/j.jlap.2010.10.002},
doi = {10.1016/J.JLAP.2010.10.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/GadducciM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Guttmann11,
author = {Walter Guttmann},
title = {Fixpoints for general correctness},
journal = {J. Log. Algebraic Methods Program.},
volume = {80},
number = {6},
pages = {248--265},
year = {2011},
url = {https://doi.org/10.1016/j.jlap.2011.04.004},
doi = {10.1016/J.JLAP.2011.04.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Guttmann11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HafaiedhGQ11,
author = {Imene Ben Hafaiedh and
Susanne Graf and
Sophie Quinton},
title = {Building Distributed Controllers for Systems with Priorities},
journal = {J. Log. Algebraic Methods Program.},
volume = {80},
number = {3-5},
pages = {194--218},
year = {2011},
url = {https://doi.org/10.1016/j.jlap.2010.10.001},
doi = {10.1016/J.JLAP.2010.10.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/HafaiedhGQ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HirschM11,
author = {Robin Hirsch and
Szabolcs Mikul{\'{a}}s},
title = {Axiomatizability of representable domain algebras},
journal = {J. Log. Algebraic Methods Program.},
volume = {80},
number = {2},
pages = {75--91},
year = {2011},
url = {https://doi.org/10.1016/j.jlap.2010.07.019},
doi = {10.1016/J.JLAP.2010.07.019},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/HirschM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HoareMSW11,
author = {Tony Hoare and
Bernhard M{\"{o}}ller and
Georg Struth and
Ian Wehrman},
title = {Concurrent Kleene Algebra and its Foundations},
journal = {J. Log. Algebraic Methods Program.},
volume = {80},
number = {6},
pages = {266--296},
year = {2011},
url = {https://doi.org/10.1016/j.jlap.2011.04.005},
doi = {10.1016/J.JLAP.2011.04.005},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/HoareMSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Kahl11,
author = {Wolfram Kahl},
title = {Collagories: Relation-algebraic reasoning for gluing constructions},
journal = {J. Log. Algebraic Methods Program.},
volume = {80},
number = {6},
pages = {297--338},
year = {2011},
url = {https://doi.org/10.1016/j.jlap.2011.04.006},
doi = {10.1016/J.JLAP.2011.04.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Kahl11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MartinP11,
author = {Jos{\'{e}} Antonio Mart{\'{\i}}n and
Ernesto Pimentel},
title = {Contracts for security adaptation},
journal = {J. Log. Algebraic Methods Program.},
volume = {80},
number = {3-5},
pages = {154--179},
year = {2011},
url = {https://doi.org/10.1016/j.jlap.2010.07.001},
doi = {10.1016/J.JLAP.2010.07.001},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/MartinP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/PaceS11,
author = {Gordon J. Pace and
Gerardo Schneider},
title = {Guest Editors' Foreword},
journal = {J. Log. Algebraic Methods Program.},
volume = {80},
number = {1},
pages = {1--2},
year = {2011},
url = {https://doi.org/10.1016/j.jlap.2010.10.003},
doi = {10.1016/J.JLAP.2010.10.003},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/PaceS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/PaceS11a,
author = {Gordon J. Pace and
Gerardo Schneider},
title = {Guest Editors' Foreword},
journal = {J. Log. Algebraic Methods Program.},
volume = {80},
number = {3-5},
pages = {137--138},
year = {2011},
url = {https://doi.org/10.1016/j.jlap.2011.04.001},
doi = {10.1016/J.JLAP.2011.04.001},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/PaceS11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/RossoCB11,
author = {Paolo Rosso and
Santiago Correa and
Davide Buscaldi},
title = {Passage retrieval in legal texts},
journal = {J. Log. Algebraic Methods Program.},
volume = {80},
number = {3-5},
pages = {139--153},
year = {2011},
url = {https://doi.org/10.1016/j.jlap.2011.02.001},
doi = {10.1016/J.JLAP.2011.02.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/RossoCB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/SchmidtB11,
author = {Gunther Schmidt and
Rudolf Berghammer},
title = {Contact, closure, topology, and the linking of row and column types
of relations},
journal = {J. Log. Algebraic Methods Program.},
volume = {80},
number = {6},
pages = {339--361},
year = {2011},
url = {https://doi.org/10.1016/j.jlap.2011.04.007},
doi = {10.1016/J.JLAP.2011.04.007},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/SchmidtB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/SchroederBW11,
author = {Andreas Schroeder and
Sebastian S. Bauer and
Martin Wirsing},
title = {A contract-based approach to adaptivity},
journal = {J. Log. Algebraic Methods Program.},
volume = {80},
number = {3-5},
pages = {180--193},
year = {2011},
url = {https://doi.org/10.1016/j.jlap.2010.09.001},
doi = {10.1016/J.JLAP.2010.09.001},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/SchroederBW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Solin11,
author = {Kim Solin},
title = {Normal forms in total correctness for while programs and action systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {80},
number = {6},
pages = {362--375},
year = {2011},
url = {https://doi.org/10.1016/j.jlap.2011.04.008},
doi = {10.1016/J.JLAP.2011.04.008},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Solin11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Swan11,
author = {Jerry Swan},
title = {Efficiency issues in the kbmag procedure},
journal = {J. Log. Algebraic Methods Program.},
volume = {80},
number = {8},
pages = {444--452},
year = {2011},
url = {https://doi.org/10.1016/j.jlap.2010.11.001},
doi = {10.1016/J.JLAP.2010.11.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Swan11.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-01 23:28 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:
