@PHDTHESIS{kutzner:00,
AUTHOR = {Arne Kutzner},
TITLE = {Ein nichtdeterministischer call-by-need Lambda-Kalk{\"u}l mit erratic choice:
Operationale Semantik, Programmtransformationen und Anwendungen},
SCHOOL = {J.W.Goethe-Universit{\"a}t Frankfurt},
YEAR = {2000},
TYPE = {{D}issertation},
NOTE = {in german},
PS = {http://www.ki.informatik.uni-frankfurt.de/papers/arne/arne-thesis.ps},
PSGZ = {http://www.ki.informatik.uni-frankfurt.de/papers/arne/arne-thesis.ps.gz}
}
@INPROCEEDINGS{mss:98-3,
AUTHOR = {Arne Kutzner and Manfred Schmidt-Schau{\ss}},
TITLE = {A Nondeterministic Call-by-Need Lambda Calculus},
BOOKTITLE = {International Conference on Functional Programming 1998},
YEAR = {1998},
PUBLISHER = {ACM Press},
PAGES = {324--335},
PS = {http://www.ki.informatik.uni-frankfurt.de/papers/arne/nd986.ps},
PSGZ = {http://www.ki.informatik.uni-frankfurt.de/papers/arne/nd986.ps.gz}
}
@INPROCEEDINGS{Merging-ISIS:2003,
AUTHOR = {Pok-Son Kim and Arne Kutzner},
TITLE = {A New Method for Efficient in-Place Merging},
BOOKTITLE = {4th International Symposium on Advanced Intelligent Systems},
YEAR = {2003},
MONTH = {September 25-28},
ADDRESS = {Jesu, Korea},
PAGES = {392-392}
}
@INPROCEEDINGS{RSV-ISIS:2003,
AUTHOR = {Pok-Son Kim and Arne Kutzner and Taehoon Park},
TITLE = {Term-Based Scheduling Languages and their Comparison in View of the Expressivity},
BOOKTITLE = {4th International Symposium on Advanced Intelligent Systems},
YEAR = {2003},
MONTH = {September 25-28},
ADDRESS = {Jesu, Korea},
PAGES = {20-23}
}
@INPROCEEDINGS{XML-SCIS-ISIS:2004,
AUTHOR = {Pok-Son Kim and Arne Kutzner},
TITLE = {A new approach to effcient {XML-processing} by lazy functional programming},
BOOKTITLE = {Joint 2nd International Conference on Soft Computing and Intelligent Systems
and 5th International Symposium on Advanced Intelligent Systems},
YEAR = {2004},
MONTH = {September 21-24},
ADDRESS = {Keio University, Yokohama, Japan},
PAGES = {138},
NOTE = {abstract proceedings}
}
@INPROCEEDINGS{RSV-SCIS-ISIS:2004,
AUTHOR = {Pok-Son Kim and Arne Kutzner},
TITLE = {A New Scheduling Model Based on a Description Logic - Comparison with the
Model of Manne},
BOOKTITLE = {Joint 2nd International Conference on Soft Computing and Intelligent Systems
and 5th International Symposium on Advanced Intelligent Systems},
YEAR = {2004},
MONTH = {September 21-24},
ADDRESS = {Keio University, Yokohama, Japan},
PAGES = {139},
NOTE = {abstract proceedings}
}
@INPROCEEDINGS{Kim-Kutzner:2004,
AUTHOR = {Pok-Son Kim and Arne Kutzner},
TITLE = {Stable Minimum Storage Merging by Symmetric Comparisons.},
BOOKTITLE = {Algorithms - ESA 2004},
YEAR = {2004},
PAGES = {714-723},
EE = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3221{\&}spage=714},
CROSSREF = {conf/esa/2004},
BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
PDF = {http://ak.hanyang.ac.kr/papers/esa2004.pdf}
}
@PROCEEDINGS{conf/esa/2004,
EDITOR = {Susanne Albers and Tomasz Radzik},
TITLE = {Algorithms - ESA 2004, 12th Annual European Symposium, Bergen, Norway, September
14-17, 2004, Proceedings},
PUBLISHER = {Springer},
YEAR = {2004},
BOOKTITLE = {Algorithms -ESA 2004},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {3221},
ISBN = {3-540-23025-4},
BIBSOURCE = {DBLP, http://dblp.uni-trier.de}
}
@ARTICLE{RSV-JAMC:2006,
AUTHOR = {Pok-Son Kim and Arne Kutzner and Taehoon Park},
TITLE = {Complexity of the scheduling language {RSV*}},
JOURNAL = {Journal of Applied Mathematics & Computing},
VOLUME = {20 },
YEAR = {2006},
PAGES = {181-195},
NUMBER = {1-2}
}
@INPROCEEDINGS{kim-kutzner-2006,
AUTHOR = {Pok-Son Kim and Arne Kutzner},
TITLE = {On Optimal and Efficient in Place Merging.},
BOOKTITLE = {SOFSEM 2006},
YEAR = {2006},
PAGES = {350-359},
EE = {http://dx.doi.org/10.1007/11611257_33},
CROSSREF = {DBLP:conf/sofsem/2006},
BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
PDF = {http://ak.hanyang.ac.kr/papers/sofsem2006.pdf}
}
@PROCEEDINGS{DBLP:conf/sofsem/2006,
EDITOR = {Jir\'{\i} Wiedermann and Gerard Tel and Jaroslav Pokorn{\'y} and M{\'a}ria Bielikov{\'a}
and Julius Stuller},
TITLE = {SOFSEM 2006: Theory and Practice of Computer Science, 32nd Conference on
Current Trends in Theory and Practice of Computer Science, Mer\'{\i}n,
Czech Republic, January 21-27, 2006, Proceedings},
PUBLISHER = {Springer},
YEAR = {2006},
BOOKTITLE = {SOFSEM 2006},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {3831},
ISBN = {3-540-31198-X},
BIBSOURCE = {DBLP, http://dblp.uni-trier.de}
}
@INPROCEEDINGS{kim-kutzner-2007,
AUTHOR = {Pok-Son Kim and Arne Kutzner},
TITLE = {A Simple Algorithm for Stable Minimum Storage Merging},
BOOKTITLE = {SOFSEM 2007},
YEAR = {2007},
PAGES = {347-356},
CROSSREF = {conf/sofsem/2007},
PDF = {http://ak.hanyang.ac.kr/papers/sofsem2007.pdf}
}
@PROCEEDINGS{conf/sofsem/2007,
EDITOR = {Keith Jeffery and Branislav Rovan and Bernadette Charron-Bost and M{\'a}ria Bielikov{\'a}
and Julius Stuller},
TITLE = {SOFSEM 2006: Theory and Practice of Computer Science, 33nd Conference on
Current Trends in Theory and Practice of Computer Science, Harrachov,
Czech Republic, January 20-26, 2007, Proceedings},
PUBLISHER = {Springer},
YEAR = {2007},
BOOKTITLE = {SOFSEM 2007},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {4362}
}
@INPROCEEDINGS{kim-kutzner-2008,
AUTHOR = {Pok-Son Kim and
Arne Kutzner},
TITLE = {Ratio Based Stable In-Place Merging},
BOOKTITLE = {TAMC},
YEAR = {2008},
PAGES = {246-257},
EE = {http://dx.doi.org/10.1007/978-3-540-79228-4_22},
CROSSREF = {DBLP:conf/tamc/2008},
PDF = {http://ak.hanyang.ac.kr/papers/tamc2008.pdf}
}
@PROCEEDINGS{DBLP:conf/tamc/2008,
EDITOR = {Manindra Agrawal and
Ding-Zhu Du and
Zhenhua Duan and
Angsheng Li},
TITLE = {Theory and Applications of Models of Computation, 5th International
Conference, TAMC 2008, Xi'an, China, April 25-29, 2008.
Proceedings},
BOOKTITLE = {TAMC},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {4978},
YEAR = {2008},
ISBN = {978-3-540-79227-7},
BIBSOURCE = {DBLP, http://dblp.uni-trier.de}
}
This file has been generated by bibtex2html 1.79