dblp.uni-trier.dewww.uni-trier.de

Hans Hüttel

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
19EEHans Hüttel, Michael D. Pedersen: A Logical Characterisation of Static Equivalence. Electr. Notes Theor. Comput. Sci. 173: 139-157 (2007)
18EEHans Hüttel, Morten Kühnrich: Types for Access Control in a Calculus of Mobile Resources. Electr. Notes Theor. Comput. Sci. 180(1): 3-15 (2007)
2006
17EEHans Hüttel, Jirí Srba: Decidability Issues for Extended Ping-Pong Protocols. J. Autom. Reasoning 36(1-2): 125-147 (2006)
2005
16EEHans Hüttel, Jirí Srba: Recursion Versus Replication in Simple Cryptographic Protocols. SOFSEM 2005: 178-187
2002
15EEUlrik Frendrup, Hans Hüttel, Jesper Nyholm Jensen: Modal Logics for Cryptographic Processes. Electr. Notes Theor. Comput. Sci. 68(2): (2002)
14EEHans Hüttel: Modal Logics for Cryptographic Processes. Electr. Notes Theor. Comput. Sci. 68(6): (2002)
13EEUwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro: Aliasing Models for Mobile Objects. Inf. Comput. 175(1): 3-33 (2002)
1999
12EEUwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro: Aliasing Models for Object Migration. Euro-Par 1999: 1353-1368
1998
11 Hans Hüttel, Colin Stirling: Actions Speak Louder Than Words: Proving Bisimilarity for Context-Free Processes. J. Log. Comput. 8(4): 485-509 (1998)
1997
10EELuca Aceto, Hans Hüttel, Anna Ingólfsdóttir, Josva Kleist: Relating semantic models for the object calculus. Electr. Notes Theor. Comput. Sci. 7: (1997)
1995
9 Søren Christensen, Hans Hüttel, Colin Stirling: Bisimulation Equivalence is Decidable for All Context-Free Processes Inf. Comput. 121(2): 143-148 (1995)
1994
8 Hans Hüttel: Undecidable Equivalences for Basic Parallel Processes. TACS 1994: 454-464
7 Jan Friso Groote, Hans Hüttel: Undecidable Equivalences for Basic Process Algebra Inf. Comput. 115(2): 354-371 (1994)
1993
6 Søren Christensen, Hans Hüttel: Decidability issues for infinite-state processes- a survey. Bulletin of the EATCS 51: 155-167 (1993)
1992
5 Søren Christensen, Hans Hüttel, Colin Stirling: Bisimulation Equivalence is Decidable for all Context-Free Processes. CONCUR 1992: 138-147
1991
4 Hans Hüttel: Silence is Golden: Branching Bisimilarity is Decidable for Context-Free Processes. CAV 1991: 2-12
3 Hans Hüttel, Colin Stirling: Actions Speak Louder than Words: Proving Bisimilarity for Context-Free Processes LICS 1991: 376-386
1990
2 Hans Hüttel: SnS Can be Modally Characterized. Theor. Comput. Sci. 74(2): 239-248 (1990)
1989
1 Hans Hüttel, Kim Guldstrand Larsen: The Use of Static Constructs in A Modal Process Logic. Logic at Botik 1989: 163-180

Coauthor Index

1Luca Aceto [10]
2Søren Christensen [5] [6] [9]
3Ulrik Frendrup [15]
4Jan Friso Groote [7]
5Anna Ingólfsdóttir [10]
6Jesper Nyholm Jensen [15]
7Josva Kleist [10] [12] [13]
8Morten Kühnrich [18]
9Kim Guldstrand Larsen [1]
10Massimo Merro [12] [13]
11Uwe Nestmann [12] [13]
12Michael D. Pedersen [19]
13Jirí Srba [16] [17]
14Colin Stirling [3] [5] [9] [11]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)