Hans Hüttel

	2012
27		Hans Hüttel, Kurt Nørmark: Experiences with Web-based Peer Assessment of Coursework. CSEDU (2) 2012: 113-118
	2011
26		Morten Dahl, Naoki Kobayashi, Yunde Sun, Hans Hüttel: Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols. ATVA 2011: 75-89
25		Hans Hüttel: Typed ψ-calculi. CONCUR 2011: 265-279
	2009
24		Bjørn Haagensen, Hans Hüttel: Parametrised Constants and Replication for Spatial Mobility. COORDINATION 2009: 123-142
23		Jens Chr. Godskesen, Hans Hüttel, Morten Kühnrich: Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks. Electr. Notes Theor. Comput. Sci. 229(2): 77-93 (2009)
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): 124-141 (2002)
14		Hans Hüttel: Deciding Framed Bisimilarity. Electr. Notes Theor. Comput. Sci. 68(6): 1-18 (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: 3-18 (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	Morten Dahl	[26]
5	Ulrik Frendrup	[15]
6	Jens Chr. Godskesen	[22] [23]
7	Andrew D. Gordon (Andy Gordon)	[21]
8	Jan Friso Groote	[7]
9	Bjørn Haagensen	[22] [24]
10	René Rydhof Hansen	[21]
11	Anna Ingólfsdóttir	[10]
12	Jesper Nyholm Jensen	[15]
13	Josva Kleist	[10] [12] [13]
14	Naoki Kobayashi	[20] [26]
15	Morten Kühnrich	[18] [23]
16	Kim Guldstrand Larsen (Kim G. Larsen)	[1]
17	Massimo Merro	[12] [13]
18	Uwe Nestmann	[12] [13]
19	Kurt Nørmark	[27]
20	Michael D. Pedersen	[19]
21	Jirí Srba	[16] [17]
22	Colin Stirling	[3] [5] [9] [11]
23	Yunde Sun	[26]
24	Takashi Suto	[20]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page