Michael Hanus

ORCID

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 37

Top Venues

CoRR

PADL

LOPSTR

Theory Pract. Log. Program.

Technical University of Dortmund, Germany (PHD)

Education History

Technical University of Dortmund, Germany

PHD

Publications

Michael Hanus, Atsushi Igarashi
Functional and logic programming: Selected papers of FLOPS 2022. Sci. Comput. Program. 238 (2024)
Michael Hanus
Inferring Non-failure Conditions for Declarative Programs. FLOPS (2024)
Michael Hanus
Inferring Non-Failure Conditions for Declarative Programs. CoRR (2024)
Michael Hanus, Kai-Oliver Prott, Finn Teegen
A Monadic Implementation of Functional Logic Programs. PPDP (2022)
Michael Hanus
From Logic to Functional Logic Programs. CoRR (2022)
Michael Hanus
From Logic to Functional Logic Programs. Theory Pract. Log. Program. 22 (4) (2022)
Jonas Böhm, Michael Hanus, Finn Teegen
From Non-determinism to Goroutines: A Fair Implementation of Curry in Go. PPDP (2021)
Michael Hanus
Lightweight Declarative Server-Side Web Programming. PADL (2021)
Michael Hanus, Finn Teegen
Memoized Pull-Tabbing for Functional Logic Programming. CoRR (2020)
Michael Hanus, Finn Teegen
Memoized Pull-Tabbing for Functional Logic Programming. WFLP (2020)
Michael Hanus, Claudio Sacerdoti Coen
Pre-Proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020). CoRR (2020)
Michael Hanus
Combining Static and Dynamic Contract Checking for Curry. Fundam. Informaticae 173 (4) (2020)
Michael Hanus, Finn Teegen
Adding Data to Curry. CoRR (2019)
Michael Hanus
Improving Residuation in Declarative Programs. PADL (2019)
Sergio Antoy, Michael Hanus, Andy Jost, Steven Libby
ICurry. DECLARE (2019)
Michael Hanus, Finn Teegen
Adding Data to Curry. DECLARE (2019)
Sergio Antoy, Michael Hanus
Equivalence Checking of Non-deterministic Operations. CoRR (2019)
Sergio Antoy, Michael Hanus, Andy Jost, Steven Libby
ICurry. CoRR (2019)
Michael Hanus
Verifying Fail-Free Declarative Programs. PPDP (2018)
Sergio Antoy, Michael Hanus
Equivalence Checking of Non-deterministic Operations. FLOPS (2018)
Sergio Antoy, Michael Hanus, Finn Teegen
Synthesizing Set Functions. WFLP (2018)
Sergio Antoy, Michael Hanus, Finn Teegen
Synthesizing Set Functions. CoRR (2018)
Michael Hanus
Semantic Versioning Checking in a Declarative Package Manager. ICLP (Technical Communications) (2017)
Sergio Antoy, Michael Hanus, Steven Libby
Proving Non-Deterministic Computations in Agda. WLP / WFLP (2017)
Michael Hanus
Combining Static and Dynamic Contract Checking for Curry. CoRR (2017)
Sergio Antoy, Michael Hanus
Eliminating Irrelevant Non-determinism in Functional Logic Programs. PADL (2017)
Sergio Antoy, Michael Hanus
Transforming Boolean equalities into constraints. Formal Aspects Comput. 29 (3) (2017)
Sergio Antoy, Michael Hanus
Default rules for Curry. Theory Pract. Log. Program. 17 (2) (2017)
Michael Hanus, Julia Krone
A Typeful Integration of SQL into Curry. WLP / WFLP (2017)
Michael Hanus
Combining Static and Dynamic Contract Checking for Curry. LOPSTR (2017)
Michael Hanus
CurryCheck: Checking Properties of Curry Programs. CoRR (2016)
Sergio Antoy, Michael Hanus
Default Rules for Curry. CoRR (2016)
Sergio Antoy, Michael Hanus
Default Rules for Curry. PADL (2016)
Michael Hanus
CurryCheck: Checking Properties of Curry Programs. LOPSTR (2016)
Michael Hanus, Jan Rasmus Tikovsky
A Parser Generator System for Level-based Programming Languages. Software Engineering (Workshops) (2016)
Michael Hanus
CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry. PADL (2015)
Sergio Antoy, Michael Hanus
From Boolean Equalities to Constraints. LOPSTR (2015)
Michael Hanus, Björn Peemöller
A Partial Evaluator for Curry. WLP/WFLP (2014)
Michael Hanus, Fabian Skrlac
A modular and generic analysis server system for functional logic programs. PEPM (2014)
Michael Hanus
Declarative Multi-paradigm Programming. WLP/WFLP (2014)
Michael Hanus, Sven Koschnicke
An ER-based framework for declarative web programming. Theory Pract. Log. Program. 14 (3) (2014)
Sergio Antoy, Michael Hanus
Curry without Success. WLP/WFLP (2014)
Michael Hanus, Björn Peemöller, Jan Rasmus Tikovsky
Integration of Finite Domain Constraints in KiCS2. Software Engineering (Workshops) (2014)
Michael Hanus
Functional Logic Programming: From Theory to Curry. Programming Logics (2013)
Michael Hanus
Adding Plural Arguments to Curry Programs. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck
Implementing Equational Constraints in a Functional Language. PADL (2013)
Michael Hanus, Fabian Reck
A Generic Analysis Server System for Functional Logic Programs. CoRR (2013)
Jan Christiansen, Michael Hanus, Fabian Reck, Daniel Seidel
A semantics for weakly encapsulated search in functional logic programs. PPDP (2013)
Sven Efftinge, Moritz Eysholdt, Jan Köhnlein, Sebastian Zarnekow, Robert von Massow, Wilhelm Hasselbring, Michael Hanus
Xbase: implementing domain-specific languages for Java. GPCE (2012)
Michael Hanus, Björn Peemöller, Fabian Reck
Search strategies for functional logic programming. Software Engineering (Workshops) (2012)
Sergio Antoy, Michael Hanus
Contracts and Specifications for Functional Logic Programming. PADL (2012)
Michael Hanus
Improving Lazy Non-Deterministic Computations by Demand Analysis. ICLP (Technical Communications) (2012)
Michael Hanus
Declarative Processing of Semistructured Web Data. ICLP (Technical Communications) (2011)
Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck
Implementing Equational Constraints in a Functional Language CoRR (2011)
Sergio Antoy, Michael Hanus
New Functional Logic Design Patterns. WFLP (2011)
Michael Hanus, Sven Koschnicke
An ER-based Framework for Declarative Web Programming CoRR (2011)
Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck
KiCS2: A New Compiler from Curry to Haskell. WFLP (2011)
Steffen Mazanek, Michael Hanus
Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language. J. Vis. Lang. Comput. 22 (1) (2011)
Michael Hanus
Lazy and Enforceable Assertions for Functional Logic Programs. WFLP (2010)
Sergio Antoy, Michael Hanus
Functional logic programming. Commun. ACM 53 (4) (2010)
Bernd Braßel, Sebastian Fischer, Michael Hanus, Fabian Reck
Transforming Functional Logic Programs into Monadic Functional Programs. WFLP (2010)
Michael Hanus, Sven Koschnicke
An ER-Based Framework for Declarative Web Programming. PADL (2010)
Sergio Antoy, Michael Hanus
Set functions for functional logic programming. PPDP (2009)
Walter Dosch, Michael Hanus
Arbeitstagung Programmiersprachen (ATPS 2009) - Vorwort. GI Jahrestagung (2009)
Michael Hanus, Christof Kluß
Declarative Programming of User Interfaces. PADL (2009)
Michael Hanus
Call pattern analysis for functional logic programs. PPDP (2008)
Bernd Braßel, Michael Hanus, Marion Müller
High-Level Database Programming in Curry. PADL (2008)
Michael Hanus
Putting declarative programming into the web: translating curry to javascript. PPDP (2007)
Michael Hanus
Multi-paradigm Declarative Languages. ICLP (2007)
Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal
Lazy call-by-value evaluation. ICFP (2007)
Michael Hanus
Reporting Failures in Functional Logic Programs. Electron. Notes Theor. Comput. Sci. 177 (2007)
Bernd Braßel, Michael Hanus, Marion Müller
Compiling ER Specifications into Declarative Programs CoRR (2007)
Michael Hanus
A Generic Analysis Environment for Curry Programs CoRR (2007)
Michael Hanus
Type-Oriented Construction of Web User Interfaces. Softwaretechnik-Trends 26 (2) (2006)
Michael Hanus
Adding Constraint Handling Rules to Curry. WLP (2006)
Michael Hanus
Type-oriented construction of web user interfaces. PPDP (2006)
Sergio Antoy, Michael Hanus
Overlapping Rules and Logic Variables in Functional Logic Programs . ICLP (2006)
María Alpuente, Salvador Lucas, Michael Hanus, Germán Vidal
Specialization of functional logic programs based on needed narrowing. Theory Pract. Log. Program. 5 (3) (2005)
Sergio Antoy, Michael Hanus
Declarative Programming with Function Patterns. LOPSTR (2005)
Michael Hanus
A generic analysis environment for declarative programs. WCFLP (2005)
Bernd Braßel, Michael Hanus
Nondeterminism Analysis of Functional Logic Programs. ICLP (2005)
Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
Operational semantics for declarative multi-paradigm languages. J. Symb. Comput. 40 (1) (2005)
Michael Hanus
Dynamic Predicates in Functional Logic Programs. J. Funct. Log. Program. 2004 (2004)
Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal
A semantics for tracing declarative multi-paradigm programs. PPDP (2004)
Sergio Antoy, Michael Hanus
Concurrent distinct choices. J. Funct. Program. 14 (6) (2004)
Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch
Observing Functional Logic Computations. PADL (2004)
Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal
Run-Time Profiling of Functional Logic Programs. LOPSTR (2004)
María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal
Specialization of Functional Logic Programs Based on Needed Narrowing CoRR (2004)
Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew P. Tolmach
A Virtual Machine for Functional Logic Computations. IFL (2004)
Bernd Braßel, Michael Hanus, Frank Huch
Encapsulating Non-Determinism in Functional Logic Computations. J. Funct. Log. Program. 2004 (2004)
Sergio Antoy, Bernd Brassel, Michael Hanus
Conditional narrowing without conditions. PPDP (2003)
Elvira Albert, Michael Hanus, Germán Vidal
A residualizing semantics for the partial evaluation of functional logic programs. Inf. Process. Lett. 85 (1) (2003)
Michael Hanus, Klaus Höppner, Frank Huch
Towards translating embedded Curry to C. Electron. Notes Theor. Comput. Sci. 86 (3) (2003)
Sergio Antoy, Michael Hanus
Functional Logic Design Patterns. FLOPS (2002)
Elvira Albert, Michael Hanus, Germán Vidal
A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages. J. Funct. Log. Program. 2002 (2002)
Michael Hanus, Klaus Höppner
Programming Autonomous Robots in Curry. Electron. Notes Theor. Comput. Sci. 76 (2002)
Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
A Deterministic Operational Semantics for Functional Logic Programs. APPIA-GULP-PRODE (2002)
Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
An Operational Semantics for Declarative Multi-Paradigm Languages. Electron. Notes Theor. Comput. Sci. 70 (6) (2002)
Michael Hanus
Preface. Electron. Notes Theor. Comput. Sci. 64 (2002)
Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
Operational Semantics for Functional Logic Languages. Electron. Notes Theor. Comput. Sci. 76 (2002)

Michael Hanus.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael Hanus