Concepedia

Georg Rock

GR

Statistics

Publications

4

Citations

96

H-Index

4

Active since

1997

Affiliations

German Research Centre for Artificial Intelligence(Current)

Georg Rock is an author at German Research Centre for Artificial Intelligence specializing in automated reasoning, software analysis, and syntax.

ORCID

Top concepts

Publications per year

1997–2022

4

Publications

4

On generating small clause normal forms

Andreas Nonnengart, Georg Rock, Christoph Weidenbach · Lecture notes in computer science · 1998 · 53 citations

, , +3

VSE: formal methods meet industrial needs

Serge Autexier, Dieter Hutter, Bruno Langenstein et al. · International Journal on Software Tools for Technology Transfer · 2000 · 20 citations

, , +11

Dealing with variability in architecture descriptions to support automotive product lines

Stefan Mann, Georg Rock · 2022 · 12 citations · Full text

Tool Support for the Compositional Development of Distributed Systems.

Georg Rock, Stephan Werner, Andreas Wolpers · 1997 · 11 citations

1–4 of 4