dblp.uni-trier.dewww.uni-trier.de

Jan Christiansen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
5EEJan Christiansen, Sebastian Fischer: EasyCheck - Test Data for Free. FLOPS 2008: 322-336
4EEBernd Braßel, Jan Christiansen: A Relation Algebraic Semantics for a Lazy Functional Logic Language. RelMiCS 2008: 37-53
2007
3EEBernd Braßel, Jan Christiansen: Denotation by Transformation. LOPSTR 2007: 90-105
2006
2 Jan Christiansen, Frank Huch: A purely functional implementation of ROBDDs in Haskell. Trends in Functional Programming 2006: 55-71
2004
1EEJan Christiansen, Frank Huch: Searching for deadlocks while debugging concurrent haskell programs. ICFP 2004: 28-39

Coauthor Index

1Bernd Brassel (Bernd Braßel) [3] [4]
2Sebastian Fischer [5]
3Frank Huch [1] [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)