Modular Logic Programming of Compilers. - Harald Ganzinger; Michael Hanus (SLP, 1985)

Formatierer für Text und Graphik und ihre Implementierung mit Smalltalk-80. - Michael Hanus (Graphik in Dokumenten, 1986)

Horn Clause Specifications with Polymorphic Types. - Michael Hanus (ADT, 1988)

Formal Specification of a Prolog Compiler. - Michael Hanus (PLILP, 1988)

Horn clause specifications with polymorphic types. - Michael Hanus (1988)

Polymorphic High-Order Programming in Prolog. - Michael Hanus (ICLP, 1989)

Logic Programs with Equational Type Specifications (Extended Abstract). - Michael Hanus (ALP, 1990)

A Functional and Logic Language with Polymorphic Types (Extended Abstract). - Michael Hanus (DISCO, 1990)

Compiling Logic Programs with Equality. - Michael Hanus (PLILP, 1990)

Efficient Implementation of Narrowing and Rewriting. - Michael Hanus (PDK, 1991)

The ALF System: An Efficient Implementation of a Functional Logic Language. - Michael Hanus (PDK, 1991)

The ALF System. - Michael Hanus (PLILP, 1991)

Parametric Order-Sorted Types in Logic Programming. - Michael Hanus (TAPSOFT, Vol.2, 1991)

Horn Clause Programs with Polymorphic Types: Semantics and Resolution. - Michael Hanus (Theor. Comput. Sci., 1991)

Logic Programming with Type Specifications. - Michael Hanus (Types in Logic Programming, 1992)

Incremental Rewriting in Narrowing Derivations. - Michael Hanus (ALP, 1992)

On the Completeness of Residuation. - Michael Hanus (JICSLP, 1992)

Improving Control of Logic Programs by Using Functional Logic Languages. - Michael Hanus (PLILP, 1992)

An Abstract Interpretation Algorithm for Residuating Logic Programs. - Michael Hanus (WSA, 1992)

Analysis of Nonlinear Constraints in CLP(R). - Michael Hanus (ICLP, 1993)

A Debugging Model for Functional Logic Programs. - Michael Hanus; Berthold Josephs (PLILP, 1993)

Combining Lazy Narrowing and Normalization. - Michael Hanus (ILPS, 1993)

Lazy Unification with Inductive Simplification. - Michael Hanus (WLP, 1993)

Towards the Global Optimization of Functional Logic Programs. - Michael Hanus (CC, 1994)

Lazy Unification with Simplification. - Michael Hanus (ESOP, 1994)

Combining Lazy Narrowing and Simplification. - Michael Hanus (PLILP, 1994)

Mode Analysis of Functional Logic Programs - Michael Hanus; Frank Zartmann (SAS, 1994)

The Integration of Functions into Logic Programming: From Theory to Practice. - Michael Hanus (J. Log. Program., 1994)

On Extra Variables in (Equational) Logic Programming. - Michael Hanus (ICLP, 1995)

Efficient Translation of Lazy Functional Logic Programs into Prolog. - Michael Hanus (LOPSTR, 1995)

Functional Logic Languages: Combine Search and Efficient Evaluation (Panel Abstract). - Michael Hanus (ILPS, 1995)

Analysis of Residuating Logic Programs. - Michael Hanus (J. Log. Program., 1995)

Compile-time Analysis of Nonlinear Constraints in CLP(R). - Michael Hanus (New Gener. Comput., 1995)

A Denotational Semantics for Needed Narrowing. - Michael Hanus; Salvador Lucas (APPIA-GULP-PRODE, 1996)

Integration of Declarative Paradigms: Benefits and Challenges. - Michael Hanus (ACM Comput. Surv., 1996)

Integration of Functional and Logic Programming. - Michael Hanus; Herbert Kuchen (ACM Comput. Surv., 1996)

A Unified Computation Model for Declarative Programming. - Michael Hanus (APPIA-GULP-PRODE, 1997)

Parallel Evaluation Strategies for Functional Logic Languages. - Sergio Antoy; Rachid Echahed; Michael Hanus (ICLP, 1997)

Teaching Functional and Logic Programming with a Single Computational Model. - Michael Hanus (PLILP, 1997)

A Unified Computation Model for Functional and Logic Programming. - Michael Hanus (POPL, 1997)

Multi-Paradigm Declarative Programming (Abstract). - Michael Hanus (ILPS, 1997)

Curry: A Multi-Paradigm Declarative Language (system description). - Michael Hanus (WLP, 1997)

Lazy Narrowing with Simplification. - Michael Hanus (Comput. Lang., 1997)

Controlling Search in Funtional Logic Programs. - Michael Hanus; Frank Steiner (IJCSLP, 1998)

Controlling Search in Declarative Programs. - Michael Hanus; Frank Steiner (PLILP/ALP, 1998)

Strongly Sequential and Inductively Sequential Term Rewriting Systems. - Michael Hanus; Salvador Lucas; Aart Middeldorp (Inf. Process. Lett., 1998)

A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages. - Michael Hanus; Salvador Lucas (Fuji International Symposium on Functional and Logic Programming, 1999)

Specialization of Inductively Sequential Functional Logic Programs. - María Alpuente; Michael Hanus; Salvador Lucas; Germán Vidal (ICFP, 1999)

A Partial Evaluation Framework for Curry Programs. - Elvira Albert; María Alpuente; Michael Hanus; Germán Vidal (LPAR, 1999)

Distributed Programming in a Multi-Paradigm Declarative Language. - Michael Hanus (PPDP, 1999)

An Abstract Machine for Curry and Its Concurrent Implementation in Java. - Michael Hanus; Ramin Sadre (J. Funct. Log. Program., 1999)

Higher-Order Narrowing with Definitional Trees. - Michael Hanus; Christian Prehofer (J. Funct. Program., 1999)

Compiling Multi-Paradigm Declarative Programs into Prolog. - Sergio Antoy; Michael Hanus (FroCoS, 2000)

ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry. - Michael Hanus; Frank Huch; Philipp Niederau (IFL, 2000)

Using an Abstract Representation to Specialize Functional Logic Programs. - Elvira Albert; Michael Hanus; Germán Vidal (LPAR, 2000)

A Functional Logic Programming Approach to Graphical User Interfaces. - Michael Hanus (PADL, 2000)

Realistic Program Specialization in a Multi-Paradigm Language. - Elvira Albert; Michael Hanus; Germán Vidal (WFLP, 2000)

TkCurry: A Declarative Approach to GUI Programming. - Michael Hanus (WLP, 2000)

PACS: The Portland Aachen Curry System. - Michael Hanus (WLP, 2000)

Server Side Web Scripting in Curry. - Michael Hanus (WLP, 2000)

Type-based Nondeterminism Checking in Functional Logic Programs. - Frank Steiner; Michael Hanus (WLP, 2000)

A needed narrowing strategy. - Sergio Antoy; Rachid Echahed; Michael Hanus (J. ACM, 2000)

A Practical Partial Evaluator for a Multi-Paradigm Declarative Language. - Elvira Albert; Michael Hanus; Germán Vidal (FLOPS, 2001)

An Integrated Development Environment for Declarative Multi-Paradigm Programming. - Michael Hanus; Johannes Koj (WLPE, 2001)

High-Level Server Side Web Scripting in Curry. - Michael Hanus (PADL, 2001)

An Implementation of Narrowing Strategies. - Sergio Antoy; Michael Hanus; Bart Massey; Frank Steiner (PPDP, 2001)

Preface. - Michael Hanus (WFLP, 2001)

An Evaluation Semantics for Narrowing-Based Functional Logic Languages. - Michael Hanus; Salvador Lucas (J. Funct. Log. Program., 2001)

Reduction Strategies for Declarative Programming. - Michael Hanus (WRS, 2001)

A Deterministic Operational Semantics for Functional Logic Programs. - Elvira Albert; Michael Hanus; Frank Huch; Javier Oliver 001; Germán Vidal (APPIA-GULP-PRODE, 2002)

Functional Logic Design Patterns. - Sergio Antoy; Michael Hanus (FLOPS, 2002)

An Operational Semantics for Declarative Multi-Paradigm Languages. - Elvira Albert; Michael Hanus; Frank Huch; Javier Oliver 001; Germán Vidal (WRS, 2002)

Operational Semantics for Functional Logic Languages. - Elvira Albert; Michael Hanus; Frank Huch; Javier Oliver 001; Germán Vidal (WFLP, 2002)

Programming Autonomous Robots in Curry. - Michael Hanus; Klaus Höppner (WFLP, 2002)

A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages. - Elvira Albert; Michael Hanus; Germán Vidal (J. Funct. Log. Program., 2002)

Conditional narrowing without conditions. - Sergio Antoy; Bernd Brassel; Michael Hanus (PPDP, 2003)

Towards translating embedded Curry to C. - Michael Hanus; Klaus Höppner; Frank Huch (WFLP, 2003)

A residualizing semantics for the partial evaluation of functional logic programs. - Elvira Albert; Michael Hanus; Germán Vidal (Inf. Process. Lett., 2003)

A Virtual Machine for Functional Logic Computations. - Sergio Antoy; Michael Hanus; Jimeng Liu; Andrew P. Tolmach (IFL, 2004)

Run-Time Profiling of Functional Logic Programs. - Bernd Brassel; Michael Hanus; Frank Huch; Josep Silva; Germán Vidal (LOPSTR, 2004)

Observing Functional Logic Computations. - Bernd Brassel; Olaf Chitil; Michael Hanus; Frank Huch (PADL, 2004)

A semantics for tracing declarative multi-paradigm programs. - Bernd Brassel; Michael Hanus; Frank Huch; Germán Vidal (PPDP, 2004)

Encapsulating Non-Determinism in Functional Logic Computations. - Bernd Braßel; Michael Hanus; Frank Huch (J. Funct. Log. Program., 2004)

Dynamic Predicates in Functional Logic Programs. - Michael Hanus (J. Funct. Log. Program., 2004)

Concurrent distinct choices. - Sergio Antoy; Michael Hanus (J. Funct. Program., 2004)

Nondeterminism Analysis of Functional Logic Programs. - Bernd Braßel; Michael Hanus (ICLP, 2005)

Declarative Programming with Function Patterns. - Sergio Antoy; Michael Hanus (LOPSTR, 2005)

A generic analysis environment for declarative programs. - Michael Hanus (WCFLP, 2005)

Operational semantics for declarative multi-paradigm languages. - Elvira Albert; Michael Hanus; Frank Huch; Javier Oliver 001; Germán Vidal (J. Symb. Comput., 2005)

Specialization of functional logic programs based on needed narrowing. - María Alpuente; Salvador Lucas; Michael Hanus; Germán Vidal (Theory Pract. Log. Program., 2005)

Overlapping Rules and Logic Variables in Functional Logic Programs . - Sergio Antoy; Michael Hanus (ICLP, 2006)

Adding Constraint Handling Rules to Curry. - Michael Hanus (WLP, 2006)

Reporting Failures in Functional Logic Programs. - Michael Hanus (WFLP, 2006)

Type-Oriented Construction of Web User Interfaces. - Michael Hanus (Softwaretechnik-Trends, 2006)

Lazy call-by-value evaluation. - Bernd Braßel; Michael Hanus; Sebastian Fischer 001; Frank Huch; Germán Vidal (ICFP, 2007)

Multi-paradigm Declarative Languages. - Michael Hanus (ICLP, 2007)

Putting declarative programming into the web: translating curry to javascript. - Michael Hanus (PPDP, 2007)

Compiling ER Specifications into Declarative Programs - Bernd Braßel; Michael Hanus; Marion Müller (CoRR, 2007)

A Generic Analysis Environment for Curry Programs - Michael Hanus (CoRR, 2007)

High-Level Database Programming in Curry. - Bernd Braßel; Michael Hanus; Marion Müller (PADL, 2008)

Call pattern analysis for functional logic programs. - Michael Hanus (PPDP, 2008)

Arbeitstagung Programmiersprachen (ATPS 2009) - Vorwort. - Walter Dosch; Michael Hanus (GI Jahrestagung, 2009)

Declarative Programming of User Interfaces. - Michael Hanus; Christof Kluß (PADL, 2009)

Set functions for functional logic programming. - Sergio Antoy; Michael Hanus (PPDP, 2009)

Transforming Functional Logic Programs into Monadic Functional Programs. - Bernd Braßel; Sebastian Fischer 001; Michael Hanus; Fabian Reck 002 (WFLP, 2010)

Lazy and Enforceable Assertions for Functional Logic Programs. - Michael Hanus (WFLP, 2010)

Functional logic programming. - Sergio Antoy; Michael Hanus (Commun. ACM, 2010)

Declarative Processing of Semistructured Web Data. - Michael Hanus (ICLP (Technical Communications), 2011)

New Functional Logic Design Patterns. - Sergio Antoy; Michael Hanus (WFLP, 2011)

KiCS2: A New Compiler from Curry to Haskell. - Bernd Braßel; Michael Hanus; Björn Peemöller; Fabian Reck 002 (WFLP, 2011)

Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language. - Steffen Mazanek; Michael Hanus (J. Vis. Lang. Comput., 2011)

Xbase: implementing domain-specific languages for Java. - Sven Efftinge; Moritz Eysholdt; Jan Köhnlein; Sebastian Zarnekow; Robert von Massow; Wilhelm Hasselbring; Michael Hanus (GPCE, 2012)

Improving Lazy Non-Deterministic Computations by Demand Analysis. - Michael Hanus (ICLP (Technical Communications), 2012)

Contracts and Specifications for Functional Logic Programming. - Sergio Antoy; Michael Hanus (PADL, 2012)

Search strategies for functional logic programming. - Michael Hanus; Björn Peemöller; Fabian Reck 002 (Software Engineering (Workshops), 2012)

Functional Logic Programming: From Theory to Curry. - Michael Hanus (Programming Logics, 2013)

Implementing Equational Constraints in a Functional Language. - Bernd Braßel; Michael Hanus; Björn Peemöller; Fabian Reck 002 (PADL, 2013)

A semantics for weakly encapsulated search in functional logic programs. - Jan Christiansen; Michael Hanus; Fabian Reck 002; Daniel Seidel (PPDP, 2013)

A Generic Analysis Server System for Functional Logic Programs. - Michael Hanus; Fabian Reck 002 (CoRR, 2013)

Adding Plural Arguments to Curry Programs. - Michael Hanus (Theory Pract. Log. Program., 2013)

Multiparadigm Languages. - Michael Hanus (Computing Handbook, 3rd ed. (1), 2014)

A modular and generic analysis server system for functional logic programs. - Michael Hanus; Fabian Skrlac (PEPM, 2014)

Integration of Finite Domain Constraints in KiCS2. - Michael Hanus; Björn Peemöller; Jan Rasmus Tikovsky (Software Engineering (Workshops), 2014)

Curry without Success. - Sergio Antoy; Michael Hanus (WLP/WFLP, 2014)

Declarative Multi-paradigm Programming. - Michael Hanus (WLP/WFLP, 2014)

A Partial Evaluator for Curry. - Michael Hanus; Björn Peemöller (WLP/WFLP, 2014)

An ER-based framework for declarative web programming. - Michael Hanus; Sven Koschnicke (Theory Pract. Log. Program., 2014)

From Boolean Equalities to Constraints. - Sergio Antoy; Michael Hanus (LOPSTR, 2015)

CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry. - Michael Hanus (PADL, 2015)

CurryCheck: Checking Properties of Curry Programs. - Michael Hanus (LOPSTR, 2016)

A Parser Generator System for Level-based Programming Languages. - Michael Hanus; Jan Rasmus Tikovsky (Software Engineering (Workshops), 2016)

Semantic Versioning Checking in a Declarative Package Manager. - Michael Hanus (ICLP (Technical Communications), 2017)

Eliminating Irrelevant Non-determinism in Functional Logic Programs. - Sergio Antoy; Michael Hanus (PADL, 2017)

Proving Non-Deterministic Computations in Agda. - Sergio Antoy; Michael Hanus; Steven Libby (WLP / WFLP, 2017)

A Typeful Integration of SQL into Curry. - Michael Hanus; Julia Krone (WLP / WFLP, 2017)

Transforming Boolean equalities into constraints. - Sergio Antoy; Michael Hanus (Formal Aspects Comput., 2017)

Default rules for Curry. - Sergio Antoy; Michael Hanus (Theory Pract. Log. Program., 2017)

Equivalence Checking of Non-deterministic Operations. - Sergio Antoy; Michael Hanus (FLOPS, 2018)

Verifying Fail-Free Declarative Programs. - Michael Hanus (PPDP, 2018)

Synthesizing Set Functions. - Sergio Antoy; Michael Hanus; Finn Teegen (WFLP, 2018)

ICurry. - Sergio Antoy; Michael Hanus; Andy Jost; Steven Libby (DECLARE, 2019)

Adding Data to Curry. - Michael Hanus; Finn Teegen (DECLARE, 2019)

Improving Residuation in Declarative Programs. - Michael Hanus (PADL, 2019)

Memoized Pull-Tabbing for Functional Logic Programming. - Michael Hanus; Finn Teegen (WFLP, 2020)

Pre-Proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020). - Michael Hanus; Claudio Sacerdoti Coen (CoRR, 2020)

Combining Static and Dynamic Contract Checking for Curry. - Michael Hanus (Fundam. Informaticae, 2020)

Lightweight Declarative Server-Side Web Programming. - Michael Hanus (PADL, 2021)

From Non-determinism to Goroutines: A Fair Implementation of Curry in Go. - Jonas Böhm; Michael Hanus; Finn Teegen (PPDP, 2021)

A Monadic Implementation of Functional Logic Programs. - Michael Hanus; Kai-Oliver Prott; Finn Teegen (PPDP, 2022)

From Logic to Functional Logic Programs. - Michael Hanus (Theory Pract. Log. Program., 2022)

Hybrid Verification of Declarative Programs with Arithmetic Non-fail Conditions. - Michael Hanus (APLAS, 2024)

Inferring Non-failure Conditions for Declarative Programs. - Michael Hanus (FLOPS, 2024)

Improving Logic Programs by Adding Functions. - Michael Hanus (LOPSTR, 2024)

Functional and logic programming: Selected papers of FLOPS 2022. - Michael Hanus; Atsushi Igarashi (Sci. Comput. Program., 2024)