Search dblp for Publications

export results for "toc:db/journals/jlap/jlap136.bht:"

 download as .bib file

@article{DBLP:journals/jlap/Abdelli24,
  author       = {Abdelkrim Abdelli},
  title        = {Time distance-based computation of the \emph{DBM} over-approximation
                  of preemptive real-time systems},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {136},
  pages        = {100927},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100927},
  doi          = {10.1016/J.JLAMP.2023.100927},
  timestamp    = {Sat, 13 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/Abdelli24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/Aubert24,
  author       = {Cl{\'{e}}ment Aubert},
  title        = {The correctness of concurrencies in (reversible) concurrent calculi},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {136},
  pages        = {100924},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100924},
  doi          = {10.1016/J.JLAMP.2023.100924},
  timestamp    = {Sat, 13 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/Aubert24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/DuranPR24,
  author       = {Francisco Dur{\'{a}}n and
                  Nicol{\'{a}}s Pozas and
                  Camilo Rocha},
  title        = {Business processes resource management using rewriting logic and deep-learning-based
                  predictive monitoring},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {136},
  pages        = {100928},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100928},
  doi          = {10.1016/J.JLAMP.2023.100928},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/DuranPR24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/EdixhovenJPC24,
  author       = {Luc Edixhoven and
                  Sung{-}Shik Jongmans and
                  Jos{\'{e}} Proen{\c{c}}a and
                  Ilaria Castellani},
  title        = {Branching pomsets: Design, expressiveness and applications to choreographies},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {136},
  pages        = {100919},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100919},
  doi          = {10.1016/J.JLAMP.2023.100919},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/EdixhovenJPC24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/GiustinaLPRR24,
  author       = {Davide Della Giustina and
                  C. Londero and
                  Carla Piazza and
                  Brian Riccardi and
                  Riccardo Romanello},
  title        = {Quantum encoding of dynamic directed graphs},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {136},
  pages        = {100925},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100925},
  doi          = {10.1016/J.JLAMP.2023.100925},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/GiustinaLPRR24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/HasuoOESCK24,
  author       = {Ichiro Hasuo and
                  Yuichiro Oyabu and
                  Clovis Eberhart and
                  Kohei Suenaga and
                  Kenta Cho and
                  Shin{-}ya Katsumata},
  title        = {Control-data separation and logical condition propagation for efficient
                  inference on probabilistic programs},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {136},
  pages        = {100922},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100922},
  doi          = {10.1016/J.JLAMP.2023.100922},
  timestamp    = {Sat, 13 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/HasuoOESCK24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/KosiolJT24,
  author       = {Jens Kosiol and
                  Stefan John and
                  Gabriele Taentzer},
  title        = {A generic construction for crossovers of graph-like structures and
                  its realization in the Eclipse Modeling Framework},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {136},
  pages        = {100909},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100909},
  doi          = {10.1016/J.JLAMP.2023.100909},
  timestamp    = {Sat, 13 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/KosiolJT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/Lucas24,
  author       = {Salvador Lucas},
  title        = {Local confluence of conditional and generalized term rewriting systems},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {136},
  pages        = {100926},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100926},
  doi          = {10.1016/J.JLAMP.2023.100926},
  timestamp    = {Fri, 08 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/Lucas24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/MalettoR24,
  author       = {Giacomo Maletto and
                  Luca Roversi},
  title        = {Certifying expressive power and algorithms of reversible primitive
                  permutations with Lean},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {136},
  pages        = {100923},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100923},
  doi          = {10.1016/J.JLAMP.2023.100923},
  timestamp    = {Fri, 08 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/MalettoR24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/RayaK24,
  author       = {Rodrigo Raya and
                  Viktor Kuncak},
  title        = {On algebraic array theories},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {136},
  pages        = {100906},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100906},
  doi          = {10.1016/J.JLAMP.2023.100906},
  timestamp    = {Fri, 08 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/RayaK24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/WeiZZS24,
  author       = {Zeming Wei and
                  Xiyue Zhang and
                  Yihao Zhang and
                  Meng Sun},
  title        = {Weighted automata extraction and explanation of recurrent neural networks
                  for natural language tasks},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {136},
  pages        = {100907},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100907},
  doi          = {10.1016/J.JLAMP.2023.100907},
  timestamp    = {Wed, 22 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/WeiZZS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/ZhangL24,
  author       = {Yuanrui Zhang and
                  Zhiming Liu},
  title        = {A dynamic logic with branching modalities},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {136},
  pages        = {100921},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100921},
  doi          = {10.1016/J.JLAMP.2023.100921},
  timestamp    = {Tue, 02 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/ZhangL24.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.