Jeffrey J P Tsai

Knowledge-Based Software Development For Real-Time Distributed Systems

Hybrid Parallel Execution Model For Logic-Based Specification Languages

Application Of Omics, Ai & Blockchain In Bioinformatics Res

Advances In Machine Learning Applications In Software Engineering

Computational Methods With Appl In Bioinformatics Analysis

Monitoring And Debugging Of Distributed Real-Time Systems

Compositional Verification Of Concurrent And Real-Time Systems

Compositional Verification Of Concurrent And Real-Time Systems