Concepedia

Anders Mörtberg

AM

7

Publications

321

Citations

7

H-Index

2013

Active since

Affiliations

Chalmers University of Technology(Current)

Stockholm University

University of Gothenburg

IT University of Copenhagen

Carnegie Mellon University

Anders Mörtberg is an author at Chalmers University of Technology specializing in automated reasoning, computer science, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningSyntaxVerificationProgram AnalysisSoftware AnalysisFormal VerificationProgramming Languages

Publications per year

2013–2021

7

Publications

7

Cubical Type Theory: A Constructive Interpretation of the Univalence Axiom

Cyril Cohen, Thierry Coquand, Simon Huber et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2018 · 179 citations · Full text

Cubical agda: a dependently typed programming language with univalence and higher inductive types

Andrea Vezzosi, Anders Mörtberg, Andreas Abel · Proceedings of the ACM on Programming Languages · 2019 · 71 citations · Full text

Engineering, Type Theory, Cubical Primitives +17

Cubical Agda: A dependently typed programming language with univalence and higher inductive types

Andrea Vezzosi, Anders Mörtberg, Andreas Abel · Journal of Functional Programming · 2021 · 26 citations

Engineering, Type Theory, Verification +17

Formalized linear algebra over Elementary Divisor Rings in Coq

Guillaume Cano, Cyril Cohen, Maxime Dénès et al. · Logical Methods in Computer Science · 2016 · 13 citations · Full text

Abstract Algebra, Modern Algebra, Ring Theory +6

Computing persistent homology within Coq/SSReflect

Jónathan Heras, Thierry Coquand, Anders Mörtberg et al. · ACM Transactions on Computational Logic · 2013 · 12 citations

Persistent Betti Numbers, Engineering, Automated Reasoning +10

Rows per page

1–5 of 7