Concepedia

Vesa Halava

VH

21

Publications

465

Citations

14

H-Index

1997

Active since

Affiliations

University of Turku(Current)

Turku Centre for Computer Science

Centre National de la Recherche Scientifique

Vesa Halava is an author at University of Turku specializing in engineering, linguistics, and discrete mathematics.

Top concepts

EngineeringLinguisticsDiscrete MathematicsLanguageComputer ScienceComputational LinguisticsFormal MethodsAutomated ReasoningComputational ComplexityFormal Verification

Publications per year

1997–2023

21

Publications

21

Positivity of second order linear recurrent sequences

Vesa Halava, Tero Harju, Mika Hirvensalo · Discrete Applied Mathematics · 2005 · 44 citations

Oscillation Theory, Nonlinear Time Series, Nonlinear Functional Analysis

UNDECIDABILITY BOUNDS FOR INTEGER MATRICES USING CLAUS INSTANCES

Vesa Halava, Tero Harju, Mika Hirvensalo · International Journal of Foundations of Computer Science · 2007 · 44 citations

Matrix Reachability, Computational Complexity Theory, Total Unimodularity +11

Highly Tuneable Photochromic Sodalites for Dosimetry, Security Marking and Imaging

Hannah Byron, Claudia Swain, Pyry Paturi et al. · Advanced Functional Materials · 2023 · 37 citations · Full text

Optical Materials, X-ray Spectroscopy, Engineering +20

Binary (generalized) Post Correspondence Problem

Vesa Halava, Tero Harju, Mika Hirvensalo · Theoretical Computer Science · 2002 · 32 citations

Mathematical Programming, Engineering, Combinatorial Problem +7

Mortality in Matrix Semigroups

Vesa Halava, Tero Harju · American Mathematical Monthly · 2001 · 29 citations

Topological Semigroups, Total Unimodularity, Mor- Tality Problem +4

Rows per page

1–5 of 21