Concepedia

Juha Nurmonen

JN

Statistics

Publications

5

Citations

196

H-Index

5

Active since

1996

Affiliations

University of Helsinki(Current)

University of Leicester

Juha Nurmonen is an author at University of Helsinki specializing in automated reasoning, engineering, and computer science.

Top concepts

Automated ReasoningEngineeringComputer ScienceFormal MethodsFormal VerificationBusinessSemanticsGame TheoryMechanism DesignProof Complexity

Publications per year

1996–2003

5

Publications

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

Notions of locality and their logical characterizations over finite models

Lauri Hella, Leonid Libkin, Juha Nurmonen · Journal of Symbolic Logic · 1999 · 42 citations

Computational Logic, Logical Characterizations, Engineering +14

On winning strategies with unary quantifiers

Juha Nurmonen · Journal of Logic and Computation · 1996 · 34 citations

Non-classical Logic, Engineering, Unary Quantifiers +14

Counting Modulo Quantifiers on Finite Structures

Juha Nurmonen · Information and Computation · 2000 · 28 citations

Modulo Quantifiers, Substructural Logic, Automated Reasoning +3

Logics with aggregate operators

Lauri Hella, Leonid Libkin, Juha Nurmonen et al. · 2003 · 20 citations

Computational Logic, Engineering, Database Query Language +12

1–5 of 5