Concepedia

Kristian Støvring

KS

13

Publications

448

Citations

12

H-Index

2006

Active since

Affiliations

IT University of Copenhagen(Current)

University of Copenhagen

Saarland University

Aarhus University

Google (United States)

Kristian Støvring is an author at IT University of Copenhagen specializing in automated reasoning, formal methods, and engineering.

Top concepts

EngineeringFormal MethodsAutomated ReasoningFormal VerificationComputer ScienceProgram AnalysisSoftware AnalysisSemanticsProgramming LanguagesSyntax

Publications per year

2006–2012

13

Publications

13

First steps in synthetic guarded domain theory: step-indexing in the topos of trees

Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer et al. · Logical Methods in Computer Science · 2012 · 74 citations · Full text

Computational Complexity Theory, Engineering, Type Theory +17

First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees

Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer et al. · 2011 · 69 citations

Computational Complexity Theory, Engineering, Type Theory +20

Step-indexed kripke models over recursive worlds

Lars Birkedal, Bernhard Reus, Jan Schwinghammer et al. · ACM SIGPLAN Notices · 2011 · 56 citations

Program Logics, Step Indexing, Engineering +17

The category-theoretic solution of recursive metric-space equations

Lars Birkedal, Kristian Støvring, Jacob Thamsborg · Theoretical Computer Science · 2010 · 46 citations

Categorical Model, Recursive Function, Recursive Metric-space Equations +1

Step-indexed kripke models over recursive worlds

Lars Birkedal, Bernhard Reus, Jan Schwinghammer et al. · 2011 · 43 citations

Program Logics, Step Indexing, Engineering +17

Rows per page

1–5 of 13