Articles

30 December 2019 /
Identifying and Querying Regularly Visited Places
30 December 2019 /
Generalising KAT to Verify Weighted Computations
30 December 2019 /
Program Algebra for Turing-Machine Programs
6 September 2019 /
On the Relationship Between Matiyasevich’s and Smoryński’s Theorems
5 September 2019
Enumerating Collinear Points in Higher Dimensions
5 September 2019
Weighted Context-Free Grammars Over Bimonoids
5 September 2019
Adams Conditioning and Likelihood Ratio Transfer Mediated Inference
7 March 2019
Fault-Free Refinements for Interface Automata
7 March 2019
SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME
7 March 2019
A Precise Characterisation of Step Traces and Their Concurrent Histories