Theses in Computational Logic

Doctoral Theses

• Roland Kindermann: SMT-based Verification of Timed Systems. Aalto University, Department of Information and Computer Science, 2014.
• Tero Laitinen: Extending SAT Solver with Parity Reasoning. Aalto University, Department of Information and Computer Science, 2014.
• Jori Dubrovin: Efficient Symbolic Model Checking of Concurrent Systems. Aalto University, Department of Information and Computer Science, 2011.
• Antti Hyvärinen: Grid Based Propositional Satisfiability Solving. Aalto University, Department of Information and Computer Science, 2011.
  (Received one of the best doctoral dissertation awards of Aalto University School of Science in 2011.)
• Tommi Syrjänen: Logic Programs and Cardinality Constraints: Theory and Practice. 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. Helsinki University of Technology, Faculty of Information and Natural Sciences, Department of Information and Computer Science, 2008.
• Emilia Oikarinen: Modularity in Answer Set Programs. 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. Helsinki University of Technology, Department of Computer Science and Engineering, 2006.
• Heikki Tauriainen: Automata and Linear Temporal Logic: Translations with Transition-Based Acceptance. Helsinki University of Technology, Department of Computer Science and Engineering, 2006.
• Toni Jussila: On Bounded Model Checking of Asynchronous Systems. Helsinki University of Technology, Department of Computer Science and Engineering, 2005.
• Tommi Junttila: On the Symmetry Reduction Method for Petri Nets and Similar Formalisms. 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. Helsinki University of Technology, Department of Computer Science and Engineering, 2000.
• Tomi Janhunen: Non-Monotonic Systems: A Framework for Analyzing Semantics and Structural Properties of Non-Monotonic Reasoning. Helsinki University of Technology, Department of Computer Science and Engineering, 1998.
• Jussi Rintanen: Lexicographic Ordering as a Basis for Priorities in Default Reasoning. 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 Reasoning. 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

• Vesa Luukkala: Rule-based Metaprogramming for Smart Spaces. Aalto Unversity, Department of Computer Science, 2015.
• Antti E.J. Hyvärinen: Approaches to Grid-Based SAT Solving. Helsinki University of Technology, Department of Information and Computer Science, 2009.
• Matti Järvisalo: Impact of Restricted Branching on Clause Learning SAT solving. Helsinki University of Technology, Department of Computer Science and Engineering, 2007.
• Emilia Oikarinen: Modular Answer Set Programming. Helsinki University of Technology, Department of Computer Science and Engineering, 2006.
• Misa Keinänen: Solving Boolean Equation Systems. Helsinki University of Technology, Department of Computer Science and Engineering, 2005.
• Tommi Syrjänen: Logic Programming with Cardinality Constraints . Helsinki University of Technology, Department of Computer Science and Engineering, 2003.
• Heikki Tauriainen: On Translating Linear Temporal Logic into Alternating and Nondeterministic Automata. Helsinki University of Technology, Department of Computer Science and Engineering, 2003.
• Toni Jussila: Bounded Model Checking for Verifying Concurrent Programs. Helsinki University of Technology, Department of Computer Science and Engineering, 2001
• Keijo Heljanko: Deadlock and Reachability Checking with Finite Complete Prefixes. Helsinki University of Technology, Department of Computer Science and Engineering, 1999
• Patrik Simons: Towards Constraint Satisfaction through Logic Programs and the Stable Model Semantics. Helsinki University of Technology, Department of Computer Science and Engineering, 1997
• Tomi Janhunen: Investigations on Cautious Autoepistemic Reasoning . Helsinki University of Technology, Department of Computer Science, 1994
• Jussi Rintanen: Priorities and Nonmonotonic Reasoning. Helsinki University of Technology, Department of Computer Science, 1993

Master's Theses

• Markku Riekkinen: Integrating Stratum and A+ Functionalities in Moodle: Architecture and Evaluation. Aalto University, Department of Computer Science, 2016.
• Binda Pandey: Adaptive Learning for Mobile Network Management. Aalto University, Department of Computer Science, 2016.
• Evgenia Antonova: Applying Answer Set Programming in Game Level Design. Aalto University, Department of Computer Science, 2015.
• Weiming Wu: Design and Implementation of a Shared Task Queue Groupware. Aalto University, Department of Computer Science, 2015.
• Laura Koponen: Constraint-Based Optimization of Phylogenetic Supertrees. Aalto University, Department of Computer Science, 2015.
• Jori Bomanson: Developing Efficient Encodings for Weighted Expressions in Answer Set Programs. Aalto University, Department of Information and Computer Science, 2014.
• Tao Sun: Parameter Selection in Translation-Based Approaches to Answer Set Solving. Aalto University, Department of Information and Computer Science, 2012.
• Mai Nguyen: Preferential Optimization of University Students' Timetables. Aalto University, Department of Information and Computer Science, 2012.
• Rehan Abdul Aziz: Distributed Rule-Based Resource Allocation in Smart Spaces. Aalto University, Department of Information and Computer Science, 2011.
• Tero Laitinen: Extending SAT Solver with Parity Constraints. Aalto University, Department of Information and Computer Science, 2010.
• Juho Frits: Model Checking Embedded Control Software. Aalto University, Department of Information and Computer Science, 2010
• Lea Kylmälä: University Timetabling Using Answer Set Programming Techniques. Aalto University, Department of Information and Computer Science, 2010.
• Vesa Ojala: Counterexample analysis for automated refinement of data abstracted state machine models. Helsinki University of Technology, Department of Information and Computer Science, 2008.
• Kari Kähkönen: Automated dynamic test generation for sequential Java programs. Helsinki University of Technology, Department of Information and Computer Science, 2008.
• Jussi Lahtinen: Model checking timed safety instrumented systems. Helsinki University of Technology, Department of Information and Computer Science, 2008.
• Jani Lampinen: Interface specification methods for software components. Helsinki University of Technology, Department of Information and Computer Science, 2008.
• Matti Koskimies: Applying model checking to analysing safety instrumented systems. Helsinki University of Technology, Department of Information and Computer Science, 2008.
• Jori Dubrovin: Jumbala - an action language for UML state machines. 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. 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. Helsinki University of Technology, Department of Computer Science and Engineering, 2004.
• Emilia Oikarinen: Testing the equivalence of disjunctive logic programs. 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. Helsinki University of Technology, Department of Computer Science and Engineering, 2003.
• Rauni Pääkkönen: Implementing a formal agent description language. Helsinki University of Technology, Department of Computer Science and Engineering, 2001.
• Heikki Tauriainen: Automated testing of Büchi automata translators for linear temporal logic. 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. Helsinki University of Technology, Department of Computer Science and Engineering, 1999.
• Patrik Simons: Efficient Implementation of the Stable Model Semantics for Normal Logic Programs. Helsinki University of Technology, Department of Computer Science, 1995.
• Tomi Janhunen: Weakened Negative Introspection in Autoepistemic Reasoning. Helsinki University of Technology, Department of Computer Science, 1993.
• Jussi Rintanen: Stratification and Tractability in Nonmonotonic Reasoning. 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 )