| 2007 |
|---|
| 19 | EE | Hans Hüttel,
Michael D. Pedersen:
A Logical Characterisation of Static Equivalence.
Electr. Notes Theor. Comput. Sci. 173: 139-157 (2007) |
| 18 | EE | Hans 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 |
|---|
| 17 | EE | Hans Hüttel,
Jirí Srba:
Decidability Issues for Extended Ping-Pong Protocols.
J. Autom. Reasoning 36(1-2): 125-147 (2006) |
| 2005 |
|---|
| 16 | EE | Hans Hüttel,
Jirí Srba:
Recursion Versus Replication in Simple Cryptographic Protocols.
SOFSEM 2005: 178-187 |
| 2002 |
|---|
| 15 | EE | Ulrik Frendrup,
Hans Hüttel,
Jesper Nyholm Jensen:
Modal Logics for Cryptographic Processes.
Electr. Notes Theor. Comput. Sci. 68(2): (2002) |
| 14 | EE | Hans Hüttel:
Modal Logics for Cryptographic Processes.
Electr. Notes Theor. Comput. Sci. 68(6): (2002) |
| 13 | EE | Uwe Nestmann,
Hans Hüttel,
Josva Kleist,
Massimo Merro:
Aliasing Models for Mobile Objects.
Inf. Comput. 175(1): 3-33 (2002) |
| 1999 |
|---|
| 12 | EE | Uwe 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 |
|---|
| 10 | EE | Luca 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 |
