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
• 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
• 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
• Content downloading in vehicular networks: Bringing parked cars into the pictureMalandrino, F., Casetti, C., Chiasserini, C., Sommer, C. & Dressler, F., 2012, IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRCElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Context-Dependent Views to Axioms and Consequences of Semantic Web OntologiesBaader, F., Knechtel, M. & Peñaloza, R., 2012, In: Web semantics : science, services and agents on the World Wide Web. 12-13, p. 22-40, 19 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Cool silicon ICT energy efficiency enhancementsEllinger, F., Mikolajik, T., Fettweis, G., Hentschel, D., Kolodinski, S., Warnecke, H., Reppe, T. & 31 others, 2012, IEEE 2012 International Semiconductor Conference Dresden-Grenoble, ISCDG 2012. IEEE Xplore, 4 p., 6360004Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Cryptography for middle school students in an extracurricular learning placeBergner, N., Holz, J. & Schroeder, U., 2012, CSEDU 2012 - Proceedings of the 4th International Conference on Computer Supported EducationResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Defizite und Potentiale im Bereich der Usability betriebswirtschaftlicher Anwendungen in KMU am Beispiel des Freistaats SachsenLambeck, C. & Leyh, C., 2012Research output: Contribution to conferences > Paper
• DepthTouch: An Elastic Surface for Tangible ComputingPeschke, J., Göbel, F., Gründer, T., Keck, M., Kammer, D. & Groh, R., 2012Research output: Contribution to conferences > Paper
• Der Computer als knetbares Objekt - ein Blick in die ZukunftLochner, B., Lorenz, S., Brade, M. & Groh, R., 2012Research output: Contribution to conferences > Paper
• Designing Collaborative Interactive SpacesJetter, H., Geyer, F., Reiterer, H., Dachselt, R., Fischer, G., Groh, R., Haller, M. & 1 others, 2012Research output: Contribution to conferences > Paper
• Dirty Project. Spatial Experiments in the Dirty Borderlands of MediaKoalick, G. & Lenk, C., 2012, Dresden, 8 p.Research output: Book/Report/Anthology > Monograph
• Efficient Transactional Memory Support for Low Numbers of Cores (Poster)Wamhoff, J., Fetzer, C., Felber, P., Rivière, E. & Muller, G., 2012, 2 p.Research output: Contribution to conferences > Poster
• Ein Experimentalraum zur Untersuchung von BildräumlichkeitLapczyna, E., Hannß, F., Klamka, K., Kirsch, M., Thomä, B. & Groh, R., 2012, Mensch & Computer 2012 – Workshopband: interaktiv informiert – allgegenwärtig und allumfassend!?. Reiterer Harald AND Deussen, O. (ed.). München: Oldenbourg Wissenschaftsverlag, p. 529-532, 4 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• ELK Reasoner: Architecture and EvaluationKazakov, Y., Krötzsch, M. & Simančík, F., 2012, International Workshop on OWL Reasoner EvaluationElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Energy-aware Scheduling for Infrastructure CloudsKnauth, T. & Fetzer, C., 2012, 9 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Energy Efficient Computing through Productivity-Aware Frequency ScalingPonciano, L., Brito, A., Sampaio, L. M. R. & Brasileiro, F. V., 2012, 2012 Second International Conference on Cloud and Green Computing. IEEE, New York [u. a.], p. 191-198, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Energy Labels for Mobile ApplicationsWilke, C., Richly, S., Püschel, G., Piechnick, C., Götz, S. & Aßmann, U., 2012, p. 93-102, 10 p.Research output: Contribution to conferences > Paper
• Enhanced Encoding Techniques for the Open Trace Format 2Wagner, M., Knuepfer, A. & Nagel, W. E., 2012, In: Procedia Computer Science. 9, p. 1979-1987, 9 p.Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• Entwicklung Cyber-Physikalischer Systeme am Beispiel des NAO-RobotersGötz, S., Leuthäuser, M., Piechnick, C., Reimann, J., Richly, S., Schroeter, J., Wilke, C. & 1 others, 2012, p. 45-52, 8 p.Research output: Contribution to conferences > Paper
• Exclusivity-based allocation of knowledgeCroitoru, M. & Rudolph, S., 2012, AAMAS. p. 1249-1250, 2 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Experimental results on solving the projection problem in action formalisms based on description logicsYehia, W., Liu, H., Lippmann, M., Baader, F. & Soutchanski, M., 2012, Proceedings of the 25th International Workshop on Description Logics. Vol. 846. p. 585-595, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution