Jähnisch, M. and Fatikow, S.; 01 / 2007

Carlson, K. and Andersen, K.N. and Eichhorn, V. and Petersen, D.H. and Mølhave, K. and Bu, I.Y.Y. and Teo, K.B.K. and Milne, W.I. and Fatikow, S. and Bøggild, P.; 08 / 2007

Damm, Werner and Metzner, Alexander; Proceedings of the GM R&D Workshop, Bangalore, India; 01 / 2007

Duong, Hoa Dung Ha and Melchiorre, Christian and Meyer, Eike Michael and Nieto, Ignacio and Paris, Gerard and Pelliccione, Patrizio and Tastet-Cherel, Frederique; Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises; 01 / 2007

Segelken, Marc; Computer Aided Verification; 07 / 2007

Walz, Michael and Kotter, Elmar C. and Riesmeier, Jörg and Onken, Michael and Kauer, Thomas and Eichelberg, Marco and Mildenberger, Peter; 01 / 2007

Giesecke, Simon and Hasselbring, Wilhelm and Pahl, Claus; ECSA 2007; 01 / 2007

Herrholz, Andreas and Oppenheimer, Frank and Schallenberg, Andreas and Nebel, Wolfgang and Grimm, Christoph and Damm, Markus and Herrera, Fernando and Villar, Eugenio and Sander, Ingo and Jantsch, Axel and Fouilliart, Anne-Marie and Martinez, Marcos; Proceedings of Design, Automation and Test in Europe 2007, Nice, France; 04 / 2007

Grüning, Fabian and Uslar, Mathias; EnviroInfo 2007, Environmental Informatics and Systems Research; 01 / 2007

Krüger, Nils and Boll, Susanne; DACH Security 2007; 01 / 2007

Nebel, Wolfgang; 09 / 2007

Heuten, Wilko and Henze, Niels and Boll, Susanne and Klante, Palle; Audio Mostly 2007 - 2nd Conference on Interaction with Sound; 01 / 2007

Krohs, F., Hagemann, S., Fatikow, S.; 06 / 2007

Krohs, Florian and Hagemann, Saskia and Fatikow, Sergej; 06 / 2007

Hagemann, S. and Krohs, F. and Fatikow, S.; 03 / 2007

Hagemann, Saskia and Krohs, Florian and Fatikow, Sergej; 03 / 2007

Dierks, Henning and Kupferschmid, Sebastian and Larsen, Kim G.; Formal Modeling and Analysis of Timed Systems. 5th International Conference, FORMATS 2007; 01 / 2007

Damm, Werner and Mikschl, Alfred and Oehlerking, Jens and Olderog, Ernst-Rüdiger and Pang, Jun and Platzer, André and Segelken, Marc and Wirtz, Bernd; Formal Methods and Hybrid Real-Time Systems, Essays Dedicated to Dines Bjoerner and Zhou Chaochen on the Occasion of Their 70th Birthdays; 01 / 2007

Gudenkauf, Stefan; GI Softwaretechnik-Trends; 12 / 2007

Korte, Mario and Slomka, Frank; Proceedings of the Forum on Design Languages 2007; 09 / 2007

Korte, Mario and Slomka, Frank; Proceedings of the Forum on Design Languages; 09 / 2007

Jasper, D. and Fatikow, S.; 10 / 2007

Jasper, D. and Dahmen, C. and Fatikow, S.; 09 / 2007

Dierks, Henning and Metzner, Alexander and Stierand, Ingo; 06 / 2007

Frank Oppenheimer and William Davis (eds.); 01 / 2007

Poppen, Frank and Jährling, Alexander and Nebel, Wolfgang; 03 / 2007

Werner Damm and Holger Hermanns; Lecture Notes in Computer Science; 01 / 2007

Brell, Melina and Hein, Andreas; 03 / 2007

Henze, Niels and Lim, Mingyu and Lorenzm Andreas and Mueller, Michael and Righetti, Xavier and Rukzio, Enrico and Zimmermann, Andreas and Magnenat-Thalmann, Nadia and Boll, Susanne and Thalmann, Daniel; Mobile Interaction with the Real World; 01 / 2007

Krohs, Florian and Hagemann, Saskia and Otero, Jorge and Puig-Vidal, Manel and Fatikow, Sergej; Proceedings of SPIE, the International Society for Optical Engineering; 10 / 2007

Krohs, F. and Hagemann, S. and Oterob, J. and Puig-Vidal, M. and Fatikow, S.; 10 / 2007

Stolle, C. and Fatikow, S.; 22nd IEEE International Symposium on Intelligent Control (ISIC); 10 / 2007

Ommen, Dennis and Behrensen, Stefan and Busemann, Claas and Martens, Birger and Kamenik, Jens and Brucke, Matthias; KNX Scientific Conference Contact and further information: Tagungsband KNX Scientific Conference 2007; 11 / 2007

Brunzema, Claus and Nebel, Wolfgang; Proceeding of the FDL 2007; 01 / 2007

Uslar, Mathias; EMISA Forum 27(1); 01 / 2007

Mildenberger, Peter and Kotter, Elmar C. and Riesmeier, Jörg and Onken, Michael and Kauer, Thomas and Eichelberg, Marco and Walz, Michael; 01 / 2007

Hellmeier, Wolfgang and Rohde, Martin and Annuss, Rolf; Kongress Medizin und Gesellschaft 2007; 11 / 2007

Rölker, Lars; 03 / 2007

Grüning, Fabian; Information Technologies in Environmental Engineering - ITEE 2007 - Third International ICSC Symposium; 01 / 2007

Fatikow, S. and Eichhorn, V. and Wich, T. and Sievers, T. and Hänßler, O. and Norstrøm, K. Andersen; IEEE International Conference on Mechatronics and Automation (ICMA); 08 / 2007

Luttermann, T. and Wich, T. and Stolle, C. and Fatikow, S.; 2nd International Conference on Micro-Manufacturing (ICOMM-2007); 09 / 2007

Fatikow, S. and Eichhorn, V. and Krohs, Fl. and Stolle, C. and Hagemann, S.; SPIE Conference - Microtechnologies for the New Millennium; 05 / 2007

Fatikow, S. and Eichhorn, V. and Krohs, F. and Mircea, I. and Stolle, C. and Hagemann, S.; 05 / 2007

Fatikow, S. and Eichhorn, V. and Krohs, F. and Mircea, I. and Stolle, C. and Hagemann, S.; Microsystem Technologies; 11 / 2007

Winkels, Ludger and Schmedes, Tanja and Appelrath, Hans-Jürgen; 01 / 2007

Lüdtke, Andreas; DLR Nachrichten, November 2007; 01 / 2007

Lüdtke, Andreas; 11 / 2007

Schmedes, Tanja and Tröschel, Martin and Uslar, Mathias; Proceedings of the 2007 POWERGRID Europe Conference, Session on Connecting DG and Renewables to the Grid; 1 / 2007

Winkels, Ludger and Osterloh, Jan-Patrick and Gruening, Fabian and Boers, Dave and Tröschel, Martin and Schmedes, Tanja and Uslar, Mathias; Information Technologies in Environmental Engineering - ITEE 2007 - Third International ICSC Symposium; 1 / 2007

Möbus, C. and Hübner, S. and Garbe, H.; Prospektive Gestaltung von Mensch-Technik-Interaktion; 10 / 2007

Knies, Jürgen; Angewandte Geoinformatik 2007. Beiträge zum 19. AGIT-Symposium Salzburg; 06 / 2007

Kleen, Henning; 05 / 2007

Frimont, Sven and Nebel, Wolfgang; Zuverlässigkeit und Entwurf 2007; 03 / 2007

; Tagungsband des 10. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"; 03 / 2007

Andersen, K. N. and Carlson, K. and Petersen, D. H. and Mølhave, K. and Eichhorn, V. and Fatikow, S. and Bøggild, P.; 33rd International Conference on Micro- and Nano-Engineering (MNE07); 09 / 2007

Hildebrandt, Dieter and Schumann, Rene and Kiziltoprak, Türk and Behrens, Jan; Key Factors for Successful Logistics: Services, Transportation Concepts and Management Tools; 09 / 2007

Knocke, Patrick; 04 / 2007

Schmedes, Tanja; Science Meets Business - Stuttgarter Softwaretechnik Forum 2007; 01 / 2007

Hein, Andreas and Thoben, Wilfried and Appelrath, Hans-Jürgen and Jensch, Peter; 01 / 2007

Brell, Melina and Lenze, Carsten and Hein, Andreas; GMS Current Topics in Computer- and Robot-Assisted Surgery (GMS CURAC); 07 / 2007

Damm, Werner and Disch, Stefan and Hungar, Hardi and Jacobs, Swen and Pang, Jun and Pigorsch, Florian and Scholl, Christoph and Waldmann, Uwe and Wirtz, Boris; Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007; 01 / 2007

Onken, Michael and Eichelberg, Marco and Riesmeier, Jörg and Mildenberger, Peter; Computer Assisted Radiology and Surgery: (CARS 2007); 01 / 2007

Dittmann, Florian and Rammig, Franz and Streubühr, Martin and Haubelt, Christian and Schallenberg, Andreas and Nebel, Wolfgang; 05 / 2007

Postina, Matthias and Schumann, René and Preis, Sonja and Behrens, Jan; 09 / 2007

Cipriani Nazario and Grossmann, Matthias and Nicklas, Daniela and Mitschang, Bernhard; 01 / 2007

Faber, Johannes and Stierand, Ingo; 01 / 2007

Heuten, Wilko and Horstmann, Mirko and Boll, Susanne and Miene, Andrea; 01 / 2007

Ahlers, Dirk and Boll, Susanne; Datenbank-Spektrum - Themenheft Fokussierte Suche; 01 / 2007

Thiel, Andreas and Eichelberg, Marco and Wein, Berthold and Naml, Tuncayi and Dogac, Asuman; European Conference on eHealth 2007; 01 / 2007

Werner Damm and Guilherme Pinto and Stefan Ratschan; International Journal of Foundations of Computer Science; 01 / 2007

Boll, Susanne and Westermann, Utz; 03 / 2007

Wich, T. and Luttermann, T. and Mircea, I.; Computational Methods And Experiments In Materials Characterisation III; 06 / 2007

Appell, J.E. and Hohmann, V. and Schulz, A. and Hein, A.; Fortschritte der Akustik - - DAGA \ , 2007; 03 / 2007

Brüggemann, Stefan and Rohde, Martin; 01 / 2007

Lüdtke, Andreas and Pfeiffer, Lothar; 26th International Conference on Computer Safety, Reliability and SecurityComputer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007; 09 / 2007

Uslar, M. and Schulte, S. and Berbner, Rainer and Steinmetz, Ralf; Information Technologies in Environmental Engineering - ITEE 2007 - Third International ICSC Symposium; 03 / 2007

Schumann, Rene and Sauer, Jürgen; Innovative Processes and Products for Mass Customization; 06 / 2007

Otero and J. and Puig and M. and Hagemann and S. and Krohs and F.; AFM BioMed Conference; 04 / 2007

Otero, Jordi and Puig-Vidal, Manel and Hagemann, Saskia, Krohs, Florian and Fatikow, Sergej and ; 04 / 2007

Taeger, Jürgen and Rose, Edgar; 01 / 2007

Uslar, Mathias and Gronau, Norbert; 04 / 2007

Heuten, W. and Henze, N. and Boll, S.; CHI 07: Human factors in computing systems; 01 / 2007

Lüdtke, Andreas and Leuchter, Sandro and Urbas, Leon; 10th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems (IFAC-HMS 2007); 09 / 2007

Brandt, Philipp; 01 / 2007

Krüger, Nils and Rose, Edgar; Tagungsband Herbstakademie 2007 - Aktuelle Entwicklungen im Informationstechnologierecht; 01 / 2007

Korte, Mario and Tröschel, Martin and Schulz, Christian and Pielke, Magnus and Kurrat, Micheal and Slomka, Frank; Tagungsband zum ETG-Kongress 2007; 10 / 2007

Korte, Mario and Tröschel, Martin and Schulz, Christian and Pielke, Magnus and Kurrat, Michael and Slomka, Frank; ETG-Kongress 2007; 5 / 2007

Dittmann, Florian and Rettberg, Achim and Weber, Raphael; Proceedings of the 2007 International Conference on Engineering of Reconfigurable Systems & Algorithms; 06 / 2007

Ahlers, Dirk and Boll, Susanne and Wichmann, Daniel; 09 / 2007

Ahlers, Dirk and Boll, Susanne; The Geospatial Web. How Geo-Browsers, Social Software and the Web 2.0 are Shaping the Network Society; 01 / 2007

Helms, Domenik and Nebel, Wolfgang; Proceedings on the 14th IEEE Internactional Conference on Electronics, Circuits, and Systems; 12 / 2007

Gründler, Michael and Spekker, Heyo and Nee, Oliver and Eichelberg, Marco and Kronberg, Kay; 01 / 2007

Springmann and Bischofs and Fischer and Schek and Schuldt and Steffens and Vogl; Proceedings of the DELOS Conference; 01 / 2007

Uslar, Mathias and Streekmann, Nils and Abels, Sven; eOrganisation: Service-, Prozess-, Market-Engineering; 01 / 2007

Steffens, Ulrike and Addicks, Jan Stefan and Streekmann, Niels; 01 / 2007

Boll, Susanne and Sandhaus, Philip and Scherp, Ansgar and Thieme, Sabine; International Multimedia Modeling Conference (MMM 2007); 01 / 2007

Mircea, J. and Fatikow, S. and Sill, A.; IEEE NANO-Conference; 08 / 2007

Giesecke, Simon and Hasselbring, Wilhelm and Bornhold, Johannes; 01 / 2007

Bauer, Jörg and Toben, Tobe and Westphal, Bernd; 10 / 2007

Gründler, Michael and Spekker, Heyo and Nee, Oliver and Eichelberg, Marco and Kronberg, Kay; 11 / 2007

Korte, Mario; Tagungsband zum 1. Statusseminar des Forschungsverbundes Energie Niedersachsen; 06 / 2007

Kaczoreck, N.; 03 / 2007

Schmedes, Tanja; Software Engineering 2007 - Beiträge zu den Workshops; 03 / 2007

Häusler, Stefan and Poppen, Frank and Hausmann, Kevin and Preis, Sonja and Hahn, Axel and Nebel, Wolfgang and Leppelt, Peter and Hassine, Amir and Barke, Erich; edaWorkshop 07; 07 / 2007

Oppenheimer, Frank; 01 / 2007

Hoyer, M. and Helms, D. and Nebel, W.; Proceedings of the PATMOS 2007; 01 / 2007

Korte, Mario; 06 / 2007

Marco Blumendorf and Sebastian Feuerstack and Sahin Albayrak; Constructing Ambient Intelligence: AmI 2007 Workshops Darmstadt; 2007

Boll, Susanne; 01 / 2007

Fatikow, S and Eichhorn, V. and Sill, A. and Steinecker, A. and Meyer, C. and Occhipinti, L. and Fahlbusch, S. and Utke, I. and Bøggild. P. and Breguet, J.-M. and Kaufmann, R. and Zadrazil, R. and Barth, W.; International Syposium on Optomechatronic Technologies (ISOT 2007); 10 / 2007

Eichhorn, V. and Carlson, K. and Andersen, K. N. and Fatikow, S. and Bøggild, P.; IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2007); 10 / 2007

Daniela Nicklas; Photogrammetic Week '07; 01 / 2007

Toben, Tobe; 07 / 2007

Grüttner, Kim and Grabbe, Cornelia and Oppenheimer, Frank and Nebel, Wolfgang; proceeding in SASIMI 2007, Hokkaido, Japan; 10 / 2007

Oppenheimer, Frank and Grüttner, Kim; 05 / 2007

Nabarra D., Palanque P., Barboni E., Mistrzyk T.; Task Models and Diagrams for User Interface Design; 11 / 2007

Damm, Werner and Toben, Tobe and Westphal, Bernd; Program Analysis and Compilation, Theory and Practise: Essays Dedicated to Reinhard Wilhelm; 01 / 2007

Brüggemann, S. and Aden, T.; Informatik 2007 - Informatik trifft Logistik; 01 / 2007

Hungar, Hardi and Bruhns, Gerhard and Plan, Oliver and Lemke, Oliver; SIGNAL + DRAHT 09/2007; 01 / 2007

Dittmann, Florian and Rettberg, Achim and Weber, Raphael; Proceedings of the 20th annual conference on Integrated circuits and systems design; 09 / 2007

Brunzema, Claus and Grabbe, Cornelia and Grüttner, Kim and Hartmann, Philipp Andreas and Herrholz, Andreas and Kleen, Henning and Oppenheimer, Frank and Schallenberg, Andreas and Stehno, Christian and Schubert, Thorsten; 01 / 2007

Hartmann, Philipp Andreas and Schallenberg, Andreas and Oppenheimer, Frank and Nebel, Wolfgang; 04 / 2007

Oppenheimer, Frank and Grüttner, Kim; 09 / 2007

Onken, Michael and Eichelberg, Marco and Riesmeier, Jörg and Kotter, Elmar C. and Walz, Michael and Mildenberger, Peter; 01 / 2007

Hildebrandt, Dieter; 09 / 2007

Oppenheimer, Frank; 01 / 2007

Ha Duong, Hoa Dung and Melchiorre, Christian and Meyer, Eike Michael and Nieto, Ignacio and Paris, Gerard and Pelliccione, Patrizio and Tastet-Cherel, Frederique; Proceedings of the 3rd International Conference on Collaborative Computing: Networking, Applications and Worksharing, White Plains, New York, USA, November 12-15, 2007.; 01 / 2007

Brell, Melina and Hein, Andreas; IEEE MultiMedia; 09 / 2007

Uslar, M.; 08 / 2007

Krottmaier, Harald and Kurth, Frank and Steenweg, Thorsten and Appelrath, Hans-Jürgen and Fellner, Dieter; Research and Advanced Technology for Digital Libraries: 11th European Conference, ECDL 2007, Budapest, Hungary, September 16-21, 2007, Proceedings; 09 / 2007

Becker Christian and Jensen, Christian S. and Nicklas, Daniela and Su Jianwen ; 05 / 2007

Hasselbring, W. and Matevska, J. and Niemann, H. and Geesen, D. and Garbe, H. and Gudenkauf, S. and Kruse, S. and Möbus, C. and Grawunder, M.; 02 / 2007

Sebastian Feuerstack and Marco Blumendorf and Sahin Albayrak; Constructing Ambient Intelligence: AmI 2007 Workshops Darmstadt; 2007

Birnschein, Timo; 02 / 2007

Hildebrandt, Dieter and Bischofs, Ludger and Hasselbring, Wilhelm; Proceedings of the 15th Euromicro Conference on Parallel, Distributed and Network-based Processing (PDP 2007); 02 / 2007

Buschermöhle, Ralf and Reemts Robbe, Oliver; International Conference on Modeling, Simulation and Visualization Methods; 06 / 2007

Buschermöhle, Ralf and Reemts Robbe, Oliver; 01 / 2007

Wang, Z. and Fatikow, S. and Su, Sh. and Yang, M. and Hülsen, H.; IEEE International Conference on Mechatronics and Automation (ICMA); 08 / 2007

Rosinger, Sven and Helms, Domenik and Nebel, Wolfgang; proceeding in PATMOS_2007; 01 / 2007

Hungar, Hardi and Robbe, Oliver and Wirtz, Boris; Proceedings FORMS/FORMAT 2007; 01 / 2007

Nee, Oliver and Hein, Andreas and Gorath, Thorsten and Hulsmann, Nils and Laleci, Gokce B. and Yuksel, Mustafa and Olduz, Mehmet and Tasyurt, Ibrahim and Orhan, Umut and Dogac, Asuman and Fruntelata, Ana and Ghiorghe, Silvin and Ludwig, Ralf; IEE Proceedings Communications-Special Issue on Telemedicine and e-Health Communication Systems; 01 / 2007

Sandhaus, Philip and Boll, Susanne and Scherp, Ansgar and Westermann, Utz; Proceedings of ACM MM'07; 09 / 2007

Hesselmann, Tobias; 09 / 2007

Teiken, Yvette; 05 / 2007

Koch, Sascha and Teiken, Yvette; Multikonferenz Wirtschaftsinformatik 2008 (MKWI 2008) - Teilkonferenz Business Intelligence; 11 / 2007

Luhmann, Till; Meister, Jürgen; Wulff, Christian; Wirtschaftsinformatik, Schwerpunktheft – IT in der Energiewirtschaft; 10 / 2007

Bernd Becker, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Andreas Podelski, and Reinhard Wilhelm; Information Technology; 01 / 2007

Boll, Susanne; 10 / 2007

Editors: A. Jedlitschka, H. Eekhoff, R. Kalmar; 01 / 2007

Ploski, Jan and Hasselbring, Wilhelm; 01 / 2007

Vaumorin, Emanuel and Grabbe, Cornelia and Oppenheimer, Frank and Thibaut, Vincent; 01 / 2007

Stuber, Ralph and Altenhöner, Thomas and Lüpkes, Christian; Telemedizinführer Deutschland (Ausgabe 2008); 07 / 2007

Buschermöhle, Ralf and Eekhoff, Heike and Josko, Bernhard; International Conference on Software Engineering Research and Practice; 06 / 2007

Buschermöhle, Ralf and Eekhoff, Heike and Josko, Bernhard; OBJEKTspektrum; 01 / 2007

Helms, Domenik; Proceedings of the 14th International Conference MIXDES 2007; 01 / 2007

Helms, Domenik; 01 / 2007

Pielot, Martin and Henze, Niels and Heuten, Wilko and Boll, Susanne; 2nd International Workshop on Haptic and Audio Interaction Design; 01 / 2007

Meis, M. and Appell, J.--E. and Hohmann, V. and v. Son, N. and Frowein, H. and Oester, A.-M. and Hein, A.; European Conference on eHealth 2007; 01 / 2007

Stadler, M. and Krause, W. and Sonnenschein, M. and Vogel, U.; 21st Conference on Informatics for Environmental Protection - Enviroinfo Warsaw 2007; 01 / 2007

Herrholz, Andreas and Oppenheimer, Frank and Hartmann, Philipp A. and Schallenberg, Andreas and Nebel, Wolfgang and Damm, M. and Herrera, F. and Villar, E. and Sander, I. and Jantsch, A. and Fouilliart, A.-M. and Martinez, Marcos; Proceedings of 2007 International Conference on Field Programmable Logic and Applications; 08 / 2007

Bauer, Jörg and Toben, Tobe and Westphal, Bernd; Reports of SFB/TR 14 AVACS; 06 / 2007

Schattenberg, Bernd and Krebs, Thorsten and Schumann, Rene; 02 / 2007

Giesecke, Simon and Hasselbring, Wilhelm and Rohr, Matthias; 01 / 2007

Scherp, Ansgar and Jain, Ramesh; MS 07: Workshop on multimedia information retrieval on The many faces of multimedia semantics; 09 / 2007

Wieland, Matthias and Kopp, Oliver and Nicklas, Daniela and Leymann, Frank; Proceedings of Workshop on Ubiquitous Mobile Information and Collaboration Systems (Caise'07) Workshop; 01 / 2007

Eidenberger, Horst and Boll, Susanne and Christodoulakis, Stavros and Divotkey, Doris and Leopold, Klaus and Martin, Alessandro and Perego, Andrea and Scherp, Ansgar and Tsinaraki, Chrisa; DELOS Conference Working Notes; 03 / 2007

Hellrung, Nils and Awe, Björn and Bogenstahl, Christoph and Gründler, Michael and Gusew, Nathalie and Schultz, Carsten and Spekker, Heyo and Gemünden, Hans Georg and Haux, Reinhold and Thoben, Wilfried; Kongresses für Medizin und Gesellschaft; 01 / 2007

Emir, Burak and Ma, Qin and Odersky, Martin; The Fifth ASIAN Symposium on Programming Languages and Systems (APLAS 2007); 01 / 2007

Fatikow, S. and Eichhorn, V. and Sill, A.; Mikrosystemtechnik Kongress Dresden 2007; 10 / 2007

Mistrzyk t., Szwillus G.; Simulationsgestützte Systemgestaltung; 10 / 2007

Kupferschmid, Sebastian and Dräger, Klaus and Hoffmann, Jörg and Finkbeiner, Bernd and Henning Dierks and Aandreas Podelski and Gerd Behrmann; Tools and Algorithms for the Construction and Analysis of Systems (TACAS); 01 / 2007

Horn, Janine; 01 / 2007

Hahn, Axel and Hausmann, Kevin and Häusler, Stefan and Strickmann, Jan; 01 / 2007

Bauer, Jörg and Damm, Werner and Toben, Tobe and Westphal, Bernd; 10 / 2007

Schwarz, Christoph and Siemer, Christian; 11 / 2007

Helms, Domenik and Meyer, Olaf and Hoyer, Marco and Nebel, Wolfgang; Intl. Symposium on Low Power Electronic Design; 01 / 2007

Brell, Melina and Hein, Andreas; 09 / 2007

Dr. Wilfried Thoben, Ralph Stuber; ti - Technologie-Informationen niedersächsischer Hochschulen: Digitale Verwaltung; 01 / 2007

Uslar, Mathias and Grüning, Fabian; 11 / 2007