Concepedia

Uwe Kastens

UK

16

Publications

670

Citations

13

H-Index

1980

Active since

Affiliations

Paderborn University(Current)

University of Colorado Boulder

Tongji University

Uwe Kastens is an author at Paderborn University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisCompilersComputer EngineeringSoftware EngineeringSystem SoftwareSyntax

Publications per year

1980–2015

16

Publications

16

Ordered attributed grammars

Uwe Kastens · Acta Informatica · 1980 · 256 citations

Order Theory, Syntax, Grammatical Formalism +5

Modularity and reusability in attribute grammars

Uwe Kastens, William M. Waite · Acta Informatica · 1994 · 116 citations

Syntax, Engineering, Automated Reasoning +9

Proof-Carrying Hardware: Towards Runtime Verification of Reconfigurable Modules

Stephanie Drzevitzky, Uwe Kastens, Marco Platzner · 2009 · 50 citations

Pch Approach, Engineering, Hardware Verification Language +20

An abstract data type for name analysis

Uwe Kastens, William M. Waite · Acta Informatica · 1991 · 30 citations

Engineering, Information Retrieval, Data Mining +11

KEYCIT 2014 : key competencies in informatics and ICT

Paul Curzon, Ivan Kalaš, Sigrid Schubert et al. · 2015 · 29 citations

Technology Teacher Education, E-learning, Educational Informatics +21

Rows per page

1–5 of 16