📄 http:^^www.cs.utexas.edu^users^emerson^
字号:
MIME-Version: 1.0
Server: CERN/3.0
Date: Monday, 06-Jan-97 19:45:53 GMT
Content-Type: text/html
Content-Length: 1621
Last-Modified: Friday, 10-Nov-95 22:31:39 GMT
<html><head><title>E. Allen Emerson</title></head><body><img src="emerson.gif"> <br><h1>E. Allen Emerson</h1><i>Bruton Centennial Professor <br><br>Computer Sciences Department <br>Taylor Hall 2.124 <br>University of Texas at Austin <br>Austin, Texas 78712 USA <br><br>e-mail: emerson@cs.utexas.edu <br> <br>fax: 1 512 471 8885 <br><br>phone: <dt><dd> 1 512 471 9537 (direct)<br> <dd> 1 512 471 7316 (secretary) </dt><p> <h2>Areas of Research Interest</h2><ul><li> Formal Methods<li> Computer Aided Verification <li> Temporal Logic and Automata on Infinite Objects <li> Concurrent and Distributed Systems</ul><h2>Selected Recent Publications</h2>E. A. Emerson, A. K. Mok, A. P. Sistla, J. Srinivasan, "Quantitative temporal reasoning," <i>Journal of Real-Time Systems</i>, vol. 4, pp. 331-352, 1992. <p>E. A. Emerson, T. H. Sadler, and J. Srinivasan, "Efficient temporal satisfiability," <i>Journal of Logic and Computation</i>, vol. 2, no. 2, pp. 173-210, 1992. <p>E. A. Emerson, "Real-time and the Mu-calculus," in <i>Real-Time: Theory in Practice</i>, J. W. de Bakker et al., Eds. New York: Springer-Verlag Lecture Notes in Computer Science, 1992, no. 600, pp. 176-194. <p>E. A. Emerson and C. S. Jutla, "Tree automata, Mu-calculus, and determinacy," in <i>32nd Annual IEEE Symposium in Foundations of Computing</i> (FOCS), San Juan, Oct. 1991, pp. 368-377. <p>E. A. Emerson, "Temporal and modal logic," in <i>Handbook of Theoretical Computer Science</i>, J. van Leeuwen, Ed. Elsevier/The MIT Press, Amsterdam/Cambridge, Mass., 1990, pp. 995-1072. <p></body></html>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -