2009 |
|
40 | Antti E.J. Hyvärinen. Approaches to Grid-Based SAT Solving. Licentiate's thesis, Helsinki University of Technology, Department of Information and Computer Science, 2009. |
|
2008 |
|
39 | Dmitrij Lagutin. Redesigning Internet—The Packet Level Authentication Architecture. Licentiate's thesis, Helsinki University of Technology, Department of Information and Computer Science, 2008. |
|
2007 |
|
38 | Matti Järvisalo. Impact of Restricted Branching on Clause Learning SAT Solving. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2007. |
|
|
37 | Maarit Hietalahti. Requirements for a security architecture for clustered ad-hoc networks. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2007. |
|
2006 |
|
36 | Emilia Oikarinen. Modular Answer Set Programming. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2006. |
|
2005 |
|
35 | Janne Lundberg. A Wireless Multicast Delivery Architecture for Mobile Terminals. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005. |
|
|
34 | Misa Keinänen. Solving Boolean Equation Systems. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005. |
|
2004 |
|
33 | Catharina Candolin. Information warfare and security in a network-centric environment. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2004. |
|
2003 |
|
32 | Satu Virtanen. Properties of Nonuniform Random Graph Models. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003. |
|
|
31 | Yki Kortesniemi. Managing the usage of authorisation certificates. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003. |
|
|
30 | Teemu Tynjälä. Combining abstractions and reachability analysis: a case study of RLC protocol. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003. |
|
|
29 | Heikki Tauriainen. On translating linear temporal logic into alternating and nondeterministic automata. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003. |
|
|
28 | Tommi Syrjänen. Logic programming with cardinality constraints. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003. |
|
2002 |
|
27 | Timo Latvala. On Model Checking Safety Properties. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2002. |
|
|
26 | Petteri Kaski. A Census of Steiner Triple Systems and Some Related Combinatorial Objects. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2002. |
|
2001 |
|
25 | Toni Jussila. Bounded Model Checking for Verifying Concurrent Programs. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2001. |
|
2000 |
|
24 | Harri Haanpää. Computational Methods for Ramsey Numbers. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2000. |
|
|
23 | Marko Mäkelä. A Reachability Analyzer for Algebraic System Nets. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2000. |
|
1999 |
|
22 | Tommi Junttila. Detecting and Exploiting Data Type Symmetries of Algebraic System Nets during Reachability Analysis. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 1999. |
|
|
21 | Keijo Heljanko. Deadlock and Reachability Checking with Finite Complete Prefixes. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 1999. |
|
1997 |
|
20 | Patrik Simons. Towards Constraint Satisfaction through Logic Programs and the Stable Model Semantics. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1997. |
|
|
19 | Eero Lassila. Towards Optimizing Code Generation by Domain-Sensitive Macro Expansion. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1997. |
|
|
18 | Tuomas Aura. On the Structure of Delegation Networks. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1997. |
|
1996 |
|
17 | Tino Pyssysalo. An Induction Theorem for Ring Protocols of Processes Describes Using Predicate/Transition Nets. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1996. |
|
1995 |
|
16 | Jari Juopperi. PrT-net Based Analysis of Information Flow Security Nets. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1995. |
|
|
15 | Kari Nurmela. Constructing Spherical Codes by Global Optimization Methods. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1995. |
|
1994 |
|
14 | Tomi Janhunen. Investigations on Cautious Autoepistemic Reasoning. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1994. |
|
1993 |
|
13 | Jussi Rintanen. Priorities and Nonmonotonic Reasoning. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1993. |
|
|
12 | Kimmo Varpaaniemi. Efficient Detection of Deadlock in Petri Nets. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1993. |
|
|
11 | Sam Sandqvist. On Finding Optimal Potential Customers from a Large Marketing Database – A Genetic Algorithm Approach. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1993. |
|
1992 |
|
10 | Unto Pulkkinen. Paperin painettavuustekijöiden määrityksen online-menetelmät. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1992. |
|
|
9 | Marja-Liisa Hämäläinen. Verkkoteoreettisten menetelmien käyttö tietoliikenneyhteyskäytäntöjen suunnittelun apuvälineenä. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1992. |
|
1991 |
|
8 | Johan Lilius. Text Distribution Service - the Unified Telematic Media for Distributed Office Applications. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1991. |
|
|
7 | Jukka Oranen. On the Compositionality and Analysis of High-Level Nets. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1991. |
|
|
6 | Östergård. Construction of Mixed Covering Codes. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1991. |
|
1990 |
|
5 | Antti Laine. The Analysis of a Communication Protocol Using High Level Petri Nets. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1990. |
|
|
4 | Pekka Oksala. Permutaatiomenetelmä lomakkeella välitettävän tiedon salaamiseksi. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1990. |
|
|
3 | Kari Björn. A Failure Model of a Distributed Transaction Processing System. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1990. |
|
|
2 | Marko Rauhamaa. A Comparative Study of Methods for Efficient Reachability Analysis. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1990. |
|
1989 |
|
1 | Ilkka Niemelä. Automating Autoepistemic Reasoning. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science, Espoo, Finland, 1989. |
|
