Michael Hanus

	2012
128		Sergio Antoy, Michael Hanus: Contracts and Specifications for Functional Logic Programming. PADL 2012: 33-47
127		Michael Hanus, Björn Peemöller, Fabian Reck: Search strategies for functional logic programming. Software Engineering (Workshops) 2012: 61-74
	2011
126		Peter Schneider-Kamp, Michael Hanus: Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark ACM 2011
125		Michael Hanus: Declarative Processing of Semistructured Web Data. ICLP (Technical Communications) 2011: 198-208
124		Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck: KiCS2: A New Compiler from Curry to Haskell. WFLP 2011: 1-18
123		Sergio Antoy, Michael Hanus: New Functional Logic Design Patterns. WFLP 2011: 19-34
122		Michael Hanus, Sven Koschnicke: An ER-based Framework for Declarative Web Programming CoRR abs/1103.4133: (2011)
121		Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck: Implementing Equational Constraints in a Functional Language CoRR abs/1108.5609: (2011)
120		Steffen Mazanek, Michael Hanus: Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language. J. Vis. Lang. Comput. 22(1): 66-89 (2011)
	2010
119		Michael Hanus, Sven Koschnicke: An ER-Based Framework for Declarative Web Programming. PADL 2010: 201-216
118		Bernd Braßel, Sebastian Fischer, Michael Hanus, Fabian Reck: Transforming Functional Logic Programs into Monadic Functional Programs. WFLP 2010: 30-47
117		Michael Hanus: Lazy and Enforceable Assertions for Functional Logic Programs. WFLP 2010: 84-100
116		Sergio Antoy, Michael Hanus: Functional logic programming. Commun. ACM 53(4): 74-85 (2010)
	2009
115		Dietmar Seipel, Michael Hanus, Armin Wolf: Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers Springer 2009
114		Michael Hanus: Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers Springer 2009
113		Walter Dosch, Michael Hanus: Vorwort der Workshop-Leitung. GI Jahrestagung 2009: 362
112		Michael Hanus, Christof Kluß: Declarative Programming of User Interfaces. PADL 2009: 16-30
111		Sergio Antoy, Michael Hanus: Set functions for functional logic programming. PPDP 2009: 73-82
	2008
110		Bernd Braßel, Michael Hanus, Marion Müller: High-Level Database Programming in Curry. PADL 2008: 316-332
109		Michael Hanus: Call pattern analysis for functional logic programs. PPDP 2008: 67-78
	2007
108		Michael Hanus: Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Springer 2007
107		Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal: Lazy call-by-value evaluation. ICFP 2007: 265-276
106		Michael Hanus: Multi-paradigm Declarative Languages. ICLP 2007: 45-75
105		Michael Hanus: Putting declarative programming into the web: translating curry to javascript. PPDP 2007: 155-166
104		Bernd Braßel, Michael Hanus, Marion Müller: Compiling ER Specifications into Declarative Programs CoRR abs/0711.0348: (2007)
103		Michael Hanus: A Generic Analysis Environment for Curry Programs CoRR abs/cs/0701147: (2007)
102		Michael Hanus: Reporting Failures in Functional Logic Programs. Electr. Notes Theor. Comput. Sci. 177: 59-73 (2007)
	2006
101		Sergio Antoy, Michael Hanus: Overlapping Rules and Logic Variables in Functional Logic Programs . ICLP 2006: 87-101
100		Michael Hanus: Type-oriented construction of web user interfaces. PPDP 2006: 27-38
99		Michael Hanus: Adding Constraint Handling Rules to Curry. WLP 2006: 81-90
	2005
98		Sergio Antoy, Michael Hanus: Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005 ACM 2005
97		Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein: Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers Springer 2005
96		Bernd Braßel, Michael Hanus: Nondeterminism Analysis of Functional Logic Programs. ICLP 2005: 265-279
95		Sergio Antoy, Michael Hanus: Declarative Programming with Function Patterns. LOPSTR 2005: 6-22
94		Michael Hanus: A generic analysis environment for declarative programs. WCFLP 2005: 43-48
93		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)
92		María Alpuente, Salvador Lucas, Michael Hanus, Germán Vidal: Specialization of functional logic programs based on needed narrowing. TPLP 5(3): 273-303 (2005)
	2004
91		Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew P. Tolmach: A Virtual Machine for Functional Logic Computations. IFL 2004: 108-125
90		Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal: Run-Time Profiling of Functional Logic Programs. LOPSTR 2004: 182-197
89		Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch: Observing Functional Logic Computations. PADL 2004: 193-208
88		Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal: A semantics for tracing declarative multi-paradigm programs. PPDP 2004: 179-190
87		María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal: Specialization of Functional Logic Programs Based on Needed Narrowing CoRR cs.PL/0403011: (2004)
86		Sergio Antoy, Michael Hanus: Concurrent distinct choices. J. Funct. Program. 14(6): 657-668 (2004)
	2003
85		Sergio Antoy, Bernd Brassel, Michael Hanus: Conditional narrowing without conditions. PPDP 2003: 20-31
84		Michael Hanus, Klaus Höppner, Frank Huch: Towards translating embedded Curry to C. Electr. Notes Theor. Comput. Sci. 86(3): 35-51 (2003)
83		Elvira Albert, Michael Hanus, Germán Vidal: A residualizing semantics for the partial evaluation of functional logic programs. Inf. Process. Lett. 85(1): 19-25 (2003)
	2002
82		Sergio Antoy, Michael Hanus: Functional Logic Design Patterns. FLOPS 2002: 67-87
81		Michael Hanus: Preface. Electr. Notes Theor. Comput. Sci. 64: 308-309 (2002)
80		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): 62-83 (2002)
79		Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal: Operational Semantics for Functional Logic Languages. Electr. Notes Theor. Comput. Sci. 76: 1-19 (2002)
78		Michael Hanus, Klaus Höppner: Programming Autonomous Robots in Curry. Electr. Notes Theor. Comput. Sci. 76: 178-196 (2002)
77		Elvira Albert, Michael Hanus, Germán Vidal: A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages. Journal of Functional and Logic Programming 2002: (2002)
	2001
76		Elvira Albert, Michael Hanus, Germán Vidal: A Practical Partial Evaluator for a Multi-Paradigm Declarative Language. FLOPS 2001: 326-342
75		Michael Hanus: High-Level Server Side Web Scripting in Curry. PADL 2001: 76-92
74		Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner: An Implementation of Narrowing Strategies. PPDP 2001: 207-217
73		Michael Hanus, Johannes Koj: An Integrated Development Environment for Declarative Multi-Paradigm Programming. WLPE 2001
72		Michael Hanus: Reduction Strategies for Declarative Programming. Electr. Notes Theor. Comput. Sci. 57: 184-191 (2001)
71		Michael Hanus, Salvador Lucas: An Evaluation Semantics for Narrowing-Based Functional Logic Languages. Journal of Functional and Logic Programming 2001(2): (2001)
	2000
70		Michael Hanus: Server Side Web Scripting in Curry. 15. WLP 2000: 71-84
69		Sergio Antoy, Michael Hanus: Compiling Multi-Paradigm Declarative Programs into Prolog. FroCos 2000: 171-185
68		Michael Hanus, Frank Huch, Philipp Niederau: ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry. IFL 2000: 89-106
67		Elvira Albert, Michael Hanus, Germán Vidal: Using an Abstract Representation to Specialize Functional Logic Programs. LPAR 2000: 381-398
66		Michael Hanus: A Functional Logic Programming Approach to Graphical User Interfaces. PADL 2000: 47-62
65		Michael Hanus, Frank Steiner: Type-based nondeterminism checking in functional logic programs. PPDP 2000: 202-213
64		Elvira Albert, Michael Hanus, Germán Vidal: Realistic Program Specialization in a Multi-Paradigm Language. WFLP 2000: 104-119
63		Michael Hanus: Server Side Web Scripting in Curry. WFLP 2000: 366-381
62		Frank Steiner, Michael Hanus: Type-based Nondeterminism Checking in Functional Logic Programs. WLP 2000: 135-148
61		Michael Hanus: TkCurry: A Declarative Approach to GUI Programming. WLP 2000: 149-160
60		Michael Hanus: PACS: The Portland Aachen Curry System. WLP 2000: 219-221
59		Sergio Antoy, Rachid Echahed, Michael Hanus: A needed narrowing strategy. J. ACM 47(4): 776-822 (2000)
	1999
58		Michael Hanus, Salvador Lucas: A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages. Fuji International Symposium on Functional and Logic Programming 1999: 353-368
57		María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal: Specialization of Inductively Sequential Functional Logic Programs. ICFP 1999: 273-283
56		Elvira Albert, María Alpuente, Michael Hanus, Germán Vidal: A Partial Evaluation Framework for Curry Programs. LPAR 1999: 376-395
55		Michael Hanus: Distributed Programming in a Multi-Paradigm Declarative Language. PPDP 1999: 188-205
54		Michael Hanus, Christian Prehofer: Higher-Order Narrowing with Definitional Trees. J. Funct. Program. 9(1): 33-75 (1999)
53		Michael Hanus, Ramin Sadre: An Abstract Machine for Curry and Its Concurrent Implementation in Java. Journal of Functional and Logic Programming 1999(Special Issue 1): (1999)
	1998
52		Michael Hanus, Frank Steiner: Controlling Search in Funtional Logic Programs. IJCSLP 1998: 347-348
51		Michael Hanus, Frank Steiner: Controlling Search in Declarative Programs. PLILP/ALP 1998: 374-390
50		Michael Hanus, Salvador Lucas, Aart Middeldorp: Strongly Sequential and Inductively Sequential Term Rewriting Systems. Inf. Process. Lett. 67(1): 1-8 (1998)
	1997
49		Michael Hanus, Jan Heering, Karl Meinke: Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, U.K., Spetember 3-5, 1997, Proceedings Springer 1997
48		Michael Hanus: A Unified Computation Model for Declarative Programming. APPIA-GULP-PRODE 1997: 9-24
47		Sergio Antoy, Rachid Echahed, Michael Hanus: Parallel Evaluation Strategies for Functional Logic Languages. ICLP 1997: 138-152
46		Michael Hanus: Multi-Paradigm Declarative Programming (Abstract). ILPS 1997: 43-45
45		Michael Hanus: Teaching Functional and Logic Programming with a Single Computational Model. PLILP 1997: 335-350
44		Michael Hanus: A Unified Computation Model for Functional and Logic Programming. POPL 1997: 80-93
43		Michael Hanus: Curry: A Multi-Paradigm Declarative Language (system description). WLP 1997: 0-
42		Michael Hanus: Lazy Narrowing with Simplification. Comput. Lang. 23(2-4): 61-85 (1997)
41		Michael Hanus: Integration of Declarative Paradigms: Benefits and Challenges. SIGPLAN Notices 32(1): 77-79 (1997)
	1996
40		Michael Hanus, Mario Rodríguez-Artalejo: Algebraic and Logic Programming, 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996, Proceedings Springer 1996
39		Michael Hanus, Salvador Lucas: A Denotational Semantics for Needed Narrowing. APPIA-GULP-PRODE 1996: 259-270
38		Michael Hanus, Christian Prehofer: Higher-Order Narrowing with Definitional Trees. RTA 1996: 138-152
37		Michael Hanus, Herbert Kuchen: Integration of Functional and Logic Programming. ACM Comput. Surv. 28(2): 306-308 (1996)
36		Michael Hanus: Integration of Declarative Paradigms: Benefits and Challenges. ACM Comput. Surv. 28(4es): 166 (1996)
	1995
35		Michael Hanus: On Extra Variables in (Equational) Logic Programming. ICLP 1995: 665-679
34		Michael Hanus: Functional Logic Languages: Combine Search and Efficient Evaluation (Panel Abstract). ILPS 1995: 625-626
33		Michael Hanus: Efficient Translation of Lazy Functional Logic Programs into Prolog. LOPSTR 1995: 252-266
32		Michael Hanus: Analysis of Residuating Logic Programs. J. Log. Program. 24(3): 219-245 (1995)
31		Michael Hanus: Compile-time Analysis of Nonlinear Constraints in CLP(R). New Generation Comput. 13(2): 155-186 (1995)
	1994
30		Michael Hanus: Towards the Global Optimization of Functional Logic Programs. CC 1994: 68-82
29		Michael Hanus: Lazy Unification with Simplification. ESOP 1994: 272-286
28		Michael Hanus: Combining Lazy Narrowing and Simplification. PLILP 1994: 370-384
27		Sergio Antoy, Rachid Echahed, Michael Hanus: A Needed Narrowing Strategy. POPL 1994: 268-279
26		Michael Hanus, Frank Zartmann: Mode Analysis of Functional Logic Programs SAS 1994: 26-42
25		Michael Hanus: The Integration of Functions into Logic Programming: From Theory to Practice. J. Log. Program. 19/20: 583-628 (1994)
	1993
24		Michael Hanus: Analysis of Nonlinear Constraints in CLP(R). ICLP 1993: 83-99
23		Michael Hanus: Combining Lazy Narrowing and Normalization. ILPS 1993: 673
22		Michael Hanus, Berthold Josephs: A Debugging Model for Functional Logic Programs. PLILP 1993: 28-43
21		Michael Hanus: Lazy Unification with Inductive Simplification. WLP 1993: 42-46
	1992
20		Michael Hanus: Incremental Rewriting in Narrowing Derivations. ALP 1992: 228-243
19		Michael Hanus: On the Completeness of Residuation. JICSLP 1992: 192-206
18		Michael Hanus, Berthold Josephs: A Debugging Model for Functional Logic Programs. LPE 1992: 28-43
17		Michael Hanus: Improving Control of Logic Programs by Using Functional Logic Languages. PLILP 1992: 1-23
16		Michael Hanus: An Abstract Interpretation Algorithm for Residuating Logic Programs. WSA 1992: 304-312
15		Michael Hanus: Logic Programming with Type Specifications. Types in Logic Programming 1992: 91-140
	1991
14		Michael Hanus: Efficient Implementation of Narrowing and Rewriting. PDK 1991: 344-365
13		Michael Hanus: The ALF System: An Efficient Implementation of a Functional Logic Language. PDK 1991: 414-416
12		Michael Hanus: The ALF System. PLILP 1991: 423-424
11		Michael Hanus: Parametric Order-Sorted Types in Logic Programming. TAPSOFT, Vol.2 1991: 181-200
10		Michael Hanus: Horn Clause Programs with Polymorphic Types: Semantics and Resolution. Theor. Comput. Sci. 89(1): 63-106 (1991)
	1990
9		Michael Hanus: Logic Programs with Equational Type Specifications (Extended Abstract). ALP 1990: 70-85
8		Michael Hanus: A Functional and Logic Language with Polymorphic Types (Extended Abstract). DISCO 1990: 215-224
7		Michael Hanus: Compiling Logic Programs with Equality. PLILP 1990: 387-400
	1989
6		Michael Hanus: Polymorphic High-Order Programming in Prolog. ICLP 1989: 382-397
5		Michael Hanus: Horn Clause Programs with Polymorphic Types: Semantics and Resolution. TAPSOFT, Vol.2 1989: 225-240
	1988
4		Michael Hanus: Horn Clause Specifications with Polymorphic Types. ADT 1988
3		Michael Hanus: Formal Specification of a Prolog Compiler. PLILP 1988: 273-282
	1986
2		Michael Hanus: Formatierer für Text und Graphik und ihre Implementierung mit Smalltalk-80. Graphik in Dokumenten 1986: 78-89
	1985
1		Harald Ganzinger, Michael Hanus: Modular Logic Programming of Compilers. SLP 1985: 242-253

Coauthor Index

1	Elvira Albert	[56] [64] [67] [76] [77] [79] [80] [83] [93]
2	María Alpuente	[56] [57] [87] [92]
3	Sergio Antoy	[27] [47] [59] [69] [74] [82] [85] [86] [91] [95] [98] [101] [111] [116] [123] [128]
4	Oskar Bartenstein	[97]
5	Bernd Brassel (Bernd Braßel)	[85] [88] [89] [90] [96] [104] [107] [110] [118] [121] [124]
6	Olaf Chitil	[89]
7	Walter Dosch	[113]
8	Rachid Echahed	[27] [47] [59]
9	Sebastian Fischer	[107] [118]
10	Harald Ganzinger	[1]
11	Ulrich Geske	[97]
12	Jan Heering	[49]
13	Klaus Höppner	[78] [84]
14	Frank Huch	[68] [79] [80] [84] [88] [89] [90] [93] [107]
15	Berthold Josephs	[18] [22]
16	Christof Kluß	[112]
17	Johannes Koj	[73]
18	Sven Koschnicke	[119] [122]
19	Herbert Kuchen	[37]
20	Jimeng Liu	[91]
21	Salvador Lucas	[39] [50] [57] [58] [71] [87] [92]
22	Barton C. Massey (Bart Massey)	[74]
23	Steffen Mazanek	[120]
24	Karl Meinke	[49]
25	Aart Middeldorp	[50]
26	Marion Müller	[104] [110]
27	Philipp Niederau	[68]
28	Javier Oliver	[79] [80] [93]
29	Björn Peemöller	[121] [124] [127]
30	Christian Prehofer	[38] [54]
31	Fabian Reck	[118] [121] [124] [127]
32	Mario Rodríguez-Artalejo	[40]
33	Ramin Sadre	[53]
34	Peter Schneider-Kamp	[126]
35	Dietmar Seipel	[97] [115]
36	Josep Silva	[90]
37	Frank Steiner	[51] [52] [62] [65] [74]
38	Andrew P. Tolmach	[91]
39	Germán Vidal	[56] [57] [64] [67] [76] [77] [79] [80] [83] [87] [88] [90] [92] [93] [107]
40	Armin Wolf	[115]
41	Frank Zartmann	[26]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page