Morten Krogh-Jespersen

Author

Also Known As

Krogh-Jespersen, Morten, Morten Krogh-Jespersen

Publications

130

Citations

H-Index

Concepts

All Affiliations

Morten Krogh-Jespersen is an author at Aarhus University specializing in automated reasoning, engineering, and linguistics.

#	Concept	H-Index	Publications	Citations
1	Engineering	2	2	63
2	Language Studies	2	2	63
3	Computer Science	2	2	63
4	Linguistics	2	2	63
5	Semantics	2	2	63

Morten Krogh-Jespersen

Publications

Citations

H-Index

Page 1

	Year	Citations
A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runST Amin Timany, Léo Stefanesco, Morten Krogh-Jespersen, Proceedings of the ACM on Programming Languages EngineeringHigher-order LogicSemanticsFormal VerificationSyntax	2017	50
A relational model of types-and-effects in higher-order concurrent separation logic Morten Krogh-Jespersen, Kasper Svendsen, Lars Birkedal	2016	29
A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST Amin Timany, Léo Stefanesco, Morten Krogh-Jespersen, Symposium on Principles of Programming Languages EngineeringHigher-order LogicSemanticsFormal VerificationSyntax	2018	13

Page 1