Publications

2013

• Koexistenzsimulation von drahtlosen Systemen als Bestandteil des EngineeringsSchimschar, A., Kratzig, M. & Wollschlaeger, M., 2013, In: At-Automatisierungstechnik. 61, 6, p. 403-414, 12 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Learning formal definitions for biomedical conceptsTsatsaronis, G., Petrova, A., Kissa, M., Ma, Y., Distel, F., Baader, F. & Schroeder, M., 2013, In: CEUR Workshop Proceedings. 1080Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• 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 others, 2013, 9 p.Research output: Contribution to conferences > 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, p. 534-538, 5 p., 6738110Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Mastering ERP Interface Complexity - A Scalable User Interface Concept for ERP SystemsLambeck, C. & Groh, R., 2013Research output: Contribution to conferences > 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, p. 751-795, 45 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Model-driven Self-optimization Using Integer Linear Programming and Pseudo-Boolean OptimizationGötz, S., Wilke, C., Richly, S., Püschel, G. & Aßmann, U., 2013Research output: Contribution to conferences > Paper
• Modeling in OWL 2 without RestrictionsSchneider, M., Rudolph, S. & Sutcliffe, G., 2013, OWLEDResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Modellierung von Funkkomponenten im Kontext des Lebenszyklus der industriellen AutomationSchimschar, A., Hasler, D., Wollschlaeger, M. & Lehmann, R., 2013, p. 345-349, 5 p.Research output: Contribution to conferences > Paper
• Natural Interface ExplorationBrade, M., Keck, M., Gründer, T., Müller, M. & Groh, R., 2013Research output: Contribution to conferences > Paper
• New Perspectives on Interactivity in Project Management Toolsde Almeida Madeira Clemente, M., Berndt, A., Leitner, H., Keck, M., Gärtner, R. & Groh, R., 2013Research output: Contribution to conferences > Paper
• Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological ModellingMagka, D., Krötzsch, M. & Horrocks, I., 2013, International Workshop on Description LogicsElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• NUBSL – A Freely Placeable, Lowcost Notification UtilityBrade, M., Müller, M., Walther, S. & Groh, R., 2013Research output: Contribution to conferences > Paper
• On Language Equations with One-sided ConcatenationBaader, F. & Okhotin, A., 2013, In: Fundamenta Informaticae. 126, 1, p. 1-35, 35 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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, p. 41-53, 13 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• OntoSketch: Towards Digital Sketching as a Tool for Creating and Extending Ontologies for Non-ExpertsBrade, M., Schneider, F., Salmen, A. & Groh, R., 2013Research output: Contribution to conferences > 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). p. 789-795, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Power measurement techniques on standard compute nodes: A quantitative comparisonHackenberg, D., Ilsche, T., Schöne, R., Molka, D., Schmidt, M. & Nagel, W. E., 2013, p. 194-204, 11 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Powerwalls and Scalability: Implementation Issuesvon Zadow, U., Langner, R., Kister, U. & Dachselt, R., 2013, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Printing Future DaysKnöfel, A., Koalick, G., Lapczyna, E. & Groh, R., 2013, p. 131-136, 6 p.Research output: Contribution to conferences > 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. 1091Electronic (full-text) versionResearch output: Contribution to journal > Editorial (Lead article)
• Professur Mediengestaltung bei OUTPUTGroh, R., 2013, issue.com. DresdenResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• 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. (eds.). Springer, Berlin [u. a.], p. 4-5, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Rapid prototyping von applikationsprofilkonformen feldgerätenMätzler, S., Theurich, S., Wollschlaeger, M. & Simros, M., 2013, In: At-Automatisierungstechnik. 61, 6, p. 415-426, 12 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Reducing Runtime Overhead of Online Checks using Symbolic ExecutionNowack, M. & Fetzer, C., 2013, In: Eurosys Doctoral Workshop (EuroDW)Research output: Contribution to journal > Conference article