Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/jlp/jlp80.bht:"
@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} }
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.