Statistics
Publications
3
Citations
214
H-Index
3
Active since
1994
Affiliations
Technische Universität Braunschweig(Current)
Maren Krone is an author at Technische Universität Braunschweig specializing in formal methods, computer science, and configuration reasoning.
Publications per year
1994–2002
3
3
On the inference of configuration structures from source code
Maren Krone, Gregor Snelting · 1994 · 128 citations
On the inference of configuration structures from source code
Maren Krone, Gregor Snelting · 2002 · 67 citations
Information systems modelling with troll formal methods at work
Peter Härtel, Grit Denker, Mojgan Kowsari et al. · Information Systems · 1997 · 19 citations
1–3 of 3