📄 http:^^www.eecs.tulane.edu:80^www^xing^
字号:
Date: Tuesday, 26-Nov-96 16:42:00 GMTServer: NCSA/1.3MIME-version: 1.0Content-type: text/htmlLast-modified: Tuesday, 22-Oct-96 23:31:59 GMTContent-length: 2329<html><head><title>Cong Xing's hp</title></head><!BODY background BGCOLOR="#FFFFE0"><body background="http://theory.stanford.edu/icons/greenback.gif" text=#000000 link=#001B83 vlink=#003C64><H2>Cong-cong Xing</H2>Graduate Student<p><!IMG height=210, width =210,ALIGN=left SRC = "time14.gif"><!WA0><img height=150, width=150,align="left" src="http://robotics.stanford.edu/people/guibas/portrait.gif">Address<address>Department of Electrical Engineering & Computer Science <br>301 Stanley Thomas Hall <br>Tulane University <br>New Orleans, LA 70118</address><b>Phone number</b>: (504) 865-5840 <br><b>Internet address</b>: <!WA1><a href="mailto:xing@eecs.tulane.edu"> xing@eecs.tulane.edu </a> <br> <!WA2><IMG SRC="http://studentweb.tulane.edu/images/lines/greenblue_line.gif"><BR><h2> Research Interests </h2> <br><ul><li> Type theory of programming languages <li> Object-orientation theory<li> Formal semantics of programming languages<li> Design and analysis of algorithms</ul><br><!WA3><IMG SRC="http://studentweb.tulane.edu/images/lines/greenblue_line.gif"><BR><H2> Research Archive </h2> <ul> <li> <!WA4><a href="http://www.research.digital.com/src/personal/Martin_Abadi/home.html">Martin Abadi's Home Page </a> <li> <!WA5><a href="http://www.research.digital.com/src/personal/Luca_Cardelli/home.html"> Luca Cardelli's Home Page </a><li> <!WA6><a href="http://www.cis.upenn.edu/~gunter/home.html">Carl Gunter's Home Page </a><li> <!WA7><a href="http://www.ccs.neu.edu/home/wand/">Mitchell Wand's Home Page </a><li> <!WA8><a href="http://theory.stanford.edu/people/jcm/home.html">John Mitchell's Home Page </a><li> <!WA9><a href="http://www.cs.williams.edu/~kim">Kim Bruce's Home Page </a><li> <!WA10><a href="http://cs-tr.cs.washington.edu/">NCSTRL (Networked Computer Science Technical Reports Library)home page </a></ul> <H2> Recent Publications </H2>Cong-cong Xing and Bill Buckles,<!WA11><A HREF="ftp://ftp.cs.tulane.edu/pub/buckles/Papers/semigroup.ps"> "On the Number of Expressions Modulo Commutativity over a Finite Semi-Group," </a> submitted to <EM> SIAM J. on Computing</EM>.<BR><!WA12><IMG SRC="http://studentweb.tulane.edu/images/lines/greenblue_line.gif"><BR><!img src="http://www.ibmpcug.co.uk/cgi-bin/counters?fortran&width=5&font=odometer"width=50 height=15 border=0> <p><br></html>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -