Concepedia

Andreas Abel

AA

51

Publications

1.9K

Citations

26

H-Index

2000

Active since

Affiliations

Ludwig-Maximilians-Universität München(Current)

Chalmers University of Technology

University of Gothenburg

Saarland University

Technische Universität Dresden

Andreas Abel is an author at Ludwig-Maximilians-Universität München specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationProgram AnalysisVerificationSoftware AnalysisSystems EngineeringComputer Engineering

Publications per year

2000–2024

51

Publications

51

Chaos communications-principles, schemes, and system analysis

Andreas Abel, Wolfgang Schwarz · Proceedings of the IEEE · 2002 · 222 citations

Engineering, Chaos Theory, Comprehensive Overview +10

Andreas Abel, Brigitte Pientka, David Thibodeau et al. · 2013 · 103 citations

Finite Data, Programming Language Theory, Declarative Programming +12

From ROM of Electrochemistry to AI-Based Battery Digital and Hybrid Twin

Abel Sancarlos, Morgan Cameron, Andreas Abel et al. · Archives of Computational Methods in Engineering · 2020 · 77 citations · Full text

Electric Battery, Electrical Engineering, Chemical Engineering +9

uops.info

Andreas Abel, Jan Reineke · 2019 · 72 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

Rows per page

1–5 of 51