The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Michael Hanus" ( http://dblp.L3S.de/Authors/Michael_Hanus )

URL (Homepage):  http://www.informatik.uni-kiel.de/~mh/  Author page on DBLP  Author page in RDF  Community of Michael Hanus in ASPL-2

Publication years (Num. hits)
1985-1991 (15) 1992-1994 (17) 1995-1997 (19) 1998-2000 (21) 2001-2003 (16) 2004-2005 (16) 2006-2009 (18) 2010-2012 (15) 2013-2015 (15) 2016-2018 (18) 2019 (4)
Publication types (Num. hits)
article(47) incollection(2) inproceedings(112) phdthesis(1) proceedings(12)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 29 occurrences of 18 keywords

Results
Found 175 publication records. Showing 174 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Sergio Antoy, Michael Hanus Equivalence Checking of Non-deterministic Operations. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Michael Hanus, Finn Teegen Adding Data to Curry. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Sergio Antoy, Michael Hanus, Andy Jost, Steven Libby ICurry. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Michael Hanus Improving Residuation in Declarative Programs. Search on Bibsonomy PADL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus, Finn Teegen Synthesizing Set Functions. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.) Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers Search on Bibsonomy DECLARE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus, Finn Teegen Synthesizing Set Functions. Search on Bibsonomy WFLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus Equivalence Checking of Non-deterministic Operations. Search on Bibsonomy FLOPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Hanus Verifying Fail-Free Declarative Programs. Search on Bibsonomy PPDP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Hanus Combining Static and Dynamic Contract Checking for Curry. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Michael Hanus, Julia Krone A Typeful Integration of SQL into Curry. Search on Bibsonomy WLP / WFLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus, Steven Libby Proving Non-Deterministic Computations in Agda. Search on Bibsonomy WLP / WFLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus Default rules for Curry. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus Transforming Boolean equalities into constraints. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus Eliminating Irrelevant Non-determinism in Functional Logic Programs. Search on Bibsonomy PADL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Hanus Semantic Versioning Checking in a Declarative Package Manager. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Hanus Combining Static and Dynamic Contract Checking for Curry. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Hanus CurryCheck: Checking Properties of Curry Programs. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Sergio Antoy, Michael Hanus Default Rules for Curry. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Sergio Antoy, Michael Hanus Default Rules for Curry. Search on Bibsonomy PADL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michael Hanus, Jan Rasmus Tikovsky A Parser Generator System for Level-based Programming Languages. Search on Bibsonomy Software Engineering (Workshops) The full citation details ... 2016 DBLP  BibTeX  RDF
1Michael Hanus CurryCheck: Checking Properties of Curry Programs. Search on Bibsonomy LOPSTR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michael Hanus CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry. Search on Bibsonomy PADL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus From Boolean Equalities to Constraints. Search on Bibsonomy LOPSTR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael Hanus, Sven Koschnicke An ER-based framework for declarative web programming. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Hanus Multiparadigm Languages. Search on Bibsonomy Computing Handbook, 3rd ed. (1) The full citation details ... 2014 DBLP  BibTeX  RDF
1Michael Hanus, Fabian Skrlac A modular and generic analysis server system for functional logic programs. Search on Bibsonomy PEPM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Hanus, Björn Peemöller, Jan Rasmus Tikovsky Integration of Finite Domain Constraints in KiCS2. Search on Bibsonomy Software Engineering (Workshops) The full citation details ... 2014 DBLP  BibTeX  RDF
1Michael Hanus, Ricardo Rocha 0001 (eds.) Declarative Programming and Knowledge Management - Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers Search on Bibsonomy KDPD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Hanus Declarative Multi-paradigm Programming. Search on Bibsonomy WLP/WFLP The full citation details ... 2014 DBLP  BibTeX  RDF
1Michael Hanus, Björn Peemöller A Partial Evaluator for Curry. Search on Bibsonomy WLP/WFLP The full citation details ... 2014 DBLP  BibTeX  RDF
1Sergio Antoy, Michael Hanus Curry without Success. Search on Bibsonomy WLP/WFLP The full citation details ... 2014 DBLP  BibTeX  RDF
1Michael Hanus, Fabian Reck A Generic Analysis Server System for Functional Logic Programs. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Michael Hanus Adding Plural Arguments to Curry Programs. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck Implementing Equational Constraints in a Functional Language. Search on Bibsonomy PADL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Michael Hanus Functional Logic Programming: From Theory to Curry. Search on Bibsonomy Programming Logics The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jan Christiansen, Michael Hanus, Fabian Reck, Daniel Seidel A semantics for weakly encapsulated search in functional logic programs. Search on Bibsonomy PPDP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus Contracts and Specifications for Functional Logic Programming. Search on Bibsonomy PADL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Michael Hanus, Björn Peemöller, Fabian Reck Search strategies for functional logic programming. Search on Bibsonomy Software Engineering (Workshops) The full citation details ... 2012 DBLP  BibTeX  RDF
1Michael Hanus Improving Lazy Non-Deterministic Computations by Demand Analysis. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sven Efftinge, Moritz Eysholdt, Jan Köhnlein, Sebastian Zarnekow, Robert von Massow, Wilhelm Hasselbring, Michael Hanus Xbase: implementing domain-specific languages for Java. Search on Bibsonomy GPCE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck Implementing Equational Constraints in a Functional Language Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Michael Hanus, Sven Koschnicke An ER-based Framework for Declarative Web Programming Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Steffen Mazanek, Michael Hanus Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language. Search on Bibsonomy J. Vis. Lang. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael Hanus Declarative Processing of Semistructured Web Data. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus New Functional Logic Design Patterns. Search on Bibsonomy WFLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck KiCS2: A New Compiler from Curry to Haskell. Search on Bibsonomy WFLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Peter Schneider-Kamp, Michael Hanus (eds.) Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark Search on Bibsonomy PPDP The full citation details ... 2011 DBLP  BibTeX  RDF
1Sergio Antoy, Michael Hanus Functional logic programming. Search on Bibsonomy Commun. ACM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michael Hanus, Sven Koschnicke An ER-Based Framework for Declarative Web Programming. Search on Bibsonomy PADL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michael Hanus Lazy and Enforceable Assertions for Functional Logic Programs. Search on Bibsonomy WFLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bernd Braßel, Sebastian Fischer, Michael Hanus, Fabian Reck Transforming Functional Logic Programs into Monadic Functional Programs. Search on Bibsonomy WFLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michael Hanus, Christof Kluß Declarative Programming of User Interfaces. Search on Bibsonomy PADL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Dietmar Seipel, Michael Hanus, Armin Wolf (eds.) 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 Search on Bibsonomy INAP/WLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus Set functions for functional logic programming. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF rewrite systems, non-determinism, subspaces, functional logic programming languages
1Walter Dosch, Michael Hanus Vorwort der Workshop-Leitung. Search on Bibsonomy GI Jahrestagung The full citation details ... 2009 DBLP  BibTeX  RDF
1Michael Hanus (eds.) Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers Search on Bibsonomy LOPSTR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Bernd Braßel, Michael Hanus, Marion Müller High-Level Database Programming in Curry. Search on Bibsonomy PADL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Michael Hanus Call pattern analysis for functional logic programs. Search on Bibsonomy PPDP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF program analysis, functional logic programming
1Michael Hanus Reporting Failures in Functional Logic Programs. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Bernd Braßel, Michael Hanus, Marion Müller Compiling ER Specifications into Declarative Programs Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Michael Hanus A Generic Analysis Environment for Curry Programs Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Michael Hanus (eds.) Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Search on Bibsonomy PADL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Michael Hanus Multi-paradigm Declarative Languages. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal Lazy call-by-value evaluation. Search on Bibsonomy ICFP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF debugging techniques, laziness
1Michael Hanus Putting declarative programming into the web: translating curry to javascript. Search on Bibsonomy PPDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF user interfaces, javascript, web programming, functional logic programming, curry
1Michael Hanus Type-Oriented Construction of Web User Interfaces. Search on Bibsonomy Softwaretechnik-Trends The full citation details ... 2006 DBLP  BibTeX  RDF
1Sergio Antoy, Michael Hanus Overlapping Rules and Logic Variables in Functional Logic Programs . Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Michael Hanus Adding Constraint Handling Rules to Curry. Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Michael Hanus Type-oriented construction of web user interfaces. Search on Bibsonomy PPDP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF user interfaces, web programming, functional logic programming
1Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver 0001, Germán Vidal Operational semantics for declarative multi-paradigm languages. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1María Alpuente, Salvador Lucas, Michael Hanus, Germán Vidal Specialization of functional logic programs based on needed narrowing. Search on Bibsonomy TPLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Bernd Braßel, Michael Hanus Nondeterminism Analysis of Functional Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein (eds.) 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 Search on Bibsonomy INAP/WLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Robby Bruce Findler, Michael Hanus, Simon Thompson (eds.) Proceedings of the 2005 workshop on Functional and declarative programming in education, Tallinn, Estonia, September 25 - 25, 2005 Search on Bibsonomy FDPE@ICFP The full citation details ... 2005 DBLP  BibTeX  RDF
1Sergio Antoy, Michael Hanus Declarative Programming with Function Patterns. Search on Bibsonomy LOPSTR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus (eds.) Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005 Search on Bibsonomy WCFLP The full citation details ... 2005 DBLP  BibTeX  RDF
1Michael Hanus A generic analysis environment for declarative programs. Search on Bibsonomy WCFLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF program analysis, programming environments, functional logic programming
1Michael Hanus Dynamic Predicates in Functional Logic Programs. Search on Bibsonomy Journal of Functional and Logic Programming The full citation details ... 2004 DBLP  BibTeX  RDF
1Bernd Braßel, Michael Hanus, Frank Huch Encapsulating Non-Determinism in Functional Logic Computations. Search on Bibsonomy Journal of Functional and Logic Programming The full citation details ... 2004 DBLP  BibTeX  RDF
1María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal Specialization of Functional Logic Programs Based on Needed Narrowing Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Sergio Antoy, Michael Hanus Concurrent distinct choices. Search on Bibsonomy J. Funct. Program. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch Observing Functional Logic Computations. Search on Bibsonomy PADL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew P. Tolmach A Virtual Machine for Functional Logic Computations. Search on Bibsonomy IFL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal A semantics for tracing declarative multi-paradigm programs. Search on Bibsonomy PPDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF semantics, tracing, functional logic programming
1Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal Run-Time Profiling of Functional Logic Programs. Search on Bibsonomy LOPSTR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Michael Hanus, Klaus Höppner, Frank Huch Towards translating embedded Curry to C. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Michael Hanus, Germán Vidal A residualizing semantics for the partial evaluation of functional logic programs. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Bernd Brassel, Michael Hanus Conditional narrowing without conditions. Search on Bibsonomy PPDP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF conditional rewriting, narrowing, functional logic programming, evaluation strategies
1Michael Hanus Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Michael Hanus, Klaus Höppner Programming Autonomous Robots in Curry. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver 0001, Germán Vidal An Operational Semantics for Declarative Multi-Paradigm Languages. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver 0001, Germán Vidal Operational Semantics for Functional Logic Languages. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Michael Hanus, Germán Vidal A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages. Search on Bibsonomy Journal of Functional and Logic Programming The full citation details ... 2002 DBLP  BibTeX  RDF
1Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver 0001, Germán Vidal A Deterministic Operational Semantics for Functional Logic Programs. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2002 DBLP  BibTeX  RDF
1Sergio Antoy, Michael Hanus Functional Logic Design Patterns. Search on Bibsonomy FLOPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Michael Hanus Reduction Strategies for Declarative Programming. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Michael Hanus, Salvador Lucas An Evaluation Semantics for Narrowing-Based Functional Logic Languages. Search on Bibsonomy Journal of Functional and Logic Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Michael Hanus High-Level Server Side Web Scripting in Curry. Search on Bibsonomy PADL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Michael Hanus, Johannes Koj An Integrated Development Environment for Declarative Multi-Paradigm Programming. Search on Bibsonomy WLPE The full citation details ... 2001 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 174 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license