2012

• Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System CodeBaier, C., Daum, M., Engel, B., Härtig, H., Klein, J., Klüppelholz, S., Märcker, S. & 2 others, 2012, Proceedings Seventh Conference on Systems Software Verification. Cassez, F., Huuck, R., Klein, G. & Schlich, B. (eds.).p. 156-166, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Codebook generation based on complex systemsTang, T. & Tetzlaff, R., 2012, NDES 2012; Nonlinear Dynamics of Electronic Systems. VDE Verlag, Berlin [u. a.], p. 173-176, 4 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Collision modelling for the interface-resolved simulation of spherical particles in viscous fluids.Kempe, T. & Fröhlich, J., 2012, In: Journal of Fluid Mechanics. p. 445-489, 45 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Combining three ways of conveying knowledge: Modularization of domain, terminological, and linguistic knowledge in ontologiesDeclerck, T. & Gromann, D., 2012, Proceedings of the 6th International Workshop on Modular Ontologies, Graz, Austria. Schneider, T. & Walther, D. (eds.). CEUR Workshop Proceedings, Vol. 875. p. 28-40, 13 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Communication and information engineering of FDI equipment packagesTheurich, S., Stöss, M., Wollschlaeger, M. & Urbas, L., 2012, p. 1-8, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Comparing apples and oranges?: Trends in IVC simulationsJoerer, S., Dressler, F. & Sommer, C., 2012, VANET'12 - Proceedings of the 9th ACM International Workshop on VehiculAr Inter-NETworking, Systems, and ApplicationsElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Computational aspects of cf2 and stage2 argumentation semanticsDvořák, W. & Gaggl, S., 2012, In: Frontiers in Artificial Intelligence and Applications : FAIAElectronic (full-text) versionResearch output: Contribution to journal > Research article
• Computer tomography-aided non-destructive and destructive testing in composite engineeringHufenbach, W., Gude, M., Ullrich, H., Czulak, A., Danczak, M., Böhm, R., Zscheyge, M. & 1 others, 2012, In: Composites Theory and Practice. 12, 4, p. 279-284, 6 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Computing Minimal EL-Unifiers is HardBaader, F., Borgwardt, S. & Morawska, B., 2012, Proceedings of the 9th International Conference on Advances in Modal Logic (AiML'12). p. 19-35, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Concept creation in transportation design - Model and toolsKrzywinski, J. & Wölfel, C., 2012, ICDC 2012 - 2nd International Conference on Design Creativity, Proceedings. Duffy, A., Nagai, Y. & Taura, T. (eds.). The Design Society, p. 269-277, 9 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution