Publikationen

Im Folgenden finden Sie einige Informationen zu Publikationen der Fakultät, welche über das Forschungsinformationssystem zur Verfügung gestellt werden. Darüber hinaus finden Sie vollständige Listen der Publikationen und Veröffentlichungen auch über die Webseiten der jeweiligen Institute und Professuren.

3563 Einträge

2012

Multilingual terminology acquisition for ontology-based information extractionFedermann, C., Gromann, D., Declerck, T., Hunsicker, S., Krieger, H. & Budin, G., 2012, Proceedings of the 10th Terminology and Knowledge Engineering Conference (TKE 2012). S. 166-175, 10 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Multitouch-Gestensteuerung für das neuartige Suchinterface DelVizKammer, D., Keck, M., Röpke, C. & Groh, R., 2012, S. 477-480, 4 S.Publikation: Beitrag zu Konferenzen > Paper
Noch jemand ohne Rückfahrkarte? Anmerkungen zu den gestalterischen Potentialen des Reverse EngineeringGroh, R., 2012, EEE, Entwerfen - Entwickeln - Erleben. S. 201-210, 10 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
Non-Gödel Negation Makes Unwitnessed Consistency UndecidableBorgwardt, S. & Peñaloza, R., 2012, Proceedings of the 2012 International Workshop on Description Logics (DL'12). S. 411-421, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
On Integrating Description Logics and Rules under Minimal HypothesesMehdi, A., Pinto, A. M. & Rudolph, S., 2012, RR. S. 242-245, 4 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
On the applicability of Two-Ray path loss models for vehicular network simulationSommer, C., Joerer, S. & Dressler, F., 2012, 4th IEEE Vehicular Networking Conference (VNC 2012)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
On the complexity of entailment in existential conjunctive first-order logic with atomic negationMugnier, M., Simonet, G. & Thomazo, M., 2012, in: Information and computation. 215, S. 8-31, 24 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
Ontological specification for the model integration in ICT building energy systemsGuruz, R., Katranuschkov, P., Scherer, R., Kaiser, J., Grunewald, J., Hensel, B., Kabitzsch, K. & 1 weitere, 2012, eWork and eBusiness in Architecture, Engineering and Construction - Proceedings of the European Conference on Product and Process Modelling 2012, ECPPM 2012Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Open Trace Format 2 The Next Generation of Scalable Trace Formats and Support LibrariesEschweiler, D., Wagner, M., Geimer, M., Knuepfer, A., Nagel, W. E. & Wolf, F., 2012, Applications, Tools and Techniques on the Road to Exascale Computing. De Bosschere, K., D'Hollander, E. H., Joubert, G. R., Padua, D., Peters, F. & Sawyer, M. (Hrsg.). IOS Press, Amsterdam [u. a.], S. 481-490, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
OWL: Yet to arrive on the Web of Data?Glimm, B., Hogan, A., Krötzsch, M. & Polleres, A., 2012, Workshop on Linked Data on the WebElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Probabilistic omega-automataBaier, C., Groesser, M. & Bertrand, N., 2012, in: Journal of the ACM. 59, 1, S. 1-52Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
Proceedings of the 2nd International Workshop on Semantic Digital Archives, Paphos, Cyprus, September 27, 2012Mitschick, A., Loizides, F., Predoiu, L., Nürnberger, A. & Ross, S., 2012, in: CEUR Workshop Proceedings. 912Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Leitartikel (Editorial)
Programming embedded devices in IEC 61131-languages with industrial PLC tools using PLCopen XMLSimros, M., Theurich, S. & Wollschlaeger, M., 2012Publikation: Beitrag zu Konferenzen > Paper
Rare-event verification for stochastic hybrid systemsZuliani, P., Baier, C. & Clarke, E. M., 2012, HSCC '12: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control. Dang, T. & Mitchell, I. M. (Hrsg.). Association for Computing Machinery (ACM), New York, S. 217-226, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Real-Time Complex Event Recognition and Reasoning-a Logic Programming Approach.Anicic, D., Rudolph, S., Fodor, P. & Stojanovic, N., 2012, in: Applied artificial intelligence : AAI ; an international journal. 26, 1-2, S. 6-57, 52 S., 1-2Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
Recent Advances in Unification for the EL FamilyBaader, F., Borgwardt, S. & Morawska, B., 2012, Proceedings of the 26th International Workshop on Unification (UNIF'12)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Rule-driven manufacturing control based on ontologiesGellrich, A., Lunkwitz, D., Dennert, A. & Kabitzsch, K., 2012, S. 1-8, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
SAT Encoding of Unification in ELHR+ w.r.t. Cycle-Restricted OntologiesBaader, F., Borgwardt, S. & Morawska, B., 2012, Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings. Springer, Berlin [u. a.], S. 30-44, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Score-P: A Unified Performance Measurement System for Petascale ApplicationsMey, D. A., Biersdorf, S., Bischof, C., Diethelm, K., Eschweiler, D., Gerndt, M., Knüpfer, A. & 11 weitere, 2012, Competence in High Performance Computing 2010: Proceedings of an International Conference on Competence in High Performance Computing, June 2010, Schloss Schwetzingen, Germany. Bischof, C., Hegering, H., Nagel, W. E. & Wittum, G. (Hrsg.). Berlin, Heidelberg: Springer, Berlin [u. a.], S. 85-97, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Scout: A Source-to-Source Transformator for SIMD OptimizationsKrzikalla, O., Feldhoff, K., Müller-Pfefferkorn, R. & Nagel, W. E., 2012, Euro-Par 2011: Parallel Processing Workshops . S. 137-145, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
SketchViz: A Sketching Interface for Domain Comprehension Tasks Illustrated by an Industrial Network Use CaseBrade, M., Brändel, C., Salmen, A. & Groh, R., 2012Publikation: Beitrag zu Konferenzen > Paper
Solving language equations and disequations with applications to disunification in description logics and monadic set constraintsBaader, F. & Okhotin, A., 2012, S. 107-121, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
Some Notes on Managing Closure OperatorsRudolph, S., 2012, ICFCA. S. 278-291, 14 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Spot-on for timed instances: striking a balance between spot and on-demand instancesKnauth, T. & Fetzer, C., 2012, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
Stochastic Game LogicBaier, C., Kučera, A., Groesser, M. & Brázdil, T., 2012, in: Acta Informatica. 49, 4, S. 203-224, 22 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel

Publikationen

2012

Zu dieser Seite

Finden!