Publikationen

2010

• Axiom Pinpointing in General TableauxBaader, F. & Peñaloza, R., 2010, in: Journal of Logic and Computation. 20, 1, S. 5-34, 30 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Brief Announcement: Hybrid Time-Based Transactional MemoryFelber, P., Fetzer, C., Marlier, P., Nowack, M. & Riegel, T., 2010, Distributed Computing. Band 6343. S. 124-126, 3 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Computing intensional answers to questions - An inductive logic programming approach.Cimiano, P., Rudolph, S. & Hartfiel, H., 2010, in: Data & knowledge engineering. 69, 3, S. 261-278, 18 S., 3Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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., 2010Publikation: Beitrag zu Konferenzen > 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, S. 444 - 451, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• DelViz: Untersuchen von Visualisierungsformen durch eine Klassifizierung beruhend auf Social TaggingKeck, M., Kammer, D., Wojdziak, J., Taranko, S. & Groh, R., 2010, S. 69-79, 11 S.Publikation: Beitrag zu Konferenzen > 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. (Hrsg.). Springer Berlin / Heidelberg, S. 97-111, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Developing Multi-touch Software through Creative DeconstructionFranke, I. S., Kammer, D., Groh, R., Happ, S., Steinhauf, J. & Schönefeld, F., 2010Publikation: Beitrag zu Konferenzen > 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. (Hrsg.).S. 141-152, 12 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Energieeffizienz durch neue RaumautomationskonzepteHensel, B., Ploennigs, J., Kabitzsch, K. & Spelsberg, J., 2010, Konferenzband der 14. Internationalen Passivhaustagung. S. 537-538, 2 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. S. 490-497, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Enhancing the expressiveness of fingers: multi-touch ring menus for everyday applicationsKammer, D., Lamack, F. & Groh, R., 2010, S. 259-264, 6 S.Publikation: Beitrag zu Konferenzen > Paper
• Erweiterung von Menschmodellen zur wahrnehmungskonformen SichtvisualisierungZavesky, M., Kamusella, C. & Groh, R., 2010Publikation: Beitrag zu Konferenzen > 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 weitere, 2010, S. 27-40, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Event-Driven Verification in Dynamic Component ModelsDemuth, B., Wilke, C. & Dietrich, J., 2010, S. 79-86, 8 S.Publikation: Beitrag zu Konferenzen > Paper
• Factory-wide predictive maintenance in heterogeneous environmentsKrause, J., Cech, S., Rosenthal, F., Gössling, A., Groba, C. & Vasyutynskyy, V., 2010, S. 153-156, 4 S.Publikation: Beitrag zu Konferenzen > Paper
• Generisches Lebenszyklusmodell für Produkte und Systeme der AutomationSchrieber, R., Mühlhause, M., Wollschlaeger, M., Birkhofer, R., Niemann, J., Kalhoff, J. & Wickinger, J., 2010Publikation: Beitrag zu Konferenzen > Paper
• Handling Crash and Software Faults Efficiently in Distributed Event Stream ProcessingBrito, A., Weigert, S., Süßkraut, M., Fetzer, C. & Felber, P., 2010, S. 164-172, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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. S. 431-438, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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.], S. 506–512Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Industrial InternetWollschlaeger, M. & Sauter, T., 2010, The Industrial Electronics Handbook. aktualisierte Neuauflage Aufl., Boca Raton, Band Industrial Communications SystemsPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Integration Touchscreen-basierter Patientenbefragung in das neurologische Dokumentationssystem MSDSKratzsch, F., Lorz, A., Kempcke, R. & Ziemssen, T., 2010, GeNeMe 2010 - Gemeinschaften in Neuen MedienPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Joining Business Rules and Business ProcessesRichly, S., Habich, D., Demuth, B., Gietl, F., Spilke, J., Lehner, W. & Assmann, U., 2010Publikation: Beitrag zu Konferenzen > 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 weitere, 2010, Manufacturing Execution Systems (MES). Frankfurt: Zentralverband Elektrotechnik- und Elektronikindustrie e.V., Fachverband Automation, 87 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• MapReduce for Scalable Neural Nets TrainingRichly, S., Püschel, G., Habich, D. & Götz, S., 2010, 2010 6th World Congress on Services. S. 99-106Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband