Skip to main navigation
Skip to search
Skip to main content
Tampere University Research Portal Home
Help & FAQ
English
Suomi
Home
Profiles
Research units
Research output
Activities
Datasets
Research Infrastructures
Press/Media
Prizes
Search by expertise, name or affiliation
Lauri Hella
Professor
,
Computing Sciences
1989 …
2023
Research activity per year
Overview
Fingerprint
Network
Research output
(59)
Activities
(49)
Similar Profiles
(6)
If you made any changes in Pure these will be visible here soon.
Fingerprint
Dive into the research topics where Lauri Hella is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Logic
100%
μ-calculus
60%
Inclusion
54%
Semantics
48%
Game
46%
Model Checking
35%
Predicate Logic
29%
Independence
28%
Completeness
25%
Fragment
25%
Quantification
25%
Modal Logic
24%
Satisfiability
24%
Truth
23%
Irregular
21%
Prefix
20%
Quantifiers
15%
Lower bound
14%
Finite Models
10%
Syntax
10%
Counting
9%
Hierarchy
9%
First-order
9%
Reasoning
8%
Satisfiability Problem
8%
Ternary
7%
Upper bound
7%
Computational Complexity
6%
Covering Problem
6%
Logarithmic
6%
Model
6%
Polynomial time
6%
Arts & Humanities
Independence-friendly Logic
37%
Model Checking
33%
IF Logic
28%
Modal Logic
24%
Quantification
23%
Irregular
23%
Calculi
21%
Prefix
21%
Inclusion
19%
Finite Models
13%
Logic
13%
Regular
11%
Sentence Recall
7%
Formalism
5%
