Nonrelativistic effective field theory of unstable top Penin, A. A.; Piclum, J. H. 2012. Loops and Legs in Quantum Field Theory : 11th DESY Workshop on Elementary Particle Physics, Wernigerode, Germany, 15th - 20th April 2012, Art. Nr.: 067, Scuola Internazionale Superiore di Studi Avanzati (SISSA)
Effizienz ist schon die halbe Wende Wagner, A. 2012. 1. Jahrestagung des KIT Zentrums Energie : Chancen der Energiewende, Karlsruhe, Deutschland, 19. Juni 2012
Human movement and performance analysis Stein, T. 2012. Talk at Karlsruhe Institut of Technologie: KIT - Focus Anthropomatics and Robotics and Swiss National Centre of Competence in Research (NCCR) Robotics; Joint Symposium on Anthropomatics and Human-Centered Technologie, 6.-7.02.2012
Reactive control of spatially developing turbulent boundary layer Stroh, A.; Simon, R.; Hasegawa, Y.; Frohnapfel, B.; Khujadze, G.; Oberlack, M. 2012. 83rd Annual Meeting of the International Association of Applied Mathematics and Mechanic (GAMM), Darmstadt, Germany, 26.-30.03.2012
Regulatory Issues of Smart Grids Bräuchle, T.; Weis, E. 2012. EIT ICT Labs : Smart Energy Systems Summer School 2012, Karlsruhe, Germany, 27. September 2012
Introduction Spiecker gen. Döhmann, I. 2012. Informatik 2013 - Informatik angepasst an Mensch, Organisation und Umwelt; Tagung vom 16.-20. September 2013 in Koblenz. Hrsg.: M. Horbach, Gesellschaft für Informatik (GI)
DoS Detection with Markov Chains Dudek, D. 2012. 9th European Conference on Wireless Sensor Networks (EWSN), Poster and Demo Proceedings, Trento (Italy), February 15-17, 2012. Ed.: A. Murphy
Common Privacy Patterns in Video Surveillance and Smart Energy Bier, C.; Krempel, E. 2012. 7th International Conference on Computing and Convergence Technology (ICCCT), Seoul, Korea, 3 - 5 Dec. 2012. Ed.: K. Kwack, 610–615, Institute of Electrical and Electronics Engineers (IEEE)
Evaluating the Usability of Interactive Verification Systems Beckert, B.; Grebing, S. 2012. 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems (COMPARE), Manchester, UK, June 30, 2012. Ed.: V. Klebanov, 3–17, RWTH Aachen
Mind the Gap: Formal Verification and the Common Criteria Beckert, B.; Bruns, D.; Grebing, S. 2012. 6th International Verification Workshop – VERIFY-2010 - What are the verification problems? What are the deduction techniques? Edinburgh, Great Britain, July 20–21, 2010. Hrsg.: M. Aderhold, 4–12, EasyChair
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft