E-LIB Suche - Ergebnisse für: Hentschel, Martin

1

The Symbolic Execution Debugger (SED): a platform for inter..:

Hentschel, Martin ; Bubel, Richard ; Hähnle, Reiner
International Journal on Software Tools for Technology Transfer. 21 (2018) 5 - p. 485-513 , 2018

Link: https://doi.org/10.1007/..

2

Lichtgesteuerte Freisetzung von Chemikalien aus polymeren N..:

Englert, Christoph ; Nischang, Ivo ; Bader, Cornelia...
Angewandte Chemie. 130 (2018) 9 - p. 2504-2508 , 2018

Link: https://doi.org/10.1002/..

3

Photocontrolled Release of Chemicals from Nano‐ and Micropa..:

Englert, Christoph ; Nischang, Ivo ; Bader, Cornelia...
Angewandte Chemie International Edition. 57 (2018) 9 - p. 2479-2482 , 2018

Link: https://doi.org/10.1002/..

4

New Methods for Computing and Developing Hybrid Sheet Moldi..:

Fette, Marc ; Hentschel, Martin ; Santafe, Julia Guerrero...
Procedia CIRP. 66 (2017) - p. 45-50 , 2017

Link: https://doi.org/10.1016/..

5

Facet-controlled phase separation in supersaturated Au-Ni n..:

, In: 80th Annual Meeting of the DPG and DPG-Frühjahrstagung (Spring Meeting) of the Condensed Matter Section (SKM) / Deutsche Physikalische Gesellschaft e.V.

Herz, Andreas ; Friák, Martin ; Roßberg, Diana ; Hentschel, Martin.... (2016)

Copies: Zentrale:Magazinturm-E02 15z phy 001 ja/593-51,3

6

Integrating Symbolic Execution, Debugging and Verification:

Hentschel, Martin , 2016

Link: http://nbn-resolving.de/..

7

The Snowflake Elastic Data Warehouse:

, In: Proceedings of the 2016 International Conference on Management of Data,

Dageville, Benoit ; Cruanes, Thierry ; Zukowski, Marcin... - p. 215-226 , 2016

Link: https://dl.acm.org/doi/1..

8

Variability Hiding in Contracts for Dependent Software Prod..:

, In: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems,

Thüm, Thomas ; Winkelmann, Tim ; Schröter, Reimar.. - p. 97-104 , 2016

Link: https://dl.acm.org/doi/1..

9

An empirical evaluation of two user interfaces of an intera..:

, In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering,

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard - p. 403-413 , 2016

Link: https://dl.acm.org/doi/1..

10

New Approach for the Efficient Manufacturing of Sandwich St..:

Fette, Marc ; Reiß, Markus ; Wulfsberg, Jens P...
Advanced Materials Research. 1140 (2016) - p. 264-271 , 2016

Link: https://doi.org/10.4028/..

11

The interactive verification debugger: effective understand..:

, In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering,

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard - p. 846-851 , 2016

Link: https://dl.acm.org/doi/1..

12

Lab in a Tube: Purification, Amplification, and Detection o..:

Leiske, Meike N. ; Hartlieb, Matthias ; Paulenz, Christian...
Advanced Functional Materials. 25 (2015) 16 - p. 2458-2466 , 2015

Link: https://doi.org/10.1002/..

13

Potential synergies of theorem proving and model checking f..:

, In: Proceedings of the 18th International Software Product Line Conference - Volume 1,

Thüm, Thomas ; Meinicke, Jens ; Benduhn, Fabian... - p. 177-186 , 2014

Link: https://dl.acm.org/doi/1..

14

Matrix Supported Poly(2-oxazoline)-Based Hydrogels for DNA ..:

Hartlieb, Matthias ; Pretzel, David ; Englert, Christoph...
Biomacromolecules. 15 (2014) 6 - p. 1970-1978 , 2014

Link: https://doi.org/10.1021/..

15

On-site detection of Phytophthora spp.—single-stranded targ..:

Schwenkbier, Lydia ; König, Stephan ; Wagner, Stefan...
Microchimica Acta. 181 (2013) 13-14 - p. 1669-1679 , 2013

Link: https://doi.org/10.1007/..