| [1998] |
Arne Kutzner and Manfred Schmidt-Schauß.
A nondeterministic call-by-need lambda calculus.
In International Conference on Functional Programming 1998,
pages 324-335. ACM Press, 1998. [ bib | .ps ] |
| [2000] |
Arne Kutzner.
Ein nichtdeterministischer call-by-need Lambda-Kalkül mit
erratic choice: Operationale Semantik, Programmtransformationen und
Anwendungen.
Dissertation, J.W.Goethe-Universität Frankfurt, 2000.
in german. [ bib | .ps ] |
| [2003] |
Pok-Son Kim, Arne Kutzner, and Taehoon Park.
Term-based scheduling languages and their comparison in view of the
expressivity.
In 4th International Symposium on Advanced Intelligent Systems,
pages 20-23, Jesu, Korea, September 25-28 2003. [ bib ] |
| [2003] |
Pok-Son Kim and Arne Kutzner.
A new method for efficient in-place merging.
In 4th International Symposium on Advanced Intelligent Systems,
pages 392-392, Jesu, Korea, September 25-28 2003. [ bib ] |
| [2004] |
Pok-Son Kim and Arne Kutzner.
Stable minimum storage merging by symmetric comparisons.
In Susanne Albers and Tomasz Radzik, editors, Algorithms - ESA
2004, volume 3221 of Lecture Notes in Computer Science, pages
714-723. Springer, 2004. [ bib | .pdf ] |
| [2004] |
Pok-Son Kim and Arne Kutzner.
A new scheduling model based on a description logic - comparison with
the model of manne.
In Joint 2nd International Conference on Soft Computing and
Intelligent Systems and 5th International Symposium on Advanced Intelligent
Systems, page 139, Keio University, Yokohama, Japan, September 21-24 2004.
abstract proceedings. [ bib ] |
| [2004] |
Pok-Son Kim and Arne Kutzner.
A new approach to effcient XML-processing by lazy functional
programming.
In Joint 2nd International Conference on Soft Computing and
Intelligent Systems and 5th International Symposium on Advanced Intelligent
Systems, page 138, Keio University, Yokohama, Japan, September 21-24 2004.
abstract proceedings. [ bib ] |
| [2006] |
Pok-Son Kim and Arne Kutzner.
On optimal and efficient in place merging.
In Jirí Wiedermann, Gerard Tel, Jaroslav Pokorny, Mária
Bieliková, and Julius Stuller, editors, SOFSEM 2006, volume 3831 of
Lecture Notes in Computer Science, pages 350-359. Springer, 2006. [ bib | .pdf ] |
| [2006] |
Pok-Son Kim, Arne Kutzner, and Taehoon Park.
Complexity of the scheduling language RSV*.
Journal of Applied Mathematics & Computing, 20(1-2):181-195,
2006. [ bib ] |
| [2007] |
Pok-Son Kim and Arne Kutzner.
A simple algorithm for stable minimum storage merging.
In Keith Jeffery, Branislav Rovan, Bernadette Charron-Bost, Mária
Bieliková, and Julius Stuller, editors, SOFSEM 2007, volume 4362 of
Lecture Notes in Computer Science, pages 347-356. Springer, 2007. [ bib | .pdf ] |
| [2008] |
Pok-Son Kim and Arne Kutzner.
Ratio based stable in-place merging.
In Manindra Agrawal, Ding-Zhu Du, Zhenhua Duan, and Angsheng Li,
editors, TAMC, volume 4978 of Lecture Notes in Computer Science,
pages 246-257. Springer, 2008. [ bib | .pdf ] |
This file has been generated by bibtex2html 1.79