Engineering Label-Constrained Shortest-Path Algorithms Barrett, C.; Bisset, K.; Holzer, M.; Konjevod, G.; Marathe, M. V.; Wagner, D. 2009. The shortest path problem : ninth DIMACS implementation challenge, 13.-14.11.2006. Ed.: C. Demetrescu, 309–321, American Mathematical Society
Karl Bernhard Zoeppritz (1881-1908) Ritter, J. R. R.; Barth, A.; Schweitzer, J. 2009. Mitteilungen / Deutsche Geophysikalische Gesellschaft, 2009 (1), 18–26
Seismic prediction ahead of tunnel construction using tunnel surface-waves Jetschny, S.; De Nil, D.; Bohlen, T. 2009. 22nd Symposium on the Application of Geophysics to Engineering and Environmental Problems 2009 (SAGEEP 2009), 29 March - 2 April 2009, Forth Worth, Texas; Vol. 2, 962–967, Curran
Interoperation of World-Wide Production e-Science Infrastructures Riedel, M.; Laure, E.; Soddemann, T.; Field, L.; Navarro, J. P.; Casey, J.; Litmaath, M.; Baud, J. P.; Koblitz, B.; Catlett, C.; Skow, D.; Zheng, C.; Papadopoulos, P. M.; Katz, M.; Sharma, N.; Smirnova, O.; Kónya, B.; Arzberger, P.; Würthwein, F.; Rana, A. S.; et al. 2009. Concurrency and computation, 21 (8), 961–990. doi:10.1002/cpe.1402|
Parallel Geometric Algorithms for Multi-Core Computers Batista, V. H. F.; Millman, D. L.; Pion, S.; Singler, J. 2009. Proceeding SCG ’09 Proceedings of the 25th annual symposium on Computational geometry, Aarhus University, Denmark, June 8-10, 2009, 217–226, Association for Computing Machinery (ACM)
A generic Framework for Life-Cycle-Management of heterogenic Building Automation Systems Gutu, D.; Krahtov, K.; Ovtcharova, J.; Rogalski, S.; Wacker, D. 2009. Flexible automation and intelligent manufacturing. Proceedings of the 19th International Conference on Flexible Automation and Intelligent Manufacturing (FAIM 2009), Middlesbrough, UK, July 6th - July 8th, 2009, University of Teesside
ecoFLEX - Inter-branch Methodology for Flexibility Measurements of Production Systems Rogalski, S. 2009. Flexible automation and intelligent manufacturing. Proceedings of the 19th International Conference on Flexible Automation and Intelligent Manufacturing (FAIM 2009), Middlesbrough, UK , July 6th - July 8th, 2009, University of Teesside
Formal Analyses of Usage Control Policies Pretschner, A.; Rüesch, J.; Schaefer, C.; Walter, T. 2009. International Conference on Availability, Reliability, and Security. ARES, Fukuoka, Japan, 16 - 19 March 2009, 98–105, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ARES.2009.100
An Overview of Distributed Usage Control Pretschner, A. 2009. Proceedings of the 2nd International Conference on Knowledge Engineering, Pinciples and Techniques, KEPT2009 Cluj-Napoca (Romania), July 2-4, 2009, 25–33
Usage Control Enforcement with Data Flow Tracking for X11 Pretschner, A.; Büchler, M.; Harvan, M.; Schaefer, C.; Walter, T. 2009. Proceedings. 5th International Workshop on Security and Trust Management (STM), Saint Malo, France, September 24-25 2009, 124–137
GoCoMM: A Governance and Compliance Maturity Model Gheorghe, G.; Massacci, F.; Neuhaus, S.; Pretschner, A. 2009. Proceedings of the first ACM Workshop on Information Security Governance : November 13, 2009, Chicago, Illinois, USA, 33–38, Association for Computing Machinery (ACM)
A Wireless Sensor Network for Border Surveillance Dudek, D.; Haas, C.; Kuntz, A.; Zitterbart, M.; Krüger, D.; Rothenpieler, P.; Pfisterer, D.; Fischer, S. 2009. Proceeding SenSys ’09 Proceedings of the 7th ACM Conference on Embedded Networked Sensor Systems, Berkeley, California - November 4-6, 2009, 303–304, Association for Computing Machinery (ACM)
Banishing Patch-Cables from LAN Parties - Using Ad-hoc P2P Multicast as a Substitute? Baumung, P. 2009. Kommunikation in Verteilten Systemen (KiVS) 16. Fachtagung Kommunikation in Verteilten Systemen (KiVS 2009) Kassel, 2.-6. März 2009 Eine Veranstaltung der Gesellschaft für Informatik (GI) unter Beteiligung der Informationstechnischen Gesellschaft (ITG/VDE) Ausgerichtet von der Universität Kassel. Ed.: K. David, 291–296, Springer-Verlag
Large-scale evaluation of distributed attack detection Gamer, T.; Mayer, C. 2009. Proceeding Simutools ’09 Proceedings of the 2nd International Conference on Simulation Tools and Techniques, Rome, March 2-6 2009, 1–8, ICST
QoS Support for Mobile Users Using NSIS Bless, R.; Röhricht, M. 2009. NETWORKING 2009 8th International IFIP-TC 6 Networking Conference Aachen, Germany, May 11-15, 2009, Proceedings. Ed.: L. Fratta, 169–181, Springer-Verlag
Secure Signaling in Next Generation Networks with NSIS Bless, R.; Röhricht, M. 2009. 2009 IEEE International Confernece on Communications ICC 2009 Proceedings, Dresden, Germany, 14-18 June 2009, 1–6, IEEE Computer Society
Towards End-to-End Connectivity for Overlays across Heterogeneous Networks Waldhorst, O.; Mies, S.; Wippel, H. 2009. IEEE International Conference on Communications workshops (ICC workshops 2009) : Dresden, Germany, 14 - 18 June 2009, 6 S., Institute of Electrical and Electronics Engineers (IEEE)
Network virtualization architecture: proposal and initial prototype Werle, C.; Bless, R.; Papadimitriou, P.; Schaffrath, G.; Feldmann, A.; Greenhalgh, A.; Kind, M.; Maennel, O.; Mathy, L. 2009. Proceeding VISA ’09 Proceedings of the 1st ACM workshop on Virtualized infrastructure systems and architectures, 63–72, Association for Computing Machinery (ACM)
A Node Architecture for 1000 Future Networks Völker, L.; Martin, D.; Werle, C.; Zitterbart, M.; Khayat, I. 2009. 2009 IEEE International Confernece on Communications Workshops ICC2009 Proceedings, Dresden, Germany, 14-18 June 2009. Ed.:, 1–5, IEEE Computer Society
Model-Driven Instrumentation of Graphical User Interfaces Funk, M.; Hoyer, P.; Link, S. 2009. Proceeding ACHI ’09 Proceedings of the 2009 Second International Conferences on Advances in Computer-Human Interactions, February 1-7, 2009 - Cancun, Mexico, 19–25, IEEE Computer Society
A Model-Driven Development Approach Focusing Human Interaction Link, S.; Hoyer, P.; Kopp, T.; Abeck, S. 2009. Proceeding ACHI ’09 Proceedings of the 2009 Second International Conferences on Advances in Computer-Human Interactions, February 1-7, 2009 - Cancun, Mexico, 90–96, IEEE Computer Society
Rule-Based Service Modeling Gebhart, M.; Abeck, S. 2009. Proceeding ICSEA ’09. Proceedings of the 2009 Fourth International Conference on Software Engineering Advances, Porto, Portugal, 20-25 September 25, 2009, 271–276, IEEE Computer Society
Linking Functional Requirements and Software Verification Post, H.; Sinz, C.; Merz, F.; Gorges, T.; Kropf, T. 2009. Proceeding RE ’09 Proceedings of the 2009 17th IEEE International Requirements Engineering Conference, RE, Atlanta, Georgia, USA, August 31-September 04, 295–302, IEEE Computer Society
Problem-Sensitive Restart Heuristics for the DPLL Procedure Sinz, C.; Iser, M. 2009. Theory and Applications of Satisfiability Testing - SAT 2009 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings. Ed.: O. Kullmann, 356–362, Springer-Verlag
Reforming subsidies Lehmann, M.; ten Brink, P.; Bassi, S.; Cooper, D.; Kenny, A.; Kuppler, S.; Moltke, A. von; Sirini, W. 2009. The Economics of Ecosystems and Biodiversity TEEB for National and International Policy Makers, 2009
Crossing-Optimal Acyclic HP-Completion for Outerplanar st-Digraphs Mchedlidze, T.; Symvonis, A. 2009. Computing and Combinatorics 15th Annual International Conference, COCOON 2009 Niagara Falls, NY, USA, July 13-15, 2009 Proceedings. Ed.: H. Q. Ngo, 76–85, Springer-Verlag
Dynamic Graph Clustering Using Minimum-Cut Trees Görke, R.; Hartmann, T. 2009. Algorithms and Data Structures 11th International Symposium, WADS 2009, Banff, Canada, August 21-23, 2009. Proceedings. Ed.: F. Dehne, 339–350, Springer-Verlag
Abstract Interpretation of Symbolic Execution with Explicit State Updates Bubel, R.; Hähnle, R.; Weiß, B. 2009. Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures. Ed.: F. S. de Boer, 247–277, Springer-Verlag
Improving Non-Progress Cycle Checks Farago, D.; Schmitt, P. H. 2009. Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings. Ed.: C. S. Pasareanu, 50–67, Springer-Verlag
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft