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    = {Sat, 13 Jan 2024 00:00:00 +0100},
  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    = {Fri, 08 Mar 2024 00:00:00 +0100},
  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    = {Sat, 13 Jan 2024 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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.