Browse files

fixed bibtex syntax

  • Loading branch information...
1 parent fb8d95b commit 1a0cc53e1aed48c6ee1fbe6e2dc5d22cac9c1fd3 Sebastian Fischer committed Apr 23, 2012
Showing with 122 additions and 122 deletions.
  1. +122 −122 research/bibtex.html
  2. BIN research/cv.pdf
View
244 research/bibtex.html
@@ -17,249 +17,249 @@
><a name="Emoto+ESOP12"></a><pre
><code
>@InProceedings{Emoto+ESOP12,
- author: {Kento Emoto and Sebastian Fischer and Zhenjiang Hu},
- title: {Generate, Test, and Aggregate --- A Calculation-based Framework for Systematic Parallel Programming with MapReduce},
- booktitle: {Proceedings of the 22nd European Symposium on Programming (ESOP 2012)},
- publisher: {Springer Verlag},
- year: 2012,
- note: {available at: \url{http://sebfisch.github.com/research/pub/Emoto+ESOP12.pdf}}
+ author = {Kento Emoto and Sebastian Fischer and Zhenjiang Hu},
+ title = {Generate, Test, and Aggregate --- A Calculation-based Framework for Systematic Parallel Programming with MapReduce},
+ booktitle = {Proceedings of the 22nd European Symposium on Programming (ESOP 2012)},
+ publisher = {Springer Verlag},
+ year = 2012,
+ note = {available at: \url{http://sebfisch.github.com/research/pub/Emoto+ESOP12.pdf}}
}
</code
></pre
><a name="Fischer+JFP11"></a><pre
><code
>@Article{Fischer+JFP11,
- author: {Sebastian Fischer and Oleg Kiselyov and Chung-chieh Shan},
- title: {Purely functional lazy nondeterministic programming},
- journal: {Journal of Functional Programming},
- year: 2011,
- note: {available at: \url{http://sebfisch.github.com/research/pub/Fischer+JFP11.pdf}}
+ author = {Sebastian Fischer and Oleg Kiselyov and Chung-chieh Shan},
+ title = {Purely functional lazy nondeterministic programming},
+ journal = {Journal of Functional Programming},
+ year = 2011,
+ note = {available at: \url{http://sebfisch.github.com/research/pub/Fischer+JFP11.pdf}}
}
</code
></pre
><a name="Brassel+WFLP10"></a><pre
><code
>@InProceedings{Brassel+WFLP10,
- author: {Bernd Braßel and Sebastian Fischer and Michael Hanus and Fabian Reck},
- title: {Transforming Functional Logic Programs into Monadic Functional Programs},
- booktitle: {Proceedings of the 19th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2010)},
- publisher: {Springer Verlag},
- year: 2011,
- note: {available at: \url{http://www.informatik.uni-kiel.de/~mh/papers/WFLP10T_LNCS.pdf}}
+ author = {Bernd Braßel and Sebastian Fischer and Michael Hanus and Fabian Reck},
+ title = {Transforming Functional Logic Programs into Monadic Functional Programs},
+ booktitle = {Proceedings of the 19th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2010)},
+ publisher = {Springer Verlag},
+ year = 2011,
+ note = {available at: \url{http://www.informatik.uni-kiel.de/~mh/papers/WFLP10T_LNCS.pdf}}
}
</code
></pre
><a name="Fischer+ICFP10"></a><pre
><code
>@InProceedings{Fischer+ICFP10,
- author: {Sebastian Fischer and Frank Huch and Thomas Wilke},
- title: {A Play on Regular Expressions (Functional Pearl)},
- booktitle: {Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming (ICFP'10)},
- publisher: {ACM Press},
- year: 2010,
- note: {available at: \url{http://sebfisch.github.com/haskell-regexp/regexp-play.pdf}}
+ author = {Sebastian Fischer and Frank Huch and Thomas Wilke},
+ title = {A Play on Regular Expressions (Functional Pearl)},
+ booktitle = {Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming (ICFP'10)},
+ publisher = {ACM Press},
+ year = 2010,
+ note = {available at: \url{http://sebfisch.github.com/haskell-regexp/regexp-play.pdf}}
}
</code
></pre
><a name="FischerDiss"></a><pre
><code
>@PhdThesis{FischerDiss,
- author: {Sebastian Fischer},
- title: {On Functional Logic Programming and its Application to Testing},
- school: {Christian-Albrechts University of Kiel, Germany},
- type: {Dissertation zur Erlangung des akademischen Grades Doktor der Naturwissenschaften (Dr.rer.nat.)},
- year: 2010,
- note: {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/thesis.pdf}}
+ author = {Sebastian Fischer},
+ title = {On Functional Logic Programming and its Application to Testing},
+ school = {Christian-Albrechts University of Kiel, Germany},
+ type = {Dissertation zur Erlangung des akademischen Grades Doktor der Naturwissenschaften (Dr.rer.nat.)},
+ year = 2010,
+ note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/thesis.pdf}}
}
</code
></pre
><a name="Alqaddoumi+10"></a><pre
><code
>@InProceedings{Alqaddoumi+10,
- author: {Abdulla Alqaddoumi and Sergio Antoy and Sebastian Fischer and Fabian Reck},
- title: {The Pull-Tab Transformation},
- booktitle: {Preproceedings of the Third International Workshop on Graph Computation Models (GCM'10)},
- year: 2010,
- note: {available at: \url{http://web.cecs.pdx.edu/~antoy/homepage/publications/gcm10/paper.pdf}}
+ author = {Abdulla Alqaddoumi and Sergio Antoy and Sebastian Fischer and Fabian Reck},
+ title = {The Pull-Tab Transformation},
+ booktitle = {Preproceedings of the Third International Workshop on Graph Computation Models (GCM'10)},
+ year = 2010,
+ note = {available at: \url{http://web.cecs.pdx.edu/~antoy/homepage/publications/gcm10/paper.pdf}}
}
</code
></pre
><a name="FischerATPS09"></a><pre
><code
>@InProceedings{FischerATPS09,
- author: {Sebastian Fischer},
- title: {Reinventing Haskell Backtracking},
- booktitle: {Informatik 2009, Im Fokus das Leben (ATPS'09)},
- publisher: {GI Edition},
- year: 2009,
- note: {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/atps09.pdf}}
+ author = {Sebastian Fischer},
+ title = {Reinventing Haskell Backtracking},
+ booktitle = {Informatik 2009, Im Fokus das Leben (ATPS'09)},
+ publisher = {GI Edition},
+ year = 2009,
+ note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/atps09.pdf}}
}
</code
></pre
><a name="Fischer+ICFP09"></a><pre
><code
>@InProceedings{Fischer+ICFP09,
- author: {Sebastian Fischer and Oleg Kiselyov and Chung-chieh Shan},
- title: {Purely Functional Lazy Non-deterministic Programming},
- booktitle: {Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming (ICFP'09)},
- publisher: {ACM Press},
- year: 2009,
- note: {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/icfp09.pdf}}
+ author = {Sebastian Fischer and Oleg Kiselyov and Chung-chieh Shan},
+ title = {Purely Functional Lazy Non-deterministic Programming},
+ booktitle = {Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming (ICFP'09)},
+ publisher = {ACM Press},
+ year = 2009,
+ note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/icfp09.pdf}}
}
</code
></pre
><a name="FischerKuchenICFP08"></a><pre
><code
>@InProceedings{FischerKuchenICFP08,
- author: {Sebastian Fischer and Herbert Kuchen},
- title: {Data-Flow Testing of Declarative Programs},
- booktitle: {Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming (ICFP'08)},
- publisher: {ACM Press},
- year: 2008,
- note: {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/icfp08.pdf}}
+ author = {Sebastian Fischer and Herbert Kuchen},
+ title = {Data-Flow Testing of Declarative Programs},
+ booktitle = {Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming (ICFP'08)},
+ publisher = {ACM Press},
+ year = 2008,
+ note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/icfp08.pdf}}
}
</code
></pre
><a name="ChristiansenFischerFLOPS08"></a><pre
><code
>@InProceedings{ChristiansenFischerFLOPS08,
- author: {Jan Christiansen and Sebastian Fischer},
- title: {EasyCheck -- Test Data for Free},
- booktitle: {Proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS'08)},
- publisher: {Springer Verlag},
- year: 2008,
- note: {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/flops08.pdf}}
+ author = {Jan Christiansen and Sebastian Fischer},
+ title = {EasyCheck -- Test Data for Free},
+ booktitle = {Proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS'08)},
+ publisher = {Springer Verlag},
+ year = 2008,
+ note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/flops08.pdf}}
}
</code
></pre
><a name="BrasselFischerIFL08"></a><pre
><code
>@Unpublished{BrasselFischerIFL08,
- author: {Bernd Braßel and Sebastian Fischer},
- title: {From Functional Logic Programs to Purely Functional Programs Preserving Laziness},
- year: 2008,
- note: {accepted for publication in the post-proceedings of the 20th International Symposium on the Implementation and Application of Functional Languages (IFL'08) and
+ author = {Bernd Braßel and Sebastian Fischer},
+ title = {From Functional Logic Programs to Purely Functional Programs Preserving Laziness},
+ year = 2008,
+ note = {accepted for publication in the post-proceedings of the 20th International Symposium on the Implementation and Application of Functional Languages (IFL'08) and
available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/ifl08.pdf}}
}
</code
></pre
><a name="Brassel+ICFP07"></a><pre
><code
>@InProceedings{Brassel+ICFP07,
- author: {Bernd Braßel and Sebastian Fischer and Michael Hanus and Frank Huch and German Vidal},
- title: {Lazy Call-By-Value Evaluation},
- booktitle: {Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming (ICFP'07)},
- publisher: {ACM Press},
- year: 2007,
- note: {available at: \url{http://www.informatik.uni-kiel.de/~mh/papers/ICFP07.pdf}}
+ author = {Bernd Braßel and Sebastian Fischer and Michael Hanus and Frank Huch and German Vidal},
+ title = {Lazy Call-By-Value Evaluation},
+ booktitle = {Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming (ICFP'07)},
+ publisher = {ACM Press},
+ year = 2007,
+ note = {available at: \url{http://www.informatik.uni-kiel.de/~mh/papers/ICFP07.pdf}}
}
</code
></pre
><a name="Fischer+LOPSTR07"></a><pre
><code
>@InProceedings{Fischer+LOPSTR07,
- author: {Sebastian Fischer and Josep Silva and Salvador Tamarit and German Vidal},
- title: {Preserving Sharing in the Partial Evaluation of Lazy Functional Programs},
- booktitle: {Proceedings of the 17th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'07)},
- publisher: {Springer Verlag},
- year: 2007,
- note: {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/lopstr07.pdf}}
+ author = {Sebastian Fischer and Josep Silva and Salvador Tamarit and German Vidal},
+ title = {Preserving Sharing in the Partial Evaluation of Lazy Functional Programs},
+ booktitle = {Proceedings of the 17th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'07)},
+ publisher = {Springer Verlag},
+ year = 2007,
+ note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/lopstr07.pdf}}
}
</code
></pre
><a name="FischerKuchenPPDP07"></a><pre
><code
>@InProceedings{FischerKuchenPPDP07,
- author: {Sebastian Fischer and Herbert Kuchen},
- title: {Systematic Generation of Glass-Box Test Cases for Functional Logic Programs},
- booktitle: {Proceedings of the 9th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP'07)},
- publisher: {ACM Press},
- year: 2007,
- note: {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/ppdp07.pdf}}
+ author = {Sebastian Fischer and Herbert Kuchen},
+ title = {Systematic Generation of Glass-Box Test Cases for Functional Logic Programs},
+ booktitle = {Proceedings of the 9th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP'07)},
+ publisher = {ACM Press},
+ year = 2007,
+ note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/ppdp07.pdf}}
}
</code
></pre
><a name="Brassel+WFLP07"></a><pre
><code
>@InProceedings{Brassel+WFLP07,
- author: {Bernd Braßel and Sebastian Fischer and Frank Huch},
- title: {Declaring Numbers},
- booktitle: {Proceedings of the 16th Workshop on Functional and (Constraint) Logic Programming (WFLP'07)},
- publisher: {Elsevier},
- year: 2007,
- note: {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/wflp07.pdf}}
+ author = {Bernd Braßel and Sebastian Fischer and Frank Huch},
+ title = {Declaring Numbers},
+ booktitle = {Proceedings of the 16th Workshop on Functional and (Constraint) Logic Programming (WFLP'07)},
+ publisher = {Elsevier},
+ year = 2007,
+ note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/wflp07.pdf}}
}
</code
></pre
><a name="BerghammerFischerWFLP06"></a><pre
><code
>@InProceedings{BerghammerFischerWFLP06,
- author: {Rudolf Berghammer and Sebastian Fischer},
- title: {Implementing Relational Specifications in a Constraint Functional Logic Language},
- booktitle: {Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming (WFLP'06)},
- publisher: {Elsevier},
- year: 2006,
- note: {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/wflp06rel.pdf}}
+ author = {Rudolf Berghammer and Sebastian Fischer},
+ title = {Implementing Relational Specifications in a Constraint Functional Logic Language},
+ booktitle = {Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming (WFLP'06)},
+ publisher = {Elsevier},
+ year = 2006,
+ note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/wflp06rel.pdf}}
}
</code
></pre
><a name="FischerWFLP06"></a><pre
><code
>@InProceedings{FischerWFLP06,
- author: {Sebastian Fischer},
- title: {Lazy Database Access with Persistent Predicates},
- booktitle: {Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming (WFLP'06)},
- publisher: {Elsevier},
- year: 2006,
- note: {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/wflp06db.pdf}}
+ author = {Sebastian Fischer},
+ title = {Lazy Database Access with Persistent Predicates},
+ booktitle = {Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming (WFLP'06)},
+ publisher = {Elsevier},
+ year = 2006,
+ note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/wflp06db.pdf}}
}
</code
></pre
><a name="FischerTFP06"></a><pre
><code
>@InProceedings{FischerTFP06,
- author: {Sebastian Fischer},
- title: {Resource-Based Web Applications},
- booktitle: {Proceedings of the 7th Symposium on Trends in Functional Programming (TFP'06)},
- publisher: {Intellect},
- year: 2006,
- note: {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/tfp06.pdf}}
+ author = {Sebastian Fischer},
+ title = {Resource-Based Web Applications},
+ booktitle = {Proceedings of the 7th Symposium on Trends in Functional Programming (TFP'06)},
+ publisher = {Intellect},
+ year = 2006,
+ note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/tfp06.pdf}}
}
</code
></pre
><a name="Brassel+LOPSTR06"></a><pre
><code
>@InProceedings{Brassel+LOPSTR06,
- author: {Bernd Braßel and Sebastian Fischer and Frank Huch},
- title: {A Program Transformation for Tracing Functional Logic Computations},
- booktitle: {Proceedings of the 16th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'06)},
- publisher: {Springer Verlag},
- year: 2006,
- note: {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/lopstr06.pdf}}
+ author = {Bernd Braßel and Sebastian Fischer and Frank Huch},
+ title = {A Program Transformation for Tracing Functional Logic Computations},
+ booktitle = {Proceedings of the 16th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'06)},
+ publisher = {Springer Verlag},
+ year = 2006,
+ note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/lopstr06.pdf}}
}
</code
></pre
><a name="FischerWFLP05"></a><pre
><code
>@InProceedings{FischerWFLP05,
- author: {Sebastian Fischer},
- title: {A Functional Logic Database Library},
- booktitle: {Proceedings of the 2005 ACM SIGPLAN Workshop on Curry and Functional Logic Programming (WCFLP'05)},
- publisher: {ACM Press},
- year: 2005,
- note: {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/wcflp05.pdf}}
+ author = {Sebastian Fischer},
+ title = {A Functional Logic Database Library},
+ booktitle = {Proceedings of the 2005 ACM SIGPLAN Workshop on Curry and Functional Logic Programming (WCFLP'05)},
+ publisher = {ACM Press},
+ year = 2005,
+ note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/wcflp05.pdf}}
}
</code
></pre
><a name="FischerDiploma"></a><pre
><code
>@MastersThesis{FischerDiploma,
- author: {Sebastian Fischer},
- title: {Functional Logic Programming with Databases},
- school: {Christian-Albrechts University of Kiel, Germany},
- type: {Diplomarbeit},
- year: 2005,
- note: {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/diploma05.pdf}}
+ author = {Sebastian Fischer},
+ title = {Functional Logic Programming with Databases},
+ school = {Christian-Albrechts University of Kiel, Germany},
+ type = {Diplomarbeit},
+ year = 2005,
+ note = {available at: \url{http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/diploma05.pdf}}
}
</code
></pre
View
BIN research/cv.pdf
Binary file not shown.

0 comments on commit 1a0cc53

Please sign in to comment.