| Searching for hanus. |
Results restricted to the author field.
Retrieving citations... Order: citations weighted by year.
932 citations found.
Context Doc 131.9 44 (52): S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. Journal of the ACM, 47(4):776--822, 2000.
Context Doc 127 100 (24): M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. J. Logic Programming, 19,20:583--628, 1994.
Context Doc 96.1 40 (23): M. Hanus. Curry: An Integrated Functional Logic Language. Curry Report #Version 0.5#, January 1999.
Context Doc 86.4 10 (9): Michael Hanus (ed.). PAKCS 1.6.0 the Portland Aachen Kiel Curry system user manual. Available at http://www.informatik.uni-kiel.de/ ~pakcs, 2004. 32
Context Doc 40.8 17 (13): M. Hanus. Distributed programming in a multi-paradigm declarative language. In Proc. of the International Conference on Principles and Practice of Declarative Programming (PPDP'99), volume 1702, pages 376--395. Springer LNCS, 1999.
Context Doc 27.8 17 (15): M. Hanus. A unified computation model for functional and logic programming. In Proc. 24st ACM Symposium on Principles of Programming Languages (POPL'97), pages 80--93, 1997.
Context Doc 27.2 7 (5): M. Hanus. High-level server side web scripting in curry. In 3rd Int. Symposium on Practical Aspects of Declarative Languages, PADL'01, pages 76--92, 2001.
Context Doc 26.4 11 (14): ) Hanus M. and Prehofer C., "Higher-Order Narrowing with Definitional Trees," Journal of Functional Programming, 9, 1, pp. 33--75, 1999.
Context Doc 25.4 19 (1): M. Hanus, H. Kuchen, and J.J. Moreno-Navarro. Curry: A Truly Functional Logic Language. In Proc. ILPS'95 Workshop on Visions for the Future of Logic Programming, pages 95--107, 1995.
Context Doc 23.9 8 (18): S. Antoy and M. Hanus. Compiling multi-paradigm declarative programs into prolog. In H. Kirchner and C. Ringeissen, editors, 3rd International Workshop on Frontiers of Combining Systems,number 1794 in LNCS, pages 171--185. SpringerVerlag, 2000.
Context Doc 20.7 8 (0): Michael Hanus, editor. Curry|An Integrated Functional Logic Language (Version
Context Doc 19.6 12 (17): M. Hanus. A uni ed computation model for functional and logic programming. In Proc. 24st ACM Symposium on Principles of Programming Languages (POPL'97), pages 80-93, 1997.
Context Doc 18.7 18 (10): M. Hanus. Compiling Logic Programs with Equality. In Proceedings of the Second International Workshop on Programming Langauge Implementation and Logic Programming, LNCS 456, pages 387--401, 1990.
Context Doc 16.8 7 (4): M. Hanus and C. Prehofer. Higher-order Narrowing with Denitional Trees. JFP, 9(1):33-75, 1999.
Context Doc 15.5 6 (0): M. Hanus. Analysis of Nonlinear Constraints in CLP(R). In Proc. Tenth International Conference on Logic Programming, pages 83--99. MIT Press.
Context Doc 15.5 3 (8): P. Hanus, D. Mauldin, M. Urbanski, `Thermodynamic formalism and multifractal analysis of conformal in nite iterated function systems', Acta Math. Hungarica 96 (2002) 27-98.
Context Doc 13.3 7 (5): M. Hanus, S. Lucas, and A. Middeldorp. Strongly sequential and inductively sequential term rewriting systems. Information Processing Letters, 67(1):1--8, 1998.
Context Doc 11.9 11 (0): M. Hanus. Horn clause programs with polymorphic types: Semantics and resolution. Theoretical Computer Science, 89:63--106, 1991.
Context Doc 11.6 3 (0): M. Hanus, J. Koj: CIDER: An Integrated Development Environment for Curry, Proc. Workshop on Functional and Logic Programming WFLP'2001.
Context Doc 9.8 6 (12): S. Antoy, R. Echahed, and M. Hanus. Parallel Evaluation Strategies for Functional Logic Languages. Proc. of the 14th Int. Conf. on Logic Programming (ICLP'97), pages 138--152, July 1997.
Context Doc 9.6 4 (4): M. Hanus and C. Prehofer. Higher-Order Narrowing with De nitional Trees. Journal of Functional Programming, 9(1):33-75, 1999.
Context Doc 9.3 7 (0): M. Hanus. On Extra Variables in (Equational) Logic Programming. In Proc. of 20th Int'l Conf. on Logic Programming, pages 665--678. The MIT Press, Cambridge, MA, 1995.
Context Doc 8.9 3 (10): M. Hanus. A Functional Logic Programming Approach to Graphical User Interfaces. In International Workshop on Practical Aspects of Declarative Languages (PADL'00), pp. 47-62. Springer LNCS 1753, 2000.
Context Doc 8.9 3 (7): M. Hanus, S. Antoy, J. Koj, P. Niederau, R. Sadre, and F. Steiner. PAKCS: The Portland Aachen Kiel Curry System. Available at http://www.informatik.uni-kiel.de/~pakcs/, 2000.
Context Doc 7.7 3 (0): Michael Hanus. Server side Web scripting in Curry. In Workshop on (Constraint) Logic Programming and Software Engineering (LPSE2000.
Context Doc 7.7 2 (3): M. Hanus, F. Huch, and P. Niederau. An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry. In Proc. of the 12th International Workshop on Implementation of Functional Languages (IFL 2000), pp. 89-106. Springer LNCS 2011, 2001.
Context Doc 7.7 1 (0): Michael Hanus, "A Truly Integrated Functional Logic Language", "http://www.informatik.uni-kiel.de/~mh/curry/", retrieved by September 2003.
Context Doc 6.3 5 (0): M. Hanus. The integration of functions into logic programming: A survey. The Journal of Logic Programming, 19-20:583--628, 1994. Special issue: Ten Years of Logic Programming.
Context Doc 6.3 5 (2): M. Hanus. Lazy unification with simplification. In Proc. 5th European Symposium on Programming, pages 272--286. Springer LNCS 788, 1994.
Context Doc 5.7 3 (0): M. Hanus and F. Steiner. Controlling search in functional logic programs. In Proc. PLILP'98, 1998.
Context Doc 5.1 1 (0): M. Hanus (editor). Pakcs 1.4.0, user manual. The Portland Aachen Kiel Curry System. Available from http : ==www:informatik:uni ; kiel:de= pakcs=, 2002.
Context Doc 5.1 1 (0): M. Hanus. CurryDoc: A Documentation Tool for Declarative Programs. In Proc. 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002), pp. 225-228. Research Report UDMI/18/2002/RR, University of Udine, 2002.
Context Doc 5.1 1 (0): M. Hanus (eds.) Curry: A Truly Integrated Functional Logic Language, http://www.informatik.uni-kiel.de/~curry, 2002.
Context Doc 5.1 1 (0): M. Hanus and K. Hoppner. Programming autonomous robots in Curry. Electronic Notes in Theoretical Computer Science, 76, 2002.
Context Doc 5.1 1 (0): Walsh KA, Pancake CM, Wright DJ, Haerer S, Hanus FJ, "Humane Interfaces to Improve the Usability of Data Clearinghouses." Proceedings of GIScience 2002; 333-345.
Context Doc 5.1 1 (5): E. Albert, M. Hanus, F. Huch, J. Oliver, and G. Vidal. Operational Semantics for Functional Logic Languages. In Proc. of the Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'02), volume 76 of Electronic Notes in Theoretical Computer Science, 2002.
Context Doc 5.1 1 (0): S. Antoy and M. Hanus. Functional Logic Design Patterns. In Proc. 6th Int. Symp. on Functional and Logic Programming, pp. 67-87. Springer LNCS 2441, 2002.
Context Doc 5.1 5 (0): M. Hanus, Polymorphic higher-order programming in Prolog., Proc. 6th International Conference on Logic Programming, Lisbon, 1989, pp. 382--397.
Context Doc 5 5 (0): R. Hanus, M. Kinnaert, and J. L. Henrotte. Conditioning technique, a general anti-windup and bumpless transfer method. Automatica, 23(6):729--739, 1987.
Context Doc 4.8 2 (4): ) Alpuente M., Hanus M., Lucas S., and Vidal G., "Specialization of Inductively Sequential Functional Logic Programs," in Proc. of the 4th ACM SIGPLAN Int'l Conf. on Functional Programming (ICFP'99), volume 34, 9 of Sigplan Notices, ACM Press, pp. 273--283, 1999.
Context Doc 3.8 1 (1): B. Brael, M. Hanus, and F. Steiner. Embedding processes in a declarative programming language. In Proc. Workshop on Programming Languages and Foundations of Programming, pages 61-73. Aachener Informatik Berichte Nr. AIB-200111, RWTH Aachen, 2001.
Context Doc 3.8 2 (9): M. Hanus and F. Steiner. Controlling Search in Declarative Programs. In Principles of Declarative Programming (Proc. Joint International Symposium PLILP/ALP'98), pp. 374-390. Springer LNCS 1490, 1998. 13
Context Doc 3.8 3 (0): M. Hanus. The Integration of Functions into Logic Programs: A Survey. J. of Logic Programming, 1994.
Context Doc 3.8 3 (0): M. Hanus. Combining Lazy Narrowing with Simplification. In Proc. of 6th Int'l Symp. on Programming Language Implementation and Logic Programming, pages 370--384. Springer LNCS 844, 1994.
Context Doc 3.5 3 (1): M. Hanus and B. Josephs. A debugging model for functional logic programs. In M. Bruynooghe and J. Penjam, editors, Proc. of 5th Int'l Symp. on Programming Language Implementation and Logic Programming, volume 714 of Lecture Notes in Computer Science, pages 28-43. Springer, 1993.
Context Doc 3.3 3 (3): M. Hanus. On the completeness of residuation. In Proc. of the 1992.
Context Doc 3.3 3 (0): M. Hanus. Logic Programming with Type Speci cation. In F. Pfenning, editor, Types in Logic Programming. MIT Press, 1992.
Context Doc 3.3 3 (8): M. Hanus. Improving control of logic programs by using functional logic languages. In Proc. of the 4th International Symposium on Programming Language Implementation and Logic Programming, pages 1--23. Springer LNCS 631, 1992.
Context Doc 3.2 2 (1): Hanus, M., Lazy narrowing with simpli cation, Journal of Computer Languages 23 (1997), pp. 61-85.
Context Doc 3.2 2 (0): Hanus, M., A unified computation model for declarative programming, in: Proc. 1997.
First 50 documents Next 50
The numbers before each article are the weighted number of citations (excluding self-citations), the number of citations, and the predicted number of self-citations. The weighting ranks more recent articles higher. 932 citations were found, of which 418 were predicted to be self-citations. Self-citations are not included in the graph.
Try your query at: Google (CiteSeer) Google (Web) Yahoo! MSN CSB DBLP
CiteSeer.IST - Copyright Penn State and NEC