Mohamed H. Bandukara

Orcid: 0009-0004-0181-5241

According to our database¹, Mohamed H. Bandukara authored at least 3 papers between 2022 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

A Logic for Fresh Labelled Transition Systems.

[DOI]

Proceedings of the 34th EACSL Annual Conference on Computer Science Logic, 2026

2023

On-the-fly bisimulation equivalence checking for fresh-register automata.

[DOI]

J. Syst. Archit., December, 2023

2022

On-The-Fly Bisimilarity Checking for Fresh-Register Automata.

[DOI]

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022