Concepedia

Antti E. J. Hyvärinen

AE

7

Publications

124

Citations

7

H-Index

2008

Active since

Affiliations

Università della Svizzera italiana(Current)

Antti E. J. Hyvärinen is an author at Università della Svizzera italiana specializing in computer science, engineering, and formal methods.

ORCID

Top concepts

Publications per year

2008–2022

7

Publications

7

Verification-aided regression testing

Fabrizio Pastore, Leonardo Mariani, Antti E. J. Hyvärinen et al. · 2014 · 28 citations · Full text

Incorporating Clause Learning in Grid-Based Randomized SAT Solving1

Antti E. J. Hyvärinen, Tommi Junttila, Ilkka Niemelä · Journal on Satisfiability Boolean Modeling and Computation · 2009 · 21 citations · Full text

A <scp>Solicitous</scp> Approach to Smart Contract Verification

Rodrigo Otoni, Matteo Marescotti, Leonardo Alt et al. · ACM Transactions on Privacy and Security · 2022 · 21 citations

, , +19

Grid based propositional satisfiability solving

Antti E. J. Hyvärinen · Aaltodoc (Aalto University) · 2011 · 19 citations · Full text

Partitioning Search Spaces of a Randomized Search

Antti E. J. Hyvärinen, Tommi Junttila, Ilkka Niemelä · Fundamenta Informaticae · 2011 · 12 citations

, , +21

Rows per page

1–5 of 7