University of Helsinki
Department of Computer Science
76 selected publications 1994-98, listed according to the ACM CR Classicification
C. Computer Systems Organization
C.2 Computer-Communication Networks
C.2.1 Network Architecture and Design
K. Granö, J. Paakki, A. Viljamaa and J. Viljamaa: Protocol engineering & Kannel. Dr. Dobb's Journal 23, 4 (1998), 46-53.
C.2.2 Network Protocols
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.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.
C.2.4 Distributed Systems
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.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.
C.3 Special-Purpose and Application-Based Systems
J. Taina and K. Raatikainen: An experimental real-time object-oriented database architecture for intelligent networks. Engineering Intelligent Systems 3 (1996), 141-154.
D. Software
D.1 Programming Techniques
D.1.6 Logic Programming
T. Eiter, G. Gottlob and H. Mannila: Disjunctive Datalog. ACM Transactions on Database Systems 22, 3 (1997), 364-418.T. Eiter and H. Mannila: Distance measures for point sets and their computation. Acta informatica 34, 2 (1997), 109-133.
D.2 Software Engineering
D.2.2 Tools and Techniques
J. Paakki, J. Koskinen and A. Salminen: From relational program dependencies to hypertextual access structures. Nordic Journal of Computing 4, 1 (1997), 3-36.
D.2.7 Distribution and Maintenance
J. Paakki, A. Salminen and J. Koskinen: Automated hypertext support for software maintenance. The Computer Journal 39, 7 (1996), 577-597.
D.3 Programming Languages
D.3.4 Processors
G. Lindén, H. Tirri and A. I. Verkamo: ALCHEMIST: A general purpose transformation generator. Software - Practice and Experience, 26, 6 (1996), 653-676.J. Paakki and A.-P. Tuovinen: Source-to-Source Translation of Visual Languages. Nordic Journal of Computing 5,3 (1998), 235-264.
A.-P. Tuovinen: Error Recovery in Parsing Relational Languages. In Proc. IEEE Symposium on Visual Languages. IEEE Computer Society Press, 1998, 6-13.
D.4 Operating Systems
D.4.0. General
L. Torvalds: Linux: A Portable Operating System. Master Thesis, Report C-1997-12, Department of Computer Science, University of Helsinki, 1997.
D.4 Operating Systems
D.4.0. general
E. Data
E.2 Data Storage Representations
O. Nurmi and E. Soisalon-Soininen: Chromatic binary search trees: A structure for concurrent rebalancing. Acta informatica 33, 6 (1996), 547-557.
F. Theory of Computation
F.1 Computation by Abstract Devices
F.1.1 Models of Computation
P. Floréen and T. Huuskonen: Uniqueness of maximum values in discrete distributions. Journal of Applied Probability 31 (1994), 757-764.P. Orponen: Computing with truly asynchronous threshold logic networks. Theoretical Computer Science 174 (1997), 123-136.
F.1.3 Complexity Classes
P. Orponen, K.-I. Ko, U. Schöning, and O. Watanabe: Instance complexity. J. Assoc. Comput. Mach. 41, 1 (1994), 96-121.
F.2 Analysis of Algorithms and Problem Complexity
F.2.2 Nonnumerical Algorithms and Problems
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.T. Eiter, P. Kilpeläinen, and H. Mannila: Recognizing renamable generalized propositional Horn formulas is NP-complete. Discrete Applied Mathematics 59 (1995) 23-31.
K. Fredriksson and E. Ukkonen: A rotation invariant filter for two-dimensional string matching. In Proc. Combinatorial Pattern Matching, CPM98, Lecture Notes in Computer Science 1448, Springer 1998, 118-125.
P. Jokinen, J. Tarhio and E. Ukkonen: A comparison of approximate string matching algorithms. Software - Practice and Experience 26, 12 (1996), 1439-1458.
P. Kilpeläinen and H. Mannila: Ordered and unordered tree inclusion. SIAM Journal on Computing 24, 2 (1995), 340-356.
J. Kärkkäinen and E. Sutinen: Lempel-Ziv index for q-grams. Algorithmica 21, 1 (1998), 137-154.
J. Kärkkäinen and E. Ukkonen: Two and higher dimensional pattern matching in optimal expected time. In Proc. SODA '94, 5th Annual ACM-SIAM Symposium on Discrete Algorithms, ACM-SIAM, 1994, 715-723. (Full version to appear in SIAM Journal of Computing.)
M. Nykänen and E. Ukkonen: Finding lowest common ancestors in arbitrarily directed trees. Information Processing Letters 50 (1994), 307-310.
J. Tarhio: A sublinear algorithm for two-dimensional string matching. Pattern Recognition Letters 17, 8 (1996), 833-838.
J. Tarhio and H. Peltola: String matching in the DNA alphabet. Software - Practice and Experience 27, 7 (1997), 851-861.
E. Ukkonen: On-line construction of suffix-trees. Algorithmica 14 (1995), 249-260.
F.3 Logics and Meanings of Programs
F.3.1 Specifying and Verifying and Reasoning about Programs
J. Eloranta, M. Tienari and A. Valmari: Essential transitions to bisimulation equivalences. Theoretical Computer Science 179, 1/2 (1997), 397-419.A. Valmari and M. Tienari: Compositional failure-based semantic models for basic LOTOS. Formal Aspects of Computing 7 (1995), 440-468.
F.4 Mathematical Logic and Formal Languages
F.4.1 Mathematical Logic
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.R. Kaivola: Axiomatising extended computation tree logic. Theoretical Computer Science 190, 1 (1998), 41-60.
F.4.2 Grammars and Other Rewriting Systems
J. Paakki: Attribute grammar paradigms - a high-level methodology in language implementation. ACM Computing Surveys 27, 2 (1995), 196-255.E. Ohlebusch and E. Ukkonen: On the equivalence problem for E-pattern languages. Theoretical Computer Science 186, 1-2 (1997), 231-248.
G. Mathematics of Computing
G.3 Probability and Statistics
P. Kontkanen, P. Myllymäki, T. Silander and H. Tirri: On the accuracy of stochastic complexity approximations. In Proc. Causal Models and Statistical Learning Seminar, 1997, 103-117. Also to appear in Causal Models and Intelligent Data Analysis (ed. A. Gammerman), Springer, 1998.
H. Information Systems
H.2 Database Management
H.2.1 Logical Design
J. Kivinen and H. Mannila: Approximate dependency inference from relations. Theoretical Computer Science 149, 1 (1995), 129-149.
H.2.3 Languages
G. Grahne: Updates and counterfactuals. Journal of Logic and Computation 8, 1 (1998), 87-117.G. Grahne and A. O. Mendelzon. Updates and subjunctive queries. Information and Computation 116 (1995), 241-252.
G. Grahne, A. Mendelzon and P. Revesz: Knowledgebase transformations. Journal of Computer and System Sciences 54, 1 (1997), 98-112.
G. Grahne, M. Nykänen and E. Ukkonen: Reasoning about strings in databases. In Proc. 13th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS '94, ACM 1994, 303-312.
H.2.4 Systems
T. Imielinski and H. Mannila: A database perspective on knowledge discovery. Communications of the ACM 39, 11 (1996), 58-64.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.
J. Puustjärvi, H. Tirri and J. Veijalainen: Reusability and modularity in transactional workflows. Information Systems 22, 2/3 (1997), 101-120.
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.
H. Tirri, J. Srinivasan and B. Bhargava: Integrating data sources using federated objects. In Distributed Object Management (ed. M. T. Özsu et al.), Morgan Kaufmann, 1994, 315-328.
H.3 Information Storage and Retrieval
H.3.1 Content Analysis and Indexing
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.L. Dehaspe, H. Toivonen, and R. D. King: Finding frequent substructures in chemical compounds. In 4th International Conference on Knowledge Discovery and Data Mining, KDD '98, AAAI Press, 1998, 30 - 36.
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.
H.3.3 Information Search and Retrieval
H. Ahonen, O. Heinonen, M. Klemettinen and A. I. Verkamo: Applying data mining for descriptive phrase extraction in digital document collections. In Proc. IEEE Conference on Advances in Digital Libraries, ADL '98, 1998, 2-11.M. Klemettinen, H. Mannila, P. Ronkainen, H. Toivonen, and A. I. Verkamo: Finding interesting rules from large sets of discovered association rules. In Proc. CIKM '94, Third International Conference on Information and Knowledge Management, (ed. N.R. Adam et al.), ACM Press, 1994, 401-407.
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.
H.5 Information Interfaces and Presentation
H.5.2 User Interfaces
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.
I. Computing Methodologies
I.2 Artifical Intelligence
P. Myllymäki and H. Tirri: Prospects of Bayesian Networks (in Finnish). Technology Review 58/98, The Technology Development Centre (TEKES), 1998.
I.2.6 Learning
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.A. Brazma, I. Jonassen, J. Vilo and E. Ukkonen: Predicting Gene Regulatory Elements In Silico on a Genomic Scale. Genome Research 8, 11 (1998), 1202-1215.
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.
T. Elomaa: In defense of C4.5: notes on learning one-level decision trees. In: Machine Learning: Proc. Eleventh International Conference (ed. W. Cohen and H. Hirsh), Morgan Kaufmann, 1994, 62-69.
P. Grünwald, P. Kontkanen, P. Myllymäki, T. Silander and H. Tirri: Minimum encoding approaches for predictive modeling. In Proc. 14th Conference on Uncertainty in Artificial Intelligence, UAI ´98, 1998, 183-192.
D. Haussler, J. Kivinen, and M. K. Warmuth: Sequential prediction of individual sequences under general loss functions. IEEE Transactions on Information Theory 44, 5 (1998), 1906-1925.
J. Kivinen and M. K. Warmuth: Exponentiated gradient versus gradient descent for linear predictors. Information and Computation 132, 1 (1997), 1-63.
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.
J. Kivinen: Learning reliably and with one-sided error. Mathematical Systems Theory 28, 2 (1995), 141-172.
P. Kontkanen, P. Myllymäki, T. Silander and H. Tirri: BAYDA: Software for Bayesian Classification and Feature Selection. In Proc. 4th International Conference on Knowledge Discovery and Data Mining, KDD-98 (eds. R. Agrawal, P. Stolorz and G. Piatetsky-Shapiro). AAAI Press, 1998, 254-258.
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.
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.
I.2.8 Problem Solving, Control Methods and Search
R. Greiner and P. Orponen: Probably approximately optimal satisficing strategies. Artificial Intelligence 82, 1-2 (1996), 21-44.H. Mannila and H. Toivonen: Levelwise search and borders of theories in knowledge discovery. Data Mining and Knowledge Discovery 1, 3 (1997), 241-258.
I.4 Image Processing
I.4.3 Enchancement
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.
I.6 Simulation and Modeling
I.6.6 Simulation Output Analysis
K. Raatikainen: Controlling the precisions of estimates in interactive simulations. Annals of Operations Research 53 (1994), 485-505.K. Raatikainen: Simulation-based estimation of variability in queueing systems. Simulation Practice and Theory 5 (1997), 345-356.
K. Raatikainen: Simulation-based estimation of proportions. Management Science 41, 7 (1995), 1202-1223.
I.7 Text Processing
I.7.2 Document Preparation
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.
K. Computing Milieux
K.3 Computers and Education
K.3.1 Computer Uses in Education
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.
K.3.2 Computer and Information Science Education
S.-P. Lahtinen, E. Sutinen and J. Tarhio: Automated animation of algorithms with Eliot. Journal of Visual Languages and Computing 9, 3 (1998), 337-349.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.