Concepedia

Norbert E. Fuchs

NE

15

Publications

854

Citations

13

H-Index

1992

Active since

Affiliations

University of Zurich(Current)

Norbert E. Fuchs is an author at University of Zurich specializing in formal methods, engineering, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningLanguageLinguisticsSoftware DesignSemanticsSoftware AnalysisFormal VerificationSoftware Engineering

Publications per year

1992–2007

15

Publications

15

Specifications are (preferably) executable

Norbert E. Fuchs · Software Engineering Journal · 1992 · 172 citations

Engineering, High Expressiveness, Verification +18

Attempto Controlled English (ACE)

Norbert E. Fuchs, Rolf Schwitter · ArXiv.org · 1996 · 138 citations · Full text

Engineering, Multilingualism, Software Engineering +21

Verbalizing OWL in Attempto controlled English

Kaarel Kaljurand, Norbert E. Fuchs · Zurich Open Repository and Archive (University of Zurich) · 2007 · 99 citations

Attempto Controlled English meets the challenges of knowledge representation, reasoning, interoperability and user interfaces

Norbert E. Fuchs, Kaarel Kaljurand · Zurich Open Repository and Archive (University of Zurich) · 2006 · 95 citations

Specifying Logic Programs in Controlled Natural Language

Norbert E. Fuchs, Rolf Schwitter · ArXiv.org · 1995 · 63 citations · Full text

Applied Logic, Engineering, Logic Programs +22

Rows per page

1–5 of 15