2008 | ||
---|---|---|
162 | EE | Heikki Mannila: Randomization Techniques for Data Mining Methods. ADBIS 2008: 1 |
161 | Heikki Mannila: Randomization Techniques for Data Mining Methods. ADBIS (local proceedings) 2008: 1 | |
160 | EE | Heikki Mannila: Finding Total and Partial Orders from Data for Seriation. ALT 2008: 4 |
159 | EE | Gemma C. Garriga, Antti Ukkonen, Heikki Mannila: Feature Selection in Taxonomies with Applications to Paleontology. Discovery Science 2008: 112-123 |
158 | EE | Heikki Mannila: Finding Total and Partial Orders from Data for Seriation. Discovery Science 2008: 16-25 |
157 | EE | Muhammed Miah, Gautam Das, Vagelis Hristidis, Heikki Mannila: Standing Out in a Crowd: Selecting Attributes for Maximum Visibility. ICDE 2008: 356-365 |
156 | EE | Gemma C. Garriga, Esa Junttila, Heikki Mannila: Banded structure in binary matrices. KDD 2008: 292-300 |
155 | EE | Arianna Gallo, Pauli Miettinen, Heikki Mannila: Finding Subgroups having Several Descriptions: Algorithms for Redescription Mining. SDM 2008: 334-345 |
154 | EE | Markus Ojala, Niko Vuokko, Aleksi Kallio, Niina Haiminen, Heikki Mannila: Randomization of real-valued matrices for assessing the significance of data mining results. SDM 2008: 494-505 |
153 | EE | Bart Goethals, Wim Le Page, Heikki Mannila: Mining Association Rules of Simple Conjunctive Queries. SDM 2008: 96-107 |
152 | EE | Heikki Mannila, Evimaria Terzi: Finding links and initiators: a graph reconstruction problem CoRR abs/0809.3027: (2008) |
151 | EE | Pauli Miettinen, Taneli Mielikäinen, Aristides Gionis, Gautam Das, Heikki Mannila: The Discrete Basis Problem. IEEE Trans. Knowl. Data Eng. 20(10): 1348-1362 (2008) |
150 | EE | Robert Gwadera, Aristides Gionis, Heikki Mannila: Optimal segmentation using tree models. Knowl. Inf. Syst. 15(3): 259-283 (2008) |
2007 | ||
149 | EE | Saara Hyvönen, Aristides Gionis, Heikki Mannila: Recurrent Predictive Models for Sequence Segmentation. IDA 2007: 195-206 |
148 | EE | Hannes Heikinheimo, Jouni K. Seppänen, Eino Hinkkanen, Heikki Mannila, Taneli Mielikäinen: Finding low-entropy sets and trees from binary data. KDD 2007: 350-359 |
147 | EE | Heikki Mannila, Evimaria Terzi: Nestedness and segmented nestedness. KDD 2007: 480-489 |
146 | EE | Antti Ukkonen, Heikki Mannila: Finding Outlying Items in Sets of Partial Rankings. PKDD 2007: 265-276 |
145 | EE | Arjun Dasgupta, Gautam Das, Heikki Mannila: A random walk approach to sampling hidden databases. SIGMOD Conference 2007: 629-640 |
144 | EE | Aristides Gionis, Heikki Mannila, Panayiotis Tsaparas: Clustering aggregation. TKDD 1(1): (2007) |
143 | EE | Aristides Gionis, Heikki Mannila, Taneli Mielikäinen, Panayiotis Tsaparas: Assessing data mining results via swap randomization. TKDD 1(3): (2007) |
2006 | ||
142 | EE | Antti Rasinen, Jaakko Hollmén, Heikki Mannila: Analysis of Linux Evolution Using Aligned Source Code Segments. Discovery Science 2006: 209-218 |
141 | Heikki Mannila: Finding fragments of orders and total orders from 0-1 data. EGC 2006: 1 | |
140 | EE | Robert Gwadera, Aristides Gionis, Heikki Mannila: Optimal Segmentation Using Tree Models. ICDM 2006: 244-253 |
139 | EE | Nikolaj Tatti, Taneli Mielikäinen, Aristides Gionis, Heikki Mannila: What is the Dimension of Your Binary Data? ICDM 2006: 603-612 |
138 | EE | Aristides Gionis, Heikki Mannila, Taneli Mielikäinen, Panayiotis Tsaparas: Assessing data mining results via swap randomization. KDD 2006: 167-176 |
137 | EE | Aristides Gionis, Heikki Mannila, Kai Puolamäki, Antti Ukkonen: Algorithms for discovering bucket orders from data. KDD 2006: 561-566 |
136 | EE | Hannes Heikinheimo, Heikki Mannila, Jouni K. Seppänen: Finding Trees from Unordered 0-1 Data. PKDD 2006: 175-186 |
135 | EE | Pauli Miettinen, Taneli Mielikäinen, Aristides Gionis, Gautam Das, Heikki Mannila: The Discrete Basis Problem. PKDD 2006: 335-346 |
134 | EE | Ella Bingham, Aristides Gionis, Niina Haiminen, Heli Hiisilä, Heikki Mannila, Evimaria Terzi: Segmentation and dimensionality reduction. SDM 2006 |
2005 | ||
133 | Jean-François Boulicaut, Luc De Raedt, Heikki Mannila: Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers Springer 2005 | |
132 | EE | Aristides Gionis, Heikki Mannila, Panayiotis Tsaparas: Clustering Aggregation. ICDE 2005: 341-352 |
131 | EE | Spiros Papadimitriou, Aristides Gionis, Panayiotis Tsaparas, Risto A. Väisänen, Heikki Mannila, Christos Faloutsos: Parameter-Free Spatial Data Mining Using MDL. ICDM 2005: 346-353 |
130 | EE | Foto N. Afrati, Gautam Das, Aristides Gionis, Heikki Mannila, Taneli Mielikäinen, Panayiotis Tsaparas: Mining Chains of Relations. ICDM 2005: 553-556 |
129 | EE | Antti Ukkonen, Mikael Fortelius, Heikki Mannila: Finding partial orders from unordered 0-1 data. KDD 2005: 285-293 |
128 | EE | Pasi Rastas, Mikko Koivisto, Heikki Mannila, Esko Ukkonen: A Hidden Markov Technique for Haplotype Reconstruction. WABI 2005: 140-151 |
127 | Marko Salmenkivi, Heikki Mannila: Piecewise Constant Modeling of Sequential Data Using Reversible Jump Markov Chain Monte Carlo. Data Mining in Bioinformatics 2005: 85-103 | |
126 | EE | Marko Salmenkivi, Heikki Mannila: Using Markov chain Monte Carlo and dynamic programming for event sequence data. Knowl. Inf. Syst. 7(3): 267-288 (2005) |
2004 | ||
125 | EE | Mikko Koivisto, Teemu Kivioja, Heikki Mannila, Pasi Rastas, Esko Ukkonen: Hidden Markov Modelling Techniques for Haplotype Analysis. ALT 2004: 37-52 |
124 | EE | Jouni K. Seppänen, Heikki Mannila: Boolean Formulas and Frequent Sets. Constraint-Based Mining and Inductive Databases 2004: 348-361 |
123 | EE | Foto N. Afrati, Aristides Gionis, Heikki Mannila: Approximating a collection of frequent sets. KDD 2004: 12-19 |
122 | EE | Jouni K. Seppänen, Heikki Mannila: Dense itemsets. KDD 2004: 683-688 |
121 | EE | Aristides Gionis, Heikki Mannila, Jouni K. Seppänen: Geometric and Combinatorial Tiles in 0-1 Data. PKDD 2004: 173-184 |
120 | EE | Floris Geerts, Heikki Mannila, Evimaria Terzi: Relational link-based ranking. VLDB 2004: 552-563 |
119 | EE | Usama M. Fayyad, Heikki Mannila, Raghu Ramakrishnan: Editorial. Data Min. Knowl. Discov. 8(1): 5-6 (2004) |
118 | EE | Usama M. Fayyad, Heikki Mannila, Raghu Ramakrishnan: Editorial. Data Min. Knowl. Discov. 8(2): 95-96 (2004) |
2003 | ||
117 | EE | Aristides Gionis, Teija Kujala, Heikki Mannila: Fragments of order. KDD 2003: 129-136 |
116 | EE | Antti Leino, Heikki Mannila, Ritva Liisa Pitkänen: Rule Discovery and Probabilistic Modeling for Onomastic Data. PKDD 2003: 291-302 |
115 | EE | Taneli Mielikäinen, Heikki Mannila: The Pattern Ordering Problem. PKDD 2003: 327-338 |
114 | EE | Jouni K. Seppänen, Ella Bingham, Heikki Mannila: A Simple Algorithm for Topic Identification in 0-1 Data. PKDD 2003: 423-434 |
113 | EE | Mikko Koivisto, Markus Perola, T. Varilo, W. Hennah, J. Ekelund, M. Lukk, L. Peltonen, Esko Ukkonen, Heikki Mannila: An MDL Method for Finding Haplotype Blocks and for Estimating the Strength of Haplotype Block Boundaries. Pacific Symposium on Biocomputing 2003: 502-513 |
112 | EE | Aristides Gionis, Heikki Mannila: Finding recurrent sources in sequences. RECOMB 2003: 123-130 |
111 | EE | Jaakko Hollmén, Jouni K. Seppänen, Heikki Mannila: Mixture Models and Frequent Sets: Combining Global and Local Methods for 0-1 Data. SDM 2003 |
110 | EE | Dimitrios Gunopulos, Roni Khardon, Heikki Mannila, Sanjeev Saluja, Hannu Toivonen, Ram Sewak Sharm: Discovering all most specific sentences. ACM Trans. Database Syst. 28(2): 140-174 (2003) |
109 | EE | Dmitry Pavlov, Heikki Mannila, Padhraic Smyth: Beyond Independence: Probabilistic Models for Query Approximation on Binary Transaction Data. IEEE Trans. Knowl. Data Eng. 15(6): 1409-1421 (2003) |
2002 | ||
108 | Robert L. Grossman, Jiawei Han, Vipin Kumar, Heikki Mannila, Rajeev Motwani: Proceedings of the Second SIAM International Conference on Data Mining, Arlington, VA, USA, April 11-13, 2002 SIAM 2002 | |
107 | Tapio Elomaa, Heikki Mannila, Hannu Toivonen: Machine Learning: ECML 2002, 13th European Conference on Machine Learning, Helsinki, Finland, August 19-23, 2002, Proceedings Springer 2002 | |
106 | Tapio Elomaa, Heikki Mannila, Hannu Toivonen: Principles of Data Mining and Knowledge Discovery, 6th European Conference, PKDD 2002, Helsinki, Finland, August 19-23, 2002, Proceedings Springer 2002 | |
105 | Marko Salmenkivi, Juha Kere, Heikki Mannila: Genome segmentation using piecewise constant intensity models and reversible jump MCMC. ECCB 2002: 211-218 | |
104 | EE | Heikki Mannila: Local and Global Methods in Data Mining: Basic Techniques and Open Problems. ICALP 2002: 57-68 |
103 | EE | Carson Kai-Sang Leung, Raymond T. Ng, Heikki Mannila: OSSM: A Segmentation Approach to Optimize Frequency Counting. ICDE 2002: 583-592 |
102 | EE | Luc De Raedt, Manfred Jaeger, Sau Dan Lee, Heikki Mannila: A Theory of Inductive Query Answering. ICDM 2002: 123-130 |
101 | EE | Ella Bingham, Heikki Mannila, Jouni K. Seppänen: Topics in 0--1 data. KDD 2002: 450-455 |
100 | EE | Heikki Mannila: Combining Pattern Discovery and Probabilistic Modeling in Data Mining. SWAT 2002: 19 |
99 | Heikki Mannila, Anne Patrikainen, Jouni K. Seppänen, Juha Kere: Long-range control of expression in yeast. Bioinformatics 18(3): 482-483 (2002) | |
98 | EE | Jiawei Han, Russ B. Altman, Vipin Kumar, Heikki Mannila, Daryl Pregibon: Emerging scientific applications in data mining. Commun. ACM 45(8): 54-58 (2002) |
2001 | ||
97 | EE | Heikki Mannila: Combining Discrete Algorithmic and Probabilistic Approaches in Data Mining. ECML 2001: 601 |
96 | EE | Johan Himberg, Kalle Korpiaho, Heikki Mannila, Johanna Tikanmäki, Hannu Toivonen: Time Series Segmentation for Context Recognition in Mobile Devices. ICDM 2001: 203-210 |
95 | EE | Ella Bingham, Heikki Mannila: Random projection in dimensionality reduction: applications to image and text data. KDD 2001: 245-250 |
94 | EE | Heikki Mannila, Marko Salmenkivi: Finding simple intensity descriptions from event sequence data. KDD 2001: 341-346 |
93 | EE | Igor V. Cadez, Padhraic Smyth, Heikki Mannila: Probabilistic modeling of transaction data with applications to profiling, visualization, and prediction. KDD 2001: 37-46 |
92 | EE | Heikki Mannila: Combining Discrete Algorithmic and Probabilistic Approaches in Data Mining. PKDD 2001: 493 |
91 | EE | Béla Bollobás, Gautam Das, Dimitrios Gunopulos, Heikki Mannila: Time-Series Similarity Problems and Well-Separated Geometric Sets. Nord. J. Comput. 8(4): 409-423 (2001) |
2000 | ||
90 | Hannu Toivonen, Paivi Onkamo, Kari Vasko, Vesa Ollikainen, Petteri Sevon, Heikki Mannila, Juha Kere: Gene Mapping by Haplotype Pattern Mining. BIBE 2000: 99-108 | |
89 | EE | Heikki Mannila, Padhraic Smyth: Approximate Query Answering with Frequent Sets and Maximum Entropy. ICDE 2000: 309 |
88 | EE | Heikki Mannila, Christopher Meek: Global partial orders from sequential data. KDD 2000: 161-168 |
87 | EE | Gautam Das, Heikki Mannila: Context-Based Similarity Measures for Categorical Databases. PKDD 2000: 201-210 |
86 | EE | Dmitry Pavlov, Heikki Mannila, Padhraic Smyth: Probabilistic Models for Query Approximation with Large Sparse Binary Data Sets. UAI 2000: 465-472 |
85 | EE | Heikki Mannila: Theoretical Frameworks for Data Mining. SIGKDD Explorations 1(2): 30-32 (2000) |
1999 | ||
84 | EE | Heikki Mannila, Pirjo Moen: Similarity between Event Types in Sequences. DaWaK 1999: 271-280 |
83 | EE | Jean-François Boulicaut, Mika Klemettinen, Heikki Mannila: Modeling KDD Processes within the Inductive Database Framework. DaWaK 1999: 293-302 |
82 | EE | Heikki Mannila: Inductive Databases (Abstract). ILP 1999: 14 |
81 | EE | Heikki Mannila, Dmitry Pavlov, Padhraic Smyth: Prediction with Local Patterns using Cross-Entropy. KDD 1999: 357-361 |
80 | Mika Klemettinen, Heikki Mannila, A. Inkeri Verkamo: Association Rule Selection in a Data Mining Environment. PKDD 1999: 372-377 | |
79 | EE | Roni Khardon, Heikki Mannila, Dan Roth: Reasoning with Examples: Propositional Formulae and Database Dependencies. Acta Inf. 36(4): 267-286 (1999) |
78 | EE | Mika Klemettinen, Heikki Mannila, Hannu Toivonen: Interactive exploration of interesting findings in the Telecommunication Network Alarm Sequence Analyzer (TASA). Information & Software Technology 41(9): 557-567 (1999) |
77 | Yonatan Aumann, Ronen Feldman, Orly Liphstat, Heikki Mannila: Borders: An Efficient Algorithm for Association Generation in Dynamic Databases. J. Intell. Inf. Syst. 12(1): 61-73 (1999) | |
76 | EE | Mika Klemettinen, Heikki Mannila, Hannu Toivonen: Rule Discovery in Telecommunication Alarm Data. J. Network Syst. Manage. 7(4): (1999) |
1998 | ||
75 | EE | Heikki Mannila, Hannu Toivonen, Atte Korhola, Heikki Olander: Learning, Mining, or Modeling? A Case Study from Paleocology. Discovery Science 1998: 12-24 |
74 | Gautam Das, King-Ip Lin, Heikki Mannila, Gopal Renganathan, Padhraic Smyth: Rule Discovery from Time Series. KDD 1998: 16-22 | |
73 | Gautam Das, Heikki Mannila, Pirjo Ronkainen: Similarity of Attributes by External Probes. KDD 1998: 23-29 | |
72 | Jean-François Boulicaut, Mika Klemettinen, Heikki Mannila: Querying Inductive Databases: A Case Study on the MINE RULE Operator. PKDD 1998: 194-202 | |
1997 | ||
71 | David Heckerman, Heikki Mannila, Daryl Pregibon: Proceedings of the Third International Conference on Knowledge Discovery and Data Mining (KDD-97), Newport Beach, California, USA, August 14-17, 1997 AAAI Press 1997 | |
70 | Mika Klemettinen, Heikki Mannila, Hannu Toivonen: A Data Mining Methodology and Its Application to Semi-automatic Knowledge Acquisition. DEXA Workshop 1997: 670-677 | |
69 | Ronen Feldman, Yonatan Aumann, Amihood Amir, Heikki Mannila: Efficient Algorithms for Discovering Frequent Sets in Incremental Databases. DMKD 1997: 0- | |
68 | EE | Dimitrios Gunopulos, Heikki Mannila, Sanjeev Saluja: Discovering All Most Specific Sentences by Randomized Algorithms. ICDT 1997: 215-229 |
67 | EE | Heikki Mannila: Methods and Problems in Data Mining. ICDT 1997: 41-55 |
66 | Heikki Mannila: Inductive Databases and Condensed Representations for Data Mining. ILPS 1997: 21-30 | |
65 | Gautam Das, Dimitrios Gunopulos, Heikki Mannila: Finding Similar Time Series. PKDD 1997: 88-100 | |
64 | EE | Dimitrios Gunopulos, Roni Khardon, Heikki Mannila, Hannu Toivonen: Data mining, Hypergraph Transversals, and Machine Learning. PODS 1997: 209-216 |
63 | EE | Béla Bollobás, Gautam Das, Dimitrios Gunopulos, Heikki Mannila: Time-Series Similarity Problems and Well-Separated Geometric Sets. Symposium on Computational Geometry 1997: 454-456 |
62 | EE | Heikki Mannila, Pirjo Ronkainen: Similarity of Event Sequences. TIME 1997: 136-139 |
61 | EE | Thomas Eiter, Georg Gottlob, Heikki Mannila: Disjunctive Datalog. ACM Trans. Database Syst. 22(3): 364-418 (1997) |
60 | Thomas Eiter, Heikki Mannila: Distance Measures for Point Sets and their Computation. Acta Inf. 34(2): 109-133 (1997) | |
59 | Heikki Mannila, Hannu Toivonen: Levelwise Search and Borders of Theories in Knowledge Discovery. Data Min. Knowl. Discov. 1(3): 241-258 (1997) | |
58 | Heikki Mannila, Hannu Toivonen, A. Inkeri Verkamo: Discovery of Frequent Episodes in Event Sequences. Data Min. Knowl. Discov. 1(3): 259-289 (1997) | |
1996 | ||
57 | EE | Heikki Mannila: Schema Design and Knowledge Discovery (Abstract). ER 1996: 27 |
56 | EE | Kimmo Hätönen, Mika Klemettinen, Heikki Mannila, Pirjo Ronkainen, Hannu Toivonen: Knowledge Discovery from Telecommunication Network Alarm Databases. ICDE 1996: 115-122 |
55 | Heikki Mannila: Data Mining and Machine Learning (Abstract). ICML 1996: 555 | |
54 | Heikki Mannila, Hannu Toivonen: Discovering Generalized Episodes Using Minimal Occurrences. KDD 1996: 146-151 | |
53 | Heikki Mannila, Hannu Toivonen: Multiple Uses of Frequent Sets and Condensed Representations (Extended Abstract). KDD 1996: 189-194 | |
52 | EE | Heikki Mannila: Data Mining: Machine Learning, Statistics, and Databases. SSDBM 1996: 2-9 |
51 | Rakesh Agrawal, Heikki Mannila, Ramakrishnan Srikant, Hannu Toivonen, A. Inkeri Verkamo: Fast Discovery of Association Rules. Advances in Knowledge Discovery and Data Mining 1996: 307-328 | |
50 | EE | Tomasz Imielinski, Heikki Mannila: A Database Perspective on Knowledge Discovery. Commun. ACM 39(11): 58-64 (1996) |
1995 | ||
49 | Pekka Kilpeläinen, Heikki Mannila, Esko Ukkonen: MDL learning of unions of simple pattern languages from positive examples. EuroCOLT 1995: 252-260 | |
48 | Heikki Mannila: Aspects of Knowledge Discovery and Data Mining. Grundlagen von Datenbanken 1995: 1-6 | |
47 | Marcel Holsheimer, Martin L. Kersten, Heikki Mannila, Hannu Toivonen: A Perspective on Databases and Data Mining. KDD 1995: 150-155 | |
46 | Heikki Mannila, Hannu Toivonen, A. Inkeri Verkamo: Discovering Frequent Episodes in Sequences. KDD 1995: 210-215 | |
45 | EE | Thomas Eiter, Pekka Kilpeläinen, Heikki Mannila: Recognizing Renamable Generalized Propositional Horn Formulas Is NP-complete. Discrete Applied Mathematics 59(1): 23-31 (1995) |
44 | Pekka Kilpeläinen, Heikki Mannila: Ordered and Unordered Tree Inclusion. SIAM J. Comput. 24(2): 340-356 (1995) | |
43 | EE | Jyrki Kivinen, Heikki Mannila: Approximate Inference of Functional Dependencies from Relations. Theor. Comput. Sci. 149(1): 129-149 (1995) |
1994 | ||
42 | EE | Mika Klemettinen, Heikki Mannila, Pirjo Ronkainen, Hannu Toivonen, A. Inkeri Verkamo: Finding Interesting Rules from Large Sets of Discovered Association Rules. CIKM 1994: 401-407 |
41 | Pekka Kilpeläinen, Heikki Mannila: Query Primitives for Tree-Structured Data. CPM 1994: 213-225 | |
40 | Jyrki Kivinen, Heikki Mannila, Esko Ukkonen, Jaak Vilo: An ALgorithm for Learning Hierarchical Classifiers. ECML 1994: 375-378 | |
39 | Thomas Eiter, Georg Gottlob, Heikki Mannila: Disjunctive Logic Programming over Finite Structures. GI Jahrestagung 1994: 69-73 | |
38 | Helena Ahonen, Heikki Mannila, Erja Nikunen: Forming Grammars for Structured Documents: an Application of Grammatical Inference. ICGI 1994: 153-167 | |
37 | Thomas Eiter, Georg Gottlob, Heikki Mannila: Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics. IS/KI 1994: 83-103 | |
36 | Heikki Mannila, Hannu Toivonen, A. Inkeri Verkamo: Efficient Algorithms for Discovering Association Rules. KDD Workshop 1994: 181-192 | |
35 | EE | Thomas Eiter, Georg Gottlob, Heikki Mannila: Adding Disjunction to Datalog. PODS 1994: 267-278 |
34 | EE | Jyrki Kivinen, Heikki Mannila: The Power of Sampling in Knowledge Discovery. PODS 1994: 77-85 |
33 | Heikki Mannila, Kari-Jouko Räihä: Algorithms for Inferring Functional Dependencies from Relations. Data Knowl. Eng. 12(1): 83-99 (1994) | |
1993 | ||
32 | EE | Pekka Kilpeläinen, Heikki Mannila: Retrieval from Hierarchical Texts by Partial Patterns. SIGIR 1993: 214-222 |
31 | EE | Vladimir Estivill-Castro, Heikki Mannila, Derick Wood: Right Invariant Metrics and Measures of Presortedness. Discrete Applied Mathematics 42(1): 1-16 (1993) |
1992 | ||
30 | Heikki Mannila, Kari-Jouko Räihä: Design of Relational Databases Addison-Wesley 1992 | |
29 | EE | Jyrki Kivinen, Heikki Mannila, Esko Ukkonen: Learning Hierarchical Rule Sets. COLT 1992: 37-44 |
28 | Pekka Kilpeläinen, Heikki Mannila: Grammatical Tree Matching. CPM 1992: 162-174 | |
27 | EE | Jyrki Kivinen, Heikki Mannila: Approximate Dependency Inference from Relations. ICDT 1992: 86-98 |
26 | Heikki Mannila, Kari-Jouko Räihä: On the Complexity of Inferring Functional Dependencies. Discrete Applied Mathematics 40(2): 237-243 (1992) | |
1991 | ||
25 | Pekka Kilpeläinen, Heikki Mannila: The Tree Inclusion Problem. TAPSOFT, Vol.1 1991: 202-214 | |
1990 | ||
24 | Pekka Kilpeläinen, Heikki Mannila: Generation of test cases for simple prolog programs. Acta Cybern. 9(3): 235-246 (1990) | |
23 | Heikki Mannila, Esko Ukkonen: Unifications, Deunifications, and Their Complexity. BIT 30(4): 599-619 (1990) | |
1989 | ||
22 | EE | Heikki Mannila, Kari-Jouko Räihä: Practical Algorithms for Finding Prime Attributes and Testing Normal Forms. PODS 1989: 128-133 |
21 | Heikki Mannila, Kari-Jouko Räihä: Automatic Generation of Test Data for Relational Queries. J. Comput. Syst. Sci. 38(2): 240-258 (1989) | |
1988 | ||
20 | Heikki Mannila, Esko Ukkonen: Time Parameter and Arbitrary Deunions in the Set Union Problem. SWAT 1988: 34-42 | |
1987 | ||
19 | Heikki Mannila, Esko Ukkonen: Flow Analysis of Prolog Programs. SLP 1987: 205-214 | |
18 | EE | Heikki Mannila, Kari-Jouko Räihä: Dependency Inference. VLDB 1987: 155-158 |
1986 | ||
17 | Heikki Mannila, Esko Ukkonen: The Set Union Problem with Backtracking. ICALP 1986: 236-243 | |
16 | EE | Heikki Mannila, Kari-Jouko Räihä: Inclusion Dependencies in Database Design. ICDE 1986: 713-718 |
15 | Heikki Mannila, Esko Ukkonen: On the Complexity of Unification Sequences. ICLP 1986: 122-133 | |
14 | EE | Heikki Mannila, Kari-Jouko Räihä: Test Data for Relational Queries. PODS 1986: 217-223 |
13 | Heikki Mannila, Esko Ukkonen: Timestamped Term Representation for Implementing Prolog. SLP 1986: 159-165 | |
12 | Heikki Mannila, Kari-Jouko Räihä: Design by Example: An Application of Armstrong Relations. J. Comput. Syst. Sci. 33(2): 126-141 (1986) | |
1985 | ||
11 | EE | Heikki Mannila, Kari-Jouko Räihä: Small Armstrong Relations for Database Design. PODS 1985: 245-250 |
10 | Heikki Mannila: Measures of Presortedness and Optimal Sorting Algorithms. IEEE Trans. Computers 34(4): 318-325 (1985) | |
9 | Heikki Mannila, Kurt Mehlhorn: A Fast Algorithm for Renaming a Set of Clauses as a Horn Set. Inf. Process. Lett. 21(5): 269-272 (1985) | |
8 | Ralph-Johan Back, Heikki Mannila: On the Suitability of Trace Semantics for Modular Proofs of Communicating Processes. Theor. Comput. Sci. 39: 47-68 (1985) | |
1984 | ||
7 | Heikki Mannila: Measures of Presortedness and Optimal Sorting Algorithms (Extended Abstract). ICALP 1984: 324-336 | |
6 | Heikki Mannila, Esko Ukkonen: A Simple Linear-Time Algorithm for in Situ Merging. Inf. Process. Lett. 18(4): 203-208 (1984) | |
5 | Ralph-Johan Back, Heikki Mannila: A Semantic Approach to Program Modularity Information and Control 60(1-3): 138-167 (1984) | |
1983 | ||
4 | Ralph-Johan Back, Heikki Mannila, Kari-Jouko Räihä: Derivation of Efficient DAG Marking Algorithms. POPL 1983: 20-27 | |
3 | Heikki Mannila, Kari-Jouko Räihä: On the Relationship of Minimum and Optimum Covers for a Set of Functional Dependencies. Acta Inf. 20: 143-158 (1983) | |
1982 | ||
2 | Ralph-Johan Back, Heikki Mannila: Locality in Modular Systems. ICALP 1982: 1-13 | |
1 | Ralph-Johan Back, Heikki Mannila: A Refinement of Kahn's Semantic to Handle Non-Determinism and Communication (Extended Abstract). PODC 1982: 111-120 |