Antti Eero Johannes Hyvärinen
Orcid: 0000-0001-6672-5109
According to our database1,
Antti Eero Johannes Hyvärinen
authored at least 51 papers
between 2006 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
2022
0
1
2
3
4
5
6
7
1
2
1
2
1
1
1
1
3
2
4
2
5
6
3
4
1
3
1
1
1
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
ACM Trans. Priv. Secur., May, 2023
Proceedings of the Verified Software. Theories, Tools and Experiments, 2023
2022
Int. J. Softw. Tools Technol. Transf., 2022
Formal Methods Syst. Des., 2022
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022
Proceedings of the Computer Aided Verification - 34th International Conference, 2022
2021
Proceedings of the Formal Methods in Computer Aided Design, 2021
Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021
2020
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020
Proceedings of the Static Analysis - 27th International Symposium, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020
2019
Formal Methods Syst. Des., 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019
2018
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018
Proceedings of the Handbook of Parallel Constraint Reasoning., 2018
2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Proceedings of the 15th International Workshop on Satisfiability Modulo Theories affiliated with the International Conference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 22, 2017
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017
Proceedings of the Hardware and Software: Verification and Testing, 2017
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017
Duality-based interpolation for quantifier-free equalities and uninterpreted functions.
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017
2016
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016
Proceedings of the Fundamental Approaches to Software Engineering, 2016
Proceedings of the Automated Technology for Verification and Analysis, 2016
2015
Proceedings of the Verified Software: Theories, Tools, and Experiments, 2015
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015
Proceedings of the Mathematical and Engineering Methods in Computer Science, 2015
Proceedings of the Fundamental Approaches to Software Engineering, 2015
Proceedings of the Validation of Evolving Software, 2015
Proceedings of the Validation of Evolving Software, 2015
2014
Proceedings of the International Symposium on Software Testing and Analysis, 2014
2013
PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
Proceedings of the 16th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2013
Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013
2012
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012
2011
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011
2010
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
2009
J. Satisf. Boolean Model. Comput., 2009
2008
Proceedings of the Twenty-First IEEE International Symposium on Computer-Based Medical Systems, 2008
Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008
Proceedings of the Artificial Intelligence: Methodology, 2008
2006
Proceedings of the Theory and Applications of Satisfiability Testing, 2006