Hans Hüttel Vis

*	2009
22	EE	Bjørn Haagensen, Hans Hüttel: Parametrised Constants and Replication for Spatial Mobility. COORDINATION 2009: 123-142
21	EE	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)
20	EE	Hans Hüttel, Naoki Kobayashi, Takashi Suto: Undecidable equivalences for basic parallel processes. Inf. Comput. 207(7): 812-829 (2009)
	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	EE	Søren Christensen, Hans Hüttel, Colin Stirling: Bisimulation Equivalence is Decidable for all Context-Free Processes. CONCUR 1992: 138-147
	1991
4	EE	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	EE	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	[21]
3	Søren Christensen	[5] [6] [9]
4	Ulrik Frendrup	[15]
5	Jens Chr. Godskesen	[21]
6	Jan Friso Groote	[7]
7	Bjørn Haagensen	[21] [22]
8	Anna Ingólfsdóttir	[10]
9	Jesper Nyholm Jensen	[15]
10	Josva Kleist	[10] [12] [13]
11	Naoki Kobayashi	[20]
12	Morten Kühnrich	[18]
13	Kim Guldstrand Larsen	[1]
14	Massimo Merro	[12] [13]
15	Uwe Nestmann	[12] [13]
16	Michael D. Pedersen	[19]
17	Jirí Srba	[16] [17]
18	Colin Stirling	[3] [5] [9] [11]
19	Takashi Suto	[20]

Colors in the list of coauthors