next up previous contents
Next: Faculty Up: Research Previous: Transaction Management Support for

Publications

 Recent publications of the department are listed below according to the ACM Computing Reviews (CR) classification system. The list contains selected publications in 1994-95 and new publications since January 1996.
 

General Literature - Introductory and Survey (A.1)

1.
K. Korpimies: The Basics of Computer Science: A Student's Guide (in Finnish). Lahti Research and Training Centre, University of Helsinki, 1995 and 1996.

2.
K. Korpimies and J. Vanha-Eskola: The Basics of Computer Science: A Tutor's Guide (in Finnish). Lahti Research and Training Centre, University of Helsinki, 1995 and 1996.

3.
J. Tarhio and M. Tienari (eds.): Computer science at the University of Helsinki 1996. Report A-1996-3, Department of Computer Science, University of Helsinki, 1997.

Computer Systems Organization - Computer-Communication Networks - General (C.2.0)

4.
K. Korpimies: Internet: A User's Guide (in Finnish). Suomen Atk-kustannus Oy, 1994 and 1995.

5.
J. Taina: Database Architecture for Intelligent Networks. Ph.Lic. Thesis, Report C-1997-50, Department of Computer Science, University of Helsinki, 1997.

Network Architecture and Design (C.2.1)

6.
T. Alanko, L. Hippeläinen, M. Kojo, H. Laamanen, M. Liljeberg and K. Raatikainen: Mowgli: Enhanced communication services for mobile computing using GSM. In Proc. ITU Telecom Interactive 97 Forum, 1997.

7.
T. Alanko, H. H. Kari, M. Kojo, H. Laamanen, M. Liljeberg, K. Raatikainen and M. Tienari: Communication services for mobile office in wireless WAN environments. In Global Communications: Interactive '97 (ed. R. Struzak), Hanson Cooke Ltd, 1997, 219-225.

8.
T. Alanko, M. Kojo, H. Laamanen, K. Raatikainen and M. Tienari: Mobile computing based on GSM: The Mowgli approach. In Proc. IFIP World Conference on Mobile Communications: Technology, Tools, Applications, Authentication and Security (eds. J. L. Encarnação and J. M. Rabaey), Chapman & Hall, 1996, 151-158.

9.
T. Alanko, M. Kojo, M. Liljeberg and K. Raatikainen: Mowgli: Improvements for Internet applications using slow wireless links. In Proc. 8th IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, 1997, 1038-1042.

10.
K. Granö, J. Paakki, A. Viljamaa and J. Viljamaa: Protocol engineering & Kannel. Dr. Dobb's Journal 23, 4 (1998), 46-53.

11.
J. Kiiskinen, M. Kojo, M. Liljeberg and K. Raatikainen: Data channel service for wireless telephone links. In Proc. 2nd International Mobile Computing Conference, ACM, 1996, 60-69.

12.
M. Kojo, K. Raatikainen and T. Alanko: Connecting mobile workstations to the Internet over a digital cellular telephone network. In Mobile Computing (ed. T. Imielinski and H. Korth), Kluwer Academic Publishers, 1996, 253-270.

13.
H. Laamanen, T. Alanko, M. Kojo and K. Raatikainen: The Mowgli project for pan-European GSM data. In Mobile Internet, IBC Technical Services, 1996.

14.
M. Liljeberg, H. Helin, M. Kojo and K. Raatikainen: Mowgli WWW software: Improved usability of WWW in mobile WAN environments. In Proc. IEEE Global Internet 1996 Conference, 1996, 33-37.

15.
M. Liljeberg, S. Furnell, K. Raatikainen and P. Reynolds: Internet information browsing using GSM data communications: A benchmarking study. In ACTS Mobile Communications Summit '97: ``Towards a wireless communication society'', vol. 2, Center for PersonKommunikation, 1997, 876-881.

16.
K. Raatikainen and S. Trigila: Software radio and service architectures. In ACTS Mobile Communications Summit '97: Invited and round table papers, Center for PersonKommunikation, 1997.

Network Protocols (C.2.2)

17.
A. Arvonen, K. Granö, J. Harju and J. Paakki: Experiences with the integration of protocol software tools. Computer Communications, 19, 2 (1996), 141-151.

18.
R. Kaivola: Using compositional preorders in the verification of sliding window protocol. In Proc. 9th International Conference on Computer-Aided Verification, CAV '97 (ed. O. Grumberg), Lecture Notes in Computer Science 1254, Springer, 1997, 48-59.

19.
M. Kojo, K. Raatikainen, M. Liljeberg, J. Kiiskinen and T. Alanko: An efficient transport service for slow wireless telephone links. IEEE Journal on Selected Areas in Communications 15, 7 (1997), 1337-1348.

Network Operations (C.2.3)

20.
K. Hätönen, M. Klemettinen, H. Mannila, P. Ronkainen and H. Toivonen: TASA: Telecommunications alarm sequence analyzer, or ``How to enjoy faults in your network''. In Proc. IEEE Network Operations and Management Symposium, NOMS '96, IEEE, 1996, 520-529.

21.
M. Klemettinen, H. Mannila and H. Toivonen: A data mining methodology and its application to semi-automatic knowledge acquisition. In Proc. International Workshop on Database and Expert Systems Applications, DEXA '97 (eds. A. Hameurlain and A. M. Tjoa), IEEE Computer Society Press, 1997, 670-677.

22.
M. Klemettinen, H. Mannila and H. Toivonen: Rule discovery in telecommunication alarm data. To appear in Journal of Network and Systems Management, 1998.

23.
M. Klemettinen, H. Mannila and H. Toivonen: Interactive exploration of interesting findings in TASA. To appear in Information and Software Technology, 1998.

Distributed Systems (C.2.4)

24.
K. Granö and J. Paakki: From peer to service, from service to peer - object-oriented protocol refinement in Kannel. Report TUM-I9623, Institut für Informatik, Technische Universität München, 1996.

25.
P. Kähkipuro: Basic patterns of distributed object-oriented computing. In Proc. 2nd International Conference ``The White Object-Oriented Nights'', WOON' 96 (eds. A. Smolyaninov and A. Shestialtynov), St. Petersburg Electrotechnical University, 1996, 115-125.

26.
P. Kähkipuro: Distributed software localization. In Industrial and Short Paper Proc. International Workshop on Trends in Distributed Systems, TreDS '96 (eds. O. Spaniol, C. Linnhoff-Popien and B. Meyer), Band 17, Aachener Beiträge zur Informatik, Verlag der Augustinus Buchhandlung, 1996, 104-111.

27.
P. Kähkipuro: An object model framework for middleware-based distributed systems. In Proc. IFIP TC6 WG6.1 International Working Conference on Distributed Applications and Interoperable Systems, DAIS '97 (eds. H. König, K. Geihs and T. Preuss), Chapman & Hall, 1997, 201-207.

28.
P. Kähkipuro, L. Kutvonen and L. Marttinen: Federated naming in an ODP environment. In Proc. IFIP/IEEE International Conference on Open Distributed Processing and Distributed Platforms (eds. J. Rolia, J. Slonim and J. Botsford), Chapman & Hall, 1997, 314-325.

29.
P. Kähkipuro, L. Marttinen and L. Kutvonen: Reaching interoperability through ODP type framework. Report C-1996-96, Department of Computer Science, University of Helsinki, 1996.

30.
P. Kähkipuro, L. Marttinen and L. Kutvonen: Reaching interoperability through ODP type framework. In Proc. Conference on Convergence of Telecommunications and Distributed Computing Technologies, TINA '96, VDE-Verlag, 1996, 283-284.

31.
L. Kutvonen: Overview of the DRYAD trading system implementation. In Proc. IFIP/IEEE International Conference on Distributed Platforms: Client/Server and Beyond: DCE, CORBA, ODP and Advanced Distributed Applications (eds. A. Schill, C. Mittasch, O. Spaniol and C. Popien), Chapman & Hall, 1996, 314-326.

32.
L. Kutvonen: The Role of Trading Function in Open Distributed Processing Infrastructure. Ph.Lic. Thesis, Report C-1996-84, Department of Computer Science, University of Helsinki, 1996.

33.
L. Kutvonen: Management of application federations. In IFIP TC6 WG6.1 International Working Conference on Distributed Applications and Interoperable Systems (eds. H. König et al.), Chapman & Hall, 1997, 33-46.

34.
L. Kutvonen: Why CORBA systems cannot federate? In Proc. OMA/ODP Workshop, Object Management Group, 1997.

35.
L. Kutvonen: Architectures for distributed systems: Open Distributed Processing reference model. In HeCSE Workshop on Emerging Technologies in Distributed Systems, Helsinki University of Technology, 1998.

36.
L. Kutvonen: Supporting global electronic commerce with ODP tools. In Trends in Distributed Systems '98: Electronic Commerce, Morgan Kaufmann, 1998.

37.
P. Kutvonen and L. Kutvonen: Measured performance of a special-purpose database engine for distributed system software. Computer Communications Journal 19, 1 (1996), 21-29.

38.
M. Liljeberg, H. Helin, M. Kojo and K. Raatikainen: Enhanced services for World-Wide Web in mobile WAN environment. In Proc. 3rd International Conference on Communicating by Image and Multimedia, IMAGE'COM 96, 1996.

39.
P. Porkka and K. Raatikainen: CORBA access to telecommunications databases. In Proc. IFIP TC6 WG6.7 International Conference on Intelligent Networks and Intelligence in Networks (ed. D. Gaiti, Chapman & Hall, 1997, 281-300.

Special-Purpose and Application-Based Systems (C.3)

40.
T. Niklander, J. Kiviniemi and K. Raatikainen: A real-time database for future telecommunication services. In Proc. IFIP TC6 WG6.7 International Conference on Intelligent Networks and Intelligence in Networks (ed. D. Gaiti), Chapman & Hall, 1997, 413-430.

41.
T. Niklander and K. Raatikainen: Real-time platform for the RODAIN database. Report C-1996-53, Department of Computer Science, University of Helsinki, 1996.

42.
T. Niklander and K. Raatikainen: Interworking requirements in the RODAIN database management system. Report C-1996-77, Department of Computer Science, University of Helsinki, 1996.

43.
K. Raatikainen, J. Kiviniemi, T. Niklander and P. Porkka: Specification of RODAIN database architecture and interfaces. Report C-1996-103, Department of Computer Science, University of Helsinki, 1996.

44.
K. Raatikainen, J. Kiviniemi, T. Niklander and P. Porkka: Implementation plan for the RODAIN prototype. Report C-1996-104, Department of Computer Science, University of Helsinki, 1996.

45.
K. Raatikainen and A. Tuoriniemi: Mobility in the intelligent network architecture. In Proc. 4e Colloque International sur l'Intelligence dans les Reseaux, France Telecom, 1996, 289-294

46.
J. Taina, P. Elovaara, T. Niklander and K. Raatikainen: Platform requirements of a real-time object-oriented database management system for telecommunications. Report C-1996-30, Department of Computer Science, University of Helsinki, 1996.

47.
J. Taina and K. Raatikainen: Design issues and experimental database architecture for telecommunications. In Proc. IFIP TC6 Conference on Intelligent Networks and New Services, IN '95 (eds. J. Nørgaard and W. Iversen), Chapman & Hall, 1996, 121-139.

48.
J. Taina and K. Raatikainen: An experimental real-time object-oriented database architecture for intelligent networks. Engineering Intelligent Systems 3 (1996), 141-154.

49.
J. Taina and K. Raatikainen: RODAIN: A real-time object-oriented database system for telecommunications. In Proc. Workshop on Databases: Active and Real-Time, DART '96, ACM, 1996, 12-15.

50.
J. Taina and K. Raatikainen: Database usage and requirements in intelligent networks. In Proc. IFIP TC6 WG6.7 International Conference on Intelligent Networks and Intelligence in Networks (ed. D. Gaiti), Chapman & Hall, 1997, 261-280.

51.
J. Taina and S. Son: A framework for real-time object-oriented database models. In Proc. IEEE 3rd International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS '97, IEEE, 1997, 146-152.

52.
J. Taina and S. Son: TARTOS - Toolbox for active real-time object-oriented database system models. In Proc. IEEE Workshop on Parallel and Distributed Systems, WPDRTS '97, IEEE, 1997, 131-140.

53.
J. Taina and S. Son: Requirements for real-time object-oriented database models - How much is too much? In Proc. 9th Euromicro Workshop on Real-Time Systems, IEEE, 1997, 258-265.

54.
J. Taina and S. Son: A toolbox approach for requirements analysis and modeling of active real-time object-oriented database models. Submitted to Journal of Systems Architecture, Special Issue on Real-Time systems, 1997.

Software - Programming Techniques - Object-Oriented Programming (D.1.5)

55.
J. Hautamäki: A survey of frameworks. Report A-1997-3, Department of Computer Science, University of Tampere, 1997.

56.
K. Hautamäki, J. Tuomi, A. Viljamaa and J. Viljamaa: Four example frameworks in Java. Report B-1997-6, Department of Computer Science, University of Tampere, 1997.

57.
A. Viljamaa: Application frameworks in the Java environment. Report C-1997-24, Department of Computer Science, University of Helsinki, 1997.

Logic Programming (D.1.6)

58.
T. Eiter, G. Gottlob and H. Mannila: Disjunctive Datalog. ACM Transactions on Database Systems 22, 3 (1997), 364-418.

59.
T. Eiter and H. Mannila: Theory distance and similarity: Measures and computation. Acta informatica 34, 2 (1997), 109-133.

60.
T. Eiter, H. Mannila and G. Gottlob: On the expressive power of disjunctive logic programming over finite structures. Report, CD-TR 96/90, Christian Doppler Laboratory for Expert Systems, Vienna University of Technology, 1996.

Software Engineering - Tools and Techniques (D.2.2)

61.
H. Haapa-aho, H. Hakulinen, A. Hirvonen, T.-K. Kupias, H. Laine, H. Niinistö, S. Räisänen and P. Virkki: The invasion of objects (in Finnish). Suomen Atk-kustannus Oy, 1997.

62.
M. Hakala, J. Hautamäki, J. Tuomi, A. Viljamaa and J. Viljamaa: Design of a Java framework engineering tool. Report A-1997-12, Department of Computer Science, University of Tampere, 1997.

63.
M. Harsu, J. Hautamäki and K. Koskimies: A language implementation framework in Java. In Proc. Workshop on Language Support for Design Patterns and Object-Oriented Frameworks, LSDF '97 (eds. J. Bosch, G. Hedin and K. Koskimies). Research Report 6/97, University of Karlskrona/Ronneby, 1997.

64.
H. Laine: Finnish-English object dictionary. http://www.cs.helsinki.fi/~laine/oliosanasto/, 1997.

65.
T. Niklander and K. Raatikainen: Analysis of design tools for potential use in the RODAIN project. Report C-1996-76, Department of Computer Science, University of Helsinki, 1996.

66.
J. Paakki (ed.): Proc. 5th Symposium on Programming Languages and Software Tools, Jyväskylä, Finland, 1997. Report C-1997-37, Department of Computer Science, University of Helsinki, 1997.

67.
J. Paakki, J. Koskinen and A. Salminen: From relational program dependencies to hypertextual access structures. Nordic Journal of Computing 4, 1 (1997), 3-36.

68.
J. Viljamaa: Tools supporting the use of design patterns in frameworks. Report C-1997-25, Department of Computer Science, University of Helsinki, 1997.

Testing and Debugging (D.2.5)

69.
S.-P. Lahtinen, E. Sutinen, J. Tarhio and A.-P. Tuovinen: Object-oriented visualization of program logic. In Proc. Technology of Object-Oriented Languages & Systems, TOOLS23, 1997, 93-107.

Distribution and Maintenance (D.2.7)

70.
J. Paakki, A. Salminen and J. Koskinen: Automated hypertext support for software maintenance. The Computer Journal 39, 7 (1996), 577-597.

Programming Languages - Language Classifications (D.3.2)

71.
J. Jaakkola, P. Kilpeläinen and G. Lindén: TranSID: An SGML tree transformation language. In Proc. 5th Symposium on Programming Languages and Software Tools (ed. J. Paakki), Report C-1997-37, Department of Computer Science, University of Helsinki, 1997, 72-83.

Processors (D.3.4)

72.
G. Lindén, H. Tirri and A. I. Verkamo: ALCHEMIST: A general purpose transformation generator. Software - Practice and Experience, 26, 6 (1996), 653-676.

73.
A.-P. Tuovinen: Towards a framework for developing processors for visual languages. In Proc. Workshop on Language Support for Design Patterns and Object-Oriented Frameworks, LSDF '97 (eds. J. Bosch, G. Hedin and K. Koskimies). Research Report 6/97, University of Karlskrona/Ronneby, 1997.

74.
A.-P. Tuovinen: A framework for processors of visual languages. In Proc. Workshop Reader on Object-Oriented Technology, ECOOP '97 (eds. J. Bosch and S. Mitchell), Lecture Notes in Computer Science 1357, Springer, 1998, 119-122.

75.
A. P. Tuovinen: Error recovery in parsing relational languages. Submitted 1998.

Data - Data Storage Representations (E.2)

76.
O. Nurmi and E. Soisalon-Soininen: Chromatic binary search trees: A structure for concurrent rebalancing. Acta informatica 33, 6 (1996), 547-557.

77.
O. Nurmi, E. Soisalon-Soininen and D. Wood: Relaxed AVL trees, main-memory databases and concurrency. International Journal of Computer Mathematics 62, 1 (1996), 23-44.

78.
K. Pollari-Malmi, E. Soisalon-Soininen and T. Ylönen: Concurrency control in B-trees with batch updates. IEEE Transactions on Knowledge and Data Engineering 8, 6 (1996), 975-984.

Data Encryption (E.3)

79.
P. Orponen: Quantum computers and molecular computation: A threat to public key encryption (in Finnish). Tietotekniikan maailma, 1 (1996), 28-33.

Theory of Computation - Computation by Abstract Devices - Models of Computation (F.1.1)

80.
P. Orponen: The computational power of discrete Hopfield nets with hidden units. Neural Computation 8, 2 (1996), 403-415.

81.
P. Orponen: Computing with truly asynchronous threshold logic networks. Theoretical Computer Science 174, 1-2 (1997), 123-136.

Complexity Classes (F.1.3)

82.
H. Buhrman and P. Orponen: Random strings make hard instances. Journal of Computer and System Sciences 53, 2 (1996), 261-266.

Analysis of Algorithms and Problem Complexity - Nonnumerical Algorithms and Problems (F.2.2)

83.
G. Das, R. Fleischer, L. Gasieniec, D. Gunopoulos and J. Kärkkäinen: Episode matching. In Proc. 8th Annual Symposium on Combinatorial Pattern Matching, CPM '97 (eds. A. Apostolico and J. Hein), Lecture Notes in Computer Science 1264, Springer, 1997, 12-27.

84.
P. Jokinen, J. Tarhio and E. Ukkonen: A comparison of approximate string matching algorithms. Software - Practice and Experience 26, 12 (1996), 1439-1458.

85.
J. Kärkkäinen (ed.): Proc. Algorithm Day, 10 January 1997. Report C-1997-11, Department of Computer Science, University of Helsinki, 1997.

86.
J. Kärkkäinen and E. Sutinen: Lempel-Ziv index for q-grams. In Proc. 4th Annual European Symposium on Algorithms, ESA '96 (eds. J. Diaz and M. Sena), Lecture Notes in Computer Science 1136, Springer, 1996, 378-391.

87.
J. Kärkkäinen and E. Ukkonen: Sparse suffix trees. In Proc. 2nd Annual International Computing and Combinatorics Conference, COCOON '96, Lecture Notes in Computer Science 1090, Springer, 1996, 219-230.

88.
J. Kärkkäinen and E. Ukkonen: Lempel-Ziv parsing and sublinear-size index structures for string matching. In Proc. 3rd South American Workshop on String Processing, WSP '96, International informatics series no. 4, Carleton University Press, 1996, 141-155.

89.
P. Kilpeläinen: Notes on associative and commutative matching. Submitted for publication 1997.

90.
O. Lehtinen, E. Sutinen and J. Tarhio: Experiments on block indexing. In Proc. 3rd South American Workshop on String Processing, WSP '96, International informatics series no. 4, Carleton University Press, 1996, 183-193.

91.
H. Mannila and P. Ronkainen: Similarity of event sequences. In Proc. 4th International Workshop on Temporal Representation and Reasoning, TIME '97 (eds. R. Morris and L. Khatib), 1997. IEEE Computer Society Press, 136-139.

92.
E. Sutinen: Using q-Grams in Approximate Pattern Matching. Ph.Lic. Thesis, Report C-1996-90, Department of Computer Science, University of Helsinki, 1996.

93.
E. Sutinen and J. Tarhio: Filtration with q-samples in approximate string matching. In Proc. 7th Annual Symposium on Combinatorial Pattern Matching, CPM '96 (eds. D. Hirschberg and G. Myers), Lecture Notes in Computer Science 1075, Springer, 1996, 50-63.

94.
J. Tarhio: A sublinear algorithm for two-dimensional string matching. Pattern Recognition Letters 17, 8 (1996), 833-838.

95.
J. Tarhio and H. Peltola: String matching in the DNA alphabet. Software - Practice and Experience 27, 7 (1997), 851-861.

Logics and Meanings of Programs - Specifying and Verifying and Reasoning about Programs (F.3.1)

96.
M. Butler, J. Grundy, T. Långbacka, R. Ruksenas and J. von Wright: The Refinement Calculator: Proof support for program refinement. In Proc. Formal Methods Pacific: Discrete Mathematics and Theoretical Computer Science, FMP '97 (eds. L. Groves and S. Reeves), Springer, 1997, 40-61.

97.
M. Butler and T. Långbacka: Program derivation using the Refinement Calculator. In Proc. 9th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '96 (eds. J. von Wright, J. Grundy and J. Harrison), Lecture Notes in Computer Science 1125, Springer, 1996, 93-108.

98.
J. Eloranta, M. Tienari and A. Valmari: Essential transitions to bisimulation equivalences. Theoretical Computer Science 179, 1/2 (1997), 397-419.

99.
K. Granö and J. Paakki: From layer to layer - Object-oriented protocol refinement in Kannel. In Proc. 2nd International Conference on Coordination Languages and Models, COORDINATION '97 (eds. D. Garlan and D. Le Metayer), Lecture Notes in Computer Science 1282, Springer, 1997, 355-373.

100.
R. Kaivola: Equivalences, Preorders and Compositional Verification for Linear Time Temporal Logic and Concurrent Systems. Ph.D. Thesis, Report A-1996-1, Department of Computer Science, University of Helsinki, 1996.

101.
T. Långbacka: An Interactive Environment Supporting the Development of Formally Correct Programs. Ph.D. Thesis, Department of Computer Science, Åbo Akademi University, 1997.

102.
T. Långbacka and J. von Wright: Refining reactive systems in HOL using action systems. In Proc. 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '97 (eds. E. L. Gunter and A. Felty), Lecture Notes in Computer Science 1275, Springer, 1997, 183-197

103.
A. Valmari and M. Tienari: Compositional failure-based semantic models for basic LOTOS. Formal Aspects of Computing 7 (1995), 440-468.

Mathematical Logic and Formal Languages - Mathematical Logic (F.4.1)

104.
C. Gefwert, P. Orponen and J. Seppänen (eds.): Logic, Mathematics and the Computer - Foundations: History, Philosophy and Applications, vol. 14, Symposium Series, Finnish Artificial Intelligence Society, 1996.

105.
J. Grundy and T. Långbacka: Recording HOL proofs in a structured browsable format. In Proc. 6th International Conference on Algebraic Methodology and Software Technology, AMAST '97, 1997.

106.
R. Kaivola: Axiomatising linear time mu-calculus. In Proc. 6th International Conference on Concurrency Theory, CONCUR '95 (eds. I. Lee and S. Smolka), Lecture Notes in Computer Science 962, Springer, 1995, 423-437.

107.
R. Kaivola: On modal mu-calculus and Büchi tree automata. Information Processing Letters 54 (1995), 17-22.

108.
R. Kaivola: Axiomatising extended computation tree logic. In Proc. 21st Colloquium on Trees in Algebra and Programming, CAAP '96 (ed. H. Kirchner), Lecture Notes in Computer Science 1059, Springer, 1996, 87-101.

109.
R. Kaivola: Fixpoints for Rabin tree automata make complementation easy. In Proc. 23rd International Colloquium on Automata, Languages and Programming, ICALP '96 (eds. F. Meyer auf der Heide and B. Monien), Lecture Notes in Computer Science 1099, Springer, 1996, 312-323.

110.
R. Kaivola: Using Automata to Characterise Fixed Point Temporal Logics. Ph.D. Thesis, Report CST-135-97 (ECS-LFCS-97-356), Department of Computer Science, University of Edinburgh, 1997.

111.
R. Kaivola: Axiomatising extended computation tree logic. Theoretical Computer Science 190, 1 (1998), 41-60.

112.
T. Långbacka: Developing a graphic theorem proving tool. In Logic, Mathematics and the Computer - Foundations: History, Philosophy and Applications (eds. C. Gefwert, P. Orponen and J. Seppänen), vol. 14, Symposium Series, Finnish Artificial Intelligence Society, 1996, 179-188.

113.
P. Orponen: On the complexity of computational problems. In Logic, Mathematics and the Computer - Foundations: History, Philosophy and Applications (eds. C. Gefwert, P. Orponen and J. Seppänen), vol. 14, Symposium Series, Finnish Artificial Intelligence Society, 1996, 144-152.

Grammars and Other Rewriting Systems (F.4.2)

114.
E. Ohlebusch and E. Ukkonen: On the equivalence problem for E-pattern languages. In Proc. 21st International Symposium on Mathematical Foundations of Computer Science, MFCS '96 (eds. W. Penczek and A. Szaas), Lecture Notes in Computer Science 1113, Springer, 1996, 457-468.

115.
E. Ohlebusch and E. Ukkonen: On the equivalence problem for E-pattern languages. Theoretical Computer Science 186, 1-2 (1997), 231-248.

116.
E. Ukkonen: String databases and finite multitape automata. In Proc. 4th South American Workshop on String Processing, WSP '97, International informatics series 8, Carleton University Press, 1997, 179.

Formal Languages (F.4.3)

117.
P. Kilpeläinen and D. Wood: SGML and exceptions. In Proc. International Workshop on Principles of Document Processing, PODP '96 (eds. C. Nicholas and D. Wood), Lecture Notes in Computer Science 1293, Springer, 1997, 39-49. (Also technical report HKUST-CS96-30, Department of Computer Science, The Hong Kong University of Science & Technology, 1996).

Mathematics of Computing - Numerical Analysis - Optimization (G.1.6)

118.
J. Lahtinen, P. Myllymäki, T. Silander and H. Tirri: Empirical comparison of stochastic algorithms in a graph optimization problem. In Proc. 2nd Nordic Workshop on Genetic Algorithms and their Applications, 2NWGA (ed. J. Alander), Report 11, University of Vaasa, 1996, 45-59.

Discrete Mathematics - Combinatorics (G.2.1)

119.
O. Yli-Harja, K. Oksanen, K. Egiazarian and J. Astola: The Dedekind problem and perfect shuffle. In Proc. Algorithm Day, 10 January 1997 (ed. J. Kärkkäinen), Report C-1997-11, Department of Computer Science, University of Helsinki, 1997.

Probability and Statistics (G.3)

120.
P. Kontkanen, P. Myllymäki, T. Silander and H. Tirri: A Bayesian approach for retrieving relevant cases. In Proc. Conference on Artificial Intelligence Applications, EXPERSYS-97 (ed. P. Smith). IITT International, 1997, 67-72.

121.
P. Kontkanen, P. Myllymäki, T. Silander and H. Tirri: A Bayesian approach to discretization. In Proc. European Symposium on Intelligent Techniques, 1997, 265-268.

122.
P. Kontkanen, P. Myllymäki, T. Silander and H. Tirri: On the accuracy of stochastic complexity approximations. To appear in Causal Models and Intelligent Data Analysis (ed. A. Gammerman), Springer, 1998. Also in Proc. Causal Models and Statistical Learning Seminar, 1997, 103-117.

123.
P. Kontkanen, P. Myllymäki, T. Silander and H. Tirri: Comparing stochastic complexity minimization algorithms in estimating missing data. In Proc. 4th Workshop on Uncertainty Processing, WUPES '97, 1997, 81-90.

124.
P. Kontkanen, P. Myllymäki, T. Silander, H. Tirri and P. Grünwald: On predictive distributions and Bayesian networks. Submitted to Statistics and Computing.

125.
H. Tirri: Plausible Prediction by Bayesian Inference. Ph.D. Thesis, Report A-1997-1, Department of Computer Science, University of Helsinki, 1997.

126.
H. Tirri and T. Silander: Stochastic complexity based estimation of missing elements in questionnaire data. To appear in Proc. Annual Meeting of the American Educational Research Association, AERA '98, 1998.

127.
H. Tirri, T. Silander and K. Tirri: Using neural networks for descriptive statistical analysis of educational data. In Proc. Annual Meeting of the American Educational Research Association, AERA '97, SIG Educational Statisticians, ERIC Document Reproduction Service 408 344, 1997. (On microcard.)

128.
H. Tirri, T. Silander and K. Tirri: Bayesian finite mixtures for nonlinear modeling of educational data. In Proc. Annual Meeting of the American Educational Research Association, AERA '97, Division D, ERIC Document Reproduction Service 408 345, 1997. (On microcard.)

129.
O. Yli-Harja: Statistical characterisation of stack filters. In Proc. IEEE Nonlinear Signal Processing Workshop, 1997. (Published as CD-ROM only.)

Information Systems - Database Management (H.2)

130.
H. Laine. A Vocabulary of Relational Databases (in Finnish). Tietotekniikan kehittämiskeskus, 1996.

131.
K. Raatikainen, J. Kiviniemi, T. Niklander and P. Porkka: System design of the RODAIN prototype database. Report C-1997-28, Department of Computer Science, University of Helsinki, 1997.

Physical Design (H.2.2)

132.
J. Laine: Database Reorganization. Ph.Lic. Thesis, Report C-1997-85, Department of Computer Science, University of Helsinki, 1997.

Languages (H.2.3)

133.
L. Akselin and P. Kilpeläinen: Graphical text region queries (in Finnish). In Proc. SGML Finland 1997 (ed. K. Rytkönen), SGML Users' Group Finland, 1997, 109-122.

134.
G. Grahne: Updates and counterfactuals. Journal of Logic and Computation 8, 1 (1998), 87-117.

135.
G. Grahne, A. Mendelzon and P. Revesz: Knowledgebase transformations. Journal of Computer and System Sciences 54, 1 (1997), 98-112.

136.
G. Grahne and M. Nykänen: Safety, translation and evaluation of alignment calculus. In Proc. 1st East-European Symposium on Advances in Databases and Information Systems, ADBIS '97, 1997, 295-304.

137.
G. Grahne, M. Nykänen and E. Ukkonen: Reasoning about strings in databases. To appear in Journal of Computer and System Sciences.

138.
G. Grahne, N. Spyratos and D. Stamate: Semantics and containment of queries with internal and external conjunctions. In Proc. 6th International Conference on Database Theory, ICDT '97 (eds. F. Afrati and P. Kolaitis), Lecture Notes in Computer Science 1186, Springer, 1997, 71-82.

139.
J. Jaakkola and P. Kilpeläinen: Using sgrep for querying structured text files. In Proc. SGML Finland 1996 (ed. J. Saarela), SGML User's Group Finland, 1996, 56-67. (Also Report C-1996-83, Department of Computer Science, University of Helsinki, 1996.)

140.
M. Nykänen: Alignment Calculus: A Modal Logic for Querying String Databases. Ph.Lic. Thesis, Report C-1996-97, Department of Computer Science, University of Helsinki, 1997.

141.
M. Nykänen: Querying String Databases with Modal Logic. Ph.D. Thesis, Report A-1997-3, Department of Computer Science, University of Helsinki, 1997.

Systems (H.2.4)

142.
P. Elovaara and K. Raatikainen: Evaluation of concurrency control algorithms for real-time databases. Report C-1996-52, Department of Computer Science, University of Helsinki, 1996.

143.
P. Elovaara and K. Raatikainen: Analysis of WAIT-50 and OCC-TI concurrency control algorithms for real-time databases in telecommunications. Report C-1996-78, Department of Computer Science, University of Helsinki, 1996.

144.
T. Imielinski and H. Mannila: A database perspective on knowledge discovery. Communications of the ACM 39, 11 (1996), 58-64.

145.
J. Kiviniemi, J. Lindström, T. Niklander, P. Porkka and K. Raatikainen: Experimental design of RODAIN trial. Report C-1997-83, Department of Computer Science, University of Helsinki, 1997.

146.
J. Kiviniemi, J. Lindström, T. Niklander, P. Porkka and K. Raatikainen: RODAIN prototype real-time database system, version 2. Report C-1997-84, Department of Computer Science, University of Helsinki, 1997.

147.
J. Kiviniemi, T. Niklander, P. Porkka and K. Raatikainen: Transaction processing in the RODAIN real-time database system. In Real-Time Database and Information Systems (eds. A. Bestavros and V. Fay-Wolfe), Kluwer Academic Publishers, 1997, 355-375.

148.
J. Kiviniemi and K. Raatikainen: Real-time object-oriented data model for telecommunications. Report C-1996-75, Department of Computer Science, University of Helsinki, 1996.

149.
A. Lehtola, R. de By, H. Tirri and J. Wäsch: The TransCoop architecture. Chapter 5 in Transaction Management Support for Cooperative Applications (eds. R. de By et al.), Kluwer 1998, 93-111.

150.
H. Mannila: Data mining: Machine learning, statistics, and databases. In Proc. 8th International Conference on Scientific and Statistical Database Management, SSDBM '96, IEEE Computer Society Press, 1996, 2-9.

151.
H. Mannila: Schema design and knowledge discovery. In Proc. 15th International Conference on Conceptual Modeling, ER '96, Lecture Notes in Computer Science 1157, Springer, 1996, 27.

152.
J. Puustjärvi: Negotiation transactions: An approach to increase the automation of workflows. In Proc. 9th International Conference on Advanced Information Systems Engineering, CAiSE '97 (eds. A. Olivé and J. A. Pastor), Lecture Notes in Computer Science 1250, 1997, 89-102.

153.
J. Puustjärvi, H. Tirri and J. Veijalainen: Concurrency control for overlapping and cooperative workflows. Bulletin of the Technical Committee on Operating Systems and Application Environments, TCOS, 8, 1 (1996), 24-30.

154.
J. Puustjärvi, H. Tirri and J. Veijalainen: Managing overlapping transactional workflows. In Proc. 8th International Conference on Advanced Information Systems Engineering, CAiSE '96 (eds. P. Constantopoulos, J. Mypoulos and Y. Vassiliou), Lecture Notes in Computer Science 1080, Springer, 1996, 345-361.

155.
J. Puustjärvi, H. Tirri and J. Veijalainen: Reusability and modularity in transactional workflows. Information Systems 22, 2/3 (1997), 101-120.

156.
K. Raatikainen: Real-time databases in telecommunications. In Real-time Database Systems: Issues and Applications, International Series in Engineering and Computer Science, Real-time Systems, Kluwer, 1997, 93-98.

157.
S. Sippu and E. Soisalon-Soininen: An analysis of magic sets and related optimization strategies for logic queries. Journal of the ACM 43, 6 (1996), 1046-1088.

158.
J. Veijalainen, J. Wäsch, J. Puustjärvi, H. Tirri and O. Pihlajamaa: Transaction models in cooperative work - An overview. Chapter 3 in Transaction Management Support for Cooperative Applications (eds. R. de By et al.), Kluwer 1998, 27-58.

Heterogeneous Databases (H.2.5)

159.
A.-P. Tuovinen: Using compiler techniques to convert an SQL application for a new DBMS. In Proc. 4th Symposium on Programming Languages and Software Tools (ed. Laszlo Varga), Department of General Computer Science, Eötvös Lorand University of Budapest, 1995, 349-359.

160.
A.-P. Tuovinen and J. Paakki: Translating SQL for database reengineering. ACM SIGPLAN Notices 31, 2 (1996), 21-26.

Information Storage and Retrieval - Content Analysis and Indexing (H.3.1)

161.
R. Agrawal, H. Mannila, R. Srikant, H. Toivonen and A. I. Verkamo: Fast discovery of association rules. In Advances in Knowledge Discovery and Data Mining (eds. U. M. Fayyad, G. Piatetsky-Shapiro, P. Smyth and R. Uthurusamy), AAAI Press, 1996, 307-328.

162.
Y. Huhtala, J. Kärkkäinen, P. Porkka and H. Toivonen: Efficient discovery of functional and approximate dependencies using partitions. In Proc. 14th International Conference on Data Engineering, ICDE '98, IEEE Computer Society Press, 1998, 392-401.

163.
H. Mannila and H. Toivonen: Discovering generalized episodes using minimal occurrences. In Proc. 2nd International Conference on Knowledge Discovery and Data Mining, KDD '96, AAAI, 1996, 146-151.

164.
H. Mannila, H. Toivonen and A. I. Verkamo: Discovery of frequent episodes in event sequences. Data Mining and Knowledge Discovery 1, 3 (1997), 259-289.

165.
H. Toivonen: Sampling large databases for finding frequent sets. In Proc. 22nd International Conference on Very Large Data Bases, VLDB '96 (eds. T. Viljayaraman, A. Buchmann, C. Mohan and N. Sarda), Morgan Kaufmann, 1996, 134-145.

166.
H. Toivonen: Discovery of Frequent Patterns in Large Data Collections. Ph.D. Thesis, Report A-1996-5, Department of Computer Science, University of Helsinki, 1996.

Information Search and Retrieval (H.3.3)

167.
H. Ahonen, O. Heinonen, M. Klemettinen and A. I. Verkamo: Mining in the phrasal frontier. In Proc. 1st European Symposium on Principles of Data Mining and Knowledge Discovery, PKDD '97 (eds. J. Komorowski and J. Zytkow), Lecture Notes in Computer Science 1263, Springer, 1997, 343-350.

168.
H. Ahonen, O. Heinonen, M. Klemettinen and A. I. Verkamo: Mining in the phrasal frontier. Report C-1997-14, Department of Computer Science, University of Helsinki, 1997.

169.
H. Ahonen, O. Heinonen, M. Klemettinen and A. I. Verkamo: Applying data mining techniques in text analysis. Report C-1997-23, Department of Computer Science, University of Helsinki, 1997.

170.
H. Ahonen, O. Heinonen, M. Klemettinen and A. I. Verkamo: Applying data mining for descriptive phrase extraction in digital document collections. To appear in Proc. IEEE Conference on Advances in Digital Libraries, ADL '98, 1998.

171.
G. Das, D. Gunopoulos and H. Mannila: Finding similar time series. In Proc. 1st European Symposium on Principles of Data Mining and Knowledge Discovery, PKDD '97 (eds. J. Komorowski and J. Zytkow), Lecture Notes in Computer Science 1263, Springer, 1997, 88-100.

172.
G. Das, H. Mannila and P. Ronkainen: Similarity of attributes by external probes. Report C-1997-66, Department of Computer Science, University of Helsinki, 1997.

173.
D. Gunopoulos, H. Mannila and S. Saluja: Discovering all most specific sentences by randomized algorithms (extended abstract). In Proc. 6th International Conference on Database Theory, ICDT '97 (eds. F. Afrati and P. Kolaitis), Lecture Notes in Computer Science 1186, Springer, 1997, 215-229.

174.
D. Gunopulos, S. Saluja and H. Mannila: Discovering all most specific sentences by randomized algorithms. Research Report, Max-Planck-Institut für Informatik, Saarbrücken, 1996.

175.
K. Hätönen, M. Klemettinen, H. Mannila, P. Ronkainen and H. Toivonen: Rule discovery in alarm databases. Report C-1996-7, Department of Computer Science, University of Helsinki, 1996.

176.
K. Hätönen, M. Klemettinen, H. Mannila, P. Ronkainen and H. Toivonen: Knowledge discovery from telecommunication network alarm databases. In Proc. 12th International Conference on Data Engineering, ICDE 96 (ed. S. Su), IEEE Computer Society Press, 1996, 115-122.

177.
D. Heckerman, H. Mannila, D. Pregibon and R. Uthurusamy (eds.): Proc. 3rd International Conference on Knowledge Discovery and Data Mining, KDD '97, AAAI Press, 1997.

178.
K. Korpimies: World-Wide Web Navigation (in Finnish). Suomen Atk-kustannus Oy, 1995.

179.
K. Korpimies and E. Ukkonen: Searching for general documents. To appear in Proc. Conference on Flexible Query Answering Systems, FQAS '98, Lecture Notes in Artificial Intelligence, Springer, 1998.

180.
K. Lemström, J. Korte, P. Kuusi, P. Kyheröinen and P. Päiväkumpu: An open platform for an image retrieval System. In Proc. 6th Scandinavian Conference On Artificial Intelligence, SCAI '97 (ed. G.  Grahne), Frontiers in Artificial Intelligence and Applications 40, IOS Press, 1997, 277-278.

181.
K. Lemström, P. Kuusi, P. Kanerva, S. Koponen, S. Männynsalo, J. Riihimäki, J. Teinilä and T. Virtanen: A client-server tool for image retrieval applications. In The Challenge of Image Retrieval (eds. J. P. Eakins, D. J. Harper and J. Jose), 1998.

182.
K. Lemström, J. Korte, P. Kuusi, P. Kyheröinen and P. Päiväkumpu: PICSearch - A platform for image content-based searching algorithms. In Proc. 6th International Conference in Central Europe on Computer Graphics and Visualisation, WSCG '98 (ed. V. Skala), 1998, 222-229.

183.
H. Mannila: From data to knowledge: Data mining and enrichment (in Finnish). Tietoyhteys 1, 4 (1997), 4-5.

184.
H. Mannila: Methods and problems in data mining. In Proc. 6th International Conference on Database Theory, ICDT '97 (eds. F. Afrati and P. Kolaitis), Lecture Notes in Computer Science 1186, Springer, 1997, 41-55.

185.
H. Mannila: Inductive databases and condensed representations: concepts for data mining. To appear in Proc. International Logic Program Symposium, 1997.

186.
H. Toivonen: Data mining: Digging into mountains of data in the search for knowledge (in Finnish). MikroPC, 12 (1997), 62-66.

Information Interfaces and Presentation - User Interfaces (H.5.2)

187.
H. Erkiö: The purpose of evaluations, their benefits, and methods (in Finnish). In Design of graphical user interfaces (in Finnish, ed. A. Kalimo), Suomen Atk-kustannus Oy, 1996, 83-88.

188.
H. Erkiö: Model-based evaluation methods (in Finnish). In Design of graphical user interfaces (in Finnish, ed. A. Kalimo), Suomen Atk-kustannus Oy, 1996, 113-123.

Computing Methodologies - Artificial Intelligence (I.2)

189.
T. Elomaa: Artificial intelligence does not match human intelligence (in Finnish). Guest author column, Helsingin Sanomat, 20 March 1996, A2.

190.
G. Grahne (ed.): Proc. 6th Scandinavian Conference on Artificial Intelligence, SCAI '97, Frontiers in Artificial Intelligence and Applications 40, IOS Press, 1997.

191.
G. Grahne (ed.): Research Announcements of the 6th Scandinavian Conference on Artificial Intelligence, SCAI '97, Report C-1997-49, Department of Computer Science, University of Helsinki, 1997.

192.
P. Myllymäki and H. Tirri: Prospects of Bayesian Networks (in Finnish). Technology Review 58/98, The Technology Development Centre (TEKES), 1998.

Applications and Expert Systems (I.2.1)

193.
E. Koskimäki, J. Göös, P. Kontkanen, P. Myllymäki and H. Tirri: Comparing soft computing methods in prediction of manufacturing data. To appear in Proc. 11th International Conference on Industrial and Engineering Applications of Artificial Intelligence & Expert Systems, IEA-98-AIE, 1998.

Knowledge Representation Formalisms and Methods (I.2.4)

194.
S. Eloranta: On iterated belief change. In Proc. 6th Scandinavian Conference on Artificial Intelligence (ed. G. Grahne), Frontiers in Artificial Intelligence and Applications 40, IOS Press, 1997, 83-94.

Learning (I.2.6)

195.
R. Aarts and J. Rousu: Towards CBR for bioprocess planning. In Proc. 3rd European Workshop on Advances in Case-Based Reasoning, EWCBR '96 (eds. I. Smith and B. Faltings), Lecture Notes in Artificial Intelligence 1168, Springer, 1996, 16-27.

196.
R. Aarts and J. Rousu: Adaptation cost as a criterion for solution evaluation. In Proc. 3rd European Workshop on Advances in Case-Based Reasoning, EWCBR '96 (eds. I. Smith and B. Faltings) Lecture Notes in Artificial Intelligence 1168, Springer, 1996, 354-361.

197.
R. Aarts and J. Rousu: Qualitative knowledge to support reasoning about cases. In Proc. 2nd International Conference in Case-Based Reasoning, ICCBR '97, Lecture Notes in Artificial Intelligence 1266, Springer, 1997, 489-498.

198.
H. Ahonen: Automatic generation of SGML content models. In Proc. 6th International Conference on Electronic Publishing, Document Manipulation and Typography, EP '96 (eds. A. Brown, A. Brüggemann-Klein and A. Feng), Wiley Publishers, 1996, 195-206.

199.
H. Ahonen: Disambiguation of SGML content models. In Proc. International Workshop on Principles of Document Processing, PODP '96 (eds. C. Nicholas and D. Wood), Lecture Notes in Computer Science 1293, Springer, 1997, 27-37.

200.
H. Ahonen: Generation of SGML DTDs for tagged documents. In Proc. SGML Finland 1996 (ed. J. Saarela), SGML User's Group Finland, 1996, 40-46.

201.
H. Ahonen: Generating Grammars for Structured Documents Using Grammatical Inference Methods. Ph.D. Thesis, Report A-1996-4, Department of Computer Science, University of Helsinki, 1996.

202.
H. Ahonen, H. Mannila and E. Nikunen: Generating grammars for SGML tagged texts lacking DTD. Mathematical and Computer Modelling 26, 1 (1997), 1-13.

203.
A. Brazma, I. Jonassen, E. Ukkonen and J. Vilo: Discovering patterns and subfamilies in biosequences. In Proc. 4th International Conference on Intelligent Systems for Molecular Biology, ISMB '96, AAAI Press, 1996, 34-43.

204.
A. Brazma, E. Ukkonen and J. Vilo: Discovering unbounded unions of regular pattern languages from positive examples (extended abstract). In Proc. 7th International Symposium on Algorithms and Computation, ISAAC '96, Lecture Notes in Computer Science 1178, Springer, 1996, 95-104.

205.
A. Brazma, J. Vilo and E. Ukkonen: Finding transcription factor binding site combinations in the yeast genome (extended abstract). In Computer Science and Biology: Proc. German Conference on Bioinformatics, GCB '97, Genome informatics: Function, Structure, Phylogeny, MIPS Munich Information Center for Protein Sequences, 1997, 57-59.

206.
A. Brazma, J. Vilo, E. Ukkonen and K. Valtonen: Data mining for regulatory elements in yeast genome. In Proc. 5th International Conference on Intelligent Systems for Molecular Biology, ISMB '97, AAAI Press, 1997, 65-74.

207.
L. Dehaspe and H. Toivonen: Frequent query discovery: A unifying ILP approach to association rule mining. Report CW-258, Department of Computer Science, Katholieke Universiteit Leuven, Belgium, 1998.

208.
T. Elomaa: Tools and Techniques for Decision Tree Learning. Ph.D. Thesis, Report A-1996-2, Department of Computer Science, University of Helsinki, 1996.

209.
T. Elomaa: Machine intelligence and learning (invited public lecture). In Proc. 7th Finnish Artificial Intelligence Conference, STeP '96: Genes, Nets and Symbols (eds. J. Alander, T. Honkela and M. Jakobsson), Finnish Artificial Intelligence Society, 1996, 90-95.

210.
T. Elomaa: The vacuum-cleaner robot is not yet at sight. Commentary, Computing Section, Helsingin Sanomat, 13 December 1996, D2.

211.
T. Elomaa and J. Rousu: Finding optimal multi-splits for numerical attributes in decision tree learning. In Proc. 7th Finnish Artificial Intelligence Conference, STeP '96: Genes, Nets and Symbols (eds. J. Alander, T. Honkela and M. Jakobsson), Finnish Artificial Intelligence Society, 1996, 104-111.

212.
T. Elomaa and J. Rousu: Efficient multisplitting on numerical data. In Proc. 1st European Symposium on Principles of Data Mining and Knowledge Discovery, PKDD '97 (eds. J. Komorowski and J. Zytkow), Lecture Notes in Artificial Intelligence 1263, Springer, 1997, 178-188.

213.
T. Elomaa and J. Rousu: On the well-behavedness of important attribute evaluation functions. In Proc. 6th Scandinavian Conference on Artificial Intelligence (ed. G. Grahne), Frontiers in Artificial Intelligence and Applications 40, IOS Press, 1997, 95-106.

214.
T. Elomaa and J. Rousu: Well-behaved attribute evaluation functions for numerical attributes. In Proc. 10th International Symposium on Foundations of Intelligent Systems (eds. Z. Ras and A. Skowron), Lecture Notes in Artificial Intelligence 1325, Springer, 1997, 147-156.

215.
T. Elomaa and J. Rousu: General and efficient multisplitting of numerical attributes. To appear in Machine Learning. (Report C-1996-82, Department of Computer Science, University of Helsinki, 1996, and Technical Note No. I.98.06, Institute for Systems, Informatics and Safety, Joint Research Centre, European Commission, 1998.)

216.
K. Fredriksson: Genetic algorithms and generative encoding of neural networks for some benchmark classification problems. In Proc. 3rd Nordic Workshop on Genetic Algorithms and their Applications, 3NWGA (ed. J. Alander), Finnish Artificial Intelligence Society, 1997, 123-134.

217.
P. Grünwald, P. Kontkanen, P. Myllymäki, T. Silander and H. Tirri: Minimum encoding approaches for predictive modeling. To appear in Proc. 14th Conference on Uncertainty in Artificial Intelligence, UAI ´98, 1998.

218.
D. P. Helmbold, J. Kivinen and M. K. Warmuth: Worst-case loss bounds for sigmoided neurons. In Advances in Neural Information Processing Systems 8 (eds. D. S. Touretzky, M. C. Mozer and M. E. Hasselmo), MIT Press, 1996, 309-315.

219.
M. Jaeger, H. Mannila and E. Weydert: Data mining as selective theory extraction in probabilistic logic. In Proc. ACM SIGMOD Workshop on Research Issues on Data Mining and Knowledge Discovery, SIGMOD '96 DMKD, 1996.

220.
J. Kivinen and M. K. Warmuth: Exponentiated gradient versus gradient descent for linear predictors. Information and Computation, 132, 1 (1997), 1-63.

221.
J. Kivinen and M. K. Warmuth: Relative loss bounds for multidimensional regression problems. To appear in Advances in Neural Information Processing Systems 1997, NIPS '97, 1997.

222.
J. Kivinen, M. K. Warmuth and P. Auer: The perceptron algorithm versus Winnow: Linear versus logarithmic mistake bounds when few input variables are relevant. Artificial Intelligence, 97, 1-2 (1997), 325-343.

223.
P. Kontkanen, P. Myllymäki, T. Silander and H. Tirri: Bayes optimal instance-based learning. In Proc. 10th European Conference on Machine Learning, ECML '98 (eds. C. Nédellec and C. Rouveirol), Lecture Notes in Artificial Intelligence 1398, Springer, 1998, 77-88.

224.
P. Kontkanen, P. Myllymäki, T. Silander and H. Tirri: Batch classifications with discrete finite mixtures. In Proc. 10th European Conference on Machine Learning, ECML '98 (eds. C. Nédellec and C. Rouveirol), Lecture Notes in Artificial Intelligence 1398, Springer, 1998, 89-94.

225.
P. Kontkanen, P. Myllymäki, T. Silander and H. Tirri: Bayesian Classification and Feature Selection with BAYDA. In 10th European Conference on Machine Learning, ECML '98: Demonstration and Poster Papers (eds. C. Nédellec and C. Rouveirol), Report CSR-98-07, Technische Universität Chemnitz, 1998.

226.
P. Kontkanen, P. Myllymäki, T. Silander, H. Tirri and P. Grünwald: Comparing predictive inference methods for discrete domains. In Proc. 6th International Workshop on Artificial Intelligence and Statistics, 1997, 311-318.

227.
P. Kontkanen, P. Myllymäki, T. Silander, H. Tirri and P. Grünwald: Bayesian and information-theoretic predictive distributions for Bayesian networks. In Proc. 7th Belgian-Dutch Conference on Machine Learning, BeNeLearn '97 (eds. W. Daelemans, P. Flach and A. van den Bosch), 1997, 59-68.

228.
P. Kontkanen, P. Myllymäki, T. Silander, H. Tirri and P. Grünwald: Bayesian and information-theoretic priors for Bayesian network parameters. In Proc. 10th European Conference on Machine Learning, ECML '98 (eds. C. Nédellec and C. Rouveirol), Lecture Notes in Artificial Intelligence 1398, Springer, 1998, 208-213.

229.
P. Kontkanen, P. Myllymäki and H. Tirri: Some experimental results with finite mixture models. In Proc. 1st European Conference on Highly Structured Stochastic Systems, 1996, 112-115.

230.
P. Kontkanen, P. Myllymäki and H. Tirri: Predictive data mining with finite mixtures. In Proc. 2nd International Conference on Knowledge Discovery and Data Mining, KDD '96, 1996, 176-182.

231.
P. Kontkanen, P. Myllymäki and H. Tirri: Comparing Bayesian model class selection criteria by discrete finite mixtures. In Proc. Conference on Information, Statistics and Induction in Science, ISIS '96, (eds. D. L. Dowe, K. B. Korb and J. J. Oliver), World Scientific, 1996, 364-374.

232.
P. Kontkanen, P. Myllymäki and H. Tirri: Experimenting with the Cheeseman-Stutz evidence approximation for predictive modeling and data mining. In Proc. 10th Annual Florida Artificial Intelligence International Research Symposium, FLAIRS '97, 1997, 204-211.

233.
P. Kontkanen, P. Myllymäki and H. Tirri: Constructing Bayesian finite mixture models by the EM algorithm. Technical Report NC-TR-97-003, ESPRIT Working Group on Neural and Computational Learning (NeuroCOLT), 1997.

234.
H. Mannila: Data mining and machine learning. In Proc. 13th International Conference on Machine Learning, ICML '96, Morgan Kaufmann, 1996, 555.

235.
H. Mannila and H. Toivonen: Multiple uses of frequent sets and condensed representations. In Proc. 2nd International Conference on Knowledge Discovery and Data Mining, KDD '96, AAAI, 1996, 189-194.

236.
H. Tirri, P. Kontkanen and P. Myllymäki: Probabilistic instance-based learning. In Proc. 13th International Conference on Machine Learning (ed. L. Saitta). Morgan Kaufmann, 1996, 507-515.

237.
H. Tirri, P. Kontkanen and P. Myllymäki: A Bayesian framework for case-based reasoning. In Advances in Case-Based Reasoning (eds. I. Smith and B. Faltings). Lecture Notes in Artificial Intelligence 1168, Springer, 1996, 413-427.

Problem Solving, Control Methods and Search (I.2.8)

238.
N. Bollobás, G. Das, D. Gunopoulos and H. Mannila: Time-series similarity problems and well-separated geometric sets. In Proc. 13th Annual Symposium on Computational Geometry, ACM, 1997, 454-456.

239.
R. Greiner and P. Orponen: Probably approximately optimal satisficing strategies. Artificial Intelligence 82, 1-2 (1996), 21-44.

240.
D. Gunopoulos, R. Khardon, H. Mannila and H. Toivonen: Data mining, hypergraph transversals, and machine learning (extended abstract). In Proc. 16th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS '97, 1997, 209-216.

241.
H. Mannila and H. Toivonen: On an algorithm for finding all interesting sentences. In 13th European Meeting on Cybernetics and Systems Research (ed. R. Trappl), vol. 2, Austrian Society for Cybernetic Studies, 1996, 973-978.

242.
H. Mannila and H. Toivonen: Levelwise search and borders of theories in knowledge discovery. Data Mining and Knowledge Discovery 1, 3 (1997), 241-258.

Image Processing - Enchancement (I.4.3)

243.
K. Lemström, J. Tarhio and T. Takala: Color dithering with n-best algorithm. In Proc. 4th International Conference in Central Europe on Computer Graphics and Visualization, WSCG '96 (ed. N. Thalmann and V. Skala), Department of Computer Science, University of West Bohemia, 1996, 162-170.

Pattern Recognition - Clustering (I.5.3)

244.
O. Heinonen and H. Mannila: Attribute-oriented induction and conceptual clustering. Report C-1996-2, Department of Computer Science, University of Helsinki, 1996.

Simulation and Modeling - Simulation Support Systems (I.6.7)

245.
E. Arjas, H. Mannila, M. Salmenkivi, R. Suramo and H. Toivonen: BASS: Bayesian analyzer of event sequences. In Proc. XII Symposium on Computational Statistics, COMPSTAT '96, 1996, 199-204.

246.
H. Toivonen, H. Mannila, M. Salmenkivi and K.-P. Laakso: Bassist - a tool for MCMC simulation of statistical models. To appear in 3rd International Congress of the Federation of European Simulation Societies, EUROSIM '98, 1998.

Text Processing - Document Preparation (I.7.2)

247.
H. Ahonen, B. Heikkinen, O. Heinonen, J. Jaakkola, P. Kilpeläinen and G. Lindén: Design and implementation of a document assembly workbench. In Proc. International Conference on Electronic Publishing, Artistic Imaging, and Digital Typography, EP '98/RIDT '98 (eds. R. D. Hersch, J. André and H. Brown), Lecture Notes in Computer Science 1375, 1998, 476-486.

248.
H. Ahonen, B. Heikkinen, O. Heinonen, J. Jaakkola, P. Kilpeläinen, G. Lindén and H. Mannila: Intelligent assembly of structured documents. Report C-1996-40, Department of Computer Science, University of Helsinki, 1996.

249.
H. Ahonen, B. Heikkinen, O. Heinonen, J. Jaakkola, P. Kilpeläinen, G. Lindén and H. Mannila: Constructing tailored SGML documents. In Proc. SGML Finland 1996 (ed. J. Saarela), SGML User's Group Finland, 1996, 106-116.

250.
H. Ahonen, B. Heikkinen, O. Heinonen, J. Jaakkola and M. Klemettinen: Analysis of document structures for element type classification. In Preliminary Proc. 4th International Workshop on Principles of Digital Document Processing, PODDP '98 (eds. C. Nicholas and D. Wood), 1998.

251.
H. Ahonen, B. Heikkinen, O. Heinonen and P. Kilpeläinen: A system for assembling specialized textbooks from a pool of documents. Report C-1997-22, Department of Computer Science, University of Helsinki, 1997.

252.
H. Ahonen, B. Heikkinen, O. Heinonen and P. Kilpeläinen: Assembling documents from digital libraries. In Proc. 8th International Conference on Database and Expert Systems Applications, DEXA '97 (eds. A. Hameurlain and A. M. Tjoa), Lecture Notes in Computer Science 1308, Springer, 1997, 419-429.

253.
H. Ahonen, B. Heikkinen, O. Heinonen and M. Klemettinen: Improving the accessibility of SGML documents - A content-analytical approach. In Proc. SGML Europe '97, Graphics Communications Association, 1997, 321-327.

254.
H. Ahonen, B. Heikkinen, O. Heinonen and M. Klemettinen: Discovery of reasonably-sized fragments using inter-paragraph similarities. Report C-1997-67, Department of Computer Science, University of Helsinki, 1997.

255.
P. Kilpeläinen: The utilization of the content information of books (in Finnish). Manuscript of a chapter in the final report of the SÄÄTÖ II project, The Finnish National Board of Education, 1998.

256.
G. Lindén: Structured Document Transformations. Ph.D. Thesis, Report A-1997-2, Department of Computer Science, University of Helsinki, 1997.

Computer Applications - Physical Sciences and Engineering (J.2)

257.
A. Korhola, J. Weckström, H. Olander, H. Seppä, T. Blom, S. Sorvari, J. Virkanen, H. J .B. Birks, H. Toivonen and H. Mannila: Climate changes as recorded by ecologically sensitive arctic lakes in Fennoscandia. To appear in Proc. International SCANTRAN Meeting: An IGBP Terrestrial Transect for Scandinavia/Northern Europe, 1998.

Life and Medical Sciences (J.3)

258.
M. Eerola, H. Mannila and M. Salmenkivi: Frailty factors and time-dependent hazards in modelling ear infections in children using BASSIST. To appear in Proc. XIII Symposium on Computational Statistics, COMPSTAT '98, 1998.

259.
M. Huttunen, E. Ukkonen and B. Vehviläinen: Neural networks as a part of watershed-model in ice-reduction of discharge observations. In Proc. Nordic Hydrological Conference, NHP rapport 0900-0267 nr. 40, Icelandic Hydrological Committee, 1996, 286-293.

260.
M. Huttunen, E. Ukkonen and B. Vehviläinen: Coding a conceptual model into a neural network in modeling ice-correction. In Proc. Conference Artificial Neural Networks in Engineering: Smart Engineering Systems: Neural Networks, Fuzzy Logic and Evolutionary Programming, ANNIE '96, Intelligent Engineering Systems through Artificial Neural Networks, ASME Press, 1996, 1001-1006

261.
M. Huttunen, E. Ukkonen and B. Vehviläinen: Using trainable computing networks in the optimization of lake regulation. In Proc. International Conference on Neural Information Processing and Intelligent Information Systems: Progress in Connectionist-Based Information Systems, vol. 2, Springer, 1998, 975-978.

262.
M. Huttunen, B. Vehviläinen and E. Ukkonen: Neural networks in the ice-correction of discharge observations. Nordic Hydrology 28, 4/5 (1997), 283-296.

263.
R. Krahe, H. Julkunen, H. Mannila, H. Lokki, V. Ollikainen, J. Ignatius, A. de la Chapelle and J. Kere: Exclusion of three candidate susceptibility regions on human chromosomes 1q31-q42, 5q23-q32 and 9p22-p21 for systemic lupus erythematosus (SLE) in a Finnish founder population. In Proc. 47th Annual Meeting of the American Society of Human Genetics, American Journal of Human Genetics 61 (suppl.), A1638, 1997.

Arts and Humanities (J.5)

264.
T. Kirkinen and H. Toivonen: GIS-assisted data analysis - Finding meanings in complex spatial data sets. To appear in Proc. 26th Conference on Computer Applications in Archaeology, CAA '98, 1998.

Computers in Other Systems (J.7)

265.
J. Laakso, H. Aaltonen, A. Leppävuori, H. Toivonen, V. Kilpi, H. Mononen and J. Viitasalo: Using laser radar in ski testing (in Finnish). Report, Research Institute for Olympic Sports, 1997.

Computing Milieux - Computers and Education - Computer Uses in Education (K.3.1)

266.
T. Eriksson, J. Kurhila and E. Sutinen: An agent-based framework for special needs education. In Proc. 6th Scandinavian Conference on Artificial Intelligence, SCAI '97 (ed. G. Grahne), Frontiers in Artificial Intelligence and Applications 40, IOS Press, 1997, 270-271.

267.
D. Joyce, J. Gerhardt-Powals, E. Koffman, W. Kreuzer, C. Laxer, K. Loose, E. Sutinen and R. A. Whitehurst: Developing laboratories for the SIGCSE Computing Laboratory Repository: Guidelines, recommendations, and sample labs. In Working Group Reports and Supplemental Proc. on Integrating Technology into Computer Science Education, ITiCSE '97, ACM, 1997, 1-12.

268.
S.-P. Lahtinen, E. Sutinen, A.-P. Tuovinen and J. Tarhio: Learning and problem solving assisted with animated objects. In Abstracts of the European Conference on Educational Research in 1995, ECER '95, University of Bath, 1995, 153.

269.
M. Mäkelä: Experiences in computer uses in education (in Finnish). Peda-forum: korkeakoulupedagoginen tiedotuslehti 3, 1 (1996), 3-5.

270.
M. Mäkelä: Information technology - a tool and an obstacle in the education of the future. In Information Technology in Educational Management for the Schools of the Future (eds. A. Fung, A. Visscher, B. Barta and D. Teather), Chapman & Hall, 1997, 23-30.

271.
M. Mäkelä et al.: Impact of information and communication technology on the management of future schools. In Information Technology in Educational Management for the Schools of the Future (eds. A. Fung, A. Visscher, B. Barta and D. Teather), Chapman & Hall, 1997, 185-188.

272.
M. Parkkinen, P. Parkkinen and E. Sutinen: On the feasibility of multimedia in a Tanzanian context. In Matematiikan ja luonnontieteiden opetuksen tutkimuspäivien esitykset (ed. V. Meisalo), Research Report 162, Department of Teacher Education, University of Helsinki, 1996, 173-179.

Computer and Information Science Education (K.3.2)

273.
J. Haajanen, M. Pesonius, E. Sutinen, J. Tarhio, T. Teräsvirta and P. Vanninen: Animation of user algorithms on the web. In Proc. IEEE Symposium on Visual Languages, VL '97, IEEE Computer Society Press, 1997, 360-367.

274.
J. Kurhila: WWW supporting computer graphics studies (in Finnish). In Proc. Research Seminar on Digital Media: Computer-Aided Instruction (in Finnish), Helsinki University of Technology, 1997, 121-132.

275.
J. Kurhila and M. Mäkelä: WWW as a source to support computer graphics studies. Published 1997 at http://www.cs.helsinki.fi/group/goa/artikkeli/article.html.

276.
J. Kurhila and M. Mäkelä: Ready to use learning material from the Web - a utopia or a reality? (in Finnish). Peda-forum: korkeakoulupedagoginen tiedotuslehti 4, 2 (1997), 35-37.

277.
S.-P. Lahtinen, T. Lamminjoki, V. Ollikainen, E. Sutinen, J. Tarhio, and A.-P. Tuovinen: Animation technology as a method of learning to write algorithms. In Matematiikan ja luonnontieteiden opetuksen tutkimuspäivien esitykset (ed. V. Meisalo), Research Report 162, Department of Teacher Education, University of Helsinki, 1996, 147-151.

278.
S.-P. Lahtinen, T. Lamminjoki, E. Sutinen, J. Tarhio and A.-P. Tuovinen: Towards automated animation of algorithms. In Proc. 4th International Conference in Central Europe on Computer Graphics and Visualization, WSCG '96 (ed. N. Thalmann and V. Skala), Department of Computer Science, University of West Bohemia, 1996, 150-161.

279.
S.-P. Lahtinen, V. Meisalo, E. Sutinen and J. Tarhio: Unified challenges of algorithm design and problem solving. In Matematiikan ja luonnontieteiden opetuksen tutkimuspäivien esitykset (ed. V. Meisalo), Research Report 162, Department of Teacher Education, University of Helsinki, 1996, 153-161.

280.
S.-P. Lahtinen, A. Porttikivi, E. Sutinen and A.-P. Tuovinen: Algorithm animation as a method of learning. In Uudet menetelmät ja mahdollisuudet matemaattis-luonnontieteellisten aineiden oppimisessa (ed. J. Enkenberg and K. Sormunen), University of Joensuu, 1994, 65-70.

281.
S.-P. Lahtinen, E. Sutinen and J. Tarhio: Automated animation of algorithms with Eliot. To appear in Journal of Visual Languages and Computing.

282.
J. Markkanen, E. Rautama, E. Sutinen, J. Tarhio and T. Teräsvirta: Animation of algorithms with Eliot and Jeliot (demonstration). In Working Group Reports and Supplemental Proc. on Integrating Technology into Computer Science Education, ITiCSE '97, ACM, 1997, 152.

283.
V. Meisalo, E. Rautama, E. Sutinen and J. Tarhio: Teaching algorithms with animation: A case study using Eliot. In Proc. International Symposium on Learning Technology and Telematics in Education and Training, LeTTET '96, University of Joensuu, 1997, 79-84.

284.
V. Meisalo, E. Sutinen and J. Tarhio: CLAP: Teaching data structures in a creative way. In Proc. Integrating Technology into Computer Science Education, ITiCSE 97 (ed. G. Davies), ACM SIGCSE bulletin 29, 3 (1997), 117-119.

285.
V. Meisalo, E. Sutinen and J. Tarhio: Impacts of interdisciplinary dialogue to computer science education. To appear in Proc. IFIP WG 3.2. Working Conference 1997: Computer Science as a Discipline and in other Disciplines, IFIP, 1997.

286.
V. Meisalo, E. Sutinen, J. Tarhio and T. Teräsvirta: Combining algorithmic and creative problem solving on the Web. To appear in Proc. Teleteaching '98.

287.
E. Rautama, E. Sutinen and J. Tarhio: Learning algorithms by animation (in Finnish). Peda-Forum: korkeakoulupedagoginen tiedotuslehti 3, 2 (1996), 21

288.
E. Rautama, E. Sutinen and J. Tarhio: From algorithm to animation (in Finnish). Ote - opetus & teknologia 4, 6 (1996), 24-26.

289.
E. Rautama, E. Sutinen and J. Tarhio: Excel as an algorithm animation environment. Proc. Integrating Technology into Computer Science Education, ITiCSE 97 (ed. G. Davies), ACM SIGCSE bulletin 29, 3 (1997), 24-26.

290.
E. Rautama, E. Sutinen and J. Tarhio: Supporting learning process with concept map scripts. Journal of Interactive Learning Research 8, 3/4 (1997), 407-420.

291.
E. Sutinen and J. Tarhio: Eliot - what happens inside a program?. In Proc. Interaktiivinen teknologia koulutuksessa, ITK '97 (eds. V. Kuuliala et al.), Summer University of Hämeenlinna, 1997, 94-98.

292.
E. Sutinen, J. Tarhio, S.-P. Lahtinen, A.-P. Tuovinen, E. Rautama and V. Meisalo: Eliot - An algorithm animation environment. Report A-1997-4, Department of Computer Science, University of Helsinki, 1997.

Computers and Society (K.4)

293.
P. Kuuppelomäki: Critical computer science groups in the world (in Finnish). Tietotekniikan maailma 1 (1996), 34-35.

294.
J. Vilo: Estonia's way into a computer society (in Finnish). Tietotekniikan maailma 1 (1996), 23-25.

Legal Aspects of Computing - Governmental Issues (K.5.2)

295.
H. Ahonen: Communications Decency Act: Network censorship or not? (in Finnish). Tietotekniikan maailma 1 (1996), 2-7.


next up previous contents
Next: Faculty Up: Research Previous: Transaction Management Support for