Publikationen

2013

• Koexistenzsimulation von drahtlosen Systemen als Bestandteil des EngineeringsSchimschar, A., Kratzig, M. & Wollschlaeger, M., 2013, in: At-Automatisierungstechnik. 61, 6, S. 403-414, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Learning formal definitions for biomedical conceptsTsatsaronis, G., Petrova, A., Kissa, M., Ma, Y., Distel, F., Baader, F. & Schroeder, M., 2013, in: CEUR Workshop Proceedings. 1080Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• Leveraging Transactional Memory for Energy-efficient Computing below Safe Operation MarginsCristal, A., Felber, P., Fetzer, C., Harmanci, D., Sobe, A., Unsal, O., Wamhoff, J. & 1 weitere, 2013, 9 S.Publikation: Beitrag zu Konferenzen > Paper
• Local weighted Gaussian curvature for image processingGong, Y. & Sbalzarini, I. F., 2013, 2013 IEEE International Conference on Image Processing, ICIP 2013 - Proceedings. IEEE Computer Society, S. 534-538, 5 S., 6738110Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Mastering ERP Interface Complexity - A Scalable User Interface Concept for ERP SystemsLambeck, C. & Groh, R., 2013Publikation: Beitrag zu Konferenzen > Paper
• Model Checking for PerformabilityBaier, C., Hahn, E. M., Haverkort, B. R., Herrmanns, H. & Katoen, J., 2013, in: Mathematical Structures in Computer Science. 23, 4, S. 751-795, 45 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Model-driven Self-optimization Using Integer Linear Programming and Pseudo-Boolean OptimizationGötz, S., Wilke, C., Richly, S., Püschel, G. & Aßmann, U., 2013Publikation: Beitrag zu Konferenzen > Paper
• Modeling in OWL 2 without RestrictionsSchneider, M., Rudolph, S. & Sutcliffe, G., 2013, OWLEDPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Modellierung von Funkkomponenten im Kontext des Lebenszyklus der industriellen AutomationSchimschar, A., Hasler, D., Wollschlaeger, M. & Lehmann, R., 2013, S. 345-349, 5 S.Publikation: Beitrag zu Konferenzen > Paper
• Natural Interface ExplorationBrade, M., Keck, M., Gründer, T., Müller, M. & Groh, R., 2013Publikation: Beitrag zu Konferenzen > Paper
• New Perspectives on Interactivity in Project Management Toolsde Almeida Madeira Clemente, M., Berndt, A., Leitner, H., Keck, M., Gärtner, R. & Groh, R., 2013Publikation: Beitrag zu Konferenzen > Paper
• Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological ModellingMagka, D., Krötzsch, M. & Horrocks, I., 2013, International Workshop on Description LogicsElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• NUBSL – A Freely Placeable, Lowcost Notification UtilityBrade, M., Müller, M., Walther, S. & Groh, R., 2013Publikation: Beitrag zu Konferenzen > Paper
• On Language Equations with One-sided ConcatenationBaader, F. & Okhotin, A., 2013, in: Fundamenta Informaticae. 126, 1, S. 1-35, 35 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• On the modelling of one-sided communication systemsKrzikalla, O., Knüpfer, A., Müller-Pfefferkorn, R. & Nagel, W. E., 2013, Proceedings of the 7th International Conference on PGAS Programming Models. The University of Edinburgh, S. 41-53, 13 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• OntoSketch: Towards Digital Sketching as a Tool for Creating and Extending Ontologies for Non-ExpertsBrade, M., Schneider, F., Salmen, A. & Groh, R., 2013Publikation: Beitrag zu Konferenzen > Paper
• Positive Subsumption in Fuzzy EL with General t-normsBorgwardt, S. & Peñaloza, R., 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13). S. 789-795, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Power measurement techniques on standard compute nodes: A quantitative comparisonHackenberg, D., Ilsche, T., Schöne, R., Molka, D., Schmidt, M. & Nagel, W. E., 2013, S. 194-204, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Powerwalls and Scalability: Implementation Issuesvon Zadow, U., Langner, R., Kister, U. & Dachselt, R., 2013, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Printing Future DaysKnöfel, A., Koalick, G., Lapczyna, E. & Groh, R., 2013, S. 131-136, 6 S.Publikation: Beitrag zu Konferenzen > Paper
• Proceedings of the 3rd International Workshop on Semantic Digital Archives co-located with 17th International Conference on Theory and Practice of Digital Libraries (TPDL 2013), Valetta, Malta, September 26, 2013.Predoiu, L., Mitschick, A., Nürnberger, A., Risse, T. & Ross, S., 2013, in: CEUR Workshop Proceedings. 1091Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Leitartikel (Editorial)
• Professur Mediengestaltung bei OUTPUTGroh, R., 2013, issue.com. DresdenPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Quantitative Analysis of Randomized Distributed Systems and Probabilistic AutomataBaier, C., 2013, Algebraic Informatics: 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings. Muntean, T., Poulakis, D. & Rolland, R. (Hrsg.). Springer, Berlin [u. a.], S. 4-5, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Rapid prototyping von applikationsprofilkonformen feldgerätenMätzler, S., Theurich, S., Wollschlaeger, M. & Simros, M., 2013, in: At-Automatisierungstechnik. 61, 6, S. 415-426, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Reducing Runtime Overhead of Online Checks using Symbolic ExecutionNowack, M. & Fetzer, C., 2013, in: Eurosys Doctoral Workshop (EuroDW)Publikation: Beitrag in Fachzeitschrift > Konferenzartikel