marko.bib

@TECHREPORT{frank09,
  AUTHOR = {M. Sch\"utz and M. Schmidt-Schau{\ss} and S.E. Panitz},
  TITLE = {{E}fficient {S}trictness {A}nalysis of {H}askell in {H}askell {U}sing {A}bstract {R}eduction},
  INSTITUTION = {Fachbereich Informatik,J.W. Goethe-Universit\"at Frankfurt am Main},
  TYPE = {Frank report},
  NUMBER = {09},
  YEAR = {1995},
  PAGES = {},
  PSGZ = {http://www.ki.informatik.uni-frankfurt.de/papers/marko/abstractg.ps.gz},
  PS = {http://www.ki.informatik.uni-frankfurt.de/papers/marko/abstractg.ps}
}

@TECHREPORT{frank03,
  AUTHOR = {M. Sch\"utz},
  TITLE = {The {G}#-{M}achine: {E}fficient {S}trictness {A}nalysis in {H}askell},
  INSTITUTION = {Fachbereich Informatik, J.W. Goethe-Universit\"at Frankfurt am Main},
  TYPE = {Frank report (internal report 1/95)},
  NUMBER = {03},
  YEAR = {1995},
  PAGES = {},
  PSGZ = {http://www.ki.informatik.uni-frankfurt.de/papers/marko/TR-abs-g.ps.gz},
  PS = {http://www.ki.informatik.uni-frankfurt.de/papers/marko/TR-abs-g.ps}
}

@INPROCEEDINGS{mss:95-3,
  AUTHOR = {Manfred Schmidt-Schau{\ss} and Sven Eric Panitz and Marko Sch\"utz},
  TITLE = {Strictness Analysis by Abstract Reduction using a Tableau Calculus},
  BOOKTITLE = {Proc. of the Static Analysis Symposium},
  YEAR = {1995},
  PUBLISHER = {Springer-Verlag},
  SERIES = {Lecture Notes in Computer Science},
  NUMBER = {983},
  PAGES = {348--365},
  PS = {http://www.ki.informatik.uni-frankfurt.de/papers/schauss/strict.ps},
  PSGZ = {http://www.ki.informatik.uni-frankfurt.de/papers/schauss/strict.ps.gz}
}

@PHDTHESIS{Schuetz:00:Demand,
  AUTHOR = {Marko Sch{\"u}tz},
  TITLE = {{A}nalyzing {D}emand in {N}on-{S}trict {F}unctional {P}rogramming {L}anguages},
  SCHOOL = {Johann Wolfgang Goethe-Universit{\"a}t},
  YEAR = {2000},
  TYPE = {{D}issertation},
  ADDRESS = {Frankfurt},
  PSGZ = {http://www.ki.informatik.uni-frankfurt.de/papers/marko/Dissertation.ps.gz},
  NOTE = {(\href{http://www.ki.informatik.uni-frankfurt.de/papers/marko/Title.ps.gz}{title page},
	        \href{http://www.ki.informatik.uni-frankfurt.de/papers/marko/Appendix.ps.gz}
		{appendix in German})}
}

@MASTERSTHESIS{schuetz:94,
  AUTHOR = {Marko Sch\"utz},
  TITLE = {{S}triktheits-{A}nalyse mittels abstrakter {R}eduktion für den {S}prachkern einer
             nicht-strikten funktionalen {P}rogrammiersprache},
  TYPE = {Diplomarbeit (in german)},
  SCHOOL = {J.W.Goethe-Universit{\"a}t Frankfurt},
  YEAR = {1994},
  NOTE = {The most recent version of the
             \href{http://www.ki.informatik.uni-frankfurt.de/~marko/analyser/Analyser-0.1.2.tar.gz}
             {source code} of the implementation for my masters thesis is available.},
  PS = {http://www.ki.informatik.uni-frankfurt.de/papers/masters/marko.ps}
}

@TECHREPORT{schmidt-schauss-schuetz-sabel:04,
  AUTHOR = {Manfred Schmidt-Schau{\ss} AND Marko Sch\"utz AND David Sabel},
  TITLE = {On the Safety of {N}\"ocker's Strictness Analysis},
  INSTITUTION = {Institut f\"ur Informatik, J.W. Goethe-Universit\"at Frankfurt am Main},
  TYPE = {Frank Report},
  NUMBER = 19,
  MONTH = {October},
  YEAR = 2004,
  PDF = {http://www.ki.informatik.uni-frankfurt.de/papers/schauss/unioncalc.pdf}
}

@TECHREPORT{schmidt-schauss-schuetz-sabel:05,
  AUTHOR = {Manfred Schmidt-Schau{\ss} AND   Marko Sch\"utz AND David Sabel},
  TITLE = {A Complete Proof of the Safety of {N}\"ocker's Strictness  Analysis},
  INSTITUTION = {Institut  f\"ur Informatik. J.W.Goethe-Universität Frankfurt am Main},
  TYPE = {Frank report},
  NUMBER = {20},
  YEAR = 2005,
  MONTH = {April},
  PDF = {http://www.ki.informatik.uni-frankfurt.de/papers/schauss/frank20.pdf}
}

@TECHREPORT{schmidt-schauss-sabel-schuetz:05-sc,
  AUTHOR = {Manfred Schmidt-Schau{\ss} AND David Sabel AND Marko Sch\"utz},
  TITLE = {Deciding subset relationship of co-inductively defined set constants},
  INSTITUTION = {Institut  f\"ur Informatik. Fachbereich Informatik und Mathematik. J. W. Goethe-Universit\"at Frankfurt am Main},
  TYPE = {Frank report},
  NUMBER = {23},
  YEAR = 2006,
  MONTH = {September},
  DAY = {28},
  PDF = {http://www.ki.informatik.uni-frankfurt.de/papers/schauss/frank-23_v2.pdf},
  PREVIOUSVERS = {http://www.ki.informatik.uni-frankfurt.de/papers/schauss/frank-23.pdf}
}

@ARTICLE{schmidt-schauss-sabel-schuetz:07:sc,
  AUTHOR = {Manfred Schmidt-Schau{\ss} AND David Sabel AND Marko Sch\"utz},
  TITLE = {Deciding inclusion of set constants over infinite non-strict data structures},
  JOURNAL = {RAIRO-Theoretical Informatics and Applications},
  VOLUME = {41},
  NUMBER = {2},
  YEAR = {2007},
  MONTH = {July},
  PAGES = {225-241},
  NOTE = {The original publication is available at: \href{http://www.edpsciences.org/ita}{www.edpsciences.org/ita}},
  URL = {http://dx.doi.org/10.1051/ita:2007010},
  PDF = {http://www.ki.informatik.uni-frankfurt.de/papers/schauss/sc_rairo_final.pdf},
  COPYRIGHT = {\copyright EDP Sciences 2007}
}

@ARTICLE{schmidt-schauss-schuetz-sabel:08,
  AUTHOR = {Manfred Schmidt-Schau{\ss} AND   Marko Sch\"utz AND David Sabel},
  TITLE = {Safety of {N}\"ocker's Strictness Analysis},
  JOURNAL = {Journal of Functional Programming},
  VOLUME = {18},
  NUMBER = {04},
  PAGES = {503-551},
  DOI = {10.1017/S0956796807006624},
  URL = {http://dx.doi.org/10.1017/S0956796807006624},
  YEAR = {2008}
}