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

1

Lichtgesteuerte Freisetzung von Chemikalien aus polymeren N..:

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

2

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/..

3

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/..

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

Integrating Symbolic Execution, Debugging and Verification:

Hentschel, Martin , 2016

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

6

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)

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

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

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..

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

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..

11

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/..

12

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/..

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

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/..

15

Martin Schwenk

home grown ; [anläßlich der Ausstellung Martin Schwenk: Ho...

Hentschel, Martin ; Schwenk, Martin - 1. Aufl. . , 2012

Exemplar: TB Kunst: 73.039 SCHW