How do SNP ascertainment schemes and population demographics affect inferences about population history?
McTavish, E. J.; Hillis, D. M.
2015. BMC genomics, 16 (1), Art.Nr.: 266. doi:10.1186/s12864-015-1469-5  

Phylesystem: a git-based data store for community curated phylogenetic estimates
McTavish, E. J.; Hinchliff, C. E.; Allman, J. F.; Brown, J. W.; Cranston, K. A.; Holder, M. T.; Rees, J. A.; Smith, S. A.
2015. Bioinformatics, 31 (17), 2794–2800. doi:10.1093/bioinformatics/btv276 

An Efficient Independence Sampler for Updating Branches in Bayesian Markov chain Monte Carlo Sampling of Phylogenetic Trees
Aberer, A. J.; Stamatakis, A.; Ronquist, F.
2015. Systematic biology, 65 (1), 161–176. doi:10.1093/sysbio/syv051 

Short Tree, Long Tree, Right Tree, Wrong Tree: New Acquisition Bias Corrections for Inferring SNP Phylogenies
Leaché, A. D.; Banbury, B. L.; Felsenstein, J.; Oca, A. N. M. de; Stamatakis, A.
2015. Systematic Biology, 64 (6), 1032–1047. doi:10.1093/sysbio/syv053 

Do Phylogenetic Tree Viewers correctly display Support Values?[Reprint]
Czech, L.; Stamatakis, A.
2015. bioRxiv  

MultiQueues: Simple Relaxed Concurrent Priority Queues
Rihani, H.; Sanders, P.; Dementiev, R.
2015. SPAA ’15 Proceedings of the 27th ACM symposium on Parallelism in Algorithms and Architectures : Portland, United States; 13 June 2015 through 15 June 2015, 80–82, Association for Computing Machinery (ACM). doi:10.1145/2760000/2755616 

Tree Compression with Top Trees Revisited
Hübschle-Schneider, L.; Raman, R.
2015. Experimental Algorithms : 14th International Symposium, SEA 2015, Paris, France, June 29 – July 1, 2015, Proceedings. Ed.: E. Bampis, 15–27, Springer International Publishing. doi:10.1007/978-3-319-20086-6_2  

On Minimizing Crossings in Storyline Visualizations
Kostitsyna, I.; Nöllenburg, M.; Polishchuk, V.; Schulz, A.; Strash, D.
2015. Graph Drawing and Network Visualization : 23rd International Symposium, {GD} 2015, Los Angeles, USA, September 24-26, 2015. Hrsg.: E. Di Giacomo, 192–198, Springer International Publishing. doi:10.1007/978-3-319-27261-0_16 

Incorporating Road Networks into Territory Design
Ahuja, N.; Bender, M.; Sanders, P.; Schulz, C.; Wagner, A.
2015. GIS ’15 Proceedings of the 23rd SIGSPATIAL International Conference on Advances in Geographic Information Systems, Bellevue, WA, USA, November 03 - 06, 2015, Art.Nr.: 4, Association for Computing Machinery (ACM). doi:10.1145/2820783.2820800 

Turbo für Graphdatenbanken: Graphpartitionierung mit KaHIP
Papenfuß, H.; Sanders, P.; Schulz, C.
2015. Java Spektrum, (1), 48–51 

Sanierung des deutschen Gebäudebestandes auf unterschiedliche Effizstandarts - gesamtwirtschaftliche Investitionen und Energieeinsparungen
Steinbach, J.; Schultmann, F.
2015. Proceedings. 9. Internationalen Energiewirtschaftstagung, IEWT 2015, 11.-13.2.2015, Wien, TU 

Nachtseiten der Detektion. Zur Verschränkung von ‚Mordlust’ und ‚Fleischeslust’ in der Kriminalpsychologie um 1800 und in E.T.A. Hoffmanns Die Elixiere des Teufels
Bühler, J.
2015. Tötungsarten/Ermittlungspraktiken : Zum literarischen und kriminalistischen Wissen von Mord und Detektion. Hrsg. M. Bergengruen, 171–187, Rombach Verlag  

Entwicklung und Einflussfaktoren der Entwicklung der motorischen Leistungsfähigkeit im Kindes- und Jugendalter - Befunde der MoMo-Längsschnittstudie. PhD dissertation
Albrecht, C. A.
2015. Karlsruher Institut für Technologie (KIT)  

Action horizon : on the controllability of complex systems, moving towards management for energy systems
Hernandez, J.; Evora, J.; Kremers, E.; Schäuble, J.
2015. Proceedings of the 2015 Workshop on Complex Systems Modelling and Simulation (CoSMoS), 20-24 July, 2015, York, UK. Ed.: S. Stepney, 67–84, Luniver  

An Ultra-Efficient Maximum Power Point Tracking Circuit for Photovoltaic Inverters
Gommeringer, M.; Schmitt, A.; Kammerer, F.; Braun, M.
2015. IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society, 09 Nov - 12 Nov 2015, Yokohama, Japan, 001704–001709, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/IECON.2015.7392347  

Analysing RES support mechanisms in the EU post-2020
Shivakumar, A.; Badouard, T.; Olivera, D. M. de; Dehler, J.; Pye, S.; Welsch, M.
2015. INSIGHT_E - An Energy think tank informing the European Commission  

Exploring the strengths and weaknesses of European innovation capacity within the Strategic Energy Technologies (SET) Plan
Drmac, I.; Jakšic, D.; Karadža, N.; Kunze, R.; Dehler, J.; De Miglio, R.; Shivakumar, A.; Beltramo, A.; Romero Nevado, M.; Welsch, M.; Basslim, M.; Lojanica, M.; Dobbins, A.
2015. INSIGHT_E - An Energy think tank informing the European Commission  

Self-consumption of electricity from renewable sources
Dehler, J.; Keles, D.; Telsnig, T.; Fleischer, B.; Baumann, M.; Fraboulet, D.; Faure, A.; Fichtner, W.
2015. INSIGHT_E - An Energy think tank informing the European Commission  

Security in E-Voting
Bruns, D.; Do, H. Q.; Greiner, S.; Herda, M.; Mohr, M.; Scapin, E.; Truderung, T.; Beckert, B.; Küsters, R.; Mantel, H.; Gay, R.
2015. 36th IEEE Symposium on Security and Privacy, Poster Session, May 18-20, 2015, San Jose, CA. Ed.: S. Engle 

Axiomatization of Typed First-Order Logic
Schmitt, P. H.; Ulbrich, M.
2015. 20th International Symposium on Formal Methods (FM 2015), Oslo, Norway, June 24-26, 2015, Proceedings. Ed.: N. Bjørner, 470–486, Springer. doi:10.1007/978-3-319-19249-9_29 

Privacy-preserving surveillance: an interdisciplinary approach
Birnstill, P.; Bretthauer, S.; Greiner, S.; Krempel, E.
2015. International Data Privacy Law, 5 (4), 298–308. doi:10.1093/idpl/ipv021 

Dynamic Dispatch for Method Contracts through Abstract Predicates
Mostowski, W.; Ulbrich, M.
2015. 15th International Conference on MODULARITY (MODULARITY15), proceedings : March 16-19, 2015, Fort Collins, CO, USA. Ed.: R. France, 109–116, Association for Computing Machinery (ACM). doi:10.1145/2724525.2724574 

Large Amplitude Oscillatory Shear investigations of colloidal systems: experiments and constitutive model predictions. PhD dissertation
Merger, D.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000052966  

Regression Verification for Java Using a Secure Information Flow Calculus
Beckert, B.; Klebanov, V.; Ulbrich, M.
2015. Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs (FTfJP ’15) , Prague, Czech Republic, July 7th, 2015, Art.Nr.: a6, Association for Computing Machinery (ACM). doi:10.1145/2786536.2786544 

Characterization and Modeling of the Ratcheting Behavior of the Ferritic-Martensitic Steel P91. PhD dissertation
Zhang, K.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000052957  

Qualification of electron-beam welded joints between copper and stainless steel for cryogenic application
Lusch, C.; Borsch, M.; Heidt, C.; Magginetti, N.; Sas, J.; Weiss, K.-P.; Grohmann, S.
2015. Cryogenic Engineering Conference & International Cryogenic Materials Conference, CEC/ICMC 2015, Tucson, Arizona, June 28 – July 2, 2015 

Evaluation of a two-stage mixed refrigerant cascade for HTS cooling below 60 K
Kochenburger, T. M.; Grohmann, S.; Oellrich, L. R.
2015. ICEC/ICMC, 25th International Cryogenic Engineering Conference & International Cryogenic Materials Conference 2014, July 7-11, 2014, Enschede, Netherlands 

Interactive Theorem Proving - Modelling the User in the Proof Process
Beckert, B.; Grebing, S.
2015. Workshop on Bridging the Gap between Human and Automated Reasoning : A workshop of the 25th International Conference on Automated Deduction (CADE-25), Berlin, Germany, August 1-7, 2015 

Proving Equivalence between Control Software Variants for Programmable Logic Controllers - Using Regression Verification to Reduce Unneeded Variant Diversity
Ulewicz, S.; Ulbrich, M.; Weigl, A.; Beckert, B.; Vogel-Heuser, B.
2015. 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA 2015) : Luxembourg, 8 - 11 September 2015, Art.Nr.: 7301603, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ETFA.2015.7301603 

Selected Challenges of Software Evolution for Automated Production Systems
Vogel-Heuser, B.; Feldmann, S.; Folmer, J.; Kowal, M.; Schaefer, I.; Ladiges, J.; Fay, A.; Haubeck, C.; Lamersdorf, W.; Lity, S.; Kehrer, T.; Tichy, M.; Getir, S.; Ulbrich, M.; Klebanov, V.; Beckert, B.
2015. 2015 IEEE 13th International Conference on Industrial Informatics (INDIN 2015) : Cambridge, United Kingdom, 22 - 24 July 2015, 314–321, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/INDIN.2015.7281753 

Hayat: Harnessing Dark Silicon and Variability for Aging Deceleration and Balancing
Gnad, D.; Shafique, M.; Kriebel, F.; Rehman, S.; Sun, D.; Henkel, J.
2015. 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC 2015) : San Francisco, California, USA, 8 - 12 June 2015, Art.Nr.: 7167366, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1145/2744769.2744849 

ADAPT: An ADAptive Manycore Methodology for Software Pipelined ApplicaTions
Zhang, X.; Javaid, H.; Shafique, M.; Ambrose, J. A.; Henkel, J.; Parameswaran, S.
2015. 2015 20th Asia and South Pacific Design Automation Conference (ASP-DAC 2015) : Chiba, Japan, 19 - 22 January 2015, 701–706, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ASPDAC.2015.7059092 

Malleable NoC: Dark Silicon Inspired Adaptable Network on Chip
Bokhari, H.; Javaid, H.; Shafique, M.; Henkel, J.; Parameswaran, S.
2015. 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE 2015) : Grenoble, France, 9 - 13 March 2015, 1245–1248, Institute of Electrical and Electronics Engineers (IEEE) 

Formal Probabilistic Analysis of Distributed Dynamic Thermal Management
Iqtedar, S.; Hasan, O.; Shafique, M.; Henkel, J.
2015. 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE 2015) : Grenoble, France, 9 - 13 March 2015, 1221–1224, Institute of Electrical and Electronics Engineers (IEEE) 

Power-Efficient Accelerator Allocation in Adaptive Dark Silicon Many-Core Systems
Khan, M. U. K.; Shafique, M.; Henkel, J.
2015. 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE 2015) : Grenoble, France, 9 - 13 March 2015, 916–919, Institute of Electrical and Electronics Engineers (IEEE) 

A Deblocking Filter Hardware Architecture for the High Efficiency Video Coding Standard
Diniz, C. M.; Shafique, M.; Dalcin, F. V.; Bampi, S.; Henkel, J.
2015. 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE 2015) : Grenoble, France, 9 - 13 March 2015, 1509–1514, Institute of Electrical and Electronics Engineers (IEEE) 

E-pipeline: Elastic Hardware/Software Pipelines on a Many-Core Fabric
Zhang, X.; Javaid, H.; Shafique, M.; Peddersen, J.; Henkel, J.; Parameswaran, S.
2015. 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE 2015) : Grenoble, France, 9 - 13 March 2015, 363–368, Institute of Electrical and Electronics Engineers (IEEE) 

ACSEM: Accuracy-Configurable Fast Soft Error Masking Analysis in Combinatorial Circuits
Kriebel, F.; Rehman, S.; Sun, D.; Aceituno, P. V.; Shafique, M.; Henkel, J.
2015. 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE 2015) : Grenoble, France, 9 - 13 March 2015, 824–829, Institute of Electrical and Electronics Engineers (IEEE) 

Variability-Aware Dark Silicon Management in On-Chip Many-Core Systems
Shafique, M.; Gnad, D.; Garg, S.; Henkel, J.
2015. Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 387–392, Institute of Electrical and Electronics Engineers (IEEE). doi:10.7873/DATE.2015.0900 

MatEx: Efficient Transient and Peak Temperature Computation for Compact Thermal Models
Pagani, S.; Chen, J.-J.; Shafique, M.; Henkel, J.
2015. 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE 2015) : Grenoble, France, 9 - 13 March 2015, 1515–1520, Institute of Electrical and Electronics Engineers (IEEE) 

Adaptive on-the-fly Application Performance Modeling for Many Cores
Kobbe, S.; Bauer, L.; Henkel, J.
2015. 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE 2015) : Grenoble, France, 9 - 13 March 2015, 730–735, Institute of Electrical and Electronics Engineers (IEEE) 

Online Binding of Applications to Multiple Clock Domains in Shared FPGA-based Systems
Samie, F.; Bauer, L.; Hsieh, C.-M.; Henkel, J.
2015. 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE 2015) : Grenoble, France, 9 - 13 March 2015, 25–30, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1145/2760000/2755760 

Connecting the Physical and Application Level Towards Grasping Aging Effects
Amrouch, H.; Martin-Martinez, J.; Santen, V. M. van; Moras, M.; Rodriguez, R.; Nafria, M.; Henkel, J.
2015. IEEE International Reliability Physics Symposium, IRPS 2015; Monterey; United States; 19 April 2015 through 23 April 2015, 3D11–3D18, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/IRPS.2015.7112711 

Energy-Efficient Multimedia Systems for High Efficiency Video Coding
Henkel, J.; Khan, M. U. K.; Shafique, M.
2015. 2015 IEEE International Symposium on Circuits and Systems (ISCAS 2015) : Lisbon, Portugal, 24 - 27 May 2015, 613–616, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ISCAS.2015.7168708 

Status of the ITER Electron Cyclotron Heating and Current Drive System
Darbos, C.; Albajar, F.; Bonicelli, T.; Carannante, G.; Cavinato, M.; Cismondi, F.; Denisov, G.; Farina, D.; Gagliardi, M.; Gandini, F.; Gassmann, T.; Goodman, T.; Hanson, G.; Henderson, M. A.; Kajiwara, K.; McElhaney, K.; Nousiainen, R.; Oda, Y.; Omori, T.; Oustinov, A.; et al.
2015. Journal of Infrared, Millimeter, and Terahertz Waves, 37 (1), 4–20. doi:10.1007/s10762-015-0211-3 

Tropical sources and sinks of carbonyl sulfide observed from space
Glatthor, N.; Höpfner, M.; Baker, I. T.; Berry, J.; Campbell, J. E.; Kawa, S. R.; Krysztofiak, G.; Leyser, A.; Sinnhuber, B.-M.; Stiller, G. P.; Stinecipher, J.; Clarmann, T. von
2015. Geophysical Research Letters, 42 (22), 10082–10090. doi:10.1002/2015GL066293 

Coevolutionary Landscape Inference and the Context-Dependence of Mutations in Beta-Lactamase TEM-1
Figliuzzi, M.; Jacquier, H.; Schug, A.; Tenaillon, O.; Weigt, M.
2015. Molecular Biology and Evolution, 33 (1), 268–280. doi:10.1093/molbev/msv211  

Quasiparticle Self-Consistent GW-Approximation for Molecules : Calculation of Single-Particle Excitation Energies for Molecules. PhD dissertation
Kaplan, F.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000052904  

Evaluation of a two-stage mixed refrigerant cascade for HTS cooling below 60 K
Kochenburger, T. M.; Grohmann, S.; Oellrich, L. R.
2015. Physics Procedia, 67, 227–232. doi:10.1016/j.phpro.2015.06.039 

Qualification of electron-beam welded joints between copper and stainless steel for cryogenic application
Lusch, C.; Borsch, M.; Heidt, C.; Magginetti, N.; Sas, J.; Weiss, K.-P.; Grohmann, S.
2015. IOP conference series / Materials science and engineering, 102 (1), 012017/1–8. doi:10.1088/1757-899X/102/1/012017  

First helium measurements with a new cryogenic flow meter
Janzen, A.; Börsch, M.; Burger, B.; Ebersoldt, A.; Feldbusch, F.; Erni, P.; Lietzow, R.; Magginetti, N.; Schön, H.; Sorg, M.; Stamm, M.; Grohmann, S.
2015. CEC 25-ICMC 2015, Cryogenic Engineering Conference & International Cryogenic Materials Conference, Tucson, Arizona, USA, 28.06. – 02.07.2015 

HTS cooling below 63 K with two-stage mixed-refrigerant cascades using low-flammability mixtures
Kochenburger, T. M.; Grohmann, S.
2015. CEC 25-ICMC 2015, Cryogenic Engineering Conference & International Cryogenic Materials Conference, Tucson, Arizona, USA, 28.06. – 02.07.2015 

Commissioning of the cryogenic safety test facility PICARD
Heidt, C.; Schön, H.; Stamm, M.; Grohmann, S.
2015. IOP Conference Series: Materials Science and Engineering, 101 (1), 012161/1–7. doi:10.1088/1757-899X/101/1/012161  

Liquid helium cryostat safety
Grohmann, S.; Heidt, C.
2015. Cold Facts, 31 (5), 10 

Lastflexibilisierung einer Luftzerlegungsanlage
Wunderlich, B.; Ferstl, J.; Goloubev, D.; Windmeier, C.; Grohmann, S.
2015. Deutsche Kälte- und Klimatagung. 2015 Dresden, CD-ROM, DKV 

Kühlung von Hochtemperatursupraleitern unterhalb von 60 K mittels einer zweistufigen Gemischkältekaskade
Kochenburger, T. M.; Grohmann, S.
2015. Deutsche Kälte- und Klimatagung. 2015 Dresden, CD-ROM, DKV 

Inbetriebnahme einer modifizierten Versuchsanlage für die Messung von Tieftemperatur-Phasengleichgewichten
Gomse, D.; Kochenburger, T. M.; Janzen, A.; Grohmann, S.
2015. Deutsche Kälte- und Klimatagung. 2015 Dresden, CD-ROM, DKV 

Entwicklung eines Durchflusssensors für kryogene Anwendungen
Janzen, A.; Börsch, M.; Burger, B.; Ebersoldt, A.; Erni, P.; Lieztow, R.; Oertig, D.; Schön, H.; Stamm, M.; Grohmann, S.
2015. Deutsche Kälte- und Klimatagung. 2015 Dresden, CD-ROM, DKV 

Inbetriebnahme und erste Ergebnisse des kryogenen Sicherheitsversuchsstands PICARD
Heidt, C.; Schön, H.; Stamm, M.; Grohmann, S.
2015. Deutsche Kälte- und Klimatagung, Dresden, 18.-20.11.2015, CD-ROM, DKV 

Measurement and Scale Analysis of Convective Transport over Heterogeneous Terrain. PhD dissertation
Eder, F.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000052872  

Tragfähigkeit von Stabdübelverbindungen
Colling, F.; Blaß, H. J.; Prüfer, C.
2015. Fraunhofer IRB Verlag 

Optimal load shedding in distributed networks with sigmoid cost functions
Ruppert, M.; Bertsch, V.; Fichtner, W.
2015. 2015 International Symposium on Smart Electric Distribution Systems and Technologies (EDST). Proceedings. 8-11 Sept. 2015, Vienna, Austria, 159–164, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/SEDST.2015.7315200 

Pauli limiting and multi-band superconductivity in KFe₂As₂ studied by small-angle neutron scattering
Eskildsen, M. R.; Kuhn, S. J.; Kawano-Furukawa, H.; Ono, M.; Forgan, E. M.; Jellyman, E.; Riyat, R.; Lee, C. H.; Kihou, K.; Hardy, F.; Wolf, T.; Gavilano, J. L.
2015. APS March Meeting, San Antonio, Tex., March 2-6, 2015 

Batteriespeichersysteme für die Energiewende. Wirtschaftlichkeit, Sicherheit!?
Barry, J.
2015. Energie - aber wie? : Veranstaltung im Rahmen der Qualifizierungskampagne des Wirtschaftsministeriums Baden-Württemberg, Göppingen, 12.November 2015 

Batteriespeichersysteme für die Energiewende. Wirtschaftlichkeit, Sicherheit!?
Grün, T.
2015. Energie - aber wie? : Veranstaltung im Rahmen der Qualifizierungskampagne des Wirtschaftsministeriums Baden-Württemberg, Rastatt, 14.Oktober 2015 

Entwicklung einer Vorgehensweise zur Bestimmung und Verifikation von Wärmeübergangsparametern aus CFD Simulationen von Trockenkupplungssystemen = Development of an Estimation and Verification Approach for Heat Transfer Parameters of DryClutch Systems Obtained from CFD Simulations. PhD dissertation
Hauschild, J. J.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000052835  

Gebündelte Expertise: KIT Kompetenzzentrum Rückbau
Tromm, W.
2015. Perspektive Kerntechnik, Mannheim, 7.-8.September 2015 

Klimawandel und Bauwesen
Kottmeier, C.
2015. Kolumne ’Zur Sache’, 16.Juli 2015 Deutsches Klima Konsortium 

AmpaCity project - update on world’s first superconducting cable and fault current limiter installation in a German city center
Stemmle, M.; Merschel, F.; Noe, M.; Hobl, A.
2015. 23rd International Conference on Electricity Distribution, Lyon, F, June 15-18, 2015 Paper publ.online Paper 0678 

Funktioneller Tintenstrahldruck keramischer Dickschichten: Druckprozess und Suspensionsanforderungen
Mikolajek, M.; Friederich, A.; Bauer, W.; Binder, J. R.
2015. Kriegesmann, J. [Hrsg.] Technische Keramische Werkstoffe 148.Ergänzungslieferung - Keramische Werkstoffe - September 2015 Kapitel 3.8.4.2 Köln : Deutscher Wirtschaftsdienst (Loseblattsammlung) 

Uncertainties, plurality, and robustness in climate research and modeling: On the reliability of climate prognoses
Leuschner, A.
2015. Journal for general philosophy of science, 46 (2), 357–381. doi:10.1007/s10838-015-9304-x 

Social exclusion in academia through biases in methodological quality evaluation: On the situation of women in science and philosophy
Leuschner, A.
2015. Studies in history and philosophy of science / A, 54, 56–63. doi:10.1016/j.shpsa.2015.08.017 

Probabilistic Formal Verification Methodology for Decentralized Thermal Management in On-Chip Systems
Iqtedar, S.; Hasan, O.; Shafique, M.; Henkel, J.
2015. Proceedings, 2015 IEEE 24th International Conference on Enabling Technologies: Infrastructures for Collaborative Enterprises : 15-17 June 2015, Larnaca, Cyprus. Ed.: S.M. Reddy, 210–215, IEEE Computer Society. doi:10.1109/WETICE.2015.39 

New Trends in Dark Silicon
Henkel, J.; Khdr, H.; Pagani, S.; Shafique, M.
2015. 52nd ACM/EDAC/IEEE Design Automation Conference (DAC), San Francisco, CA, 8-12 June 2015, Art.Nr.: 7167304, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1145/2744769.2747938 

SuperNet: Multimode Interconnect Architecture for Manycore Chips
Bokhari, H.; Javaid, H.; Shafique, M.; Henkel, J.; Parameswaran, S.
2015. 52nd ACM/EDAC/IEEE Design Automation Conference (DAC), San Francisco, CA, 8-12 June 2015, Art.Nr.: 7167269, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1145/2744769.2744912 

A low latency Generic Accuracy Configurable Adder
Shafique, M.; Ahmad, W.; Hafiz, R.; Henkel, J.
2015. 52nd ACM/EDAC/IEEE Design Automation Conference (DAC), San Francisco, CA, 8-12 June 2015, Art.Nr.: 7167270, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1145/2744769.2744778 

Thermal Constrained Resource Management for Mixed ILP-TLP Workloads in Dark Silicon Chips
Khdr, H.; Pagani, S.; Shafique, M.; Henkel J.
2015. 52nd ACM/EDAC/IEEE Design Automation Conference (DAC), San Francisco, CA, 8-12 June 2015, Art.Nr.: 7167365, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1145/2744769.2744916 

EnAAM: Energy-Efficient Anti-Aging for On-Chip Video Memories
Shafique, M.; Khan, M. U. K.; Tufek, O.; Henkel J.
2015. 52nd ACM/EDAC/IEEE Design Automation Conference (DAC), San Francisco, CA, 8-12 June 2015, Art.Nr.: 7167285, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1145/2744769.2744834 

Hierarchical Power Budgeting for Dark Silicon Chips
Khan, M. U. K.; Shafique, M.; Henkel, J.
2015. 2015 IEEE/ACM International Symposium on Low Power Electronics and Design (ISLPED 2015) : Rome, Italy, 22 - 24 July 2015, 213–218, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ISLPED.2015.7273516 

Lucid Infrared Thermography of Thermally-Constrained Processors
Amrouch, H.; Henkel, J.
2015. 2015 IEEE/ACM International Symposium on Low Power Electronics and Design (ISLPED 2015) : Rome, Italy, 22 - 24 July 2015, 347–352, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ISLPED.2015.7273538 

Power Management for Mobile Games on Asymmetric Multi-Cores
Pathania, A.; Pagani, S.; Shafique, M.; Henkel, J.
2015. 2015 IEEE/ACM International Symposium on Low Power Electronics and Design (ISLPED 2015) : Rome, Italy, 22 - 24 July 2015, 243–248, Institute of Electrical and Electronics Engineers (IEEE) 

DRVS: Power-Efficient Reliability Management through Dynamic Redundancy and Voltage Scaling under Variations
Salehi, M.; Tavana, M. K.; Rehman, S.; Kriebel, F.; Shafique, M.; Ejlali, A.; Henkel, J.
2015. IEEE/ACM International Symposium on Low Power Electronics and Design (ISLPED), 2015 22-24 July, Rome, Italy, 225–230, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ISLPED.2015.7273518 

Dark Silicon - From Computation to Communication
Henkel, J.; Bukhari, H.; Garg, S.; Khan, M. U. K.; Khdr, H.; Kriebel, F.; Ogras, U.; Parameswaran, S.; Shafique, M.
2015. Proceedings of the 9th International Symposium on Networks-on-Chip (NOCS ’15), September 28-30, 2015, Vancouver, BC, Canada, Art.Nr.: 23, Association for Computing Machinery (ACM). doi:10.1145/2786572.2788707 

seBoost: Selective Boosting for Heterogeneous Manycores
Pagani, S.; Shafique, M.; Khdr, H.; Chen, J.-J.; Henkel, J.
2015. International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 4-9 Oct. 2015, Amsterdam, The Netherlands. Ed.: G. Nicolescu, 104–113, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/CODESISSS.2015.7331373 

R2Cache: Reliability-aware reconfigurable last-level cache architecture for multi-cores
Kriebel, F.; Subramaniyan, A.; Rehman, S.; Ahandagbe, S. J. B.; Shafique, M.; Henkel, J.
2015. International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 4-9 Oct. 2015, Amsterdam, The Netherlands. Ed.: G. Nicolescu, 1–10, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/CODESISSS.2015.7331362 

dsReliM: Power-Constrained Reliability Management in Dark-Silicon Many-Core Chips under Process Variations
Salehi, M.; Shafique, M.; Kriebel, F.; Rehman, S.; Khavari Tavana, M.; Ejlali, A.; Henkel, J.
2015. Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) October 4-9, 2015, Amsterdam, The Netherlands; Digest of Technical Papers. Ed.: G. Nicolescu, 75–82, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1145/2840000/2830849 

An Approximate Compressor for Wearable Biomedical Healthcare Monitoring Systems
Samie, F.; Bauer, L.; Henkel, J.
2015. 2015 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), Amsterdam, The Netherlands, 4-9 Oct. 2015. ED.: G. Nicolescu, 133–142, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/CODESISSS.2015.7331376 

Approximation-Aware Multi-Level Cells STT-RAM Cache Architecture
Sampaio, F.; Shafique, M.; Zatt, B.; Bampi, S.; Henkel, J.
2015. 2015 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES), Amsterdam, The Netherlands, 4-9 Oct. 2015, 79–88, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/CASES.2015.7324548 

Floating Point Acceleration for Stream Processing Applications in Dynamically Reconfigurable Processors
Bauer, L.; Grudnitsky, A.; Damschen, M.; Kerekare, S. R.; Henkel, J.
2015. 13th IEEE Symposium on Embedded Systems For Real-time Multimedia (ESTIMedia), Amsterdam, Netherlands, 8-9 Oct. 2015, 1–2, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ESTIMedia.2015.7351762 

STRAP: Stress-Aware Placement for Aging Mitigation in Runtime Reconfigurable Architectures
Zhang, H.; Kochte, M. A.; Schneider, E.; Bauer, L.; Wunderlich, H.-J.; Henkel, J.
2015. ICCAD ’15 Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, Austin, USA, 2-6 Nov. 2015, 38–45, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICCAD.2015.7372547 

SIngle and two-phase sodium flow analysis for two TUCOP CABRI tests using the ASTEC-Na code
Perez-Martin, S.; Pfrang, W.; Bandini, G.; Ederli, S.; Balestra, P.; Parisi, C.
2015. 16th International Topical Meeting in Nuclear Reactor Thermal Hydraulics (NURETH-16), Chicago, Ill, August 30 - September 4, 2015 Proceedings on USB-Stick Paper 13947 LaGrange Park, Ill. : ANS, 2015 

Overview of the IFMIF test facility design in IFMIF/EVEDA phase
Tian, K.; Abou-Sena, A.; Arbeiter, F.; Santamaria Garcia, A.; Gouat, P.; Heidinger, R.; Heinzel, V.; Ibarra, A.; Leysen, W.; Mas, A.; Mittwollen, M.; Möslang, A.; Theile, J.; Yamamoto, M.; Yokomine, T.
2015. Fusion engineering and design, 98-99, 2085–2088. doi:10.1016/j.fusengdes.2015.05.041 

Zufriedenheit mit dem Raumklima. habilitation thesis
Hellwig, R. T.
2015. Karlsruher Institut für Technologie (KIT) 

On the Resource Consumption of Secure Data Sharing
Kühner, H.; Hartenstein, H.
2015. Trustcom/BigDataSE/ISPA, IEEE, Helsinki, finland, 20-22. August 2015. Vol. 1, 880–889, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/Trustcom.2015.460 

A Security Analysis of the Emerging P2P-based Personal Cloud Platform MaidSafe
Jacob, F.; Mittag, J.; Hartenstein, H.
2015. Proceedings of the IEEE Trustcom / BigDataSE / ISPA : Helsinki, Finland, 20th - 22nd August 2015, 1403–1410, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/Trustcom.2015.538  

Simulation and modelling of the solid electrolyte interphase with varying porosity
Single, F.; Karaca, E.; Horstmann, B.; Latz, A.
2015. ECS Transactions, 69 (1), 129–131. doi:10.1149/06901.0129ecst 

Lifetime and performance prediction of SOFC anodes operated with trace amounts of hydrogen sulfide
Riegraf, M.; Schiller, G.; Costa, R.; Friedrich, K. A.; Latz, A.; Yurkiv, V.
2015. ECS Transactions, 68 (1), 1373–1382. doi:10.1149/06801.1373ecst 

Thermal-electrochemical lithium-ion battery simulations on microstructure and porous electrode scale
Latz, A.; Zausch, J.
2015. ECS Transactions, 69 (1), 75–81. doi:10.1149/06901.0075ecst 

A double-layer model for describing the effect of solvation and adsorption of ions on electrode surfaces in Batteries
Lück, J.; Latz, A.
2015. ECS Transactions, 69 (1), 125–128. doi:10.1149/06901.0125ecst 

Lithium plating and stripping in the framework of a 3D electrochemical model
Hein, S.; Latz, A.
2015. ECS Transactions, 69 (1), 3–5. doi:10.1149/06901.0003ecst