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.
3715 Entries
2015
-
Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings , 2015, Springer, Berlin [u. a.]Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
-
Toward Communication Strategies for Platooning: Simulative and Experimental Evaluation , 2015, In: IEEE transactions on vehicular technologyElectronic (full-text) versionResearch output: Contribution to journal > Research article
-
Towards a Fluid Interaction Concept Bringing Star Plots to Interactive Displays , 2015, p. 349-354, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Poster
-
Towards a Navigation Paradigm for Triadic Concepts , 2015, Proceedings of the 14th International Conference on Formal Concept Analysis, ICFCA 2015. Springer Open, p. pp. 252-267Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Towards a Next-Generation Parallel Particle-Mesh Language , 2015, Proceedings of the 3rd Workshop on Domain-Specific Language Design and Implementation: DSLDI’15. p. 14-17Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Towards Detailed Exascale Application Analysis - Selective Monitoring and Visualisation , 2015, Solving Software Challenges for Exascale. p. 122-129, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
-
Using Personal Devices to Facilitate Multi-user Interaction with Large Display Walls , 2015, Adjunct Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology (UIST '15). p. 25-28Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Using Reference Attribute Grammar-Controlled Rewriting for Energy Auto-Tuning , 2015Research output: Contribution to conferences > Paper
-
Von der Software-Dissertation zum Lean Startup , 2015Research output: Contribution to conferences > Paper
-
What Is a Reasonable Argumentation Semantics? , 2015, Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday. Eiter, Thomas, Strass, Hannes, Truszczyński, Mirosław, Woltran & Stefan (eds.). Springer International Publishing AG, Vol. 9060. p. 309-324, 16 p., (Lecture Notes in Computer Science)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
2014
-
Energy-Efficient Databases Using Sweet Spot Frequencies , 1 Dec 2014, 2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing. Wiley-IEEE PressElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Virtual Sensor for Calibration of Thermal Models of Machine Tools , 27 Nov 2014, In: Advances in Artificial Neural SystemsElectronic (full-text) versionResearch output: Contribution to journal > Research article
-
Combining timeline and graph visualization , 16 Nov 2014, ITS 2014 - Proceedings of the 2014 ACM International Conference on Interactive Tabletops and Surfaces. Association for Computing Machinery, p. 345-350, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Multi-Touch manipulation of magic lenses for information visualization , 16 Nov 2014, ITS 2014 - Proceedings of the 2014 ACM International Conference on Interactive Tabletops and Surfaces. Association for Computing Machinery, p. 431-434, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Welcome to INDIN 2014 , 3 Nov 2014, In: IEEE International Conference on Industrial Informatics (INDIN). p. 3-4, 2 p., 6945471Electronic (full-text) versionResearch output: Contribution to journal > Editorial (Lead article)
-
The Role of Parked Cars in Content Downloading for Vehicular Networks , Nov 2014, In: IEEE transactions on vehicular technologyElectronic (full-text) versionResearch output: Contribution to journal > Research article
-
A simple and secure e-ticketing system for intelligent public transportation based on NFC , 27 Oct 2014, URB-IOT '14: Proceedings of the First International Conference on IoT in Urban Space. Association for Computing Machinery (ACM), New York, p. 19-24, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
HardPaxos: Replication Hardened Against Hardware Errors , 1 Oct 2014, Proceedings of the 33rd IEEE Symposium on Reliable Distributed Systems (SRDS'14). 10 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Multimodale Interaktion mit großen Displays: Synergie aus Gesten, Blicken und Berührungen , Oct 2014, In: Informatik-Spektrum. 37, 5, p. 397-401, 5 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Corrigendum: Systems survey of endocytosis by multiparametric image analysis (Nature (2010) 464, (243-249) DOI: 10.1038/nature08779) , 18 Sep 2014, In: Nature. Vol. 513. p. 444, 1 p.Electronic (full-text) versionResearch output: Contribution to specialist publication > Corrections (errata and retractions)
-
Interactive near-field illumination for photorealistic augmented reality on mobile devices , 12 Sep 2014, 2014 IEEE International Symposium on Mixed and Augmented Reality (ISMAR). Wiley-IEEE Press, p. 29-38, 10 p., 6948406Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
A Validated Simulation Model for Communicating Paragliders , 1 Sep 2014, 13. GI/ITG KuVS Fachgespräch Drahtlose Sensornetze (FGSN 2014). Potsdam, GermanyResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Timings Matter: Standard Compliant IEEE 802.11 Channel Access for a Fully Software-based SDR Architecture , 1 Sep 2014, WiNTECH '14: Proceedings of the 9th ACM international workshop on Wireless network testbeds, experimental evaluation and characterization. Maui, HI: ACM Press, p. 57-63, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Fairness kills safety: A comparative study for intersection assistance applications , Sep 2014, 25th IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2014)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Flat but Trustworthy: Security Aspects in Flattened Hierarchical Scheduling , Sep 2014, In: ACM SIGBED review. 11, 2, p. 8-12, 5 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article