Search dblp for Publications

export results for "toc:db/journals/jlp/jlp82.bht:"

 download as .bib file

@article{DBLP:journals/jlp/AgutBR13,
  author       = {D. E. Nadales Agut and
                  D. A. van Beek and
                  Jacobus E. Rooda},
  title        = {Syntax and semantics of the compositional interchange format for hybrid
                  systems},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {82},
  number       = {1},
  pages        = {1--52},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.jlap.2012.07.001},
  doi          = {10.1016/J.JLAP.2012.07.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/AgutBR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/AlpuenteBFFR13,
  author       = {Mar{\'{\i}}a Alpuente and
                  Demis Ballis and
                  Moreno Falaschi and
                  Francisco Frechina and
                  Daniel Romero},
  title        = {Rewriting-based repairing strategies for {XML} repositories},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {82},
  number       = {8},
  pages        = {326--352},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.jlap.2013.05.002},
  doi          = {10.1016/J.JLAP.2013.05.002},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/AlpuenteBFFR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/AngelovCS13,
  author       = {Krasimir Angelov and
                  John J. Camilleri and
                  Gerardo Schneider},
  title        = {A framework for conflict analysis of normative texts written in controlled
                  natural language},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {82},
  number       = {5-7},
  pages        = {216--240},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.jlap.2013.03.002},
  doi          = {10.1016/J.JLAP.2013.03.002},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/AngelovCS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Battenfeld13,
  author       = {Ingo Battenfeld},
  title        = {Comparing approaches to free dcpo-algebra constructions},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {82},
  number       = {1},
  pages        = {53--70},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.jlap.2012.10.001},
  doi          = {10.1016/J.JLAP.2012.10.001},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/Battenfeld13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Berghammer13,
  author       = {Rudolf Berghammer},
  title        = {Computing and visualizing banks sets of dominance relations using
                  relation algebra and RelView},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {82},
  number       = {3-4},
  pages        = {123--136},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.jlap.2013.02.001},
  doi          = {10.1016/J.JLAP.2013.02.001},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/Berghammer13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Bielova13,
  author       = {Nataliia Bielova},
  title        = {Survey on JavaScript security policies and their enforcement mechanisms
                  in a web browser},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {82},
  number       = {8},
  pages        = {243--262},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.jlap.2013.05.001},
  doi          = {10.1016/J.JLAP.2013.05.001},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/Bielova13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/DuanKK13,
  author       = {Zhenhua Duan and
                  Hanna Klaudel and
                  Maciej Koutny},
  title        = {{ITL} semantics of composite Petri nets},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {82},
  number       = {2},
  pages        = {95--110},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.jlap.2012.12.001},
  doi          = {10.1016/J.JLAP.2012.12.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/DuanKK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/EsikK13,
  author       = {Zolt{\'{a}}n {\'{E}}sik and
                  Werner Kuich},
  title        = {Free inductive K-semialgebras},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {82},
  number       = {3-4},
  pages        = {111--122},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.jlap.2013.01.001},
  doi          = {10.1016/J.JLAP.2013.01.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/EsikK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/FrancalanzaGP13,
  author       = {Adrian Francalanza and
                  Andrew Gauci and
                  Gordon J. Pace},
  title        = {Distributed system contract monitoring},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {82},
  number       = {5-7},
  pages        = {186--215},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.jlap.2013.04.001},
  doi          = {10.1016/J.JLAP.2013.04.001},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/FrancalanzaGP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Giunti13,
  author       = {Marco Giunti},
  title        = {Algorithmic type checking for a pi-calculus with name matching and
                  session types},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {82},
  number       = {8},
  pages        = {263--281},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.jlap.2013.05.003},
  doi          = {10.1016/J.JLAP.2013.05.003},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/Giunti13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/GuerraC13,
  author       = {H{\'{e}}lia Guerra and
                  Jos{\'{e}} F{\'{e}}lix Costa},
  title        = {Processes with infinite liveness requirements},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {82},
  number       = {3-4},
  pages        = {137--161},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.jlap.2013.03.001},
  doi          = {10.1016/J.JLAP.2013.03.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/GuerraC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/HildebrandtMSZ13,
  author       = {Thomas T. Hildebrandt and
                  Raghava Rao Mukkamala and
                  Tijs Slaats and
                  Francesco Zanitti},
  title        = {Contracts for cross-organizational workflows as timed Dynamic Condition
                  Response Graphs},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {82},
  number       = {5-7},
  pages        = {164--185},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.jlap.2013.05.005},
  doi          = {10.1016/J.JLAP.2013.05.005},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/HildebrandtMSZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/InsaST13,
  author       = {David Insa and
                  Josep Silva and
                  Salvador Tamarit},
  title        = {Using the words/leafs ratio in the {DOM} tree for content extraction},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {82},
  number       = {8},
  pages        = {311--325},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.jlap.2013.01.002},
  doi          = {10.1016/J.JLAP.2013.01.002},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/InsaST13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/KovacsPST13,
  author       = {Laura Kov{\'{a}}cs and
                  Rosario Pugliese and
                  Josep Silva and
                  Francesco Tiezzi},
  title        = {Special issue on Automated Specification and Verification of Web Systems},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {82},
  number       = {8},
  pages        = {241--242},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.jlap.2013.05.007},
  doi          = {10.1016/J.JLAP.2013.05.007},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/KovacsPST13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/MichauxNF13,
  author       = {Jonathan Michaux and
                  Elie Najm and
                  Alessandro Fantechi},
  title        = {Session types for safe Web service orchestration},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {82},
  number       = {8},
  pages        = {282--310},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.jlap.2013.05.004},
  doi          = {10.1016/J.JLAP.2013.05.004},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/MichauxNF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/PimentelV13,
  author       = {Ernesto Pimentel and
                  Valent{\'{\i}}n Valero},
  title        = {Guest Editors' Foreword},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {82},
  number       = {5-7},
  pages        = {163},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.jlap.2013.07.004},
  doi          = {10.1016/J.JLAP.2013.07.004},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/PimentelV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Vagvolgyi13,
  author       = {S{\'{a}}ndor V{\'{a}}gv{\"{o}}lgyi},
  title        = {Rewriting preserving recognizability of finite tree languages},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {82},
  number       = {2},
  pages        = {71--94},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.jlap.2012.10.002},
  doi          = {10.1016/J.JLAP.2012.10.002},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Vagvolgyi13.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.