Concepedia

Martin Hentschel

MH

Statistics

Publications

13

Citations

826

H-Index

11

Active since

2009

Affiliations

Technische Universität Darmstadt(Current)

University Hospital Magdeburg

Technische Universität Braunschweig

University of Passau

Martin Hentschel is an author at Technische Universität Darmstadt specializing in computing, computer science, and formal methods.

Publications per year

2009–2018

13

Publications

13

The Snowflake Elastic Data Warehouse

Benoît Dageville, Thierry Cruanes, Marcin Żukowski et al. · 2016 · 312 citations

Computing, Cloud Computing, Computer Systems +17

Consistency rationing in the cloud

Tim Kraska, Martin Hentschel, Gustavo Alonso et al. · Proceedings of the VLDB Endowment · 2009 · 205 citations

Computing, Cloud Computing, Computer Science +15

Family-based deductive verification of software product lines

Thomas Thüm, Ina Schaefer, Sven Apel et al. · 2012 · 77 citations

Computing, Computer Science, Formal Methods +13

Simon Loesing, Martin Hentschel, Tim Kraska et al. · 2012 · 73 citations

Computing, Cloud Computing, Computer Science +17

Potential synergies of theorem proving and model checking for software product lines

Thomas Thüm, Jens Meinicke, Fabian Benduhn et al. · 2014 · 38 citations

Computing, Computer Engineering, Computer Science +12

1–5 of 13