Hamza Bandukara
Research Assistant
School of Electronic Engineering and Computer Science
Queen Mary University of London
Publications
Publications of specific relevance to the Centre for Fundamentals of AI and Computational Theory
2025
A Logic For Fresh Labelled Transition SystemsBandukara MH Tzevelekos N
In
Arxiv 17-06-20252023
On-the-fly bisimulation equivalence checking for fresh-register automataBandukara MH
Journal of Systems Architecture,
Elsevier vol. 145
01-12-2023 2022
On-The-Fly Bisimilarity Checking for Fresh-Register AutomataBandukara MH Tzevelekos N
Lecture Notes in Computer Science. vol. 13649, 187-204.
01-01-2022 A Logic for Fresh Labelled Transition SystemsBandukara MH Tzevelekos N
34th EACSL Annual Conference on Computer Science Logic (CSL 2026).
Research Group
