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 weitere, 2012, Proceedings Seventh Conference on Systems Software Verification. Cassez, F., Huuck, R., Klein, G. & Schlich, B. (Hrsg.).S. 156-166, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Codebook generation based on complex systemsTang, T. & Tetzlaff, R., 2012, NDES 2012; Nonlinear Dynamics of Electronic Systems. VDE Verlag, Berlin [u. a.], S. 173-176, 4 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Collision modelling for the interface-resolved simulation of spherical particles in viscous fluids.Kempe, T. & Fröhlich, J., 2012, in: Journal of Fluid Mechanics. S. 445-489, 45 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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. (Hrsg.). CEUR Workshop Proceedings, Band 875. S. 28-40, 13 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Communication and information engineering of FDI equipment packagesTheurich, S., Stöss, M., Wollschlaeger, M. & Urbas, L., 2012, S. 1-8, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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 ApplicationsElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Computational aspects of cf2 and stage2 argumentation semanticsDvořák, W. & Gaggl, S., 2012, in: Frontiers in Artificial Intelligence and Applications : FAIAElektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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 weitere, 2012, in: Composites Theory and Practice. 12, 4, S. 279-284, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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). S. 19-35, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). The Design Society, S. 269-277, 9 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband