Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Proceedings of the IEEE, 1996-08, Vol.84 (8), p.1090-1123
1996

Inference of message sequence charts
IEEE transactions on software engineering, 2003-07, Vol.29 (7), p.623-633
2003


IEEE transactions on computers, 1994-03, Vol.43 (3), p.306-320
1994

Testing, optimization, and games
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004, 2004, p.78-88
2004

IEEE transactions on automatic control, 1998-10, Vol.43 (10), p.1399-1418
1998

CONCUR’99 Concurrency Theory, 1999, p.114-129
1999
Link zum Volltext

Open Access
Analysis of recursive state machines
ACM transactions on programming languages and systems, 2005-07, Vol.27 (4), p.786-818
2005
Link zum Volltext

Theoretical computer science, 2005-12, Vol.348 (2), p.334-356
2005
Link zum Volltext

Journal of algorithms, 1994-11, Vol.17 (3), p.475-502
1994
Link zum Volltext

Testing, Optimizaton, and Games
Automata, Languages and Programming, 2004, p.28-45
2004
Link zum Volltext

Journal of the ACM, 1995-07, Vol.42 (4), p.857-907
1995
Link zum Volltext

IEEE transactions on computers, 2002-02, Vol.51 (2), p.216-228
2002

Journal of the ACM, 1994-09, Vol.41 (5), p.960-981
1994
Link zum Volltext

Annual ACM Symposium on Theory of Computing: Proceedings of the eighteenth annual ACM symposium on Theory of computing; 28-30 May 1986, 1986, p.104-108
1986
Link zum Volltext

SIAM journal on computing, 1981-05, Vol.10 (2), p.310-327
1981
Link zum Volltext


Automata, Languages and Programming, 2005, p.891-903
2005
Link zum Volltext

Journal of computer and system sciences, 1995-04, Vol.50 (2), p.209-227
1995
Link zum Volltext

Journal of computer and system sciences, 1991-12, Vol.43 (3), p.441-466
1991
Link zum Volltext

ACM transactions on programming languages and systems, 2001-05, Vol.23 (3), p.273-303
2001
Link zum Volltext


Journal of computer and system sciences, 1991-12, Vol.43 (3), p.425-440
1991
Link zum Volltext


On the complexity of protein folding
Journal of computational biology, 1998, Vol.5 (3), p.423-465
1998
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n