Concepedia

Nils Anders Danielsson

NA

16

Publications

499

Citations

14

H-Index

2006

Active since

Affiliations

Chalmers University of Technology(Current)

University of Nottingham

University of Gothenburg

University of Oxford

Nils Anders Danielsson is an author at Chalmers University of Technology specializing in formal methods, automated reasoning, and engineering.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceSoftware AnalysisFormal VerificationProgram AnalysisLanguageLinguisticsVerification

Publications per year

2006–2023

16

Publications

16

Lightweight semiformal time complexity analysis for purely functional data structures

Nils Anders Danielsson · 2008 · 95 citations

Computational Complexity Theory, Engineering, Time Complexity Annotations +19

Fast and loose reasoning is morally correct

Nils Anders Danielsson, John Hughes, Patrik Jansson et al. · 2006 · 78 citations

Engineering, Ethical Dilemma, Behavioral Decision Making +19

Total parser combinators

Nils Anders Danielsson · 2010 · 62 citations

Syntactic Parsing, Engineering, Total Parser Combinators +18

Operational semantics using the partiality monad

Nils Anders Danielsson · 2012 · 52 citations

Formal Semantics, Engineering, Operational Semantics +11

Beating the Productivity Checker Using Embedded Languages

Nils Anders Danielsson · Electronic Proceedings in Theoretical Computer Science · 2010 · 33 citations · Full text

Software Maintenance, Engineering, Verification +23

Rows per page

1–5 of 16