Publikationen

2012

• Static Partial Order Reduction for Probabilistic Concurrent SystemsFern'ndez-Díaz, Á., Baier, C., Benac-Earle, C. & Fredlund, L., 20 Sept. 2012, 2012 Ninth International Conference on Quantitative Evaluation of Systems. IEEE, New York [u. a.], S. 104-113, 10 S., 6354638Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 weitere, Aug. 2012, in: Journal of the Royal Society InterfaceElektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation SemanticsDvořák, W. & Gaggl, S. A., 1 Juni 2012, Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR 2012)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• On the Necessity of Accurate IEEE 802.11P Models for IVC Protocol SimulationEckhoff, D., Sommer, C. & Dressler, F., Mai 2012, 75th IEEE Vehicular Technology Conference (VTC 2012-Spring)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Towards Spatially Aware Tangible Displays for the MassesSpindler, M., Büschel, W. & Dachselt, R., Mai 2012, Proceedings of the 2012 AVI Workshop on Designing Collaborative Interactive Spaces for e-Creativity, e-Science and e-Learning. 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Adaptive APC strategies for a PVD process: a case study.Dementjev, A., Hensel, B., Ribbecke, H. & Kabitzsch, K., 1 April 2012, Proceedings of the 12th Advanced Process Control and Manufacturing Conference (APCM 2012). Grenoble, France, S. 29-34, 6 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A Multi-Channel IEEE 1609.4 and 802.11p EDCA Model for the Veins FrameworkEckhoff, D. & Sommer, C., 1 März 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 PressPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• SaFIC: A Spectrum Analysis Framework for Interferer Classification in the 2.4 GHz BandBloessl, B., Joerer, S., Nordin, N., Sommer, C. & Dressler, F., 1 März 2012, 31st IEEE Conference on Computer Communications (INFOCOM 2012), Demo Session. Orlando, FL: IEEEPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 3DOD: A haptic 3D Obstacle Detector for the Blind.Zeng, L. & Weber, G., 2012, Mensch & Computer 2012 – Workshopband: interaktiv informiert – allgegenwärtig und allumfassend!?. S. 485-488, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.).S. 17-26, 10 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Advocatus Diaboli - Exploratory Enrichment of Ontologies with Negative ConstraintsFerré, S. & Rudolph, S., 2012, EKAW. S. 42-56, 15 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 PressPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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). S. 493-504, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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). S. 37-47, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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., 2012Publikation: Beitrag zu Konferenzen > 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 2012Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Approximating Quality Contracts for Energy Auto-Tuning SoftwareGötz, S., Wilke, C., Richly, S. & Aßmann, U., 2012Publikation: Beitrag zu Konferenzen > 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 ProceedingsElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, S. 122-138, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. S. 79-82, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A Survey of Variation Techniques for Repetitive Games MusicBerndt, A., Dachselt, R. & Groh, R., 2012Publikation: Beitrag zu Konferenzen > 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). S. 9-24, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 2012Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• BASont - A modular, adaptive building automation system ontologyPloennigs, J., Hensel, B., Dibowski, H. & Kabitzsch, K., 2012, IECON Proceedings (Industrial Electronics Conference)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Beyond Forms and Tables - A Visual and Task-oriented Approach to ERP SystemsLambeck, C., Kirchner, B. & Leyh, C., 2012Publikation: Beitrag zu Konferenzen > Paper