Publications

2010

• Axiom Pinpointing in General TableauxBaader, F. & Peñaloza, R., 2010, In: Journal of Logic and Computation. 20, 1, p. 5-34, 30 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Brief Announcement: Hybrid Time-Based Transactional MemoryFelber, P., Fetzer, C., Marlier, P., Nowack, M. & Riegel, T., 2010, Distributed Computing. Vol. 6343. p. 124-126, 3 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Computing intensional answers to questions - An inductive logic programming approach.Cimiano, P., Rudolph, S. & Hartfiel, H., 2010, In: Data & knowledge engineering. 69, 3, p. 261-278, 18 p., 3Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Control of a Vacuum Coating Process with Long Dead-Time and an Integrator: A Case StudyDementjev, A., Hensel, B., Kubin, H. & Kabitzsch, {. R. A. K., 2010Research output: Contribution to conferences > Paper
• Deduktion: von der Theorie zur Anwendung - Informatik-SpektrumBaader, F., Beckert, B. & Nipkow, T., 2010, In:  Informatik-Spektrum : Organ der Gesellschaft für Informatik e.V. und mit ihr assoziierter Organisationen. 33, 5, p. 444 - 451, 8 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• DelViz: Untersuchen von Visualisierungsformen durch eine Klassifizierung beruhend auf Social TaggingKeck, M., Kammer, D., Wojdziak, J., Taranko, S. & Groh, R., 2010, p. 69-79, 11 p.Research output: Contribution to conferences > Paper
• Design and Verification of Systems with Exogenous Coordination Using VereofyBaier, C., Blechmann, T., Klein, J., Klüppelholz, S. & Leister, W., 2010, Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Springer Berlin / Heidelberg, p. 97-111, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Developing Multi-touch Software through Creative DeconstructionFranke, I. S., Kammer, D., Groh, R., Happ, S., Steinhauf, J. & Schönefeld, F., 2010Research output: Contribution to conferences > Paper
• Ein Metamodell von Produktionssystemen als Grundlage für die automatische SimulationsmodellgenerierungRehm, M., Schönherr, O. & Schmidt, T., 2010, 6. Fachkolloquium der Wissenschaftlichen Gesellschaft für Technische Logistik (WGTL): Tagungsband. Overmeyer, L. (ed.).p. 141-152, 12 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Energieeffizienz durch neue RaumautomationskonzepteHensel, B., Ploennigs, J., Kabitzsch, K. & Spelsberg, J., 2010, Konferenzband der 14. Internationalen Passivhaustagung. p. 537-538, 2 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Enhancing Single Touch Gesture Classifiers to Multitouch Support.Schmidt, M. & Weber, G., 2010, Computers Helping People with Special Needs, Part II: 12th International Conference, ICCHP 2010, Vienna, Austria, July 14-16, 2010. Proceedings. p. 490-497, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Enhancing the expressiveness of fingers: multi-touch ring menus for everyday applicationsKammer, D., Lamack, F. & Groh, R., 2010, p. 259-264, 6 p.Research output: Contribution to conferences > Paper
• Erweiterung von Menschmodellen zur wahrnehmungskonformen SichtvisualisierungZavesky, M., Kamusella, C. & Groh, R., 2010Research output: Contribution to conferences > Paper
• Evaluation of AMD's advanced synchronization facility within a complete transactional memory stackChristie, D., Chung, J., Diestelhorst, S., Hohmuth, M., Pohlack, M., Fetzer, C., Nowack, M. & 4 others, 2010, p. 27-40, 14 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Event-Driven Verification in Dynamic Component ModelsDemuth, B., Wilke, C. & Dietrich, J., 2010, p. 79-86, 8 p.Research output: Contribution to conferences > Paper
• Factory-wide predictive maintenance in heterogeneous environmentsKrause, J., Cech, S., Rosenthal, F., Gössling, A., Groba, C. & Vasyutynskyy, V., 2010, p. 153-156, 4 p.Research output: Contribution to conferences > Paper
• Generisches Lebenszyklusmodell für Produkte und Systeme der AutomationSchrieber, R., Mühlhause, M., Wollschlaeger, M., Birkhofer, R., Niemann, J., Kalhoff, J. & Wickinger, J., 2010Research output: Contribution to conferences > Paper
• Handling Crash and Software Faults Efficiently in Distributed Event Stream ProcessingBrito, A., Weigert, S., Süßkraut, M., Fetzer, C. & Felber, P., 2010, p. 164-172, 9 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• ICCHP Keynote: Designing Haptic Interaction for a Collaborative World.Weber, G., 2010, Computers Helping People with Special Needs, Part II: 12th International Conference, ICCHP 2010, Vienna, Austria, July 14-16, 2010. Proceedings. p. 431-438, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Improving screen magnification using the hyperbraille multiview windowing techniqueTaras, C., Raschke, M., Schlegel, T., Ertl, T., Prescher, D. & Weber, G., 2010, Computers Helping People with Special Needs, Part II: 12th International Conference, ICCHP 2010, Vienna, Austria, July 14-16, 2010. Proceedings. Springer, Berlin [u. a.], p. 506–512Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Industrial InternetWollschlaeger, M. & Sauter, T., 2010, The Industrial Electronics Handbook. aktualisierte Neuauflage ed., Boca Raton, Vol. Industrial Communications SystemsResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Integration Touchscreen-basierter Patientenbefragung in das neurologische Dokumentationssystem MSDSKratzsch, F., Lorz, A., Kempcke, R. & Ziemssen, T., 2010, GeNeMe 2010 - Gemeinschaften in Neuen MedienResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Joining Business Rules and Business ProcessesRichly, S., Habich, D., Demuth, B., Gietl, F., Spilke, J., Lehner, W. & Assmann, U., 2010Research output: Contribution to conferences > Paper
• Manufacturing Execution Systems (MES): Branchenspezifische Anforderungen und herstellerneutrale Beschreibung von LösungenAdams, M., Bangemaun, T., Fittler, H., Friedl, C., Harjunkoski, I., Hochfellner, G., Kara, E. & 7 others, 2010, Manufacturing Execution Systems (MES). Frankfurt: Zentralverband Elektrotechnik- und Elektronikindustrie e.V., Fachverband Automation, 87 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• MapReduce for Scalable Neural Nets TrainingRichly, S., Püschel, G., Habich, D. & Götz, S., 2010, 2010 6th World Congress on Services. p. 99-106Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution