Concepedia

Andres Nötzli

AN

Statistics

Publications

10

Citations

406

H-Index

10

Active since

2013

Affiliations

Stanford University(Current)

École Polytechnique Fédérale de Lausanne

University of California San Diego

Andres Nötzli is an author at Stanford University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisComputer EngineeringSystem SoftwareSoftware AnalysisSoftware EngineeringVerificationSoftware Testing

Publications per year

2013–2023

10

Publications

10

EmptyHeaded

Christopher R. Aberger, Andrew Lamb, Susan Tu et al. · ACM Transactions on Database Systems · 2017 · 118 citations

Lubm Benchmark, Engineering, Graph Theory +13

Andres Nötzli, Jehandad Khan, Andy Fingerhut et al. · 2018 · 69 citations

Engineering, Computer Architecture, Software Engineering +17

DBToaster: higher-order delta processing for dynamic, frequently fresh views

Christoph Koch, Yanif Ahmad, Oliver Kennedy et al. · The VLDB Journal · 2014 · 67 citations · Full text

Higher-order Delta Processing, Engineering, Information Retrieval +8

Towards Verified, Constant-time Floating Point Operations

Marc Andrysco, Andres Nötzli, Fraser Brown et al. · 2018 · 30 citations · Full text

Cryptographic Primitive, Engineering, Verification +21

How to Build Static Checking Systems Using Orders of Magnitude Less Code

Fraser Brown, Andres Nötzli, Dawson Engler · 2016 · 29 citations · Full text

Software Maintenance, Program Checking, Engineering +24

1–5 of 10