Theses

Doctoral Theses

• Antti Hyvärinen. Grid Based Propositional Satisfiability Solving. Doctoral dissertation, Aalto University, School of Science Department of Information and Computer Science. November 2011.
• Jori Dubrovin. Efficient Symbolic Model Checking of Concurrent Systems. Doctoral dissertation, Aalto University, School of Science Department of Information and Computer Science. November 2011.
• Tommi Syrjänen. Logic Programs and Cardinality Constraints: Theory and Practice. Doctoral dissertation, Helsinki University of Technology, Faculty of Information and Natural Sciences, Department of Information and Computer Science, 2009.
• Matti Järvisalo. Structure-Based Satisfiability Checking: Analyzing and Harnessing the Potential. Doctoral dissertation, Helsinki University of Technology, Faculty of Information and Natural Sciences, Department of Information and Computer Science, 2008.
• Emilia Oikarinen. Modularity in Answer Set Programs. Doctoral dissertation, Helsinki University of Technology, Faculty of Information and Natural Sciences, Department of Information and Computer Science, 2008.
• Misa Keinänen: Techniques for Solving Boolean Equation Systems. Doctoral Dissertation, Helsinki University of Technology, Department of Computer Science and Engineering, 2006.
• Heikki Tauriainen: Automata and Linear Temporal Logic: Translations with Transition-Based Acceptance. Doctoral Dissertation, Helsinki University of Technology, Department of Computer Science and Engineering, 2006.
• Toni Jussila: On Bounded Model Checking of Asynchronous Systems. Doctoral Dissertation, Helsinki University of Technology, Department of Computer Science and Engineering, 2005.
• Tommi Junttila: On the Symmetry Reduction Method for Petri Nets and Similar Formalisms. Doctoral Dissertation, Helsinki University of Technology, Department of Computer Science and Engineering, 2003.
• Keijo Heljanko: Combining Symbolic and Partial Order Methods for Model Checking 1-Safe Petri Nets. Doctoral Dissertation, Helsinki University of Technology, Department of Computer Science and Engineering, 2002.
• Patrik Simons: Extending and Implementing the Stable Model Semantics. Doctoral Dissertation, Helsinki University of Technology, Department of Computer Science and Engineering, 2000. (CoRR: arXiv:cs.LO/0005010)
• Janhunen, Tomi: Non-Monotonic Systems: A Framework for Analyzing Semantics and Structural Properties of Non-Monotonic Reasoning , Doctoral Dissertation, Helsinki University of Technology, Department of Computer Science and Engineering, 1998.
• Rintanen, Jussi: Lexicographic Ordering as a Basis for Priorities in Default Reasoning, Doctoral Dissertation, Helsinki University of Technology, Department of Computer Science and Engineering, 1997.
  (Received the Finnish Science Academy stipendium for a distinguished doctoral thesis in 1997)
• Ilkka Niemelä: Autoepistemic Logic as a Unified Basis for Nonmonotonic, Doctoral Dissertation, Helsinki University of Technology, Department of Computer Science, 1993.
  (Received the annual dissertation award of the Finnish Society for Computer Science for a distinguished doctoral dissertation in Computer Science.)

Licentiate's Theses

• 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.
• 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, 2007.
• Emilia Oikarinen: Modular Answer Set Programming. Licentiate's Thesis, Helsinki University of Technology, Department of Computer Science and Engineering, 2006.
• Misa Keinänen: Solving Boolean Equation Systems. Licentiate's Thesis, Helsinki University of Technology, Department of Computer Science and Engineering, 2005.
• Tommi Syrjänen: Logic Programming with Cardinality Constraints . Licentiate's Thesis, Helsinki University of Technology, Department of Computer Science and Engineering, 2003.
• 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, 2003.
• Toni Jussila: Bounded Model Checking for Verifying Concurrent Programs . Licentiate's Thesis, Helsinki University of Technology, Department of Computer Science and Engineering, 2001
• Keijo Heljanko: Deadlock and Reachability Checking with Finite Complete Prefixes . Licentiate's Thesis, Helsinki University of Technology, Department of Computer Science and Engineering, 1999
• 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, 1997
• Janhunen, Tomi: Investigations on Cautious Autoepistemic Reasoning . Licentiate's Thesis, Helsinki University of Technology, Department of Computer Science, 1994
• Rintanen, Jussi: Priorities and Nonmonotonic Reasoning. Licentiate's Thesis, Helsinki University of Technology, Department of Computer Science, 1993

Master's Theses

• Vesa Ojala: Counterexample analysis for automated refinement of data abstracted state machine models. Master's thesis, Helsinki University of Technology, Department of Information and Computer Science, 2008.
• Kari Kähkönen: Automated dynamic test generation for sequential Java programs. Master's thesis, Helsinki University of Technology, Department of Information and Computer Science, 2008.
• Jussi Lahtinen: Model checking timed safety instrumented systems. Master's thesis, Helsinki University of Technology, Department of Information and Computer Science, 2008.
• Jani Lampinen: Interface specification methods for software components. Master's thesis, Helsinki University of Technology, Department of Information and Computer Science, 2008.
• Matti Koskimies: Applying model checking to analysing safety instrumented systems. Master's thesis, Helsinki University of Technology, Department of Information and Computer Science, 2008.
• Jori Dubrovin: Jumbala - an action language for UML state machines. Master's thesis, Helsinki University of Technology, Department of Engineering Physics and Mathematics, 2006.
• Antti Hyvärinen: SATU: A system for distributed propositional satisfiability checking in computational GRIDs. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, 2005.
• Matti Järvisalo: Proof complexity of cut-based tableaux for Boolean circuit satisfiability checking. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, 2004.
• Emilia Oikarinen: Testing the equivalence of disjunctive logic programs. . Master's Thesis, Helsinki University of Technology, Department of Engineering Physics and Mathematics, 2003.
  (Received Helsinki University of Technology Master's Thesis award 2004)
• Tuomo Pyhälä: Specification-Based Test Selection in Formal Conformance Testing. Master's Thesis, Helsinki University of Technology, Department of Computer Science and Engineering, 2003.
• Rauni Pääkkönen: Implementing a formal agent description language. Master's Thesis, Helsinki University of Technology, Department of Computer Science and Engineering, 2001.
• Heikki Tauriainen: Automated testing of Büchi automata translators for linear temporal logic . Master's Thesis, Helsinki University of Technology, Department of Computer Science and Engineering, 2000.
  ( Received the annual award of the Finnish Society for Computer Science for a distinguished Master's Thesis in Computer Science )
• Tommi Syrjänen: A Rule-Based Formal Model for Software Configuration . Master's Thesis, Helsinki University of Technology, Department of Computer Science and Engineering, 1999.
• Patrik Simons: Efficient Implementation of the Stable Model Semantics for Normal Logic Programs, Master's Thesis, Helsinki University of Technology, Department of Computer Science, 1995.
• Janhunen, Tomi: Weakened Negative Introspection in Autoepistemic Reasoning . Master's Thesis, Helsinki University of Technology, Department of Computer Science, 1993.
• Rintanen, Jussi: Stratification and Tractability in Nonmonotonic Reasoning. Master's Thesis, Helsinki University of Technology, Department of Computer Science, 1992.
  ( Received the annual award of the Finnish Society for Computer Science for a distinguished Master's Thesis in Computer Science )