Prof. Uwe Nestmann

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Prof. Uwe Nestmann - Home

Uwe.Nestmann @ epfl.ch (Spam Notice)
Tenure-Track Assistant Professor

Affiliations
LAMP, GCC, IIF
IFIP TC1, ACM, GI, SARIT
EA{ TCS, PLS }
DHV, THESIS

Research
Publications
Grants
Services
Mobility

Teaching
Courses
Student Projects
Section IN / SAC
Doc School I&C

Local
Pi Club
L{AM}P{D} seminars
I&C Seminars / SRI
Job Openings

Last modified: Wed Feb 16 17:41:25 CET 2005

Coordinates: EPFL-I&C IN BC 349 Station 14 CH-1015 Lausanne Switzerland Tel: +41 21 693 6865 Fax: +41 21 693 6660 getting there campus map	Committees: ICALP 2005 FMOODS 2005 TCS (co-editor EXPRESS'03) JLAP (co-editor Pi-Calculus) ARTS 2004 FMOODS 2003 (co-chair) EXPRESS'03 (co-chair) IWFM'03 NJC (co-editor EXPRESS'02) FoSSaCS 2003 ICFP 2002 EXPRESS 2002 (co-chair) FMOODS 2002 CONCUR '01 CONCUR 2000 HLCL 2000	Collaborators: J. Borgström (doc) S. Briais (doc) D. Bünzli (doc) R. Fuzzati (doc) S. Kramer (doc) formerly: M. Merro (post-doc)
Recent Publications (within the last year): Verifying a Structured Peer-to-peer Overlay Network: The Static Case (16p, with Johannes Borgström, Luc Onana Alima, and Dilian Gurov) In: Proceedings of Global Computing 2004 , LNCS 3267, pages 251-266. © Springer-Verlag (February 2005). Editorial: Selected Papers of the Tenth International Workshop on Expressiveness in Concurrency (EXPRESS'03). (with Flavio Corradini). Journal of Theoretical Computer Science, volume 330, issue 3. © Elsevier Inc. (Online February 2005). On Bisimulations for the Spi Calculus (54p, with Johannes Borgström). EPFL Technical report IC/2004/78 (September 2004); revised version of EPFL Technical Report IC/2003/34. Accepted (February 2004) for publication in: Journal of Mathematical Structures in Computer Science. Verifying a Structured Peer-to-peer Overlay Network: The Static Case (21p, with Johannes Borgström, Luc Onana Alima, and Dilian Gurov) EPFL Technical report IC/2004/76 (September 2004). Symbolic Bisimulation in the Spi Calculus (16p, with Johannes Borgström and Sébastien Briais) In: Proceedings of CONCUR 2004 (acceptance rate 29/134), LNCS 3170, pages 161-176. © Springer-Verlag (September 2004). Proceedings of EXPRESS '03 (acceptance rate 9/29) (10th International Workshop on) Expressiveness in Concurrency (with Flavio Corradini) Published as Volume 96 of ENTCS (June 2004). © 2004 Elsevier B.V. Editorial: Special issue on The pi-calculus (acceptance rate 4/11) (with Björn Victor). In: Journal of Logic and Algebraic Programming, volume 60. © Elsevier Inc. (Online version available since March 2004).