Bernd Brassel Vis

Bernd Braßel

Christian-Albrechts-Universität zu Kiel

*	2009
19	EE	Rudolf Berghammer, Bernd Braßel: Computing and Visualizing Closure Objects Using Relation Algebra and RelView. CASC 2009: 29-44
	2008
18	EE	Bernd Braßel, Michael Hanus, Marion Müller: High-Level Database Programming in Curry. PADL 2008: 316-332
17	EE	Bernd Braßel, Jan Christiansen: A Relation Algebraic Semantics for a Lazy Functional Logic Language. RelMiCS 2008: 37-53
16	EE	Bernd Braßel, Sebastian Fischer, Frank Huch: Declaring Numbers. Electr. Notes Theor. Comput. Sci. 216: 111-124 (2008)
	2007
15	EE	Bernd Braßel, Frank Huch: On a Tighter Integration of Functional and Logic Programming. APLAS 2007: 122-138
14	EE	Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal: Lazy call-by-value evaluation. ICFP 2007: 265-276
13	EE	Bernd Braßel, Holger Siegel: Debugging Lazy Functional Programs by Asking the Oracle. IFL 2007: 183-200
12	EE	Bernd Brassel, Frank Huch: The Kiel Curry System KiCS. INAP/WLP 2007: 195-205
11	EE	Bernd Braßel, Jan Christiansen: Denotation by Transformation. LOPSTR 2007: 90-105
10	EE	Sergio Antoy, Bernd Braßel: Computing with subspaces. PPDP 2007: 121-130
9	EE	Bernd Braßel, Michael Hanus, Marion Müller: Compiling ER Specifications into Declarative Programs CoRR abs/0711.0348: (2007)
8	EE	Bernd Braßel: A Framework for Interpreting Traces of Functional Logic Computations. Electr. Notes Theor. Comput. Sci. 177: 91-106 (2007)
	2006
7	EE	Bernd Brassel, Sebastian Fischer, Frank Huch: A Program Transformation for Tracing Functional Logic Computations. LOPSTR 2006: 160-176
	2005
6	EE	Bernd Braßel, Michael Hanus: Nondeterminism Analysis of Functional Logic Programs. ICLP 2005: 265-279
5	EE	Bernd Braßel, Frank Huch: Translating curry to haskell system demo. WCFLP 2005: 60-65
	2004
4	EE	Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal: Run-Time Profiling of Functional Logic Programs. LOPSTR 2004: 182-197
3	EE	Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch: Observing Functional Logic Computations. PADL 2004: 193-208
2	EE	Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal: A semantics for tracing declarative multi-paradigm programs. PPDP 2004: 179-190
	2003
1	EE	Sergio Antoy, Bernd Brassel, Michael Hanus: Conditional narrowing without conditions. PPDP 2003: 20-31

Coauthor Index

1	Sergio Antoy	[1] [10]
2	Rudolf Berghammer	[19]
3	Olaf Chitil	[3]
4	Jan Christiansen	[11] [17]
5	Sebastian Fischer	[7] [14] [16]
6	Michael Hanus	[1] [2] [3] [4] [6] [9] [14] [18]
7	Frank Huch	[2] [3] [4] [5] [7] [12] [14] [15] [16]
8	Marion Müller	[9] [18]
9	Holger Siegel	[13]
10	Josep Silva	[4]
11	Germán Vidal	[2] [4] [14]

Colors in the list of coauthors