Frank Huch

	2008
31		Bernd Braßel, Sebastian Fischer, Frank Huch: Declaring Numbers. Electr. Notes Theor. Comput. Sci. 216: 111-124 (2008)
	2007
30		Bernd Braßel, Frank Huch: On a Tighter Integration of Functional and Logic Programming. APLAS 2007: 122-138
29		Olaf Chitil, Frank Huch: Monadic, Prompt Lazy Assertions in Haskell. APLAS 2007: 38-53
28		Frank Huch: Learning programming with Erlang. Erlang Workshop 2007: 93-99
27		Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal: Lazy call-by-value evaluation. ICFP 2007: 265-276
26		Bernd Brassel, Frank Huch: The Kiel Curry System KiCS. INAP/WLP 2007: 195-205
25		Parissa H. Sadeghi, Frank Huch: The Interactive Curry Observation Debugger iCODE. Electr. Notes Theor. Comput. Sci. 177: 107-122 (2007)
	2006
24		Andrew Butterfield, Clemens Grelck, Frank Huch: Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers Springer 2006
23		Olaf Chitil, Frank Huch: A Pattern Logic for Prompt Lazy Assertions in Haskell. IFL 2006: 126-144
22		Bernd Brassel, Sebastian Fischer, Frank Huch: A Program Transformation for Tracing Functional Logic Computations. LOPSTR 2006: 160-176
21		Jan Christiansen, Frank Huch: A purely functional implementation of ROBDDs in Haskell. Trends in Functional Programming 2006: 55-71
	2005
20		Clemens Grelck, Frank Huch, Greg Michaelson, Philip W. Trinder: Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers Springer 2005
19		Frank Huch, Frank Kupke: A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell. IFL 2005: 124-141
18		Bernd Braßel, Frank Huch: Translating curry to haskell system demo. WCFLP 2005: 60-65
17		Volker Stolz, Frank Huch: Runtime Verification of Concurrent Haskell Programs. Electr. Notes Theor. Comput. Sci. 113: 201-216 (2005)
16		Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal: Operational semantics for declarative multi-paradigm languages. J. Symb. Comput. 40(1): 795-829 (2005)
	2004
15		Frank Huch: Model Checking Erlang Programs - LTL-Propositions and Abstract Interpretation. GI Jahrestagung (2) 2004: 438-448
14		Jan Christiansen, Frank Huch: Searching for deadlocks while debugging concurrent haskell programs. ICFP 2004: 28-39
13		Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal: Run-Time Profiling of Functional Logic Programs. LOPSTR 2004: 182-197
12		Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch: Observing Functional Logic Computations. PADL 2004: 193-208
11		Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal: A semantics for tracing declarative multi-paradigm programs. PPDP 2004: 179-190
	2003
10		Michael Hanus, Klaus Höppner, Frank Huch: Towards translating embedded Curry to C. Electr. Notes Theor. Comput. Sci. 86(3): (2003)
	2002
9		Anupriya Ankolekar, Frank Huch, Katia P. Sycara: Concurrent Semantics for the Web Services Specification Language DAML-S. COORDINATION 2002: 14-21
8		Anupriya Ankolekar, Frank Huch, Katia P. Sycara: Concurrent Execution Semantics of DAML-S with Subtypes. International Semantic Web Conference 2002: 318-332
7		Frank Huch: Model Checking Erlang Programs - Abstracting Recursive Function Calls. Electr. Notes Theor. Comput. Sci. 64: (2002)
6		Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal: An Operational Semantics for Declarative Multi-Paradigm Languages. Electr. Notes Theor. Comput. Sci. 70(6): (2002)
5		Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal: Operational Semantics for Functional Logic Languages. Electr. Notes Theor. Comput. Sci. 76: (2002)
	2001
4		Frank Huch: Model checking Erlang programs - abstracting the context-free structure. Electr. Notes Theor. Comput. Sci. 55(3): (2001)
	2000
3		Frank Huch, Ulrich Norbisrath: Distributed Programming in Haskell with Ports. IFL 2000: 107-121
2		Michael Hanus, Frank Huch, Philipp Niederau: ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry. IFL 2000: 89-106
	1999
1		Frank Huch: Verification of Erlang Programs using Abstract Interpretation and Model Mhecking. ICFP 1999: 261-272

Coauthor Index

1	Elvira Albert	[5] [6] [16]
2	Anupriya Ankolekar	[8] [9]
3	Bernd Brassel (Bernd Braßel)	[11] [12] [13] [18] [22] [26] [27] [30] [31]
4	Andrew Butterfield	[24]
5	Olaf Chitil	[12] [23] [29]
6	Jan Christiansen	[14] [21]
7	Sebastian Fischer	[22] [27] [31]
8	Clemens Grelck	[20] [24]
9	Michael Hanus	[2] [5] [6] [10] [11] [12] [13] [16] [27]
10	Klaus Höppner	[10]
11	Frank Kupke	[19]
12	Greg Michaelson	[20]
13	Philipp Niederau	[2]
14	Ulrich Norbisrath	[3]
15	Javier Oliver	[5] [6] [16]
16	Parissa H. Sadeghi	[25]
17	Josep Silva	[13]
18	Volker Stolz	[17]
19	Katia P. Sycara (Katia Sycara-Cyranski)	[8] [9]
20	Philip W. Trinder	[20]
21	Germán Vidal	[5] [6] [11] [13] [16] [27]

Colors in the list of coauthors