Concepedia

Meeri Kesälä

MK

Statistics

Publications

4

Citations

102

H-Index

4

Active since

2006

Affiliations

University of Helsinki(Current)

Helsinki Institute of Physics

Meeri Kesälä is an author at University of Helsinki specializing in automated reasoning, formal methods, and architectural design.

Top concepts

Automated ReasoningFormal MethodsArchitectural Design

Publications per year

2006–2013

4

Publications

4

Independence in finitary abstract elementary classes

Tapani Hyttinen, Meeri Kesälä · Annals of Pure and Applied Logic · 2006 · 42 citations

Automated Reasoning, Foundation Of Mathematics, Model Theory +1

Quasiminimal structures and excellence

Martin Bays, Bradd Hart, Tapani Hyttinen et al. · Bulletin of the London Mathematical Society · 2013 · 32 citations · Full text

Architectural Design, Mathematical Structure, Quasiminimal Structures +9

Categoricity transfer in simple finitary abstract elementary classes

Tapani Hyttinen, Meeri Kesälä · Journal of Symbolic Logic · 2011 · 17 citations

Automated Reasoning, Type Theory, Categoricity Transfer +6

Superstability in simple finitary AECs

Tapani Hyttinen, Meeri Kesälä · Fundamenta Mathematicae · 2007 · 11 citations · Full text

Possible Notion, Post-quantum Cryptography, Formal Methods +4

1–4 of 4