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-2025A Logic for Fresh Labelled Transition SystemsBandukara MH Tzevelekos N
34th EACSL Annual Conference on Computer Science Logic (CSL 2026).
On-the-Fly Bisimilarity Checking for Fresh-Register AutomataBandukara H Tzevelekos N
Symposium on dependable software engineering (SETTA'22).
On-The-Fly Bisimulation Equivalence Checking for Fresh-Register AutomataTzevelekos N Bandukara MH
The Journal of Systems Architecture: Embedded Software Design,
Elsevier
Research Group
