Concepedia

Lauri Hella

LH

23

Publications

719

Citations

16

H-Index

1989

Active since

Affiliations

University of Helsinki(Current)

Tampere University

University of Eastern Finland

University of California, Santa Cruz

Lauri Hella is an author at University of Helsinki specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceFormal VerificationSemanticsComputational ComplexityMathematical FoundationsProof ComplexityMulti-sorted Logic

Publications per year

1989–2019

23

Publications

23

Logical Hierarchies in PTIME

Lauri Hella · Information and Computation · 1996 · 122 citations

Computational Logic, Engineering, Automated Reasoning +5

Definability hierarchies of generalized quantifiers

Lauri Hella · Annals of Pure and Applied Logic · 1989 · 85 citations

Engineering, Automated Reasoning, Formal Methods +5

Logics with aggregate operators

Lauri Hella, Leonid Libkin, Juha Nurmonen et al. · Journal of the ACM · 2001 · 72 citations

Computational Logic, Engineering, Database Query Language +12

Almost Everywhere Equivalence of Logics in Finite Model Theory

Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto · Bulletin of Symbolic Logic · 1996 · 45 citations

Theory Of Computing, Everywhere Equivalence, Engineering +11

Definability of Polyadic Lifts of Generalized Quantifiers

Lauri Hella, Jouko Väänánen, Dag Westerståhl · Journal of Logic Language and Information · 1997 · 42 citations

Rows per page

1–5 of 23