Ilkka Niemelä

Tutkimustuotoksia vuodessa

2020
Normalization and Rewriting for Answer Set Programming and Optimization
Julkaisun otsikon käännös: Sääntöpohjaisten haku- ja optimointiohjelmien normalisointi ja uudelleenkirjoitusBomanson, J., 2020, Aalto University. 222 Sivumäärä
Tutkimustuotos: Doctoral Thesis › Collection of Articles

Open access
2015
Rule-based Metaprogramming for Smart Spaces
Luukkala, V., 2015, Aalto University. 119 Sivumäärä
Tutkimustuotos: Licenciate's thesis

Open access
2014
Extending SAT Solver with Parity Reasoning
Julkaisun otsikon käännös: Lauselogiikan toteutuvuustarkistimen laajentaminen pariteettipäättelylläLaitinen, T., 2014, Aalto University. 229 Sivumäärä
Tutkimustuotos: Doctoral Thesis › Collection of Articles
SMT-based Verification of Timed Systems and Software
Julkaisun otsikon käännös: SMT-based Verification of Timed Systems and SoftwareKindermann, R., 2014, Aalto University. 230 Sivumäärä
Tutkimustuotos: Doctoral Thesis › Collection of Articles
2011
Efficient symbolic model checking of concurrent systems
Julkaisun otsikon käännös: Efficient symbolic model checking of concurrent systemsDubrovin, J., 2011, Aalto University. 224 Sivumäärä
Tutkimustuotos: Doctoral Thesis › Collection of Articles
Grid based propositional satisfiability solving
Julkaisun otsikon käännös: Grid based propositional satisfiability solvingHyvärinen, A. E. J., 2011, Aalto University. 207 Sivumäärä
Tutkimustuotos: Doctoral Thesis › Collection of Articles

Ohjattu työ