**這是本文件的舊版了喔！**

(Note: this publications list also inlcudes papers that were published during earlier incarations of this laboratory. Please visit DBLP for links to the publisher's electronic version of full text.)

M.-H. Tsai, S. Fogarty, M.Y. Vardi, and Y.-K. Tsay

Logical Methods in Computer Science, 2014. (arXiv:1406.4575)

M.-H. Tsai, Y.-K. Tsay, and Y.-S. Hwang

The 25th International Conference on Computer Aided Verification (CAV 2013), LNCS 8044, 883-889, July 2013.

Y.-K. Tsay, M.-H. Tsai, J.-S. Chang, Y.-W. Chang, and C.-S. Liu

International Journal on Software Tools for Technology Transfer, 15(2):109-123, 2013.

Y.-K. Tsay, M.-H. Tsai, J.-S. Chang, and Y.-W. Chang

The 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2011), LNCS 6605, 262-266, March-April 2011.

M.-H. Tsai, S. Fogarty, M.Y. Vardi, and Y.-K. Tsay

The 15th International Conference on Implementation and Application of Automata (CIAA 2010), LNCS 6482, 261-271, 2011.

Y.-F. Chen, E.M. Clarke, A. Farzan, M.-H. Tsai, Y.-K. Tsay, and B.-Y. Wang

The 22nd International Conference on Computer Aided Verification (CAV 2010), LNCS 6174, 511-526, July 2010.

S. Magill, M.-H. Tsai, P. Lee, and Y.-K. Tsay

The 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2010), 211-222, January 2010.

Y.-K. Tsay, Y.-F. Chen, M.-H. Tsai, K.-N. Wu, W.-C. Chan, C.-J. Luo, and J.-S. Chang

Formal Aspects of Computing, 21(3):259-275, 2009. (DOI: 10.1007/s00165-008-0091-6)

Note: this is a revised and extended version of the one presented at the 2006 Formal Methods in the Teaching Lab Workshop, August 2006.

Y.-F. Chen, A. Farzan, E.M. Clarke, Y.-K. Tsay, and B.-Y. Wang

The 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), LNCS 5505, 31-45, March 2009.

S. Magill, M.-H. Tsai, P. Lee, and Y.-K. Tsay

The 20th International Conference on Computer Aided Verification (CAV 2008), LNCS 5123, 428-432, July 2008.

Y.-K. Tsay and B.-Y. Wang

in Proceedings of the 13th International Conference on Implementation and Application of Automata (CIAA 2008), LNCS 5148, 36-45, Springer. [NSC96-3114-P-001-002-Y], July 2008.

Y.-K. Tsay, Y.-F. Chen, M.-H. Tsai, W.-C. Chan, and C.-J. Luo

The 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008), LNCS 4963, 346–350, March/April 2008.

A. Farzan, Y.-F. Chen, E.M. Clarke, Y.-K. Tsay, and B.-Y. Wang

The 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008), LNCS 4963, 2–17, March/April 2008.

Y.-K. Tsay, Y.-F. Chen, M.-H. Tsai, K.-N. Wu, and W.-C. Chan

The 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2007), LNCS 4424, 466–471, March/April 2007.

D.A. Peled and Y.-K. Tsay

International Journal of Foundations of Computer Science, Vol. 18, No. 1, 1-3. (Note: preface to the ATVA 2005 Special Issue), February 2007.

Ming-Hsien Tsai, Bow-Yaw Wang

ASIAN 2006: 105-119

Ming-Hsien Tsai, Bow-Yaw Wang

ASIAN 2006: 316-330

Y.-K. Tsay, Y.-F. Chen, and K.-N. Wu

The 2006 Formal Methods in the Teaching Lab Workshop(A Workshop at the Formal Methods 2006 Symposium), McMaster University, Hamilton, Ontario, Canada, August 2006.

D.A. Peled and Y.-K. Tsay (Eds.)

LNCS 3707, Springer, October 2005.

J.-W. Teng and Y.-K. Tsay

The 12th International Formal Methods Europe Symposium (FM 2003), LNCS 2805, September 2003.

P.A. Abdulla, K. Cerans, B. Jonsson, and Y.-K. Tsay

Information and Computation, Vol. 160, No. 1/2, 109–127, August 2000.

Y.-K. Tsay

The Conference on Foundations of Software Science and Computation Structures (FOSSACS 2000), LNCS 1784, 344–358, March 2000.

Y.-K. Tsay

The 12th International Symposium on Distributed Computing (DISC 1998), LNCS 1499, 393–407, September 1998.

B. Jonsson and Y.-K. Tsay

Theoretical Computer Science, Vol. 167, 47-72, October 1996.

P.A. Abdulla, K. Cerans, B. Jonsson, and Y.-K. Tsay

The 11th IEEE Symposium on Logic in Computer Science (LICS 1996), 313–321, July 1996.