Publications

2014

• Towards a vehicular cloud - Using parked vehicles as a temporary network and storage infrastructureDressler, F., Handle, P. & Sommer, C., 2014, WiMobCity 2014 - Proceedings of the 2014 ACM International Workshop on Wireless and Mobile Technologies for Smart Cities, co-located with MobiHoc 2014Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Towards Computation with microchemomechanical SystemsVoigt, A., Greiner, R., Allerdißen, M., Richter, A., Henker, S. & Völp, M., 2014, In: International journal of foundations of computer science. 25, 4, p. 507-523, 17 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Towards Generic Metadata Management in Distributed Science Gateway InfrastructuresGrunzke, R., Jäkel, R., Nagel, W. E. & Gesing, S., 2014, 2014 14th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing. p. 566-570, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Towards inter-vehicle communication strategies for platooning supportSegata, M., Bloessl, B., Joerer, S., Sommer, C., Gerla, M., Cigno, R. & Dressler, F., 2014, 2014 7th International Workshop on Communication Technologies for Vehicles, Nets4Cars-Fall 2014Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Towards Optimal Execution of Density-based Clustering on Heterogeneous HardwareHabich, D., Gahrig, S. & Lehner, W., 2014, p. 104-119Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Towards Validating Software Transactional Memory ImplementationsNowack, M. & Fetzer, C., 2014, In: Euro-TM Workshop on Transactional Memory (WTM 2014)Research output: Contribution to journal > Conference article
• tPad: Designing Transparent-Display Mobile InteractionsHincapié-Ramos, J. D., Roscher, S., Büschel, W., Kister, U., Dachselt, R. & Irani, P., 2014, Proceedings of the 2014 Conference on Designing Interactive Systems. New York, NY, USA: Association for Computing Machinery (ACM), New York, p. 161–170Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Trade-off Analysis Meets Probabilistic Model CheckingBaier, C., Dubslaff, C. & Klüppelholz, S., 2014, CSL-LICS '14: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Association for Computing Machinery (ACM), New York, p. 1-10Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Transparent Forecasting Strategies in Database Management SystemsFischer, U. & Lehner, W., 2014, Business Intelligence: Third European Summer School, eBISS 2013, Dagstuhl Castle, Germany, July 7-12, 2013, Tutorial Lectures. Zimányi, E. (ed.). Springer, Cham, p. 150–181Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Utilizing Inherent Diversity in Complex Software SystemsOtech, P., Fetzer, C. & Guire, N. M., 2014, 8 p.Research output: Contribution to conferences > Paper
• Visual Innovations for Product Search InterfacesKeck, M., Herrmann, M., Henkens, D., Taranko, S., Nguyen, V., Funke, F., Schattenberg, S. & 2 others, 2014, 1st International Workshop on Future Search Engines at INFORMATIK 2014Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Visualization of Spatial Relations in Virtual Environments with Artificial Depth CuesMüller, M., Gründer, T., Franke, I. S. & Groh, R., 2014Research output: Contribution to conferences > Paper
• Visualizing Time-Dependent Key Performance Indicator in a Graph-based AnalysisHesse, S., Spehr, M., Gumhold, S. & Groh, R., 2014Research output: Contribution to conferences > Paper
• Vocalmetrics: An interactive software for visualization and classification of musicSchönfeld, F., Berndt, A., Hähnel, T., Pfleiderer, M. & Groh, R., 2014Research output: Contribution to conferences > Paper
• Volunteers' engagement in human computation for astronomy projectsPonciano, L., Brasileiro, F., Simpson, R. & Smith, A., 2014, In: Computing in Science and Engineering. 16, p. 52-59Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Wake-up Latencies for Processor Idle States on Current x86 ProcessorsSchöne, R., Molka, D. & Werner, M., 2014, Computer Science - Research and Development. p. 1-9, 9 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Wavelet Subspace Analysis of Intraoperative Thermal Imaging for Motion Filtering.Hoffmann, N., Hollmach, J., Schnabel, C., Radev, Y., Kirsch, M., Petersohn, U., Koch, E. & 1 others, 2014, Image Analysis and Recognition: 11th International Conference, ICIAR 2014, Vilamoura, Portugal, October 22-24, 2014, Proceedings, Part II. Campilho, A. & Kamel, M. (eds.).p. 411–420, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Weight Monitoring with Linear Temporal Logic: Complexity and DecidabilityBaier, C., Klein, J., Klüppelholz, S. & Wunderlich, S., 2014, CSL-LICS '14: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)v. Association for Computing Machinery (ACM), New York, p. 1-10, 11Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Wikidata: a free collaborative knowledgebaseVrandečić, D. & Krötzsch, M., 2014, In:  Communications of the ACM : CACM ; a publ. of the Association for Computing Machinery / ed.-in-chief M. Stuart Lynn. 57, 8 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• X-O Arch Menu: Combining Precise Positioning with Efficient Menu Selection on Touch DevicesThalmann, F., von Zadow, U., Heckel, M. & Dachselt, R., 2014, p. 317–322Electronic (full-text) versionResearch output: Contribution to conferences > Poster
• Zwischen den Zeilen – Ein innovatives Interfacekonzept für selbst organisierende, virtuelle GemeinschaftenFranke, I. S., Taranko, S. & Henzen, C., 2014Research output: Book/Report/Anthology > Monograph

2013

• Directing traffic into the future.Antonny, B., Audhya, J., l Bagnat, M., von Blume, J., Briggs, J. A., Giraudo, C., Kaeser, P. S. & 8 others, 9 Dec 2013, In: Developmental cell. 27, 5, p. 480-484, 5 p.Research output: Contribution to journal > Research article
• Potentials and Limitations for Energy Efficiency Auto-TuningSchöne, R., Knüpfer, A. & Molka, D., 1 Dec 2013, Parallel Computing: Accelerating Computational Sciene and Engineering (CSE). Bader, M., Bode, A., Bungartz, H., Gerndt, M., Joubert, G. R. & Peters, F. (eds.). IOS Press, Vol. 25. p. 678-687, 10 p., (Parallel Computing: Accelerating Computational Sciene and Engineering (CSE))Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• A Common API for Transparent Hybrid MulticastWählisch, M., Schmidt, T. C. & Venaas, S., Dec 2013, In: Request for comments. RFC 7046Electronic (full-text) versionResearch output: Contribution to journal > Research article
• On the Expressiveness of Fixed-Priority Scheduling Contexts for Mixed-Criticality SchedulingVölp, M., Lackorzynski, A. & Härtig, H., Dec 2013, Proceedings of the 1st International Workshop on Mixed Criticality Systems. Vancouver, Canada, p. 13-18, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution