The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael Hanus: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Michael Hanus
    Polymorphic High-Order Programming in Prolog. [Citation Graph (1, 0)][DBLP]
    ICLP, 1989, pp:382-397 [Conf]
  2. Michael Hanus
    Parametric Order-Sorted Types in Logic Programming. [Citation Graph (1, 0)][DBLP]
    TAPSOFT, Vol.2, 1991, pp:181-200 [Conf]
  3. Michael Hanus
    Horn Clause Specifications with Polymorphic Types. [Citation Graph (0, 0)][DBLP]
    ADT, 1988, pp:- [Conf]
  4. Michael Hanus
    A Unified Computation Model for Declarative Programming. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:9-24 [Conf]
  5. Michael Hanus, Salvador Lucas
    A Denotational Semantics for Needed Narrowing. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:259-270 [Conf]
  6. Michael Hanus
    Logic Programs with Equational Type Specifications (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ALP, 1990, pp:70-85 [Conf]
  7. Michael Hanus
    Incremental Rewriting in Narrowing Derivations. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:228-243 [Conf]
  8. Michael Hanus
    Towards the Global Optimization of Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    CC, 1994, pp:68-82 [Conf]
  9. Michael Hanus
    A Functional and Logic Language with Polymorphic Types (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    DISCO, 1990, pp:215-224 [Conf]
  10. Michael Hanus
    Lazy Unification with Simplification. [Citation Graph (0, 0)][DBLP]
    ESOP, 1994, pp:272-286 [Conf]
  11. Elvira Albert, Michael Hanus, Germán Vidal
    A Practical Partial Evaluator for a Multi-Paradigm Declarative Language. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:326-342 [Conf]
  12. Sergio Antoy, Michael Hanus
    Functional Logic Design Patterns. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2002, pp:67-87 [Conf]
  13. Michael Hanus, Salvador Lucas
    A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1999, pp:353-368 [Conf]
  14. Sergio Antoy, Michael Hanus
    Compiling Multi-Paradigm Declarative Programs into Prolog. [Citation Graph (0, 0)][DBLP]
    FroCos, 2000, pp:171-185 [Conf]
  15. Michael Hanus
    Formatierer für Text und Graphik und ihre Implementierung mit Smalltalk-80. [Citation Graph (0, 0)][DBLP]
    Graphik in Dokumenten, 1986, pp:78-89 [Conf]
  16. María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal
    Specialization of Inductively Sequential Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICFP, 1999, pp:273-283 [Conf]
  17. Sergio Antoy, Rachid Echahed, Michael Hanus
    Parallel Evaluation Strategies for Functional Logic Languages. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:138-152 [Conf]
  18. Sergio Antoy, Michael Hanus
    Overlapping Rules and Logic Variables in Functional Logic Programs . [Citation Graph (0, 0)][DBLP]
    ICLP, 2006, pp:87-101 [Conf]
  19. Bernd Braßel, Michael Hanus
    Nondeterminism Analysis of Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:265-279 [Conf]
  20. Michael Hanus, Frank Steiner
    Controlling Search in Funtional Logic Programs. [Citation Graph (0, 0)][DBLP]
    IJCSLP, 1998, pp:347-348 [Conf]
  21. Michael Hanus
    On the Completeness of Residuation. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1992, pp:192-206 [Conf]
  22. Michael Hanus
    Analysis of Nonlinear Constraints in CLP(R). [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:83-99 [Conf]
  23. Michael Hanus
    On Extra Variables in (Equational) Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:665-679 [Conf]
  24. Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew P. Tolmach
    A Virtual Machine for Functional Logic Computations. [Citation Graph (0, 0)][DBLP]
    IFL, 2004, pp:108-125 [Conf]
  25. 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]
  26. Michael Hanus
    Efficient Translation of Lazy Functional Logic Programs into Prolog. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1995, pp:252-266 [Conf]
  27. 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]
  28. Sergio Antoy, Michael Hanus
    Declarative Programming with Function Patterns. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2005, pp:6-22 [Conf]
  29. Elvira Albert, María Alpuente, Michael Hanus, Germán Vidal
    A Partial Evaluation Framework for Curry Programs. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:376-395 [Conf]
  30. Elvira Albert, Michael Hanus, Germán Vidal
    Using an Abstract Representation to Specialize Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPAR, 2000, pp:381-398 [Conf]
  31. Michael Hanus, Berthold Josephs
    A Debugging Model for Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPE, 1992, pp:28-43 [Conf]
  32. Michael Hanus, Johannes Koj
    An Integrated Development Environment for Declarative Multi-Paradigm Programming. [Citation Graph (0, 0)][DBLP]
    WLPE, 2001, pp:- [Conf]
  33. Michael Hanus
    High-Level Server Side Web Scripting in Curry. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:76-92 [Conf]
  34. Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch
    Observing Functional Logic Computations. [Citation Graph (0, 0)][DBLP]
    PADL, 2004, pp:193-208 [Conf]
  35. Michael Hanus
    A Functional Logic Programming Approach to Graphical User Interfaces. [Citation Graph (0, 0)][DBLP]
    PADL, 2000, pp:47-62 [Conf]
  36. Michael Hanus
    Efficient Implementation of Narrowing and Rewriting. [Citation Graph (0, 0)][DBLP]
    PDK, 1991, pp:344-365 [Conf]
  37. Michael Hanus
    The ALF System: An Efficient Implementation of a Functional Logic Language. [Citation Graph (0, 0)][DBLP]
    PDK, 1991, pp:414-416 [Conf]
  38. Michael Hanus
    Formal Specification of a Prolog Compiler. [Citation Graph (0, 0)][DBLP]
    PLILP, 1988, pp:273-282 [Conf]
  39. Michael Hanus
    Compiling Logic Programs with Equality. [Citation Graph (0, 0)][DBLP]
    PLILP, 1990, pp:387-400 [Conf]
  40. Michael Hanus
    The ALF System. [Citation Graph (0, 0)][DBLP]
    PLILP, 1991, pp:423-424 [Conf]
  41. Michael Hanus
    Improving Control of Logic Programs by Using Functional Logic Languages. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:1-23 [Conf]
  42. Michael Hanus
    Combining Lazy Narrowing and Simplification. [Citation Graph (0, 0)][DBLP]
    PLILP, 1994, pp:370-384 [Conf]
  43. Michael Hanus
    Teaching Functional and Logic Programming with a Single Computational Model. [Citation Graph (0, 0)][DBLP]
    PLILP, 1997, pp:335-350 [Conf]
  44. Michael Hanus, Berthold Josephs
    A Debugging Model for Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:28-43 [Conf]
  45. Michael Hanus, Frank Steiner
    Controlling Search in Declarative Programs. [Citation Graph (0, 0)][DBLP]
    PLILP/ALP, 1998, pp:374-390 [Conf]
  46. Sergio Antoy, Rachid Echahed, Michael Hanus
    A Needed Narrowing Strategy. [Citation Graph (0, 0)][DBLP]
    POPL, 1994, pp:268-279 [Conf]
  47. Michael Hanus
    A Unified Computation Model for Functional and Logic Programming. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:80-93 [Conf]
  48. Sergio Antoy, Bernd Brassel, Michael Hanus
    Conditional narrowing without conditions. [Citation Graph (0, 0)][DBLP]
    PPDP, 2003, pp:20-31 [Conf]
  49. Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner
    An Implementation of Narrowing Strategies. [Citation Graph (0, 0)][DBLP]
    PPDP, 2001, pp:207-217 [Conf]
  50. Michael Hanus
    Type-oriented construction of web user interfaces. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:27-38 [Conf]
  51. Michael Hanus
    Distributed Programming in a Multi-Paradigm Declarative Language. [Citation Graph (0, 0)][DBLP]
    PPDP, 1999, pp:188-205 [Conf]
  52. Michael Hanus, Frank Steiner
    Type-based nondeterminism checking in functional logic programs. [Citation Graph (0, 0)][DBLP]
    PPDP, 2000, pp:202-213 [Conf]
  53. 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]
  54. Michael Hanus, Christian Prehofer
    Higher-Order Narrowing with Definitional Trees. [Citation Graph (0, 0)][DBLP]
    RTA, 1996, pp:138-152 [Conf]
  55. Michael Hanus
    An Abstract Interpretation Algorithm for Residuating Logic Programs. [Citation Graph (0, 0)][DBLP]
    WSA, 1992, pp:304-312 [Conf]
  56. Michael Hanus, Frank Zartmann
    Mode Analysis of Functional Logic Programs [Citation Graph (0, 0)][DBLP]
    SAS, 1994, pp:26-42 [Conf]
  57. Harald Ganzinger, Michael Hanus
    Modular Logic Programming of Compilers. [Citation Graph (0, 0)][DBLP]
    SLP, 1985, pp:242-253 [Conf]
  58. Michael Hanus
    Combining Lazy Narrowing and Normalization. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:673- [Conf]
  59. Michael Hanus
    Functional Logic Languages: Combine Search and Efficient Evaluation (Panel Abstract). [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:625-626 [Conf]
  60. Michael Hanus
    Multi-Paradigm Declarative Programming (Abstract). [Citation Graph (0, 0)][DBLP]
    ILPS, 1997, pp:43-45 [Conf]
  61. Michael Hanus
    Horn Clause Programs with Polymorphic Types: Semantics and Resolution. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1989, pp:225-240 [Conf]
  62. Elvira Albert, Michael Hanus, Germán Vidal
    Realistic Program Specialization in a Multi-Paradigm Language. [Citation Graph (0, 0)][DBLP]
    WFLP, 2000, pp:104-119 [Conf]
  63. Michael Hanus
    Server Side Web Scripting in Curry. [Citation Graph (0, 0)][DBLP]
    WFLP, 2000, pp:366-381 [Conf]
  64. Michael Hanus
    TkCurry: A Declarative Approach to GUI Programming. [Citation Graph (0, 0)][DBLP]
    WLP, 2000, pp:149-160 [Conf]
  65. Michael Hanus
    PACS: The Portland Aachen Curry System. [Citation Graph (0, 0)][DBLP]
    WLP, 2000, pp:219-221 [Conf]
  66. Michael Hanus
    Server Side Web Scripting in Curry. [Citation Graph (0, 0)][DBLP]
    15. WLP, 2000, pp:71-84 [Conf]
  67. Michael Hanus
    Adding Constraint Handling Rules to Curry. [Citation Graph (0, 0)][DBLP]
    WLP, 2006, pp:81-90 [Conf]
  68. Michael Hanus
    Lazy Unification with Inductive Simplification. [Citation Graph (0, 0)][DBLP]
    WLP, 1993, pp:42-46 [Conf]
  69. Michael Hanus
    Curry: A Multi-Paradigm Declarative Language (system description). [Citation Graph (0, 0)][DBLP]
    WLP, 1997, pp:0-0 [Conf]
  70. Frank Steiner, Michael Hanus
    Type-based Nondeterminism Checking in Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    WLP, 2000, pp:135-148 [Conf]
  71. Michael Hanus
    Lazy Narrowing with Simplification. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1997, v:23, n:2-4, pp:61-85 [Journal]
  72. María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal
    Specialization of Functional Logic Programs Based on Needed Narrowing [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  73. Michael Hanus
    Integration of Declarative Paradigms: Benefits and Challenges. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:166- [Journal]
  74. Michael Hanus, Herbert Kuchen
    Integration of Functional and Logic Programming. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:2, pp:306-308 [Journal]
  75. 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]
  76. 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]
  77. Michael Hanus
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:64, n:, pp:- [Journal]
  78. Michael Hanus, Klaus Höppner
    Programming Autonomous Robots in Curry. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
  79. 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]
  80. Michael Hanus
    Reporting Failures in Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:59-73 [Journal]
  81. Elvira Albert, Michael Hanus, Germán Vidal
    A residualizing semantics for the partial evaluation of functional logic programs. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2003, v:85, n:1, pp:19-25 [Journal]
  82. Michael Hanus, Salvador Lucas, Aart Middeldorp
    Strongly Sequential and Inductively Sequential Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1998, v:67, n:1, pp:1-8 [Journal]
  83. Sergio Antoy, Rachid Echahed, Michael Hanus
    A needed narrowing strategy. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2000, v:47, n:4, pp:776-822 [Journal]
  84. Elvira Albert, Michael Hanus, Germán Vidal
    A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 2002, v:2002, n:, pp:- [Journal]
  85. Michael Hanus, Salvador Lucas
    An Evaluation Semantics for Narrowing-Based Functional Logic Languages. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 2001, v:2001, n:2, pp:- [Journal]
  86. Michael Hanus, Ramin Sadre
    An Abstract Machine for Curry and Its Concurrent Implementation in Java. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 1999, v:1999, n:Special Issue 1, pp:- [Journal]
  87. Sergio Antoy, Michael Hanus
    Concurrent distinct choices. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2004, v:14, n:6, pp:657-668 [Journal]
  88. Michael Hanus, Christian Prehofer
    Higher-Order Narrowing with Definitional Trees. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1999, v:9, n:1, pp:33-75 [Journal]
  89. Michael Hanus
    The Integration of Functions into Logic Programming: From Theory to Practice. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1994, v:19, n:, pp:583-628 [Journal]
  90. Michael Hanus
    Analysis of Residuating Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1995, v:24, n:3, pp:219-245 [Journal]
  91. 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]
  92. Michael Hanus
    Compile-time Analysis of Nonlinear Constraints in CLP(R). [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1995, v:13, n:2, pp:155-186 [Journal]
  93. Michael Hanus
    Integration of Declarative Paradigms: Benefits and Challenges. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1997, v:32, n:1, pp:77-79 [Journal]
  94. Michael Hanus
    Reduction Strategies for Declarative Programming. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:57, n:, pp:- [Journal]
  95. Michael Hanus
    Horn Clause Programs with Polymorphic Types: Semantics and Resolution. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:89, n:1, pp:63-106 [Journal]
  96. María Alpuente, Salvador Lucas, Michael Hanus, Germán Vidal
    Specialization of functional logic programs based on needed narrowing. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:3, pp:273-303 [Journal]
  97. 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]
  98. Michael Hanus
    Multi-paradigm Declarative Languages. [Citation Graph (0, 0)][DBLP]
    ICLP, 2007, pp:45-75 [Conf]
  99. Michael Hanus
    Putting declarative programming into the web: translating curry to javascript. [Citation Graph (0, 0)][DBLP]
    PPDP, 2007, pp:155-166 [Conf]
  100. Michael Hanus
    A generic analysis environment for declarative programs. [Citation Graph (0, 0)][DBLP]
    WCFLP, 2005, pp:43-48 [Conf]
  101. Michael Hanus
    A Generic Analysis Environment for Curry Programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  102. Vorwort der Workshop-Leitung. [Citation Graph (, )][DBLP]


  103. High-Level Database Programming in Curry. [Citation Graph (, )][DBLP]


  104. Declarative Programming of User Interfaces. [Citation Graph (, )][DBLP]


  105. An ER-Based Framework for Declarative Web Programming. [Citation Graph (, )][DBLP]


  106. Call pattern analysis for functional logic programs. [Citation Graph (, )][DBLP]


  107. Set functions for functional logic programming. [Citation Graph (, )][DBLP]


  108. Functional logic programming. [Citation Graph (, )][DBLP]


  109. Compiling ER Specifications into Declarative Programs [Citation Graph (, )][DBLP]


Search in 0.383secs, Finished in 0.388secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002