Martin Hentschel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
12
Active years
2009–2025
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | BTW | Workshop on Advances in Cloud Data Management. | Jana Giceva, Martin Hentschel, Tobias Ziegler |
| 2016 | EDBT | e#: Sharper Expertise Detection from Microblogs. | Thibault Sellam, Martin Hentschel, Vasilis Kandylas, Omar Alonso |
| 2016 | IFM | Can Formal Methods Improve the Efficiency of Code Reviews? | Martin Hentschel, Reiner Hhnle, Richard Bubel |
| 2016 | SIGMOD | The Snowflake Elastic Data Warehouse. | Benot Dageville, Thierry Cruanes, Marcin Zukowski, Vadim Antonov, Artin Avanes, Jon Bock, Jonathan Claybaugh, Daniel Engovatov, Martin Hentschel, Jiansheng Huang, Allison W. Lee, Ashish Motivala, Abdul Q. Munir, Steven Pelley, Peter Povinec, Greg Rahn, Spyridon Triantafyllis, Philipp Unterbrunner |
| 2015 | ICWE | CrowdSTAR: A Social Task Routing Framework for Online Communities. | Besmira Nushi, Omar Alonso, Martin Hentschel, Vasileios Kandylas |
| 2014 | ICWSM | Finding Users we Trust: Scaling up Verified Twitter Users Using their Communication Patterns. | Martin Hentschel, Omar Alonso, Scott Counts, Vasileios Kandylas |
| 2014 | IFM | An Interactive Verification Tool Meets an IDE. | Martin Hentschel, Stefan Ksdorf, Reiner Hhnle, Richard Bubel |
| 2014 | RV | Symbolic Execution Debugger (SED). | Martin Hentschel, Richard Bubel, Reiner Hhnle |
| 2014 | SPLC | Potential synergies of theorem proving and model checking for software product lines. | Thomas Thm, Jens Meinicke, Fabian Benduhn, Martin Hentschel, Alexander von Rhein, Gunter Saake |
| 2014 | TAP | Visualizing Unbounded Symbolic Execution. | Martin Hentschel, Reiner Hhnle, Richard Bubel |
| 2012 | EDBT | Stormy: an elastic and highly available streaming service in the cloud. | Simon Loesing, Martin Hentschel, Tim Kraska, Donald Kossmann |
| 2012 | GPCE | Family-based deductive verification of software product lines. | Thomas Thm, Ina Schaefer, Martin Hentschel, Sven Apel |
| 2010 | ICDE | A first step towards integration independence. | Laura M. Haas, Rene J. Miller, Donald Kossmann, Martin Hentschel |
| 2009 | ER | Schema AND Data: A Holistic Approach to Mapping, Resolution and Fusion in Information Integration. | Laura M. Haas, Martin Hentschel, Donald Kossmann, Rene J. Miller |