SMT-based verification of program changes through summary repair von Asadi, Sepideh, Blicha, Martin, Hyvärinen, Antti E. J., Fedyukovich, Grigory, Sharygina, Natasha

Volltext

Using linear algebra in decomposition of Farkas interpolants von Blicha, Martin, Hyvärinen, Antti E. J., Kofroň, Jan, Sharygina, Natasha

Volltext

Exploiting partial variable assignment in interpolation-based model checking von Jančík, Pavel, Kofroň, Jan, Alt, Leonardo, Fedyukovich, Grigory, Hyvärinen, Antti E. J., Sharygina, Natasha

Volltext

Effects of green tree retention and prescribed burning on the crown damage caused by the pine shoot beetles (Tomicus spp.) in pine-dominated timber harvest areas von Martikainen, P, Kouki, J, Heikkala, O, Hyvärinen, E, Lappalainen, H

Volltext

Challenges of ecological restoration: Lessons from forests in northern Europe von Halme, Panu, Allen, Katherine A., Auniņš, Ainārs, Bradshaw, Richard H.W., Brūmelis, Guntis, Čada, Vojtěch, Clear, Jennifer L., Eriksson, Anna-Maria, Hannon, Gina, Hyvärinen, Esko, Ikauniece, Sandra, Iršėnaitė, Reda, Jonsson, Bengt Gunnar, Junninen, Kaisa, Kareksela, Santtu, Komonen, Atte, Kotiaho, Janne S., Kouki, Jari, Kuuluvainen, Timo, Mazziotta, Adriano, Mönkkönen, Mikko, Nyholm, Kristiina, Oldén, Anna, Shorohova, Ekaterina, Strange, Niels, Toivanen, Tero, Vanha-Majamaa, Ilkka, Wallenius, Tuomo, Ylisirniö, Anna-Liisa, Zin, Ewa

Volltext

Hot spots, indicator taxa, complementarity and optimal networks of taiga von Virolainen, K. M., Ahlroth, P., Hyvärinen, E., Korkeamäki, E., Mattila, J., Päivinen, J., Rintala, T., Suomi, T., Suhonen, J.

Volltext

The potential to use documentation in national Red Lists to characterize red-listed forest species in Fennoscandia and to guide conservation von Tingstad, L., Grytnes, J.A., Felde, V.A., Juslén, A., Hyvärinen, E., Dahlberg, A.

Volltext

A Distribution Method for Solving SAT in Grids von Hyvärinen, Antti E. J., Junttila, Tommi, Niemelä, Ilkka

Volltext

Partitioning SAT Instances for Distributed Solving von Hyvärinen, Antti E. J., Junttila, Tommi, Niemelä, Ilkka

Volltext

Lattice-Based Refinement in Bounded Model Checking von Even-Mendoza, Karine, Asadi, Sepideh, Hyvärinen, Antti E. J., Chockler, Hana, Sharygina, Natasha

Volltext

OpenSMT2: An SMT Solver for Multi-core and Cloud Computing von Hyvärinen, Antti E. J., Marescotti, Matteo, Alt, Leonardo, Sharygina, Natasha

Volltext

Picky CDCL: SMT-Solving with Flexible Literal Selection von Britikov, Konstantin I., Hyvärinen, Antti E. J., Sharygina, Natasha

Volltext

Computing Exact Worst-Case Gas Consumption for Smart Contracts von Marescotti, Matteo, Blicha, Martin, Hyvärinen, Antti E. J., Asadi, Sepideh, Sharygina, Natasha

Volltext

A Cooperative Parallelization Approach for Property-Directed k-Induction von Blicha, Martin, Hyvärinen, Antti E. J., Marescotti, Matteo, Sharygina, Natasha

Volltext

PVAIR: Partial Variable Assignment InterpolatoR von Jančík, Pavel, Alt, Leonardo, Fedyukovich, Grigory, Hyvärinen, Antti E. J., Kofroň, Jan, Sharygina, Natasha

Volltext

Short-term effects of controlled burning and green-tree retention on beetle (Coleoptera) assemblages in managed boreal forests von Hyvärinen, Esko, Kouki, Jari, Martikainen, Petri, Lappalainen, Harri

Volltext

Accurate Smart Contract Verification Through Direct Modelling von Marescotti, Matteo, Otoni, Rodrigo, Alt, Leonardo, Eugster, Patrick, Hyvärinen, Antti E. J., Sharygina, Natasha

Volltext

HiFrog: SMT-based Function Summarization for Software Verification von Alt, Leonardo, Asadi, Sepideh, Chockler, Hana, Even Mendoza, Karine, Fedyukovich, Grigory, Hyvärinen, Antti E. J., Sharygina, Natasha

Volltext

A Proof-Sensitive Approach for Small Propositional Interpolants von Alt, Leonardo, Fedyukovich, Grigory, Hyvärinen, Antti E. J., Sharygina, Natasha

Volltext

A comparison of three trapping methods used to survey forest-dwelling Coleoptera von HYVÄRINEN, Esko, KOUKI, Jari, MARTIKAINEN, Petri

Volltext