Doctoral Dissertations

2010

35Leo Lahti. Probabilistic Analysis of the Human Transcriptome with Side Information. Diss, AALTO-ICS, ESPOO, December 2010.
Info
See lib.tkk.fi ...

2009

34Tommi Syrjänen. Logic Programs and Cardinality Constraints: Theory and Practice. Doctoral dissertation, TKK Dissertations in Information and Computer Science TKK-ICS-D12, Helsinki University of Technology, Faculty of Information and Natural Sciences, Department of Information and Computer Science, Espoo, Finland, 2009.
Info
See lib.tkk.fi ...

2008

33Matti Järvisalo. Structure-Based Satisfiability Checking: Analyzing and Harnessing the Potential. Doctoral dissertation, TKK Dissertations in Information and Computer Science TKK-ICS-D10, Helsinki University of Technology, Faculty of Information and Natural Sciences, Department of Information and Computer Science, Espoo, Finland, 2008.
Info
See lib.tkk.fi ...
32Emilia Oikarinen. Modularity in Answer Set Programs. Doctoral dissertation, TKK Dissertations in Information and Computer Science TKK-ICS-D7, Helsinki University of Technology, Faculty of Information and Natural Sciences, Department of Information and Computer Science, Espoo, Finland, 2008.
Info
See lib.tkk.fi ...
31Sven Laur. Cryptographic Protocol Design. Doctoral dissertation, TKK Dissertations in Information and Computer Science TKK-ICS-D2, Helsinki University of Technology, Faculty of Information and Natural Sciences, Department of Information and Computer Science, Espoo, Finland, 2008.
Info
See lib.tkk.fi ...
30Mika Sulkava. Learning from environmental data: methods for analysis of forest nutrition time series. D.Sc. thesis, Helsinki University of Technology, Dissertations in Computer and Information Science, Report D24, Espoo, Finland, January 2008.
Info
See lib.tkk.fi ...

2007

29Henrik Petander. A network mobility management architecture for a heterogeneous network environment. Research Report A108, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2007. Doctoral dissertation. ISBN 978-951-22-9098-7.
PDF (707 kB)
Info
See lib.tkk.fi ...

2006

28Misa Keinänen. Techniques for solving boolean equation systems. Research Report A105, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2006. Doctoral dissertation.
PostScript (1 MB)
GZipped PostScript (436 kB)
PDF (693 kB)
Info
See lib.tkk.fi ...
27Heikki Tauriainen. Automata and linear temporal logic: Translations with transition-based acceptance. Research Report A104, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, September 2006. Doctoral dissertation.
PostScript (4 MB)
GZipped PostScript (1 MB)
PDF (2 MB)
Info
See lib.tkk.fi ...
26Janne Lundberg. A wireless multicast delivery architecture for mobile terminals. Research Report A103, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, May 2006. Doctoral dissertation.
PostScript (2 MB)
GZipped PostScript (549 kB)
PDF (914 kB)
Info
See lib.tkk.fi ...
25Satu Elisa Schaeffer. Algorithms for nonuniform networks. Research Report A102, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, April 2006. Doctoral dissertation.
PostScript (26 MB)
GZipped PostScript (3 MB)
PDF (4 MB)
Info
See lib.tkk.fi ...
24Tapani Raiko. Bayesian Inference in Nonlinear and Relational Latent Variable Models. PhD thesis, Helsinki University of Technology, Espoo, Finland, 2006.
Info

2005

23Antti Autere. Extensions and applications of the algorithm. Research Report A98, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2005. Doctoral dissertation.
PostScript (8 MB)
GZipped PostScript (857 kB)
PDF (1 MB)
Info
See lib.tkk.fi ...
22Catharina Candolin. Securing Military Decision Making in a Network-centric Environment. Doctoral dissertation, TKK Dissertations 20, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2005.
Info
See lib.tkk.fi ...
21Toni Jussila. On bounded model checking of asynchronous systems. Research Report A97, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, October 2005. Doctoral dissertation.
PostScript (1 MB)
GZipped PostScript (510 kB)
PDF (883 kB)
Info
See lib.tkk.fi ...
20Timo Latvala. Automata-theoretic and bounded model checking for linear temporal logic. Research Report A95, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, August 2005. Doctoral dissertation.
NOTE: Papers available through URL below.
PostScript (1 MB)
GZipped PostScript (454 kB)
PDF (560 kB)
Info
See lib.tkk.fi ...
19Petteri Kaski. Algorithms for classification of combinatorial objects. Research Report A94, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, June 2005. Doctoral dissertation.
NOTE: Papers available through URL below.
PostScript (796 kB)
GZipped PostScript (335 kB)
PDF (446 kB)
Info
See lib.tkk.fi ...

2004

18Harri Haanpää. Constructing certain combinatorial structures by computational methods. Research Report A89, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, February 2004. Doctoral dissertation.
NOTE: Papers available through URL below.
PostScript (568 kB)
GZipped PostScript (267 kB)
PDF (272 kB)
Info
See lib.hut.fi ...

2003

17Marko Mäkelä. Efficient computer-aided verification of parallel and distributed software systems. Research Report A81, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2003. Doctoral dissertation.
NOTE: Papers available through URL below.
PostScript (966 kB)
GZipped PostScript (391 kB)
PDF (681 kB)
Info
See lib.hut.fi ...
16Tommi Junttila. On the symmetry reduction method for Petri nets and similar formalisms. Research Report A80, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, September 2003. Doctoral dissertation.
PostScript (3 MB)
GZipped PostScript (1 MB)
PDF (1 MB)
Info
See lib.hut.fi ...

2002

15Sam Sandqvist. Aspects of modelling and simulation of genetic algorithms: A formal approach. Research Report A74, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, September 2002. Doctoral dissertation.
PostScript (1 MB)
GZipped PostScript (589 kB)
PDF (1 MB)
Info
See lib.hut.fi ...
14Keijo Heljanko. Combining symbolic and partial order methods for model checking 1-safe Petri nets. Research Report A71, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, February 2002. Doctoral dissertation.
NOTE: Papers available through URL below.
PostScript (724 kB)
GZipped PostScript (314 kB)
PDF (563 kB)
Info
See lib.hut.fi ...

2000

13Jaakko Hollmén. User Profiling and Classification for Fraud Detection in Mobile Communications Networks. Doctoral dissertation, Helsinki University of Technology, December 2000.
Info
See lib.hut.fi ...
12Tuomas Aura. Authorization and availability - aspects of open network security. Research Report A64, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2000. Doctoral dissertation.
PostScript (466 kB)
GZipped PostScript (211 kB)
Info
11Patrik Simons. Extending and implementing the stable model semantics. Research Report A58, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, April 2000. Doctoral dissertation.
PostScript (2 MB)
GZipped PostScript (710 kB)
Info

1999

10Kimmo Raivio. Receiver Structures Based on Self-Organizing Maps. Doctoral dissertation, Acta Polytechnica Scandinavica, Mathematics, Computing and Management in Engineering Series No. 96, Helsinki University of Technology, 1999.
Info

1998

9Kimmo Varpaaniemi. On the stubborn set method in reduced state space generation. Research Report A51, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, May 1998. Doctoral dissertation.
PostScript (1 MB)
GZipped PostScript (348 kB)
PDF (848 kB)
Info
8Tomi Janhunen. Non-monotonic systems: A framework for analyzing semantics and structural properties of NMR. Research Report A49, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, March 1998. Doctoral dissertation.
PostScript (2 MB)
GZipped PostScript (863 kB)
Info

1997

7Kari J. Nurmela. Constructing Spherical Codes by Global Optimization Methods. Doctoral dissertation, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, November 1997.
PostScript (782 kB)
GZipped PostScript (123 kB)
Info
6Timo Honkela. Self-Organizing Maps in Natural Language Processing. PhD thesis, Helsinki University of Technology, Espoo, Finland, 1997.
Info
See www.cis.hut.fi ...

1996

5Jussi Rintanen. Lexicographic ordering as a basis of priorities in default reasoning. Research Report A41, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, December 1996. Doctoral dissertation.
PostScript (1 MB)
GZipped PostScript (460 kB)
Info

1995

4Johan Lilius. On the structure of high-level nets. Research Report A33, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, March 1995. Doctoral dissertation.
PostScript (984 kB)
GZipped PostScript (281 kB)
Info

1993

3Patric R. J. Östergård. Construction methods for covering codes. Research Report A25, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, September 1993. Doctoral dissertation.
PostScript (324 kB)
GZipped PostScript (89 kB)
Info
2Ilkka Niemelä. Autoepistemic logic as a unified basis for nonmonotonic reasoning. Research Report A24, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, August 1993. Doctoral dissertation.
PostScript (1 MB)
GZipped PostScript (337 kB)
Info

1992

1Nisse Husberg. High level distributed transition systems in categories. Research Report A19, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, November 1992. Doctoral dissertation.
Info