Laser-assisted surface functionalization Pfleging, W.; Bruns, M.; Eberstadt, S.; Hagen, M.; Kohler, R.; Smyrek, P.; Stüber, M.; Ulrich, S. 2010. 4th Pacific Internat.Conf.on Applications of Lasers and Optics (PICALO 2010), Wuhan, China, March 23-25, 2010 Proc.on CD-ROM Orlando : Laser Institute of America, 2010
Conversion of biogenic VOC and anthropogenic pollutants within plant canopies Forkel, R. 2010. Wuyts, K. [Hrsg.] Proc.of the Internat.Conf.on Local Air Quality and its Interactions with Vegetation, Antwerpen, B, January 21-22, 2010 Antwerpen : Universiteit Antwerpen, 2010 Publ.online Folien: http://193.191.168.142/AQ-Vegetation-workshop/presentation/Forkel.pdf
Fracture mechanical properties of tungsten alloys Rupp, D.; Gaganidze, E.; Weygand, S.; Mönig, R.; Walter, M.; Bürkle, U. 2010. Vortr.: Centre de Recherches en Physique des Plasmas, Fusion Technology Materials Group, Villigen, CH, 22.März 2010
Laser-assisted surface functionalization Pfleging, W.; Bruns, M.; Eberstadt, S.; Hagen, M.; Kohler, R.; Smyrek, P.; Stüber, M.; Ulrich, S. 2010. 4th Pacific Internat.Conf.on Applications of Lasers and Optics (PICALO 2010), Wuhan, China, March 23-25, 2010 Proc.on CD-ROM Orlando : Laser Institute of America, 2010
Analyses of transients for 400MWth-class EFIT accelerator driven transmuter with the SIMMER-III code Liu, P.; Chen, X. N.; Gabrielli, F.; Flad, M.; Maschek, W.; Rineiski, A.; Wang, S.; Morita, K.; Rahman, M. M.; Ege, Y. 2010. Internat.Topical Meeting on Nuclear Applications and Utilization of Accelerators (AccApp’09), Wien, A, May 4-8, 2009 Proc.on CD-ROM Paper ADS/ND-11 Wien : IAEA, 2010 IAEA-I3-CN-173
Charged particle collisions for particle simulation methods D’Andrea, D.; Maschek, W.; Schneider, R. 2010. Internat.Topical Meeting on Nuclear Applications and Utilization of Accelerators (AccApp’09), Wien, A, May 4-8, 2009 Proc.on CD-ROM Paper AT/RD-05 Wien : IAEA, 2010 (Proceedings Series) IAEA-I3-CN-173
Conversion of biogenic VOC and anthropogenic pollutants within plant canopies Forkel, R. 2010. Wuyts, K. [Hrsg.] Proc.of the Internat.Conf.on Local Air Quality and its Interactions with Vegetation, Antwerpen, B, January 21-22, 2010 Antwerpen : Universiteit Antwerpen, 2010 Publ.online Folien: http://193.191.168.142/AQ-Vegetation-workshop/presentation/Forkel.pdf
Chemical evolution of volatile organic compounds in the outflow of the Mexico City Metropolitan area Apel, E. C.; Emmons, L. K.; Karl, T.; Flocke, F.; Hills, A. J.; Madronich, S.; Lee-Taylor, J.; Fried, A.; Weibring, P.; Walega, J.; Richter, D.; Tie, X.; Mauldin, L.; Campos, T.; Weinheimer, A.; Knapp, D.; Sive, B.; Kleinman, L.; Springston, S.; Zaveri, R.; et al. 2010. Atmospheric Chemistry and Physics, 10, 2353–76
Coinductive Lochbihler, A. 2010. The Archive of Formal Proofs, (2), 100 S
Experiences with PDG-based IFC Hammer, C. 2010. Engineering secure software and systems - second international symposium, ESSoS 2010, Pisa, Italy, February 3 - 4, 2010. Proceedings. Ed.: F. Massacci, 44–60, Springer-Verlag
The Isabelle Collections Framework Lammich, P.; Lochbihler, A. 2010. Interactive Theorem Proving - First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings. Ed.: M. Kaufmann, 339–354, Springer-Verlag
Gateway Decompositions for Constrained Reachability Problems Katz, B.; Krug, M.; Lochbihler, A.; Rutter, I.; Snelting, G.; Wagner, D. 2010. Experimental Algorithms - 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010. Proceedings. Ed.: P. Festa, 449–461, Springer-Verlag
Verifying a Compiler for Java Threads Lochbihler, A. 2010. Programming Languages and Systems - 19th European Symposium on Programming, ESOP 2010; held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Ed.: A. D. Gordon, 427–447, Springer-Verlag
Preference-Guided Register Assignment Braun, M.; Mallon, C.; Hack, S. 2010. Compiler Construction - 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Ed.: R. Gupta, 205–223, Springer-Verlag
Data Mining für hochdimensionale Messsysteme Mikut, R. 2010. Puente Leon, F. [Hrsg.] Verteilte Messsysteme : Tagungsband des Expertenforums, Braunschweig, 24.-25.März 2010 Karlsruhe : KIT Scientific Publ., 2010
System integration of an active lens implant Rheinschmitt, L.; Gengenbach, U.; Bretthauer, G. 2010. Gessner, T. [Hrsg.] Smart Systems Integration : 4th European Conf.and Exhibition of Integration Issues of Miniaturized Systems - MEMS, MOEMS, ICs and Electronic Components, Como, I, March 23-24, 2010 Berlin [u.a.] : VDE-Verl., 2010 CD-ROM Paper 38
ITER fuelling system design and challenges Maruyama, S.; Yang, Y.; Pitts, R. A.; Sugihara, M.; Putvinski, S.; Li, B.; Li, W.; Baylor, L. R.; Meitner, S. J.; Day, C.; LaBombard, B.; Reinke, M. 2010. 23rd IAEA Fusion Energy Conference, Daejeon, Korea, October 11-16, 2010
Development of THz gyrotron using a 20 T superconducting magnet Kosuga, K.; Idehara, T.; Ikeda, R.; Ogawa, I.; Mitsudo, S.; Saito, T.; Agusu, L.; Thumm, M. 2010. 3rd Internat.Workshop on Far-Infrared Technologies (IW-FIRT 2010), Fukui, J, March 15-17, 2010 Abstracts Proc.on CD-ROM University of Fukui
The European supplied components of the ITER vacuum pumping systems Papastergiou, S.; Lässer, R.; Piazza, G.; Day, C.; Haas, H.; Hanke, S.; Hauer, V.; Poncet, J. M.; Pearce, R.; Antipenkov, A.; Dremel, M.; Mayaux, C. 2010. 9th Internat.Conf.on Tritium Science and Technology (TRITIUM 2010), Nara, J, October 24-29, 2010
Management and status of the European in-kind system of the INTER fuel cycle Lässer, R.; Papastergiou, S.; Piazza, G.; Day, C.; Haas, H.; Hanke, S.; Hauer, V.; Poncet, J. M.; Cirstescu, I.; Michling, R.; Glugla, M.; Pearce, R.; Antipenkov, A.; Dremel, M.; Mayaux, C.; Babineau, D.; Kazachenko, O.; Perevenzentsev, A. 2010. 9th Internat.Conf.on Tritium Science and Technology (TRITIUM 2010), Nara, J, October 24-29, 2010
Overview of the tritium handling within the ITER vaccum pumping system Antipenkov, A.; Bersier, J. L.; Boussier, B.; Day, C.; Dremel, M.; Hauer, V.; Meitner, S.; Pearce, R.; Worth, L. 2010. 9th Internat.Conf.on Tritium Science and Technology (TRITIUM 2010), Nara, J, October 24-29, 2010
Data Mining für hochdimensionale Messsysteme Mikut, R. 2010. Puente Leon, F. [Hrsg.] Verteilte Messsysteme : Tagungsband des Expertenforums, Braunschweig, 24.-25.März 2010 Karlsruhe : KIT Scientific Publ., 2010, 1–12
System integration of an active lens implant Rheinschmitt, L.; Gengenbach, U.; Bretthauer, G. 2010. Gessner, T. [Hrsg.] Smart Systems Integration : 4th European Conf.and Exhibition of Integration Issues of Miniaturized Systems - MEMS, MOEMS, ICs and Electronic Components, Como, I, March 23-24, 2010 Berlin [u.a.] : VDE-Verl., 2010 CD-ROM Paper 38
Development of THz gyrotron using a 20 T superconducting magnet Kosuga, K.; Idehara, T.; Ikeda, R.; Ogawa, I.; Mitsudo, S.; Saito, T.; Agusu, L.; Thumm, M. 2010. 3rd Internat.Workshop on Far-Infrared Technologies (IW-FIRT 2010), Fukui, J, March 15-17, 2010 Abstracts Proc.on CD-ROM University of Fukui, 73
Solving the stellar ⁶²Ni problem with AMS Dillmann, I.; Faestermann, T.; Korschinek, G.; Lachner, J.; Maiti, M.; Poutivtsev, M.; Rugel, G.; Walter, S.; Käppeler, F.; Erhard, M.; Junghans, A. R.; Nair, C.; Schwengner, R.; Wagner, A. 2010. Nuclear Instruments and Methods in Physics Research B, 268, 1283–86. doi:10.1016/j.nimb.2009.10.153
Ein Konzept für die probabilistische bruchmechanische Bauteilbewertung Madia, M.; Riesch-Oppermann, H.; Zerbst, U.; Beretta, S. 2010. Bruchmechanische Werkstoff- und Bauteilbewertung : Beanspruchungsanalyse, Prüfmethoden und Anwendungen ; 42.Tagung des DVM Arbeitskreises Bruchvorgänge, Paderborn, 23.-24.Februar 2010 Berlin : Deutscher Verband für Materialforschung und -prüfung, 2010 (DVM-Bericht ; 242)