Publications
Below you will find some information about the faculty's publications, which are provided by the research information system. In addition, you will find complete lists of publications on the websites of the respective institutes and chairs.
3178 Entries
2010
-
Automata-Based Axiom Pinpointing , 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 cloud , 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 Tableaux , 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 Memory , 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
-
Causes of osteoporosis in men , 2010, In: OsteologieResearch output: Contribution to journal > Research article
-
Computing intensional answers to questions - An inductive logic programming approach. , 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 Study , 2010Research output: Contribution to conferences > Paper
-
Deduktion: von der Theorie zur Anwendung - Informatik-Spektrum , 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 Tagging , 2010, p. 69-79, 11 p.Research output: Contribution to conferences > Paper
-
Developing Multi-touch Software through Creative Deconstruction , 2010Research output: Contribution to conferences > Paper
-
Ein Metamodell von Produktionssystemen als Grundlage für die automatische Simulationsmodellgenerierung , 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 Raumautomationskonzepte , 2010, Konferenzband der 14. Internationalen Passivhaustagung. p. 537-538, 2 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Enhancing the expressiveness of fingers: multi-touch ring menus for everyday applications , 2010, p. 259-264, 6 p.Research output: Contribution to conferences > Paper
-
Erweiterung von Menschmodellen zur wahrnehmungskonformen Sichtvisualisierung , 2010Research output: Contribution to conferences > Paper
-
Evaluation of AMD's advanced synchronization facility within a complete transactional memory stack , 2010, p. 27-40, 14 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Event-Driven Verification in Dynamic Component Models , 2010, p. 79-86, 8 p.Research output: Contribution to conferences > Paper
-
Handling Crash and Software Faults Efficiently in Distributed Event Stream Processing , 2010, p. 164-172, 9 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Improving screen magnification using the hyperbraille multiview windowing technique , 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
-
Integration Touchscreen-basierter Patientenbefragung in das neurologische Dokumentationssystem MSDS , 2010, GeNeMe 2010 - Gemeinschaften in Neuen MedienResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Joining Business Rules and Business Processes , 2010Research output: Contribution to conferences > Paper
-
MapReduce for Scalable Neural Nets Training , 2010, 2010 6th World Congress on Services. p. 99-106Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Mut zur Lücke - Zur Umsetzung von spezifischen Algorithmen für Designer , 2010Research output: Contribution to conferences > Paper
-
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend! , 2010, In: J. Artif. Intell. Res.. 39, p. 429-481, 53 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
OCL Tools Report based on the IDE4OCL Feature Model: Proceedings of the Workshop on OCL and Textual Modelling (OCL 2011) , 2010, In: Electronic Communications of the EASST. 2011, 44Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
On the impact of energy-saving strategies in opportunistic grids , 2010, Proceedings - IEEE/ACM International Workshop on Grid Computing. IEEE, New York [u. a.]Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution