Publications

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 fluidsKempe, T. & Fröhlich, J., 2012, In: Journal of Fluid Mechanics. 709, 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
• Comment on "Magnetic Structuring of Electrodeposits"Mutschke, G., Tschulik, K., Uhlemann, M., Bund, A. & Fröhlich, J., 2012, In: Physical review letters. 109, 229401Electronic (full-text) versionResearch output: Contribution to journal > Comment/Debate
• 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
• Compressive sensing low dimensional signalsLu, Y. & Finger, A., 2012Research output: Contribution to conferences > Paper
• 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