Login / Signup
J. Log. Algebraic Methods Program.
2001
2006
2016
2024
2001
2024
Keyphrases
Publications
volume 141, 2024
Noel Arteche
,
Montserrat Hermo
Towards the exact complexity of realizability for Safety LTL.
J. Log. Algebraic Methods Program.
141 (2024)
Karima Makhlouf
,
Sami Zhioua
,
Catuscia Palamidessi
When causality meets fairness: A survey.
J. Log. Algebraic Methods Program.
141 (2024)
Esther H. Kim
,
Martijn A. Goorden
,
Kim G. Larsen
,
Thomas D. Nielsen
Controlling stormwater detention ponds under partial observability.
J. Log. Algebraic Methods Program.
141 (2024)
Rick Erkens
Optimizing term rewriting with creeper trace transducers.
J. Log. Algebraic Methods Program.
141 (2024)
Davide Basile
,
Maurice H. ter Beek
Advancing orchestration synthesis for contract automata.
J. Log. Algebraic Methods Program.
141 (2024)
Ross Horne
,
Luca Padovani
A logical account of subtyping for session types.
J. Log. Algebraic Methods Program.
141 (2024)
Horatiu Cheval
,
David Nowak
,
Vlad Rusu
Formal definitions and proofs for partial (co)recursive functions.
J. Log. Algebraic Methods Program.
141 (2024)
Elvira Pino
,
Fernando Orejas
,
Nikos Mylonakis
,
Edelmira Pasarella
A logical approach to graph databases.
J. Log. Algebraic Methods Program.
141 (2024)
Zahra Moezkarimi
,
Fatemeh Ghassemi
Efficient analysis of belief properties in process algebra.
J. Log. Algebraic Methods Program.
141 (2024)
volume 140, 2024
Bill Stoddart
,
Steve Dunne
,
Chunyan Mu
,
Frank Zeyda
Bunch theory: Axioms, logic, applications and model.
J. Log. Algebraic Methods Program.
140 (2024)
Andoni Rodríguez
,
César Sánchez
Realizability modulo theories.
J. Log. Algebraic Methods Program.
140 (2024)
Rodrigo Raya
,
Viktor Kuncak
Succinct ordering and aggregation constraints in algebraic array theories.
J. Log. Algebraic Methods Program.
140 (2024)
volume 139, 2024
Matthew Earnshaw
,
Pawel Sobocinski
Regular planar monoidal languages.
J. Log. Algebraic Methods Program.
139 (2024)
Narciso Martí-Oliet
Preface to selected papers from 20th Workshop on Programming and Languages (PROLE 2021).
J. Log. Algebraic Methods Program.
139 (2024)
Edelmira Pasarella
,
Maria-Esther Vidal
,
Cristina Zoltan
,
Juan Pablo Royo Sales
A computational framework based on the dynamic pipeline approach.
J. Log. Algebraic Methods Program.
139 (2024)
Ran Li
,
Huibiao Zhu
,
Richard Banach
An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency.
J. Log. Algebraic Methods Program.
139 (2024)
Luca Ciccone
,
Francesco Dagnino
,
Luca Padovani
Fair termination of multiparty sessions.
J. Log. Algebraic Methods Program.
139 (2024)
Guojun Xie
,
Huanhuan Yang
,
Gang Chen
A framework for formal verification of robot kinematics.
J. Log. Algebraic Methods Program.
139 (2024)
Felix Weitkämper
The generalised distribution semantics and projective families of distributions.
J. Log. Algebraic Methods Program.
139 (2024)
Fereidoun Moradi
,
Sara Abbaspour Asadollah
,
Bahman Pourvatan
,
Zahra Moezkarimi
,
Marjan Sirjani
CRYSTAL framework: Cybersecurity assurance for cyber-physical systems.
J. Log. Algebraic Methods Program.
139 (2024)
Hitoshi Furusawa
,
Walter Guttmann
,
Georg Struth
Determinism of multirelations.
J. Log. Algebraic Methods Program.
139 (2024)
volume 138, 2024
Pietro Lami
,
Ivan Lanese
,
Jean-Bernard Stefani
,
Claudio Sacerdoti Coen
,
Giovanni Fabbretti
Reversible debugging of concurrent Erlang programs: Supporting imperative primitives.
J. Log. Algebraic Methods Program.
138 (2024)
Davide Basile
,
Maurice H. ter Beek
,
Alessandro Fantechi
,
Stefania Gnesi
Coherent modal transition systems refinement.
J. Log. Algebraic Methods Program.
138 (2024)
Nikolai M. Suvorov
,
Irina A. Lomazova
Verification of data-aware process models: Checking soundness of data Petri nets.
J. Log. Algebraic Methods Program.
138 (2024)
volume 137, 2024
Saddek Bensalem
,
Xiaowei Huang
,
Wenjie Ruan
,
Qiyi Tang
,
Changshun Wu
,
Xingyu Zhao
Bridging formal methods and machine learning with model checking and global optimisation.
J. Log. Algebraic Methods Program.
137 (2024)
Sven Schneider
,
Maria Maximova
,
Holger Giese
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic.
J. Log. Algebraic Methods Program.
137 (2024)
Kangfeng Ye
,
Simon Foster
,
Jim Woodcock
Formally verified animation for RoboChart using interaction trees.
J. Log. Algebraic Methods Program.
137 (2024)
Yuvaraj Selvaraj
,
Jonas Krook
,
Wolfgang Ahrendt
,
Martin Fabian
On proving that an unsafe controller is not proven safe.
J. Log. Algebraic Methods Program.
137 (2024)
Chad Nester
,
Niels F. W. Voorneveld
Protocol choice and iteration for the free cornering.
J. Log. Algebraic Methods Program.
137 (2024)
Sebastian Stock
,
Atif Mashkoor
,
Michael Leuschel
,
Alexander Egyed
Trace preservation in B and Event-B refinements.
J. Log. Algebraic Methods Program.
137 (2024)
Valentina Castiglioni
,
Ruggero Lanotte
,
Simone Tini
Back to the format: A survey on SOS for probabilistic processes.
J. Log. Algebraic Methods Program.
137 (2024)
volume 136, 2024
Abdelkrim Abdelli
over-approximation of preemptive real-time systems.
J. Log. Algebraic Methods Program.
136 (2024)
Rodrigo Raya
,
Viktor Kuncak
On algebraic array theories.
J. Log. Algebraic Methods Program.
136 (2024)
Luc Edixhoven
,
Sung-Shik Jongmans
,
José Proença
,
Ilaria Castellani
Branching pomsets: Design, expressiveness and applications to choreographies.
J. Log. Algebraic Methods Program.
136 (2024)
Yuanrui Zhang
,
Zhiming Liu
A dynamic logic with branching modalities.
J. Log. Algebraic Methods Program.
136 (2024)
Zeming Wei
,
Xiyue Zhang
,
Yihao Zhang
,
Meng Sun
Weighted automata extraction and explanation of recurrent neural networks for natural language tasks.
J. Log. Algebraic Methods Program.
136 (2024)
Jens Kosiol
,
Stefan John
,
Gabriele Taentzer
A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework.
J. Log. Algebraic Methods Program.
136 (2024)
Clément Aubert
The correctness of concurrencies in (reversible) concurrent calculi.
J. Log. Algebraic Methods Program.
136 (2024)
Davide Della Giustina
,
C. Londero
,
Carla Piazza
,
Brian Riccardi
,
Riccardo Romanello
Quantum encoding of dynamic directed graphs.
J. Log. Algebraic Methods Program.
136 (2024)
Ichiro Hasuo
,
Yuichiro Oyabu
,
Clovis Eberhart
,
Kohei Suenaga
,
Kenta Cho
,
Shin-ya Katsumata
Control-data separation and logical condition propagation for efficient inference on probabilistic programs.
J. Log. Algebraic Methods Program.
136 (2024)
Francisco Durán
,
Nicolás Pozas
,
Camilo Rocha
Business processes resource management using rewriting logic and deep-learning-based predictive monitoring.
J. Log. Algebraic Methods Program.
136 (2024)
Salvador Lucas
Local confluence of conditional and generalized term rewriting systems.
J. Log. Algebraic Methods Program.
136 (2024)
Giacomo Maletto
,
Luca Roversi
Certifying expressive power and algorithms of reversible primitive permutations with Lean.
J. Log. Algebraic Methods Program.
136 (2024)
volume 135, 2023
Raúl López-Rueda
,
Santiago Escobar
,
Julia Sapiña
An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis.
J. Log. Algebraic Methods Program.
135 (2023)
Stefan Ciobaca
,
Dorel Lucanu
,
Andrei-Sebastian Buruiana
Operationally-based program equivalence proofs using LCTRSs.
J. Log. Algebraic Methods Program.
135 (2023)
Paul W. Wilson
,
Fabio Zanasi
An axiomatic approach to differentiation of polynomial circuits.
J. Log. Algebraic Methods Program.
135 (2023)
Misaki Kojima
,
Naoki Nishida
Reducing non-occurrence of specified runtime errors to all-path reachability problems of constrained rewriting.
J. Log. Algebraic Methods Program.
135 (2023)
Fabio Gadducci
,
Timo Kehrer
Specification and modelling of computing systems through graphs and graph transformation.
J. Log. Algebraic Methods Program.
135 (2023)
Nicolas Behr
,
Russ Harmer
,
Jean Krivine
Fundamentals of compositional rewriting theory.
J. Log. Algebraic Methods Program.
135 (2023)
Adrian Francalanza
,
Gerard Tabone
ElixirST: A session-based type system for Elixir modules.
J. Log. Algebraic Methods Program.
135 (2023)