Frank Huch

2008
30	EE	Bernd Braßel, Sebastian Fischer, Frank Huch: Declaring Numbers. Electr. Notes Theor. Comput. Sci. 216: 111-124 (2008)
2007
29	EE	Bernd Braßel, Frank Huch: On a Tighter Integration of Functional and Logic Programming. APLAS 2007: 122-138
28	EE	Olaf Chitil, Frank Huch: Monadic, Prompt Lazy Assertions in Haskell. APLAS 2007: 38-53
27	EE	Frank Huch: Learning programming with Erlang. Erlang Workshop 2007: 93-99
26	EE	Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal: Lazy call-by-value evaluation. ICFP 2007: 265-276
25	EE	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	EE	Olaf Chitil, Frank Huch: A Pattern Logic for Prompt Lazy Assertions in Haskell. IFL 2006: 126-144
22	EE	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	EE	Frank Huch, Frank Kupke: A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell. IFL 2005: 124-141
18	EE	Bernd Braßel, Frank Huch: Translating curry to haskell system demo. WCFLP 2005: 60-65
17	EE	Volker Stolz, Frank Huch: Runtime Verification of Concurrent Haskell Programs. Electr. Notes Theor. Comput. Sci. 113: 201-216 (2005)
16	EE	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	EE	Jan Christiansen, Frank Huch: Searching for deadlocks while debugging concurrent haskell programs. ICFP 2004: 28-39
13	EE	Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal: Run-Time Profiling of Functional Logic Programs. LOPSTR 2004: 182-197
12	EE	Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch: Observing Functional Logic Computations. PADL 2004: 193-208
11	EE	Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal: A semantics for tracing declarative multi-paradigm programs. PPDP 2004: 179-190
2003
10	EE	Michael Hanus, Klaus Höppner, Frank Huch: Towards translating embedded Curry to C. Electr. Notes Theor. Comput. Sci. 86(3): (2003)
2002
9	EE	Anupriya Ankolekar, Frank Huch, Katia P. Sycara: Concurrent Semantics for the Web Services Specification Language DAML-S. COORDINATION 2002: 14-21
8	EE	Anupriya Ankolekar, Frank Huch, Katia P. Sycara: Concurrent Execution Semantics of DAML-S with Subtypes. International Semantic Web Conference 2002: 318-332
7	EE	Frank Huch: Model Checking Erlang Programs - Abstracting Recursive Function Calls. Electr. Notes Theor. Comput. Sci. 64: (2002)
6	EE	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	EE	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	EE	Frank Huch: Model checking Erlang programs - abstracting the context-free structure. Electr. Notes Theor. Comput. Sci. 55(3): (2001)
2000
3	EE	Frank Huch, Ulrich Norbisrath: Distributed Programming in Haskell with Ports. IFL 2000: 107-121
2	EE	Michael Hanus, Frank Huch, Philipp Niederau: ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry. IFL 2000: 89-106
1999
1	EE	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] [29] [30]
4	Andrew Butterfield	[24]
5	Olaf Chitil	[12] [23] [28]
6	Jan Christiansen	[14] [21]
7	Sebastian Fischer	[22] [26] [30]
8	Clemens Grelck	[20] [24]
9	Michael Hanus	[2] [5] [6] [10] [11] [12] [13] [16] [26]
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	[8] [9]
20	Philip W. Trinder	[20]
21	Germán Vidal	[5] [6] [11] [13] [16] [26]

Colors in the list of coauthors