Publications

2009

• Conjunctive Query Entailment: Decidable in Spite of O, I, and QGlimm, B. & Rudolph, S., 1 Jul 2009, Proceedings of the DL Workshop 2009, Oxford, UK. Cuenca-Grau, B., Horrocks, I., Motik, B. & Sattler, U. (eds.). CEUR Workshop Proceedings, Vol. 477Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Symbolic model checking for channel-based component connectorsKlüppelholz, S. & Baier, C., 1 Jul 2009, In: Science of Computer Programming. 74, 9, p. 688-701, 14 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Average capacity analysis of continuous-time frequency-selective Rayleigh fading channels with correlated scattering using majorizationJorswieck, E. A. & Mittelbach, M., Jul 2009, 2009 IEEE International Symposium on Information Theory. Seoul, Korea, p. 576-580Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Contribution of changes in translational, rotational, and vibrational degrees of freedom to the energy of complex formation of aromatic ligands with DNAKostiukov, V. V., Khomutova, N. M. & Evstegneev, M. P., Jul 2009, In:  Biophysics. 54, 4, p. 606-615, 10 p.Research output: Contribution to journal > Research article
• Effect of CNT surface functionalisation on the mechanical properties of multi-walled carbon nanotube/epoxy-compositesNadler, M., Werner, J., Mahrholz, T., Riedel, U. & Hufenbach, W., Jul 2009, In: Composites Part A: Applied Science and Manufacturing. 40, 6-7, p. 932-937, 6 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• From 3D circuit technologies and data structures to interconnect predictionFischbach, R., Lienig, J. & Meister, T., Jul 2009, 11th International Workshop on System Level Interconnect Prediction (SLIP) 2009. p. 77-84, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Hybrid 3D-textile reinforced composites with tailored property profiles for crash and impact applicationsHufenbach, W., Gude, M. & Ebert, C., Jul 2009, In: Composites Science and Technology. 69, 9, p. 1422-1426, 5 p.Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• ICT-eMuCo. An Innovative Solution for Future Smart Phones.Lackorzynski, A., Gonzalez, M. E., Bilgic, A., Tudor, D., Matús, E. & Badr, I., Jul 2009, IEEE International Conference on Multimedia and Expo (ICME 2009). New York, NY, USAElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Scanning Tunneling Spectroscopy of Single DNA MoleculesRyndyk, D. A., Shapir, E., Porath, D., Calzolari, A., Di Felice, R. & Cuniberti, G., Jul 2009, In: ACS Nano. 3, 7, p. 1651-1656, 6 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Strategy for user orientated simulation of large drive trains to calculate realistic load conditionsSchlecht, B., Rosenlöcher, T. & Schulze, T., 30 Jun 2009, Multibody Dynamics 2009: 29th June - 2nd July 2009 Warsaw, Poland. p. 194-195Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution