Valokuva Ilkka Niemelä
  • Puhelin+358 50 5113013
  • Aalto SCI Computer Science Konemiehentie 2

1986 …2020

Tutkimustuotoksia vuodessa

Hakutulokset

  • 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 ThesisCollection 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 ThesisCollection 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 ThesisCollection 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 ThesisCollection 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 ThesisCollection of Articles

Viestisi lähetys onnistui.
Viestiäsi ei lähetetty, koska tapahtui virhe.