Kristian Støvring - Concepedia

Author

Kristian Støvring

IT University of Copenhagen

Also Known As

KRISTIAN STØVRING, Kristian Stovring, Kristian Støvring

Publications

551

Citations

H-Index

Concepts

All Affiliations

IT University of Copenhagen University of Copenhagen Saarland University Aarhus University Google (United States)

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	11	12	402
2	Computer Science	9	9	329
3	Language Studies	2	2	63
4	Linguistics	2	2	63
5	Data Science	1	1	16

Kristian Støvring

Publications

448

Citations

H-Index

Page 1

	Year	Citations
First steps in synthetic guarded domain theory: step-indexing in the topos of trees Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Logical Methods in Computer Science Computational Complexity TheoryEngineeringType TheoryComputational Model TheoryWell-founded Semantics	2012	74
First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Computational Complexity TheoryEngineeringType TheoryComputational Model TheoryComputational Complexity	2011	69
Step-indexed kripke models over recursive worlds Lars Birkedal, Bernhard Reus, Jan Schwinghammer, ACM SIGPLAN Notices Program LogicsStep IndexingEngineeringComputational Model TheorySoftware Analysis	2011	56
The category-theoretic solution of recursive metric-space equations Lars Birkedal, Kristian Støvring, Jacob Thamsborg Theoretical Computer Science Categorical ModelRecursive FunctionRecursive Metric-space EquationsComputability Theory	2010	46
Step-indexed kripke models over recursive worlds Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Program LogicsStep IndexingEngineeringComputational Model TheorySoftware Analysis	2011	43
A complete, co-inductive syntactic theory of sequential control and state Kristian Støvring, Søren B. Lassen SyntaxEngineeringAutomated ReasoningGrammatical FormalismComputational Linguistics	2007	34
A complete, co-inductive syntactic theory of sequential control and state Kristian Støvring, Søren B. Lassen ACM SIGPLAN Notices EngineeringType TheoryChomsky HierarchySyntactic StructureFormal Verification	2007	29
Step-Indexed Kripke Model of Separation Logic for Storable Locks Alexandre Buisse, Lars Birkedal, Kristian Støvring Electronic Notes in Theoretical Computer Science Step-indexed Kripke ModelEngineeringDynamic Thread CreationAutomated ReasoningProgram Analysis	2011	21
Realisability semantics of parametric polymorphism, general references and recursive types Lars Birkedal, Kristian Støvring, Jacob Thamsborg Mathematical Structures in Computer Science EngineeringRealisability SemanticsGeneric ProgrammingAutomated ReasoningType Theory	2010	19
Program Extraction From Proofs of Weak Head Normalization Małgorzata Biernacka, Olivier Danvy, Kristian Støvring Electronic Notes in Theoretical Computer Science Weak Head NormalizationProgramming Language TheoryEngineeringWeak HeadAutomated Reasoning	2006	18

Page 1