Concepedia

Helmut Weber

HW

5

Publications

537

Citations

5

H-Index

1965

Active since

Affiliations

Stanford University(Current)

Helmut Weber is an author at Stanford University specializing in engineering, automated reasoning, and formal verification.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSyntaxGrammarParsing

Publications per year

1965–2016

5

Publications

5

EULER: A generalization of ALGOL and its formal definition: Part 1

Niklaus Wirth, Helmut Weber · Communications of the ACM · 1966 · 231 citations · Full text

Geometry Of Number, Combinatorics On Word, Part 1 +11

A microprogrammed implementation of EULER on IBM system/360 model 30

Helmut Weber · Communications of the ACM · 1967 · 129 citations · Full text

EULER: a generalization of ALGOL, and its formal definition

Niklaus Wirth, Helmut Weber · 1965 · 69 citations

Engineering, Semantics, Software Analysis +21

Niklaus Wirth, Helmut Weber · Communications of the ACM · 1966 · 63 citations · Full text

Rigorous Formality, Programming Language Theory, Useful Programming Language +14

FPGA-Based Dynamically Reconfigurable SQL Query Processing

Daniel Ziener, Florian J. Bauer, Andreas Becher et al. · ACM Transactions on Reconfigurable Technology and Systems · 2016 · 45 citations

Engineering, Hardware Acceleration, Data Communication +13

Rows per page

1–5 of 5