default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logical and Algebraic Methods in Programming, Volume 137

> Home > Journals > Journal of Logical and Algebraic Methods in Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 137, February 2024

Regular articles

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/CastiglioniLT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/CastiglioniLT24
Valentina Castiglioni, Ruggero Lanotte, Simone Tini:
Back to the format: A survey on SOS for probabilistic processes. 100929

Special issue on Specification and Modelling of Computing Systems through Graphs and Graph Transformation (extended selected papers from ICGT 2022)

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/SchneiderMG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/SchneiderMG24
Sven Schneider, Maria Maximova, Holger Giese:
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic. 100938

Special issue on Selected papers of ICFEM 2022

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/SelvarajKAF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/SelvarajKAF24
Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian:
On proving that an unsafe controller is not proven safe. 100939
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/YeFW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/YeFW24
Kangfeng Ye, Simon Foster, Jim Woodcock:
Formally verified animation for RoboChart using interaction trees. 100940
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/BensalemHRTWZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BensalemHRTWZ24
Saddek Bensalem, Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Changshun Wu, Xingyu Zhao:
Bridging formal methods and machine learning with model checking and global optimisation. 100941

Special issue on 33rd Nordic Workshop on Programming Theory (NWPT 2022)

- view
  authority control:
- export record
  dblp key:
  - journals/jlap/NesterV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/NesterV24
Chad Nester, Niels F. W. Voorneveld:
Protocol choice and iteration for the free cornering. 100942

Special issue on Selected papers of ICFEM 2022

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/StockMLE24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/StockMLE24
Sebastian Stock, Atif Mashkoor, Michael Leuschel, Alexander Egyed:
Trace preservation in B and Event-B refinements. 100943

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.