Torben Amtoft

Torben Amtoft Hansen

	2008
27		Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David Greve: Specification and Checking of Software Contracts for Conditional Information Flow. FM 2008: 229-245
26		Ye Zhang, Torben Amtoft, Flemming Nielson: From generic to specific: off-line optimization for a general constraint solver. GPCE 2008: 45-54
25		Torben Amtoft: Slicing for modern program structures: a theory for eliminating irrelevant loops. Inf. Process. Lett. 106(2): 45-51 (2008)
	2007
24		Torben Amtoft, Anindya Banerjee: Verification condition generation for conditional information flow. FMSE 2007: 2-11
23		Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, John Hatcliff, Matthew B. Dwyer: A new foundation for control dependence and slicing for modern program structures. ACM Trans. Program. Lang. Syst. 29(5): (2007)
22		Torben Amtoft, Anindya Banerjee: A logic for information flow analysis with an application to forward slicing of simple imperative programs. Sci. Comput. Program. 64(1): 3-28 (2007)
	2006
21		Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee: A logic for information flow in object-oriented programs. POPL 2006: 91-102
	2005
20		Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, John Hatcliff: A New Foundation for Control-Dependence and Slicing for Modern Program Structures. ESOP 2005: 77-93
	2004
19		Torben Amtoft, Henning Makholm, J. B. Wells: PolyA: True Type Polymorphism for Mobile Ambients. IFIP TCS 2004: 591604
18		Torben Amtoft, Anindya Banerjee: Information Flow Analysis in Logical Form. SAS 2004: 100-115
	2003
17		Torben Amtoft, Robert Muller: Inferring annotated types for inter-procedural register allocation with constructor flattening. TLDI 2003: 86-97
	2002
16		Torben Amtoft, Charles Consel, Olivier Danvy, Karoline Malmkjær: The Abstraction and Instantiation of String-Matching Programs. The Essence of Computation 2002: 332-357
15		Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen: Orderly communication in the Ambient Calculus. Comput. Lang. 28(1): 29-60 (2002)
	2001
14		Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen: What Are Polymorphically-Typed Ambients? ESOP 2001: 206-220
	2000
13		Torben Amtoft, Franklyn A. Turbak: Faithful Translations between Polyvariant Flows and Polymorphic Types. ESOP 2000: 26-40
	1998
12		Hanne Riis Nielson, Torben Amtoft, Flemming Nielson: Behaviour Analysis and Safety Conditions: A Case Study in CML. FASE 1998: 255-269
11		Torben Amtoft, Hanne Riis Nielson, Flemming Nielson: Behavior Analysis for Validating Communication Patterns. STTT 2(1): 13-28 (1998)
	1997
10		Torben Amtoft, Flemming Nielson, Hanne Riis Nielson: Type and Behaviour Reconstruction for Higher-Order Concurrent Programs. J. Funct. Program. 7(3): 321-347 (1997)
	1996
9		Hanne Riis Nielson, Flemming Nielson, Torben Amtoft: Polymorphic Subtyping for Effect Analysis: The Static Semantics. LOMAPS 1996: 141-171
8		Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann: Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics. LOMAPS 1996: 172-206
7		Flemming Nielson, Hanne Riis Nielson, Torben Amtoft: Polymorphic Subtyping for Effect Analysis: The Algorithm. LOMAPS 1996: 207-243
	1994
6		Torben Amtoft: Local Type Reconstruction by Means of Symbolic Fixed Point Iteration. ESOP 1994: 43-57
	1993
5		Torben Amtoft: Minimal Thunkification. WSA 1993: 218-229
	1992
4		Torben Amtoft: Unfold/fold Transformations Preserving Termination Properties. PLILP 1992: 187-201
3		Torben Amtoft, Jesper Larsson Träff: Partial Memoization for Obtaining Linear Time Behavior of a 2DPDA. Theor. Comput. Sci. 98(2): 347-356 (1992)
	1991
2		Torben Amtoft Hansen: Properties of Unfolding-based Meta-level Systems. PEPM 1991: 243-254
	1989
1		Torben Amtoft Hansen, Thomas Nikolajsen, Jesper Larsson Träff, Neil D. Jones: Experiments with Implementations of Two Theoretical Constructions. Logic at Botik 1989: 119-133

Coauthor Index

1	Jürgen Ammann	[8]
2	Sruthi Bandhakavi	[21]
3	Anindya Banerjee	[18] [20] [21] [22] [23] [24]
4	Charles Consel	[16]
5	Olivier Danvy	[16]
6	Matthew B. Dwyer	[20] [23]
7	David Greve	[27]
8	John Hatcliff	[20] [23] [27]
9	Jonathan Hoag	[27]
10	Neil D. Jones	[1]
11	Assaf J. Kfoury (A. J. Kfoury)	[14] [15]
12	Henning Makholm	[19]
13	Karoline Malmkjær	[16]
14	Robert Muller	[17]
15	Flemming Nielson	[7] [8] [9] [10] [11] [12] [26]
16	Hanne Riis Nielson	[7] [8] [9] [10] [11] [12]
17	Thomas Nikolajsen	[1]
18	Santiago M. Pericás-Geertsen	[14] [15]
19	Venkatesh Prasad Ranganath	[20] [23]
20	Robby	[27]
21	Edwin Rodríguez	[27]
22	Jesper Larsson Träff	[1] [3]
23	Franklyn A. Turbak	[13]
24	J. B. Wells	[19]
25	Ye Zhang	[26]

Colors in the list of coauthors