Next Previous Contents

Publications

Martti Penttonen

  1. Martti Penttonen: "A normal form for context-sensitive grammars". Ann. Univ. Turku. Ser. A I, No. 156 1-12, 1972.
  2. Martti Penttonen: "On derivation languages corresponding to context-free grammars". Acta Informatica 3: 285-291, 1974
  3. Martti Penttonen: "One-sided and two-sided context in formal grammars". Information and Control 25 371-392, 1974
  4. Martti Penttonen: Context-sensitive languages and context-free derivations. Doctoral Dissertation. University of Turku, Department of Mathematics, 1974
  5. Martti Penttonen: "ETOL-grammars and N-grammars". Information Processing Letters 4: 11-13, 1975
  6. Martti Penttonen: "Szilard languages are log n tape recognizable". Elektronische Informationsverarbeitung und Kybernetik 13: 595-602, 1977
  7. Martti Penttonen, Grzegorz Rozenberg and Arto Salomaa: "Bibliography of L-systems". Theoretical Computer Science 5: 339-354, 1977
  8. Martti Penttonen: Extended nonsingular automata and the equivalence problem for realtime deterministic pushdown automata. McMaster University, Computer Science Technical Report 78-CS-5.
  9. Tero Harju and Martti Penttonen: "Some decidability problems of sentential forms". International Journal of Computer Mathematics 7: 95-197, 1979.
  10. Hermann Maurer, Martti Penttonen, Arto Salomaa and Derick Wood: "On non context-free grammar forms". Mathematical Systems Theory 12: 297-324, 1979
  11. Martti Penttonen: "Complejidad de los algoritmos". Bolet\'in del Centro de C\'alculo de la Universidad Complutense, no. 34, 1979
  12. Matti Linna and Martti Penttonen: "New proofs for jump DPDA's". In J. Becvar (ed.): Mathematical Foundations of Computer Science 1979, Springer Verlag 1979, 354-362
  13. Martti Penttonen: "NP-completeness of combinatorial problems with unary notation for integers". Fundamenta Informaticae III,3: 397-400, 1980
  14. Martti Penttonen: "A small program understanding Finnish". In H. Kangassalo (ed.) "Second Scandinavian Research Seminar on Information Modelling and Data Base Management". Acta Univ. Tamperensis Ser B Vol 19: 463-471, 1983
  15. Jyrki Katajainen and Martti Penttonen: "Notes on the complexity of sorting in abstract machines". BIT 25, 611-622, 1985
  16. Martti Penttonen: "The reachability of vector addition systems and equivalent problems". Ann. Univ. Turku Ser. A I, no. 186: 80-86, 1984
  17. Martti Penttonen: "Prolog in Prolog - introduction to the principles of Prolog". STeP Symposium Papers. Publications of the Finnish Society for Information Processing Science, Vol. 3, 123-127, 1984
  18. Jarmo Ernvall, Jyrki Katajainen and Martti Penttonen: "NP-completeness of the Hamming salesman problem". BIT 25: 289-292, 1985
  19. Jyrki Katajainen, Martti Penttonen and Jukka Teuhola: "Syntax-directed compression of program files". Software --- Practice and Experience 16, 269-276, 1985
  20. Jyrki Katajainen, Martti Penttonen and Arto Salomaa (eds): Proceedings of the Second Finnish Summer School on Theoretical Computer Science. University of Turku, Department of Computer Science, Report A 38, 1985
  21. Martti Penttonen: Introduction to the implementation of Prolog. University of Turku, Department of Computer Science, Report A 39, 1985
  22. Henrietta Kleijn, Martti Penttonen, Grzegorz Rozenberg and Kai Salomaa: "Direction independent context-sensitive grammars". Information and Control 63: 113-117, 1984
  23. Jyrki Katajainen, Jan van Leeuwen and Martti Penttonen: Simulation of Turing machines by random access machines in O(T log S) time. University of Turku, Department of Computer Science, Report A44, 1987.
  24. Luis Farinas del Cerro and Martti Penttonen: "Notes on the complexity of the satisfiability of modal Horn clauses". Journal of Logic Programming 4: 1-10, 1987
  25. Jyrki Katajainen, Jan van Leeuwen and Martti Penttonen: "Fast simulation of Turing machines by random access machines". SIAM Journal on Computing 17: 77-88, 1988
  26. Lauri Nikkola and Martti Penttonen: "Learning to compile Prolog". STeP 88 --- Finnish Artificial Intelligence Symposium, Vol. 2, 652-661, 1988
  27. Eila Kuikka and Martti Penttonen: "Syntax-directed text processing". STeP 88 - Finnish Artificial Intelligence Symposium, Vol. 2, 695-704, 1988
  28. Jyrki Katajainen, Martti Penttonen and Jukka Teuhola: A Prolog prototype of a syntax-directed compression system. University of Turku, Department of Computer Science, Report D31, 1988
  29. Luis Farinas del Cerro and Martti Penttonen: "Grammar Logics". Logique et Analyse 121-122: 123-134, 1988
  30. Luis Farinas del Cerro and Martti Penttonen: "Logics with structured contexts". Ph. Jorrand and V. Sgurev (eds): Artificial Intelligence IV: Methodology, Systems, Applications. North-Holland, 1990, pp 43-50.
  31. Eila Kuikka, Martti Penttonen: "Designing a syntax-directed text processing system". In K. Koskimies, K.-J. Räihä (eds): Symposium on Programming Languages and Software Tools. University of Tampere, Department of Computer Science, Report A-1991-5.
  32. Luis Farinas del Cerro and Martti Penttonen (eds): Intensional Logics for Programming. Oxford University Press, 1992.
  33. Jyrki Katajainen and Ville Leppänen and Martti Penttonen: "Lisää tehoa tietokoneisiin --- prosessorit yhteistyöhön". Tiede 2000, 6, 1992, pp. 16-21.
  34. Martti Penttonen: "Logiikkaohjelmointi" (Logic Programming). In: E. Hyvönen, I. Karanta, M. Syrjänen (eds): Tekoälyn ensyklopedia, (Encyclopedy of Artificial Intelligence), Gaudeamus, 1993, 310-314.
  35. Martti Penttonen, Ville Leppänen: Simulation of PRAM models on meshes. PARLE'94 Proceedings, Springer Verlag, LNCS 817, 146-158.
  36. Martti Penttonen (ed.): Proceedings of the Seventh Finnish Symposium on Computer Science. University of Joensuu, Department of Computer Science, Technical Report A-1994-1.
  37. Eila Kuikka and Martti Penttonen: "Transformation of structured documents with grammar". Electronic Publishing 6: 373-384.
  38. Eila Kuikka, Martti Penttonen and Marjo-Kaisa Väisänen: "Theory and Implementation of SYNDOC document processing system." Proc. of the Second Internat. Conf. on Practical Applications of Prolog.
  39. Juha Hakkarainen, Petteri Laamanen, Martti Penttonen and Raimo Rask: "Ohjelmaprojektin työmäärän arvioinnissa käytettävät päätöstekijät" (Decision factors used for estimating the work of a software project). Tietojenkäsittelytiede No 6, 1994.
  40. Martti Penttonen, Ville Leppänen: "Work-Optimal Simulation of PRAM Models on Meshes" Nordic Journal of Computing 2 (1995), 51-69.
  41. Martti Forsell, Ville Leppänen, Martti Penttonen: "Efficient two-level mesh based simulation of PRAMs", International Symposium on Parallel Architectures and Networks, Peking, (I-SPAN'96), 29-35.
  42. Anssi Kautonen, Ville Leppänen, Martti Penttonen: "Simulation of PRAM on complete optical networks". In: EuroPar'96 Parallel Processing, Lecture Notes in Computer Science 1124:307-310.
  43. Eila Kuikka, Martti Penttonen: "Transformation of structured documents". Electronic Publishing. 8:319-341.
  44. Martti Penttonen: "Experimental simulations of PRAM on complete network". University of Joensuu, Department of Computer Science, Technical Report A-1997-1.
  45. Martti Penttonen: Johdatus algoritmien suunnitteluun ja analysointiin. Otatieto, 1997, 267 pp.
  46. Martin Dietzfelbinger, Torben Hagerup, Jyrki Katajainen and Martti Penttonen: A reliable randomized algorithm for the closest-pair problem. Journal of Algorithms 25:19-51.
  47. Paula Leinonen, Martti Penttonen: Producing SGML-documents with public domain tools. University of Joensuu, Department of Computer Science, Technical Report A-1998-1.
  48. Anssi Kautonen, Ville Leppänen, Martti Penttonen: "Constant thinning protocol for routing h-relations in complete network." Proc. EuroPar'98, LNCS, to appear.
  49. Anssi Kautonen, Ville Leppänen, Martti Penttonen: "Thinning protocols for routing h-relations in complete networks." Randomized Algorithms: Satellite conference of MFCS'98, to appear.

Next Previous Contents