Albert Y. C. Lai

According to our database, Albert Y. C. Lai authored at least 4 papers between 2001 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Eager, Lazy, and Other Executions for Predicative Programming.

Albert Y. C. Lai

PhD thesis, 2013

2006

Data structures for symbolic multi-valued model-checking.

Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Y. C. Lai, Steve M. Easterbrook

Formal Methods Syst. Des., 2006

2003

\chiChek: A Model Checker for Multi-Valued Reasoning.

Steve M. Easterbrook, Marsha Chechik, Benet Devereux, Arie Gurfinkel, Albert Y. C. Lai, Victor Petrovykh, Anya Tafliovich, Christopher D. Thompson-Walsh

Proceedings of the 25th International Conference on Software Engineering, 2003

2001

Efficient Multiple-Valued Model-Checking Using Lattice Representations.

Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Albert Y. C. Lai, Victor Petrovykh

Proceedings of the CONCUR 2001, 2001