Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(38)
Massimo Merro
7
Johannes Borgstrom (Johannes Borgström)
7
Josva Kleist
6
Sebastien Briais (Sébastien Briais)
6
Rachele Fuzzati
5
Conferences
(17)
CONCUR
4
FMOODS
2
AMAST
1
ASIAN
1
WITS
1
Journals
(10)
ENTCS
5
IANDC
3
TCS
3
JLP
2
EATCS
2
Keywords
(69)
Embed
Subscribe
Academic
Authors
Uwe Nestmann
Uwe Nestmann,Technical University of Berlin,Algorithms & Theory,Distributed & Parallel Computing,Software Engineering
Edit
Uwe Nestmann
Technical University of Berlin
Publications:
49
|
Citations:
464
Fields:
Algorithms & Theory
,
Distributed & Parallel Computing
,
Software Engineering
View FAQ about top research areas and Fields of study
Collaborated with
38 co-authors
from 1995 to 2011
|
Cited by
325 authors
Cumulative
Annual
Sort by:
Publications
(49)
BibTeX
|
RIS
|
RefWorks
Download
Java Goes TLA+
Hannes Lau
,
Uwe Nestmann
Conference:
Theoretical Aspects of Software Engineering - TASE
, 2011
Synchrony vs Causality in the Asynchronous Pi-Calculus
Kirstin Peters
,
Jens-Wolfhard Schicke
,
Uwe Nestmann
Published in 2011.
Service-Orientierte Unterstützung des nationalen Früherkennungsprogramms für Kinder
Nadim Sarrouh
,
Oliver Blankenstein
,
Uwe Nestmann
Conference:
GI-Jahrestagung
, pp. 229-234, 2010
Breaking Symmetries
Kirstin Peters
,
Uwe Nestmann
Journal:
Electronic Proceedings in Theoretical Computer Science
, vol. abs/1007.4, pp. 136-150, 2010
On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems
(
Citations: 1
)
Morten Kühnrich
,
Uwe Nestmann
Conference:
Formal Techniques for Networked and Distributed Systems - FORTE
, pp. 198-212, 2009
Sort by:
Citations
(464 times by 321 publications)
The Calculus in the Calculus
(
Citations: 2
)
Xiaojuan Cai
,
Yuxi Fu
Published in 2011.
A Testing Theory for a Higher-Order Cryptographic Language - (Extended Abstract)
Vasileios Koutavas
,
Matthew Hennessy
Conference:
European Symposium on Programming - ESOP
, pp. 358-377, 2011
Psi-calculi: a framework for mobile processes with nominal data and logic
Jesper Bengtson
,
Magnus Johansson
,
Joachim Parrow
,
Björn Victor
Journal:
Computing Research Repository - CORR
, vol. abs/1101.3, 2011
Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation
Joana Martinho
,
António Ravara
Journal:
Journal of Automated Reasoning - JAR
, vol. 46, no. 3-4, pp. 293-323, 2011
On the expressiveness of interaction
(
Citations: 8
)
Yuxi Fu
,
Hao Lu
Journal:
Theoretical Computer Science - TCS
, vol. 411, no. 11-13, pp. 1387-1451, 2010
Comments