Publications

2012

• Static Partial Order Reduction for Probabilistic Concurrent SystemsFern'ndez-Díaz, Á., Baier, C., Benac-Earle, C. & Fredlund, L., 20 Sep 2012, 2012 Ninth International Conference on Quantitative Evaluation of Systems. IEEE, New York [u. a.], p. 104-113, 10 p., 6354638Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Leaf surface structures enable the endemic Namib desert grass Stipagrostis sabulicola to irrigate itself with fog water.Roth-Nebelsick, A., Ebner, M., Miranda, T., Gottschalk, V., Voigt, D., Gorb, S., Stegmaier, T. & 3 others, Aug 2012, In: Journal of the Royal Society InterfaceElectronic (full-text) versionResearch output: Contribution to journal > Research article
• Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation SemanticsDvořák, W. & Gaggl, S. A., 1 Jun 2012, Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR 2012)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On the Necessity of Accurate IEEE 802.11P Models for IVC Protocol SimulationEckhoff, D., Sommer, C. & Dressler, F., May 2012, 75th IEEE Vehicular Technology Conference (VTC 2012-Spring)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Towards Spatially Aware Tangible Displays for the MassesSpindler, M., Büschel, W. & Dachselt, R., May 2012, Proceedings of the 2012 AVI Workshop on Designing Collaborative Interactive Spaces for e-Creativity, e-Science and e-Learning. 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Adaptive APC strategies for a PVD process: a case study.Dementjev, A., Hensel, B., Ribbecke, H. & Kabitzsch, K., 1 Apr 2012, Proceedings of the 12th Advanced Process Control and Manufacturing Conference (APCM 2012). Grenoble, France, p. 29-34, 6 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Multi-Channel IEEE 1609.4 and 802.11p EDCA Model for the Veins FrameworkEckhoff, D. & Sommer, C., 1 Mar 2012, 5th ACM/ICST International Conference on Simulation Tools and Techniques for Communications, Networks and Systems (SIMUTools 2012), 5th ACM/ICST International Workshop on OMNeT++ (OMNeT++ 2012), Poster Session. Desenzano del Garda, Italy: ACM PressResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• SaFIC: A Spectrum Analysis Framework for Interferer Classification in the 2.4 GHz BandBloessl, B., Joerer, S., Nordin, N., Sommer, C. & Dressler, F., 1 Mar 2012, 31st IEEE Conference on Computer Communications (INFOCOM 2012), Demo Session. Orlando, FL: IEEEResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 3DOD: A haptic 3D Obstacle Detector for the Blind.Zeng, L. & Weber, G., 2012, Mensch & Computer 2012 – Workshopband: interaktiv informiert – allgegenwärtig und allumfassend!?. p. 485-488, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Acquisition, Representation, and Extension of Multilingual Labels of Financial OntologiesDeclerck, T., Krieger, H. & Gromann, D., 2012, Proceedings Workshop on Challenges to knowledge representation in multilingual contexts, Madrid. Costa, R., Silva António, M. & Soares, L. (eds.).p. 17-26, 10 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Advocatus Diaboli - Exploratory Enrichment of Ontologies with Negative ConstraintsFerré, S. & Rudolph, S., 2012, EKAW. p. 42-56, 15 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Generic Querying Algorithm for Greedy Sets of Existential RulesThomazo, M., Baget, J., Mugnier, M. & Rudolph, S., 2012, Proceedings of the 13th International Conference on the Principles of Knowledge Representation and Reasoning (KR'12). AAAI PressResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Goal-Oriented Algorithm for Unification in ELHR+ w.r.t. Cycle-Restricted OntologiesBaader, F., Borgwardt, S. & Morawska, B., 2012, Proceedings of the 25th Australasian Joint Conference on Artificial Intelligence (AI'12). p. 493-504, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxesBaader, F., Borgwardt, S. & Morawska, B., 2012, Proceedings of the 25th International Workshop on Description Logics (DL'12). p. 37-47, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Aktueller Stand des ESF-Projektes der Nachwuchsforschergruppe Cognitive Interface Technologies (CogITo)Franke, I. S., Gründer, T., Knöfel, A., Müller, M. & Walther, S., 2012Research output: Contribution to conferences > Paper
• An adaptive PI controller for room temperature control with level-crossing samplingHensel, B., Vasyutynskyy, V., Ploennigs, J. & Kabitzsch, K., 2012, Proceedings of the 2012 UKACC International Conference on Control, CONTROL 2012Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Approximating Quality Contracts for Energy Auto-Tuning SoftwareGötz, S., Wilke, C., Richly, S. & Aßmann, U., 2012Research output: Contribution to conferences > Paper
• A simple PI controller tuning rule for sensor energy efficiency with level-crossing samplingHensel, B., Ploennigs, J., Vasyutynskyy, V. & Kabitzsch, K., 2012, International Multi-Conference on Systems, Signals and Devices, SSD 2012 - Summary ProceedingsElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Sound and Complete Backward Chaining Algorithm for Existential RulesKönig, M., Leclère, M., Mugnier, M. & Thomazo, M., 2012, Proceedings of the 6th International Conference on Web Reasoning and Rule Systems (RR 2012). Springer Open, p. 122-138, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Assessing the impact of the social network on marking photos as favorites in flickr.Alves, L. O., Maciel, M., Ponciano, L. & Brito, A., 2012, WebMedia '12: Proceedings of the 18th Brazilian symposium on Multimedia and the web. p. 79-82, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Survey of Variation Techniques for Repetitive Games MusicBerndt, A., Dachselt, R. & Groh, R., 2012Research output: Contribution to conferences > Paper
• A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan LatticesBorgwardt, S. & Peñaloza, R., 2012, Proceedings of the 6th International Conference on Web Reasoning and Rule Systems (RR 2012). p. 9-24, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Audio-haptic you-are-here maps on a mobile touch-enabled pin-matrix displayZeng, L., Weber, G. & Baumann, U., 2012, Proceedings - 2012 IEEE Symposium on Haptic Audio-Visual Environments and Games, HAVE 2012Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• BASont - A modular, adaptive building automation system ontologyPloennigs, J., Hensel, B., Dibowski, H. & Kabitzsch, K., 2012, IECON Proceedings (Industrial Electronics Conference)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Beyond Forms and Tables - A Visual and Task-oriented Approach to ERP SystemsLambeck, C., Kirchner, B. & Leyh, C., 2012Research output: Contribution to conferences > Paper