Publikationen

2010

• ANB- and ANBDmem-Encoding: Detecting Hardware Errors in SoftwareSchiffel, U., Schmitt, A., Süßkraut, M. & Fetzer, C., 2010, S. 169-182, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• 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. (Hrsg.). IOS Press, S. 693-700, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Annotationsbasierte Prozessmodellierung in SOA – dargestellt an einem Beispiel aus dem Precision Dairy FarmingGietl, F., Spilke, J., Habich, D. & Lehner, W., 2010, Precision Agriculture Reloaded - Informationsgestutzte Landwirtschaft. Referate der 30. GIL Jahrestagung, Proceedings. Claupein, W., Theuvsen, L., Kampf, A. & Morgenstern, M. (Hrsg.). Gesellschaft fur Informatik (GI), S. 73-76, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, S. 39-54Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• An XML-Based Streaming Concept for Business Process ExecutionPreissler, S., Habich, D. & Lehner, W., 2010, Enterprise Information Systems: 12th International Conference, ICEIS 2010, Funchal-Madeira, Portugal, June 8-12, 2010, Revised Selected Papers. S. 60-75Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Approximate query answering and result refinement on XML dataSeidler, K., Peukert, E., Hackenbroich, G. & Lehner, W., 2010, Scientific and Statistical Database Management: 22nd International Conference, SSDBM 2010, Heidelberg, Germany, June 30-July 2, 2010, Proceedings. S. 78-86, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A Sample Advisor for Approximate Query ProcessingRösch, P. & Lehner, W., 2010, Advances in Databases and Information Systems: 14th East European Conference, ADBIS 2010, Novi Sad, Serbia, September 20-24, 2010, Proceedings. S. 490-504Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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.], S. 466–473Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. S. 171-178, 8 S., 5606442Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Automata-Based Axiom PinpointingBaader, F. & Peñaloza, R., 2010, in: Journal of Automated Reasoning. 45, 2, S. 91-129, 39 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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, S. 446, 451 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• 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
• Cherry Picking in Database LanguagesJaecksch, B., Farber, F. & Lehner, W., 2010, IDEAS '10: Proceedings of the Fourteenth International Database Engineering & Applications Symposium. Technische Universität Dresden, Fakultät Architektur , S. 117 - 122Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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., Ribbecke, H. & Kabitzsch, K., 2010Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Database as a service (DBaaS)Lehner, W. & Sattler, K., 2010, IEEE 26th International Conference on Data Engineering (ICDE), 2010. Institute of Electrical and Electronics Engineers (IEEE), S. 1216-1217, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Datenflut - Informationsbedarf - Wissensgenerierung: Wo sind die technisch-methodischen Herausforderungen und (wo) kann die Informatik helfen?Lehner, W., 2010, Die digital-vernetzte Wissensgesellschaft - Aufbruch ins 21. Jahrhundert: Ubiquitare Verfugbarkeit digitaler Informationen (GfK Sonderausgabe). Redwitz, G. (Hrsg.).S. 521-535Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• 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 begriffsbasierter Ansatz zur semantischen Extraktion von DatenbankschemataMühle, H., Voigt, H. & Lehner, W., 2010, Software Engineering 2010 - Workshopband (inkl.Doktorandensymposium): Fachtagungdes GI-Fachbereichs Softwaretechnik. Engels, G., Luckey, M., Pretschner, A. & Reussner, R. (Hrsg.). Gesellschaft fur Informatik (GI), S. 35-42, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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