The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Frank Huch: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Anupriya Ankolekar, Frank Huch, Katia P. Sycara
    Concurrent Semantics for the Web Services Specification Language DAML-S. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2002, pp:14-21 [Conf]
  2. Frank Huch
    Model Checking Erlang Programs - LTL-Propositions and Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (2), 2004, pp:438-448 [Conf]
  3. Jan Christiansen, Frank Huch
    Searching for deadlocks while debugging concurrent haskell programs. [Citation Graph (0, 0)][DBLP]
    ICFP, 2004, pp:28-39 [Conf]
  4. Frank Huch
    Verification of Erlang Programs using Abstract Interpretation and Model Mhecking. [Citation Graph (0, 0)][DBLP]
    ICFP, 1999, pp:261-272 [Conf]
  5. Frank Huch, Frank Kupke
    A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell. [Citation Graph (0, 0)][DBLP]
    IFL, 2005, pp:124-141 [Conf]
  6. Michael Hanus, Frank Huch, Philipp Niederau
    ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry. [Citation Graph (0, 0)][DBLP]
    IFL, 2000, pp:89-106 [Conf]
  7. Frank Huch, Ulrich Norbisrath
    Distributed Programming in Haskell with Ports. [Citation Graph (0, 0)][DBLP]
    IFL, 2000, pp:107-121 [Conf]
  8. Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal
    Run-Time Profiling of Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2004, pp:182-197 [Conf]
  9. Bernd Brassel, Sebastian Fischer, Frank Huch
    A Program Transformation for Tracing Functional Logic Computations. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2006, pp:160-176 [Conf]
  10. Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch
    Observing Functional Logic Computations. [Citation Graph (0, 0)][DBLP]
    PADL, 2004, pp:193-208 [Conf]
  11. Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal
    A semantics for tracing declarative multi-paradigm programs. [Citation Graph (0, 0)][DBLP]
    PPDP, 2004, pp:179-190 [Conf]
  12. Anupriya Ankolekar, Frank Huch, Katia P. Sycara
    Concurrent Execution Semantics of DAML-S with Subtypes. [Citation Graph (0, 0)][DBLP]
    International Semantic Web Conference, 2002, pp:318-332 [Conf]
  13. Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
    An Operational Semantics for Declarative Multi-Paradigm Languages. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:6, pp:- [Journal]
  14. Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
    Operational Semantics for Functional Logic Languages. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
  15. Michael Hanus, Klaus Höppner, Frank Huch
    Towards translating embedded Curry to C. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:3, pp:- [Journal]
  16. Frank Huch
    Model checking Erlang programs - abstracting the context-free structure. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:55, n:3, pp:- [Journal]
  17. Frank Huch
    Model Checking Erlang Programs - Abstracting Recursive Function Calls. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:64, n:, pp:- [Journal]
  18. Volker Stolz, Frank Huch
    Runtime Verification of Concurrent Haskell Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:113, n:, pp:201-216 [Journal]
  19. Parissa H. Sadeghi, Frank Huch
    The Interactive Curry Observation Debugger iCODE. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:107-122 [Journal]
  20. Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
    Operational semantics for declarative multi-paradigm languages. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2005, v:40, n:1, pp:795-829 [Journal]
  21. Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal
    Lazy call-by-value evaluation. [Citation Graph (0, 0)][DBLP]
    ICFP, 2007, pp:265-276 [Conf]
  22. Olaf Chitil, Frank Huch
    A Pattern Logic for Prompt Lazy Assertions in Haskell. [Citation Graph (0, 0)][DBLP]
    IFL, 2006, pp:126-144 [Conf]
  23. Jan Christiansen, Frank Huch
    A purely functional implementation of ROBDDs in Haskell. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2006, pp:55-71 [Conf]
  24. Bernd Braßel, Frank Huch
    Translating curry to haskell system demo. [Citation Graph (0, 0)][DBLP]
    WCFLP, 2005, pp:60-65 [Conf]

  25. On a Tighter Integration of Functional and Logic Programming. [Citation Graph (, )][DBLP]


  26. Monadic, Prompt Lazy Assertions in Haskell. [Citation Graph (, )][DBLP]


  27. Learning programming with Erlang. [Citation Graph (, )][DBLP]


  28. The Kiel Curry System KiCS. [Citation Graph (, )][DBLP]


  29. Declaring Numbers. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002