Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jlp/AndreiC18,
  author       = {Oana Andrei and
                  Muffy Calder},
  title        = {Data-driven modelling and probabilistic analysis of interactive software
                  usage},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {100},
  pages        = {195--214},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2018.07.003},
  doi          = {10.1016/J.JLAMP.2018.07.003},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/AndreiC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/ApinisVV18,
  author       = {Kalmer Apinis and
                  Varmo Vene and
                  Vesal Vojdani},
  title        = {Demand-driven interprocedural analysis for map-based abstract domains},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {100},
  pages        = {57--70},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2018.06.003},
  doi          = {10.1016/J.JLAMP.2018.06.003},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/ApinisVV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/BacciBLM18,
  author       = {Giovanni Bacci and
                  Giorgio Bacci and
                  Kim G. Larsen and
                  Radu Mardare},
  title        = {On the metric-based approximate minimization of Markov Chains},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {100},
  pages        = {36--56},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2018.05.006},
  doi          = {10.1016/J.JLAMP.2018.05.006},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/BacciBLM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/CastegrenWW18,
  author       = {Elias Castegren and
                  Joel Wallin and
                  Tobias Wrigstad},
  title        = {Bestow and atomic: Concurrent programming using isolation, delegation
                  and grouping},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {100},
  pages        = {130--151},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2018.06.007},
  doi          = {10.1016/J.JLAMP.2018.06.007},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/CastegrenWW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Gregorio-Rodriguez18,
  author       = {Carlos Gregorio{-}Rodr{\'{\i}}guez and
                  Luis Llana and
                  Rafael Mart{\'{\i}}nez{-}Torres},
  title        = {An axiomatic semantics for iocos{\_} conformance relation},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {100},
  pages        = {152--184},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2018.06.006},
  doi          = {10.1016/J.JLAMP.2018.06.006},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Gregorio-Rodriguez18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Joosten18,
  author       = {Sebastiaan J. C. Joosten},
  title        = {Finding models through graph saturation},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {100},
  pages        = {98--112},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2018.06.005},
  doi          = {10.1016/J.JLAMP.2018.06.005},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/Joosten18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Joosten18a,
  author       = {Stef Joosten},
  title        = {Relation Algebra as programming language using the Ampersand compiler},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {100},
  pages        = {113--129},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2018.04.002},
  doi          = {10.1016/J.JLAMP.2018.04.002},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/Joosten18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/LaneseNPV18,
  author       = {Ivan Lanese and
                  Naoki Nishida and
                  Adri{\'{a}}n Palacios and
                  Germ{\'{a}}n Vidal},
  title        = {A theory of reversibility for Erlang},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {100},
  pages        = {71--97},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2018.06.004},
  doi          = {10.1016/J.JLAMP.2018.06.004},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/LaneseNPV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/LiQ18,
  author       = {Dechao Li and
                  Sijia Qin},
  title        = {The quintuple implication principle of fuzzy reasoning based on interval-valued
                  S-implication},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {100},
  pages        = {185--194},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2018.07.001},
  doi          = {10.1016/J.JLAMP.2018.07.001},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/LiQ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/NastiM18,
  author       = {Lucia Nasti and
                  Paolo Milazzo},
  title        = {A Hybrid Automata model of social networking addiction},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {100},
  pages        = {215--229},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2018.07.002},
  doi          = {10.1016/J.JLAMP.2018.07.002},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/NastiM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Padovani18,
  author       = {Luca Padovani},
  title        = {A type checking algorithm for concurrent object protocols},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {100},
  pages        = {16--35},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2018.06.001},
  doi          = {10.1016/J.JLAMP.2018.06.001},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Padovani18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Prasad18,
  author       = {Sanjiva Prasad},
  title        = {Best-by-simulations: {A} framework for comparing efficiency of reconfigurable
                  architectures on workloads with deadlines},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {100},
  pages        = {1--15},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2018.06.002},
  doi          = {10.1016/J.JLAMP.2018.06.002},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Prasad18.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.