Publications

2010

• An Interface for Integrated MPI Correctness CheckingHilbrich, T., Jurenz, M., Mix, H., Brunst, H., Knupfer, A., Mueller, M. S. & Nagel, W. E., 2010, PARALLEL COMPUTING: FROM MULTICORES AND GPU'S TO PETASCALE. Chapman, B., Desprez, F., Joubert, G., Lichnewsky, A., Peters, F. & Priol, T. (eds.). IOS Press, Amsterdam [u. a.], p. 693-700, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• An Ontology-Based, Cross-Application Context Modeling and Management Service.Mitschick, A., Pietschmann, S. & Meißner, K., 2010, In:  International journal on semantic web and information systems : an official publication of the Information Resources Management Association. 6, 1, p. 39-54Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Audio-haptic browser for a geographical information systemZeng, L. & 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. 466–473Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A unified approach to active contour snakesGosda, U., Schiekel, T. & Petersohn, U., 2010, Proceedings - 2010 IEEE 6th International Conference on Intelligent Computer Communication and Processing, ICCP10. p. 171-178, 8 p., 5606442Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Automata-Based Axiom PinpointingBaader, F. & Peñaloza, R., 2010, In: Journal of Automated Reasoning. 45, 2, p. 91-129, 39 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Automatic feature matching between digital images and 2D representations of a laser scanner point cloudMeierhold, N., Gumhold, S., Schilling, A., Spehr, M. & Maas, H., 2010, In: The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences (ISPRS Archives). 2010, XXXVIII/5, p. 446, 451 p.Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• 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 2 ed., 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