Alvin Tang

Orcid: 0009-0001-1041-5360

Affiliations:
  • Australian National University, Canberra, Australia


According to our database1, Alvin Tang authored at least 3 papers between 2023 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
A Coinductive Representation of Computable Functions.
Proceedings of the 11th Conference on Algebra and Coalgebra in Computer Science, 2025

2023
Automated SELinux RBAC Policy Verification Using SMT.
CoRR, 2023

Implementation of Formal Semantics and the Potential of Non-Classical Logic Systems for the Enhancement of Access Control Models: A Literature Review.
CoRR, 2023


  Loading...