Frank Huch Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)