KIT-Nachwuchswissenschaftler-Symposium

Keyphrases

Publications

2010

Carsten Sinz
Software Verification: State of the Art and Challenges. KIT-Nachwuchswissenschaftler-Symposium (2010)
Rainer Stiefelhagen
Image and Video Analysis to Enable Human-Friendly Systems. KIT-Nachwuchswissenschaftler-Symposium (2010)
Dennis Hofheinz
The what, why, and how of provably secure encryption. KIT-Nachwuchswissenschaftler-Symposium (2010)
Natalya An, Jens Mittag, Jérôme Härri
Efficient Usage of Wireless Communication Resources for Safety and non-Safety Vehicular Communication. KIT-Nachwuchswissenschaftler-Symposium (2010)
Victor Pankratius
Software Engineering in the Era of Parallelism. KIT-Nachwuchswissenschaftler-Symposium (2010)
Jian-Jia Chen
Designing Energy-Efficient, Predictable, and Reliable Real-Time and Embedded Systems. KIT-Nachwuchswissenschaftler-Symposium (2010)
Johann Marius Zöllner, Thomas Schamm, Dennis Nienhüser, Thomas Gumpp, Florian Steinhardt, Tobias Bär, Marcus Strand, Ralf Kohlhaas
Advanced technical cognitive systems for mobility assistance. KIT-Nachwuchswissenschaftler-Symposium (2010)
Erik Buchmann
Data Privacy in Novel Ubiquitous Computing Applications. KIT-Nachwuchswissenschaftler-Symposium (2010)
Oliver P. Waldhorst
The Internet in Your Hand - Chances and Challenges of Creating Service Overlays on Mobile and Heterogeneous Devices. KIT-Nachwuchswissenschaftler-Symposium (2010)
Mana Taghdiri
Checking Software Reliability. KIT-Nachwuchswissenschaftler-Symposium (2010)
Samuel Kounev
Engineering of Next Generation Self-Aware Software Systems: A Research Roadmap. KIT-Nachwuchswissenschaftler-Symposium (2010)
Emerging Research Directions in Computer Science, Karlsruhe, Germany, July 26-27, 2010. Proceedings - KIT-Nachwuchswissenschaftler-Symposium, Contributions from the Young Informatics Faculty in Karlsruhe KIT-Nachwuchswissenschaftler-Symposium (2010)