Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Koh Aoki
Yan-Han Chew
Alex Dytso
Brent Zoomers
Bhupendra Singh
Uwe Kastens
David J. Westover
Songhua Li
Sebastian Magda
David MacDonald
Home
/
Author
/
BERND BRASSEL
Author Info
Open Visualization
Name
Affiliation
Papers
BERND BRASSEL
Institute of Computer Science, University of Kiel, Olshausenstr. 40, 24098 Kiel, Germany
23
Collaborators
Citations
PageRank
16
181
12.47
Referers
Referees
References
114
216
320
Search Limit
100
216
Publications (23 rows)
Collaborators (16 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Implementing Equational Constraints in a Functional Language
4
0.43
2013
KiCS2: a new compiler from Curry to Haskell
28
1.00
2011
Transforming functional logic programs into monadic functional programs
7
0.48
2010
A Technique to Build Debugging Tools for Lazy Functional Logic Languages
1
0.37
2009
Computing and Visualizing Closure Objects Using Relation Algebra and RelView
3
0.45
2009
From functional logic programs to purely functional programs preserving laziness
3
0.39
2008
High-level database programming in curry
12
0.61
2008
A relation algebraic semantics for a lazy functional logic language
2
0.38
2008
Declaring Numbers
3
0.41
2008
On a tighter integration of functional and logic programming
26
0.88
2007
A Framework for Interpreting Traces of Functional Logic Computations
1
0.36
2007
Compiling ER Specifications into Declarative Programs
0
0.34
2007
Computing with subspaces
6
0.52
2007
Denotation by Transformation
1
0.37
2007
Lazy call-by-value evaluation
7
0.61
2007
The Kiel Curry System KiCS
16
0.70
2007
Debugging Lazy Functional Programs by Asking the Oracle
4
0.40
2007
Searching Bugs by Visualizing Computations.
0
0.34
2006
A program transformation for tracing functional logic computations
4
0.47
2006
Nondeterminism analysis of functional logic programs
6
0.46
2005
Encapsulating Non-Determinism in Functional Logic Computations.
24
1.16
2004
Observing Functional Logic Computations
15
0.83
2004
Conditional narrowing without conditions
8
0.50
2003
1