Martin Hentschel - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Martin Hentschel' as author, editor, or advisor:

Just-in-time Data Integration in ActionMartin Hentschel, Laura M. Haas, Renée J. Miller. pvldb, 3(2):1621-1624, 2010. [doi]
The KeY Platform for Verification and Analysis of Java ProgramsWolfgang Ahrendt, Bernhard Beckert, Daniel Bruns, Richard Bubel, Christoph Gladisch, Sarah Grebing, Reiner Hähnle, Martin Hentschel, Mihai Herda, Vladimir Klebanov, Wojciech Mostowski, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich. vstte 2014: 55-71 [doi]
Stormy: an elastic and highly available streaming service in the cloudSimon Loesing, Martin Hentschel, Tim Kraska, Donald Kossmann. edbt 2012: 55-60 [doi]
Symbolic Execution Debugger (SED)Martin Hentschel, Richard Bubel, Reiner Hähnle. RV 2014: 255-262 [doi]
Potential synergies of theorem proving and model checking for software product linesThomas Thüm, Jens Meinicke, Fabian Benduhn, Martin Hentschel, Alexander von Rhein, Gunter Saake. SPLC 2014: 177-186 [doi]
Finding Users we Trust: Scaling up Verified Twitter Users Using their Communication PatternsMartin Hentschel, Omar Alonso, Scott Counts, Vasileios Kandylas. icwsm 2014: [doi]
Follow the money: A study of cashtags on TwitterMartin Hentschel, Omar Alonso. firstmonday, 19(8), 2014. [doi]
Visualizing Unbounded Symbolic ExecutionMartin Hentschel, Reiner Hähnle, Richard Bubel. tap 2014: 82-98 [doi]
Family-based deductive verification of software product linesThomas Thüm, Ina Schaefer, Martin Hentschel, Sven Apel. GPCE 2012: 11-20 [doi]
The Snowflake Elastic Data WarehouseBenoît 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. SIGMOD 2016: 215-226 [doi]
Schema AND Data: A Holistic Approach to Mapping, Resolution and Fusion in Information IntegrationLaura M. Haas, Martin Hentschel, Donald Kossmann, RenÃ©e J. Miller. er 2009: 27-40 [doi]
An Interactive Verification Tool Meets an IDEMartin Hentschel, Stefan Käsdorf, Reiner Hähnle, Richard Bubel. IFM 2014: 55-70 [doi]
A first step towards integration independenceLaura M. Haas, Renée J. Miller, Donald Kossmann, Martin Hentschel. icde 2010: 147-150 [doi]
Analytics for the RealTime WebMaxim Grinev, Maria P. Grineva, Martin Hentschel, Donald Kossmann. pvldb, 4(12):1391-1394, 2011. [doi]
Consistency Rationing in the Cloud: Pay only when it mattersTim Kraska, Martin Hentschel, Gustavo Alonso, Donald Kossmann. pvldb, 2(1):253-264, 2009. [doi]
Der Einsatz verschränkter Photonen für die QuantenkryptographieAndreas Poppe, H. Hübel, B. Schrenk, B. Blauensteiner, M. Hentschel, S. Ramelow, T. Kelling, Anton Zeilinger. ei, 124(5):142-148, 2007. [doi]

runs on WebDSL