default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Exact matches
- Bernd Brassel
aka: Bernd Braßel
Christian-Albrechts-Universität zu Kiel
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 28 matches
- 2013
- Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck:
Implementing Equational Constraints in a Functional Language. PADL 2013: 125-140 - 2011
- Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck:
KiCS2: A New Compiler from Curry to Haskell. WFLP 2011: 1-18 - Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck:
Implementing Equational Constraints in a Functional Language. CoRR abs/1108.5609 (2011) - 2010
- Bernd Braßel:
Implementing Functional Logic Programs by Translation into Purely Functional Programs. University of Kiel, 2010, pp. 1-179 - Bernd Braßel, Sebastian Fischer, Michael Hanus, Fabian Reck:
Transforming Functional Logic Programs into Monadic Functional Programs. WFLP 2010: 30-47 - 2009
- Rudolf Berghammer, Bernd Braßel:
Computing and Visualizing Closure Objects Using Relation Algebra and RelView. CASC 2009: 29-44 - 2008
- Bernd Braßel, Jan Christiansen:
A Relation Algebraic Semantics for a Lazy Functional Logic Language. RelMiCS 2008: 37-53 - Bernd Braßel, Sebastian Fischer:
From Functional Logic Programs to Purely Functional Programs Preserving Laziness. IFL 2008: 25-42 - Bernd Braßel, Michael Hanus, Marion Müller:
High-Level Database Programming in Curry. PADL 2008: 316-332 - Bernd Braßel:
A Technique to Build Debugging Tools for Lazy Functional Logic Languages. WFLP 2008: 39-53 - 2007
- Bernd Braßel, Frank Huch:
On a Tighter Integration of Functional and Logic Programming. APLAS 2007: 122-138 - Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal:
Lazy call-by-value evaluation. ICFP 2007: 265-276 - Bernd Braßel, Holger Siegel:
Debugging Lazy Functional Programs by Asking the Oracle. IFL 2007: 183-200 - Bernd Braßel, Jan Christiansen:
Denotation by Transformation. LOPSTR 2007: 90-105 - Sergio Antoy, Bernd Braßel:
Computing with subspaces. PPDP 2007: 121-130 - Bernd Brassel, Frank Huch:
The Kiel Curry System KiCS. INAP/WLP 2007: 195-205 - Bernd Braßel, Sebastian Fischer, Frank Huch:
Declaring Numbers. WFLP@RDP 2007: 111-124 - Bernd Braßel, Michael Hanus, Marion Müller:
Compiling ER Specifications into Declarative Programs. CoRR abs/0711.0348 (2007) - 2006
- Bernd Braßel:
Searching Bugs by Visualizing Computations. Softwaretechnik-Trends 26(2) (2006) - Bernd Brassel, Sebastian Fischer, Frank Huch:
A Program Transformation for Tracing Functional Logic Computations. LOPSTR 2006: 160-176 - Bernd Braßel:
A Framework for Interpreting Traces of Functional Logic Computations. WFLP 2006: 91-106 - 2005
- Bernd Braßel, Michael Hanus:
Nondeterminism Analysis of Functional Logic Programs. ICLP 2005: 265-279 - Bernd Braßel, Frank Huch:
Translating curry to haskell system demo. WCFLP 2005: 60-65 - 2004
- Bernd Braßel, Michael Hanus, Frank Huch:
Encapsulating Non-Determinism in Functional Logic Computations. J. Funct. Log. Program. 2004 (2004) - Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal:
Run-Time Profiling of Functional Logic Programs. LOPSTR 2004: 182-197 - Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch:
Observing Functional Logic Computations. PADL 2004: 193-208 - Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal:
A semantics for tracing declarative multi-paradigm programs. PPDP 2004: 179-190 - 2003
- Sergio Antoy, Bernd Brassel, Michael Hanus:
Conditional narrowing without conditions. PPDP 2003: 20-31
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-10-21 21:29 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint