On the simulation of a corona discharge by the similiarity theory methods
Grosu, F. P.; Bologa, A. M.; Bologa, M. K.; Motorin, O. V.
2014. Surface Engineering and Applied Electrochemistry, 50 (2), 141–148. doi:10.3103/S1068375514020057 

Uncertainty of gamma-ray spectrometry measurement of environmental samples due to uncertainties in matrix composition, density and sample geometry
Kaminski, S.; Jakobi, A.; Wilhelm, C.
2014. Applied radiation and isotopes, 94, 306–313. doi:10.1016/j.apradiso.2014.08.008 

Resilience Articulation Point (RAP): Cross-layer dependability modeling for nanometer system-on-chip resilience
Herkersdorf, A.; Aliee, H.; Engel, M.; Glass, M.; Gimmler-Dumont, C.; Henkel, J.; Kleeberger, V. B.; Kochte, M. A.; Kühn, J. M.; Mueller-Gritschneder, D.; Nassif, S. R.; Rauchfuss, H.; Rosenstiel, W.; Schlichtmann, U.; Shafique, M.; Tahoori, M. B.; Teich, J.; Wehn, N.; Weis, C.; Wunderlich, H.-J.
2014. Microelectronics Reliability, 54 (6-7), 1066–1074. doi:10.1016/j.microrel.2013.12.012 

Energy-Efficient Adaptive Pipelined MPSoCs for Multimedia Applications
Javaid, H.; Shafique, M.; Henkel, J.; Parameswaran, S.
2014. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 33 (5), 663–676. doi:10.1109/TCAD.2014.2298196 

Reliability-Driven Software Transformations for Unreliable Hardware
Rehman, S.; Kriebel, F.; Shafique, M.; Henkel, J.
2014. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 33 (11), 1597–1610. doi:10.1109/TCAD.2014.2341894 

A new flexible integration of NeXus datasets to ANKA by FUSE file system
Mexner, W.; Ressmann, D.; Spangenberg, T.; Pasic, H.; Iurchenko, E.
2014. 14th International Conference on Accelerator & Large Experimental Physics Control Systems (ICALEPCS2013), San Francisco, Calif., October 6-11, 2013 

Rückhaltung endlagerrelevanter Radionuklide im natürlichen Tongestein und in solinaren Systemen
Geckeis, H.; Reich, T.; Acker, M.
2014. 11.Projektstatusgespräch zu BMWi-geförderten FuE Projekten bei der Endlagerung radioaktiver Abfälle, Karlsruhe, 25.-26.November 2014 

Introduction to research on repository safety at KIT-INE and the current situation in Germany
Geckeis, H.
2014. K3 Trilateral Workshop ’Geochemical Safety of Radioactive Waste Disposal’, Daejeon, Korea, October 23, 2014 

Mineral-water interface reactions of actinides - all mechanisms understood?
Geckeis, H.
2014. Goldschmidt Conference, Sacramento, Calif., June 8-13, 2014 Abstracts 

Airborne hygrometer calibration inter-comparison against a metrological water vapour standard
Smorgon, D.; Boese, N.; Ebert, V.
2014. (AQUAVIT2-B Team, Ed.), European Geosciences Union (EGU) General Assembly, Wien, A, April 27 - May 2, 2014 Geophysical Research Abstracts, 16(2014) EGU2014-5929 

In-situ single particle composition analysis of free tropospheric ice nuclei and ice residues in mixed-phase clouds during INUIT-JFJ 2013
Schmidt, S.; Schneider, J.; Klimach, T.; Mertes, S.; Schenk, L.; Kästner, U.; Stratmann, F.; Curtius, J.; Kupiszewski, P.; Weingartner, E.; Hammer, E.; Vochezer, P.; Schnaiter, M.; Borrmann, S.
2014. European Geosciences Union (EGU) General Assembly, Wien, A, April 27 - May 2, 2014 Geophysical Research Abstracts, 16(2014) EGU2014-3801-1, European Geosciences Union General Assembly (EGU 2014), Vienna, Austria, April 27–May 2, 2014 

Aerosol formation by ozonolysis of α- and β-pinene with initial concentration below 1 ppb
Saathoff, H.; Naumann, K. H.; Möhler, O.
2014. European Geosciences Union (EGU) General Assembly, Wien, A, April 27 - May 2, 2014 Geophysical Research Abstracts, 16(2014) EGU2014-14608 

Immersion freezing of aqueous suspensions of K-feldspar
Peckhaus, A.; Kiselev, A.; Leisner, T.
2014. European Geosciences Union (EGU) General Assembly, Wien, A, April 27 - May 2, 2014 Geophysical Research Abstracts, 16(2014) EGU2014-3789 

Physical and chemical properties of ice residuals during the 2013 and 2014 CLACE campaigns
Kupiszewski, P.; Weingartner, E.; Vochezer, P.; Hammer, E.; Gysel, M.; Färber, R.; Fuchs, C.; Schnaiter, M.; Baltensperger, U.; Schmidt, S.; Schneider, J.; Bigi, A.; Toprak, E.; Linke, C.; Klimach, T.
2014. European Geosciences Union (EGU) General Assembly, Wien, A, April 27 - May 2, 2014 Geophysical Research Abstracts, 16(2014) EGU2014-14566, European Geosciences Union General Assembly (EGU 2014), Vienna, Austria, April 27–May 2, 2014 

Contact nucleation of ice induced by biological aerosol particles
Kiselev, A.; Hoffmann, N.; Schaefer, M.; Duft, D.; Leisner, T.
2014. European Geosciences Union (EGU) General Assembly, Wien, A, April 27 - May 2, 2014 Geophysical Research Abstracts, 16(2014) EGU2014-9736 

Estimating the influence of biological ice nuclei on clouds with regional scale simulations
Hummel, M.; Hoose, C.; Schaupp, C.; Möhler, O.
2014. European Geosciences Union (EGU) General Assembly, Wien, A, April 27 - May 2, 2014 Geophysical Research Abstracts, 16(2014) EGU2014-5527 

Immersion freezing by SnomaxTM particles: Comparison of results from different instruments
Wex, H.; Stratmann, F.; Rösch, M.; Niedermeier, D.; Nilius, B.; Möhler, O.; Mitra, S. K.; Koop, T.; Jantsch, E.; Hiranuma, N.; Diehl, K.; Curtius, J.; Budke, C.; Boose, Y.; Augustin, S.
2014. European Geosciences Union (EGU) General Assembly, Wien, A, April 27 - May 2, 2014 Geophysical Research Abstracts, 16(2014) EGU2014-5707 

Comparing the ice nucleation efficiencies of ice nucleating substrates to natural mineral dusts
Steinke, I.; Funk, R.; Höhler, K.; Haarig, M.; Hoffmann, N.; Hoose, C.; Kiselev, A.; Möhler, O.; Leisner, T.
2014. European Geosciences Union (EGU) General Assembly, Wien, A, April 27 - May 2, 2014 Geophysical Research Abstracts, 16(2014) EGU2014-14037 

A new flexible integration of NeXus datasets to ANKA by FUSE file system
Mexner, W.; Ressmann, D.; Spangenberg, T.; Pasic, H.; Iurchenko, E.
2014. 14th International Conference on Accelerator & Large Experimental Physics Control Systems (ICALEPCS2013), San Francisco, CA, October 6-11, 2013, 566–569, JACoW Publishing  

Using microwave backhaul links to optimize the performance of algorithms for rainfall estimation and attenuation correction
Trömel, S.; Ziegert, M.; Ryzhkov, A. V.; Chwala, C.; Simmer, C.
2014. Journal of atmospheric and oceanic technology, 31, 1748–1760. doi:10.1175/JTECH-D-14-00016.1 

Chromium-compensated GaAs detector material and sensors
Budnitsky, D.; Tyazhev, A.; Novikov, V.; Zarubin, A.; Tolbanov, O.; Skakunov, M.; Hamann, E.; Fauler, A.; Fiederle, M.; Procz, S.; Graafsma, H.; Ryabkov, S.
2014. Journal of Instrumentation, 9, Article C07011. doi:10.1088/1748-0221/9/07/C07011 

Model-Aided Navigation for a Quadrotor Helicopter: A Novel Navigation System and First Experimental Results
Crocoll, P.; Seibold, J.; Scholz, G.; Trommer, G. F.
2014. Institute of Navigation International Technical Meeting 2014, ITM 2014; San Diego, CA; United States; 27 January 2014 through 29 January 2014. Ed.: S. Lo, 384–406, Curran 

Laser-Aided Navigation with Loop Closure Capabilities for Micro Aerial Vehicles in Indoor and Urban Environments
Crocoll, P.; Caselitz, T.; Hettich, B.; Langer, M.; Trommer, G. F.
2014. IEEE/ION Position, Location and Navigation Symposium - PLANS 2014, 2014 : 5 - 8 May 2014, Hyatt Regency, Monterey, California, 373–384, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/PLANS.2014.6851395 

Automatic Building Detection in Aerial Images to Support Micro Aerial Vehicle Self-Localization in Urban Environment
Popp, M.; Granacher, R.; Trommer, G. F.
2014. International Conference on Integrated Navigation Systems, May 26-28,2014, Saint Petersburg, 135–144, State Research Center of the Russian Federation 

Model-Aided Navigation for a Quadrotor Helicopter: A Novel Navigation System and First Experimental Results
Crocoll, P.; Seibold, J.; Scholz, G.; Trommer, G. F.
2014. Navigation, 61 (4), 253–271. doi:10.1002/navi.68 

Evaluation of a Segmented Navigation Filter Approach for Vehicle Self-Localization in Urban Environment
Wankerl, M.; Trommer, G. F.
2014. Gyroscopy and navigation, 5 (2), 98–107. doi:10.1134/S2075108714020096 

Spectral analysis of micro-bunching instabilities using fast THz detectors
Steinmann, J. L.; Hertle, E.; Hiller, N.; Judin, V.; Müller, A. S.; Schönfeldt, P.; Schuh, M.; Schütze, P.; Bründermann, E.
2014. 5th International Particle Accelerator Conference (IPAC 2014), Dresden, June 15- 20, 2014 

Investigating polarisation and shape of beam microwave signals at the ANKA storage ring
Schwarzkopf, J.; Brosi, M.; Chang, C.; Hertle, E.; Judin, V.; Kehrer, B.; Müller, A. S.; Schönfeldt, P.; Schuh, M.; Schütze, P.; Schwarz, M.; Steinmann, J. L.; Caspers, F.
2014. 5th International Particle Accelerator Conference (IPAC 2014), Dresden, June 15- 20, 2014 

Fluctuation of bunch length in bursting CSR: Measurement and simulation
Schönfeldt, P.; Borysenko, A.; Hertle, E.; Hiller, N.; Judin, V.; Müller, A. S.; Naknaimueang, S.; Schuh, M.; Schwarz, M.; Steinmann, J. L.
2014. 5th International Particle Accelerator Conference (IPAC 2014), Dresden, June 15- 20, 2014 

An ultra-low emittance model for the ANKA synchrotron radiation source including non-linear effects
Papash, A.; Müller, A. S.; Levichev, E.; Piminov, P.; Sinyatkin, S.; Zolotarev, K.
2014. 5th International Particle Accelerator Conference (IPAC 2014), Dresden, June 15- 20, 2014 

Status of single-shot EOSD measurements at ANKA
Hiller, N.; Borysenko, A.; Hertle, E.; Judin, V.; Kehrer, B.; Marsching, S.; Müller, A. S.; Nasse, M. J.; Schönfeldt, P.; Schuh, M.; Smale, N. J.; Steinmann, J.; Steffen, B.; Peier, P.; Schlott, V.
2014. 5th International Particle Accelerator Conference (IPAC 2014), Dresden, June 15- 20, 2014 

First results of the new bunch-by-bunch feedback system at ANKA
Hertle, E.; Hiller, N.; Huttel, E.; Kehrer, B.; Müller, A. S.; Smale, N. J.; Höner, M.; Teytelman, D.
2014. 5th International Particle Accelerator Conference (IPAC 2014), Dresden, June 15- 20, 2014 

Design of a compact setup to measure beam energy by detection of Compton backscattered photons at ANKA
Chang, C.; Batchelor, D.; Hertle, E.; Huttel, E.; Judin, V.; Müller, A. S.; Nasse, M. J.; Schuh, M.; Steinmann, J. L.
2014. 5th International Particle Accelerator Conference (IPAC 2014), Dresden, June 15- 20, 2014 

Electro-optical bunch length monitor for flute: Layout and simulations
Borysenko, A.; Hertle, E.; Hiller, N.; Judin, V.; Kehrer, B.; Marsching, S.; Müller, A. S.; Nasse, M. J.; Rossmanith, R.; Ruprecht, R.; Schuh, M.; Schwarz, M.; Wesolowski, P.; Steffen, B.
2014. 5th International Particle Accelerator Conference (IPAC 2014), Dresden, June 15- 20, 2014 

Pyrolyse von Biomasse im STYX-Reaktor
Morgano, M. T.; Leibold, H.; Richter, F.; Seifert, H.
2014. Berliner Abfallwirtschafts- und Energiekonf., Berlin, 27.-28. Januar 2014 

Monte Carlo simulations of atmospheric showers in the future
Pierog, T.; Engel, R.; Heck, D.; Pierog, T.; Poghosyan, G.; Ulrich, R.
2014. AtmoHead 2014 : Atmospheric Monitoring for High-Energy Astroparticle Detectors, Padova, I, May 19-21, 2014 

A fesibility study on the use of a regenerator in a LIQHYMES - LIQid HYdrogen and Superconductive MAgneetic Energy Storage (SMES) system
Brighenti, F.; Neumann, H.; Sander, M.
2014. Deutsche Kälte- Klimatagung 2014, Düsseldorf, 19.-21.November 2014 

Wärmeübertragung in suprafluidem Helium für supraleitende Hohlraumresonatoren
Peters, B. J.; Koettig, T.; Junginger, T.; Grohmann, S.
2014. Deutsche Kälte- Klimatagung 2014, Düsseldorf, 19.-21.November 2014 

Development of energy harvesting devices based on magnetic shape memory alloy thin films
Gueltig, M.; Ohtsuka, M.; Miki, H.; Takagi, T.; Kohl, M.
2014. 11th International Conference on Flow Dynamics, Sendai, J, October 8-10, 2014 

Pb and Zn recovery from WtE residues. A promising approach for environment and economy
Vehlow, J.; Hunsinger, H.
2014. 8th International Conference on Combustion, Incineration/Pyrolysis, Emission and Climate Change (8th i-CIPEC), HangZhou, China, October 15-18, 2014 

From major pollution to environmental compatibility. A short history of APC in waste incineration
Vehlow, J.
2014. 8th International Conference on Combustion, Incineration/Pyrolysis, Emission and Climate Change (8th i-CIPEC), HangZhou, China, October 15-18, 2014 

Formation and fate of pollutants in WtE plants based on combustion and gasification
Hunsinger, H.
2014. 8th International Conference on Combustion, Incineration/Pyrolysis, Emission and Climate Change (8th i-CIPEC), HangZhou, China, October 15-18, 2014 

Numerical modelling of solute transport in a saturated shear zone at the Grimsel test site
Pudewills, A.; Schäfer, T.
2014. 20th International Conference on Computational Methods in Water Resources (CMWR 2014), Stuttgart, June 10.-13, 2014 Book of Abstracts 

Simulation of extensive air showers. Hadronic interaction models and LHC
Baus, C.; Engel, R.; Heck, D.; Pierog, T.; Poghosyan, G.; Ulrich, R.
2014. Meeting of the Astroparticle Physics Community in Germany, Karlsruhe, September 30 - October 1, 2014 

Development of CO₂ selective membranes for high temperature and high pressure applications
Bublinski, M.; Leibold, H.; Seifert, H.
2014. ProcessNet-Jahrestagung und 31. DECHEMA-Jahrestagung der Biotechnologen 2014, Aachen, 30. Septemer - 2. Oktober 2014 

Spectral analysis of micro-bunching instabilities using fast THz detectors
Steinmann, J. L.; Hertle, E.; Hiller, N.; Judin, V.; Müller, A. S.; Schönfeldt, P.; Schuh, M.; Schütze, P.; Bründermann, E.
2014. 5th International Particle Accelerator Conference (IPAC 2014), Dresden, 15. - 20. Juni 2014, 3530–3532, JACoW Publishing  

Investigating polarisation and shape of beam microwave signals at the ANKA storage ring
Schwarzkopf, J.; Brosi, M.; Chang, C.; Hertle, E.; Judin, V.; Kehrer, B.; Müller, A. S.; Schönfeldt, P.; Schuh, M.; Schütze, P.; Schwarz, M.; Steinmann, J. L.; Caspers, F.
2014. 5th International Particle Accelerator Conference (IPAC 2014), Dresden, 15. - 20. Juni 2014, 4090–4092, JACoW Publishing  

Fluctuation of bunch length in bursting CSR: Measurement and simulation
Schönfeldt, P.; Borysenko, A.; Hertle, E.; Hiller, N.; Judin, V.; Müller, A. S.; Naknaimueang, S.; Schuh, M.; Schwarz, M.; Steinmann, J. L.
2014. 5th International Particle Accelerator Conference (IPAC 2014), Dresden, 15. - 20. Juni 2014, 237–239, JACoW Publishing  

An ultra-low emittance model for the ANKA synchrotron radiation source including non-linear effects
Papash, A.; Müller, A. S.; Levichev, E.; Piminov, P.; Sinyatkin, S.; Zolotarev, K.
2014. 5th International Particle Accelerator Conference (IPAC 2014), Dresden, 15. -20. Juni 2014, 228–230, JACoW Publishing  

Status of single-shot EOSD measurement at ANKA
Hiller, N.; Borysenko, A.; Hertle, E.; Judin, V.; Kehrer, B.; Marsching, S.; Müller, A. S.; Nasse, M. J.; Schönfeldt, P.; Schuh, M.; Smale, N. J.; Steinmann, J.; Steffen, B.; Peier, P.; Schlott, V.
2014. 5th International Particle Accelerator Conference (IPAC 2014), Dresden, 15. - 20. Juni 2014, 1909–1911, JACoW Publishing  

First results of the new bunch-by-bunch feedback system at ANKA
Hertle, E.; Hiller, N.; Huttel, E.; Kehrer, B.; Müller, A. S.; Smale, N. J.; Höner, M.; Teytelman, D.
2014. 5th International Particle Accelerator Conference (IPAC 2014), Dresden, 15. - 20. Juni 2014, 1739–1741, JACoW Publishing  

Design of a compact setup to measure beam energy by detection of Compton backscattered photons at ANKA
Chang, C.; Batchelor, D.; Hertle, E.; Huttel, E.; Judin, V.; Müller, A. S.; Nasse, M. J.; Schuh, M.; Steinmann, J. L.
2014. 5th International Particle Accelerator Conference (IPAC 2014), Dresden, 15. -20. Juni 2014, 3494–3496, JACoW Publishing  

Electro-optical bunch length monitor for flute: Layout and simulations
Borysenko, A.; Hertle, E.; Hiller, N.; Judin, V.; Kehrer, B.; Marsching, S.; Müller, A. S.; Nasse, M. J.; Rossmanith, R.; Ruprecht, R.; Schuh, M.; Schwarz, M.; Wesolowski, P.; Steffen, B.
2014. 5th International Particle Accelerator Conference (IPAC 2014), Dresden, 15. -20. Juni 2014, 3527–3529, JACoW Publishing  

Microscale analysis of metal uptake by argillaceous rocks using positive matrix factorization of microscopic X-ray fluorescence elemental maps
Osan, J.; Keri, A.; Breitner, D.; Fabian, M.; Dähn, R.; Simon, R.; Török, S.
2014. Spectrochimica Acta Part B, 91, 12–23. doi:10.1016/j.sab.2013.11.002 

Multi-field X-ray microscope based on array of refractive lenses
Nazmov, V.; Mohr, J.; Vogt, H.; Simon, R.; Diabate, S.
2014. Journal of micromechanics and microengineering, 24 (7), Art.Nr.: 075005/1–9. doi:10.1088/0960-1317/24/7/075005 

Study of laser Wakefield accelerators as injectors for synchrotron light sources
Hillenbrand, S.; Assmann, R.; Müller, A. S.; Jansen, O.; Judin, V.; Pukhov, A.
2014. Nuclear instruments & methods in physics research / A, 740, 153–157. doi:10.1016/j.nima.2013.10.081 

High frequency thermal energy harvesting using magnetic shape memory films
Gueltig, M.; Ossmer, H.; Ohtsuka, M.; Miki, H.; Tsuchiya, K.; Takagi, T.; Kohl, M.
2014. Advanced energy materials, 4, 1400751/1–8. doi:10.1002/aenm.201400751 

Novel Information Theory-Based Measures for Quantifying Incongruence among Phylogenetic Trees
Salichos, L.; Stamatakis, A.; Rokas, A.
2014. Molecular Biology and Evolution, 31 (5), 1261–1271. doi:10.1093/molbev/msu061 

The evolutionary history of holometabolous insects inferred from transcriptome-based phylogeny and comprehensive morphological data
Peters, R. S.; Meusemann, K.; Petersen, M.; Mayer, C.; Wilbrandt, J.; Ziesmann, T.; Donath, A.; Kjer, K. M.; Aspöck, U.; Aspöck, H.; Aberer, A.; Stamatakis, A.; Friedrich, F.; Hünefeld, F.; Niehuis, O.; Beutel, R. G.; Misof, B.
2014. BMC Evolutionary Biology, 14 (1), 52/1–16. doi:10.1186/1471-2148-14-52 

Selecting optimal partitioning schemes for phylogenomic datasets
Lanfear, R.; Calcott, B.; Kainer, D.; Mayer, C.; Stamatakis, A.
2014. BMC evolutionary biology, 14 (1), 82/1–14. doi:10.1186/1471-2148-14-82 

An optimal algorithm for computing all subtree repeats in trees
Flouri, T.; Kobert, K.; Pissis, S. P.; Stamatakis, A.
2014. Philosophical Transactions of the Royal Society of London: A, 372 (2016), 20130140/1–13. doi:10.1098/rsta.2013.0140 

ExaBayes: Massively Parallel Bayesian Tree Inference for the Whole-Genome Era
Aberer, A. J.; Kobert, K.; Stamatakis, A.
2014. Molecular biology and evolution, 31 (10), 2553–2556. doi:10.1093/molbev/msu236  

The Phylogenetic Likelihood Library
Flouri, T.; Izquierdo-Carrasco, F.; Darriba, D.; Aberer, A. J.; Nguyen, L.-T.; Minh, B. Q.; Haeseler, A. von; Stamatakis, A.
2014. Systematic biology, 64 (2), 356–362. doi:10.1093/sysbio/syu084 

Phylogenomics resolves the timing and pattern of insect evolution
Misof, B.; Liu, S.; Meusemann, K.; Peters, R. S.; Donath, A.; Mayer, C.; Frandsen, P. B.; Ware, J.; Flouri, T.; Beutel, R. G.; Niehuis, O.; Petersen, M.; Izquierdo-Carrasco, F.; Wappler, T.; Rust, J.; Aberer, A. J.; Aspöck, U.; Aspöck, H.; Bartel, D.; Blanke, A.; et al.
2014. Science, 346 (6210), 763–767. doi:10.1126/science.1257570 

Inferring and Postprocessing Huge Phylogenies
Elloumi, M.; Zomaya, A. Y.; Smith, S. A.; Stamatakis, A.
2014. Biological knowledge discovery handbook - preprocessing, mining, and postprocessing of biological data. Ed.: M. Elloumi, 1049–1072, John Wiley and Sons. doi:10.1002/9781118617151.ch46 

Adaptive String Dictionary Compression in In-Memory Column-Store Database Systems
Müller, I.; Ratsch, C.; Färber, F.
2014. Advances in database technology - EDBT 2014 : 17th International Conference on Extending Database Technology, Athens, Greece, March 24 - 28, 2014. Proceedings. Ed.: S. Amer-Yahia, 283–294, Universität Konstanz. doi:10.5441/002/edbt.2014.27 

LZ-Compressed String Dictionaries
Arz, J.; Fischer, J.
2014. Data Compression Conference (DCC’14), Snowbird, Utah/USA, March 26-28, 2014, 322–331, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/DCC.2014.36 

Retrieval and Perfect Hashing Using Fingerprinting
Müller, I.; Sanders, P.; Schulze, R.; Zhou, W.
2014. Experimental Algorithms - 13th International Symposium (SEA’14), Copenhagen, Denmark, June 29 - July 1, 2014. Ed.: J. Gudmundsson, 138–149, Springer US. doi:10.1007/978-3-319-07959-2_12  

Reasoning and Verification: State of the Art and Current Trends
Beckert, B.; Hahnle, R.
2014. IEEE intelligent systems & their applications, 29 (1), 20–29. doi:10.1109/MIS.2014.3 

Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods
Beckert, B.; Bormer, T.; Gore, R.; Kirsten, M.; Meumann, T.
2014. 8th International Verification Workshop (VERIFY´14), Wien, Österreich, July 23-24, 2014  

How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers
Beckert, B.; Grebing, S.; Böhl, F.
2014. Electronic proceedings in theoretical computer science, 167, 4–13. doi:10.4204/EPTCS.167.3 

The KeY Platform for Verification and Analysis of Java Programs
Ahrendt, W.; Beckert, B.; Bruns, D.; Bubel, R.; Gladisch, C.; Grebing, S.; Hähnle, R.; Hentschel, M.; Herda, M.; Klebanov, V.; Mostowski, W.; Scheben, C.; Schmitt, P. H.; Ulbrich, M.
2014. Verified Software: Theories, Tools and Experiments - 6th International Conference (VSTTE’14), Wien, Österreich, July 17-18, 2014. Ed.: D. Giannakopoulou, 55–71, Springer US. doi:10.1007/978-3-319-12154-3_4 

Verifying voting schemes
Beckert, B.; Gore, R.; Schürmann, C.; Bormer, T.; Wang, J.
2014. Journal of information security and applications, 19 (2), 115–129. doi:10.1016/j.jisa.2014.04.005 

Bewertung von Strategien des aktiven Lernens am Beispiel der Landbedeckungsklassifikation
Wuttke, S.; Middelmann, W.; Stilla, U.
2014. 34. Wissenschaftlich-Technische Jahrestagung der DGPF, 62. Deutscher Kartographentag der DGfK und Geoinformatik 2014 der GfGI und des GIN, Hamburg, 26.-28. März 2014 

Intelligente Assistenzsysteme für die Automation - Menschen bei der Prozessführung besser unterstützen
Windmann, S.; Niggemann, O.
2014. Atp-Edition, 56 (4), 54–61 

An advanced airborne hyperspectral remote sensing system for infrastructure monitoring and disaster control
Wetjen, W.; Schilling, H.; Lenz, A.
2014. 9th Security Research Conference ’Future Security’, Berlin, September 16-18, 2014. Ed.: K. Thoma, 81–90, Fraunhofer Verlag 

Integration of Electric Vehicle Charging into an International and Environment-friendly Context
Weigand, M.; Bohn, S.; Beyer, D.; Agsten, M.
2014. SAE International journal of passenger cars, 7 (2), 536–543. doi:10.4271/2014-01-0345 

Combining High-Resolution Optical and InSAR Features for Height Estimation of Buildings With Flat Roofs
Wegner, J. D.; Ziehn, J. R.; Soergel, U.
2014. IEEE Transactions on Geoscience and Remote Sensing, 52 (9), 5840–5854. doi:10.1109/TGRS.2013.2293513 

The Role of Information and Communication Technology in the Development of Early Warning Systems for Geological Disasters: The Tsunami Show Case
Wächter, J.; Usländer, T.
2014. Early Warning for Geological Disasters - Scientific Methods and Current Practice. Ed.: F. Wenzel, 227–252, Springer-Verlag. doi:10.1007/978-3-642-12233-0_12 

Emotional trends in social media - a state space approach
Volgmann, S.; Rangel, F.; Niggemann, O.; Rosso, P.
2014. ECAI 2014 - 21st European Conference on Artificial Intelligence, Prague, Czech Republic, August 18-22, 2014. Ed.: T. Schaub, 1123–1124, IOS-Press. doi:10.3233/978-1-61499-419-0-1123 

Integrating Consumer Flexibility in Smart Grid and Mobility Systems - An Online Optimization and Online Mechanism Design Approach. PhD dissertation
Ströhle, P.
2014. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000045609  

Industrie 4.0 Statusreport: Auf dem Weg zu einem Referenzmodell. April 2014
Usländer, T.; Epple, U.; Bangemann, T.; Barbian, M.; Bauer, C.; Braune, A.; Diesner, M.; Friedrich, J.; Gröbe, M.; Greiner, T.; Grüner, S.; Heidel, R.; Herfs, W.; Hesselmann, K.; Janßen, M.; Jasperneite, J.; Kehl, H.; Koziolek, H.; Lederer, A.; Lohde, S.; et al.
2014. VDI/VDE Mess- und Automatisierungstechnik 

The trend towards the Internet of Things: What does it help in Disaster and Risk Management?
Usländer, T.
2014. 5th International Disaster and Risk Conference (IDRC’14), Davos, Switzerland, August 24-28, 2014 

Industrie 4.0 - mehr als ein Technologietrend? Internet der Dinge und Dienste
Usländer, T.
2014. Wirtschaft in der TechnologieRegion Karlsruhe, (7-8), 42–44 

Verfahren zur modellbasierten Analyse und Auswertung von 3D-Punktwolken
Teutsch, C.
2014. Leitfaden zur optischen 3D-Messtechnik. Hrsg.: M. Sackewitz, 59–62, Fraunhofer Verlag 

SCENAS - mobile scenario assistant for complex system configurations
Streicher, A.; Szentes, D.; Roller, W.
2014. 8th Multi Conference on Computer Science and Information Systems (MCCSIS’14), Lisbon, Portugal, July 15-19, 2014. Ed.: A. P. Abraham, 157–165, IADIS Press 

Change detection of urban objects using point clouds
Stilla, U.; Tuttas, S.; Hebel, M.
2014. International Workshop ’Integration of Point- and Area-wise Geodetic Monitoring for Structures and Natural Objects’, Novosibirsk, Russia, April 14-15, 2014. Ed.: A. P. Karpik, 58–67, Siberian State Academy of Geodesy 

Untersuchung der synergistischen Interaktion der antimikrobiellen Peptide PGLa und Maganinin 2. PhD dissertation
Zerweck, J.
2014. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000045603  

Detecting Data-Flow Errors in BPMN 2.0
Stackelberg, S. von; Putze, S.; Mülle, J.; Böhm, K.
2014. Open Journal of Information Systems, 1 (2), 1–19  

On the Relation between Natural and Enforced Syneresis of Acidic Precipitated Silica
Wilhelm, S.; Kind, M.
2014. Polymers, 6 (12), 2896–2911. doi:10.3390/polym6122896  

Construction of a test facility for demonstration of a liquid lead-bismuth-cooled 10kW thermal receiver in a solar furnace arrangement - SOMMER
Flesch, J.; Fritsch, A.; Cammi, G.; Marocco, L.; Fellmoser, F.; Pacio, J.; Wetzel, T.
2014. International Conference on Concentrating Solar Power and Chemical Energy Systems (SolarPACES 2014), Beijing, China, September 16-19, 2014 

A numerical model for biomass and solid recovered fuel combustion on a reciprocating grate
Mätzing, H.; Gehrmann, H. J.; Kolb, T.; Seifert, H.
2014. 33rd International Conference on Thermal Treatment Technologies (It3), Baltimore, Md., October 13-15, 2014 

Titanium dioxide nanoparticles toxicology: Towards more physiological in vitro exposure models?
Armand, L.; Biola-Clier, M.; Dilger, M.; Mülhopt, S.; Schlager, C.; Paur, H. R.; Collin-Faure, V.; Diabate, S.; Weiss, C.; Herlin-Biome, N.; Rabilloud, T.; Carriere, M.
2014. 4th International Conference on Safe Production and Use of Nanomaterials (NANOSAFE), Grenoble, F, November 18-20, 2014 

Wutbürger - Emotion in urban politics
Ufer, U.
2014. Ozil, S. [Hrsg.] In der Welt der Proteste und Umwälzungen : Deutschland und die Türkei Göttingen : V & R Unipress, 2014 (Türkisch-deutsche Studien ; 2014), 35–49 

Was können Laienfokusgruppen zur Politikberatung in Governancefragen der Nanotechnologie beitragen?
Seitz, S. B.; Jahnel, J.; Fleischer, T.
2014. Decker, M. [Hrsg.] Technikfolgenabschätzung im politischen System : Zwischen Konfliktbewältigung und Technologiegestaltung Berlin : edition sigma, 2014 (Gesellschaft - Technik - Umwelt ; N.F.17), 99–108 

Integrated optomechanical circuits and nonlinear dynamics
Tang, H.; Pernice, W. H. P.
2014. Aspelmeyer, M. [Hrsg.] Cavity Optomechanics : Nano- and Micromechanical Resonators Interacting with Light Berlin [u.a.] : Springer, 2014 (Quantum Science and Technology), 169–194 

Die diskursive Konstruktion einer Technowissenschaft : Wissenssoziologische Analytik am Beispiel der Nanotechnologie
Lösch, A.
2014. Baden-Baden : Nomos, 2014 (Wissenschafts- und Technikforschung ; 9) 

Technikfolgenabschätzung im politischen System : Zwischen Konfliktbewältigung und Technologiegestaltung
Decker, M.; Bellucci, S.; Bröchler, S.; Nentwich, M.; Rey, L.; Sotoudeh, M.
2014. Nomos Verlagsgesellschaft. doi:10.5771/9783845271170-11 

Die Anomalienjäger. 9/11 als historischer Testfall für die digitale Öffentlichkeit
Audersch, T.; König, R.
2014. Telepolis, (11.9.2014) 

Technik und Protest - zum Wandel von Formen und Medien der Partizipation
Böschen, S.; Walk, H.; Klein, A.; Quednau, T.
2014. Forschungsjournal Soziale Bewegungen [Editorial], 27 (4), 3–7