Hans Hüttel

	2009
23		Bjørn Haagensen, Hans Hüttel: Parametrised Constants and Replication for Spatial Mobility. COORDINATION 2009: 123-142
22		Mikkel Bundgaard, Jens Chr. Godskesen, Bjørn Haagensen, Hans Hüttel: Decidable Fragments of a Higher Order Calculus with Locations. Electr. Notes Theor. Comput. Sci. 242(1): 113-138 (2009)
21		Andrew D. Gordon, Hans Hüttel, René Rydhof Hansen: Type Inference for Correspondence Types. Electr. Notes Theor. Comput. Sci. 242(3): 21-36 (2009)
20		Hans Hüttel, Naoki Kobayashi, Takashi Suto: Undecidable equivalences for basic parallel processes. Inf. Comput. 207(7): 812-829 (2009)
	2007
19		Hans Hüttel, Michael D. Pedersen: A Logical Characterisation of Static Equivalence. Electr. Notes Theor. Comput. Sci. 173: 139-157 (2007)
18		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		Hans Hüttel, Jirí Srba: Decidability Issues for Extended Ping-Pong Protocols. J. Autom. Reasoning 36(1-2): 125-147 (2006)
	2005
16		Hans Hüttel, Jirí Srba: Recursion Versus Replication in Simple Cryptographic Protocols. SOFSEM 2005: 178-187
	2002
15		Ulrik Frendrup, Hans Hüttel, Jesper Nyholm Jensen: Modal Logics for Cryptographic Processes. Electr. Notes Theor. Comput. Sci. 68(2): (2002)
14		Hans Hüttel: Modal Logics for Cryptographic Processes. Electr. Notes Theor. Comput. Sci. 68(6): (2002)
13		Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro: Aliasing Models for Mobile Objects. Inf. Comput. 175(1): 3-33 (2002)
	1999
12		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		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

Coauthor Index

1	Luca Aceto	[10]
2	Mikkel Bundgaard	[22]
3	Søren Christensen	[5] [6] [9]
4	Ulrik Frendrup	[15]
5	Jens Chr. Godskesen	[22]
6	Andrew D. Gordon (Andy Gordon)	[21]
7	Jan Friso Groote	[7]
8	Bjørn Haagensen	[22] [23]
9	René Rydhof Hansen	[21]
10	Anna Ingólfsdóttir	[10]
11	Jesper Nyholm Jensen	[15]
12	Josva Kleist	[10] [12] [13]
13	Naoki Kobayashi	[20]
14	Morten Kühnrich	[18]
15	Kim Guldstrand Larsen	[1]
16	Massimo Merro	[12] [13]
17	Uwe Nestmann	[12] [13]
18	Michael D. Pedersen	[19]
19	Jirí Srba	[16] [17]
20	Colin Stirling	[3] [5] [9] [11]
21	Takashi Suto	[20]

Colors in the list of coauthors