@book{GruenewaldKadenQuastetal., author = {Gr{\"u}newald, Uwe and Kaden, Stephan and Quast, Joachim and Wechsung, Frank}, title = {Nach dem Elbehochwasser 2002 - Thesen und Vorschl{\"a}ge}, publisher = {WE-BB Water Experts Berlin Brandenburg e. V.}, language = {de} } @inproceedings{FrankGrabmuellerHofstedtetal., author = {Frank, Stephan and Grabm{\"u}ller, Martin and Hofstedt, Petra and Kleeblatt, Dirk and Pepper, Peter}, title = {Safety of Compilers and Translation Techniques - Status quo of Technology and Science}, series = {Automotive - Safety \& Security 2008 - Sicherheit und Zuverl{\"a}ssigkeit f{\"u}r automobile Informationstechnik, 19. und 20. November 2008, Stuttgart}, booktitle = {Automotive - Safety \& Security 2008 - Sicherheit und Zuverl{\"a}ssigkeit f{\"u}r automobile Informationstechnik, 19. und 20. November 2008, Stuttgart}, publisher = {Shaker}, address = {Aachen}, isbn = {978-3-8322-7681-2}, pages = {47 -- 62}, language = {en} } @inproceedings{FrankHofstedtPepperetal., author = {Frank, Stephan and Hofstedt, Petra and Pepper, Peter and Reckmann, D.}, title = {Solution Strategies for Multi-domain Constraint Logic Programs}, series = {Perspectives of systems informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27 - 30, 2006}, booktitle = {Perspectives of systems informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27 - 30, 2006}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {978-3-540-70880-3}, pages = {209 -- 222}, language = {en} } @inproceedings{FrankHofstedt, author = {Frank, Stephan and Hofstedt, Petra}, title = {CLFD: A Finite Domain Constraint Solver in Common Lisp}, language = {en} } @inproceedings{FrankHofstedtReckmann, author = {Frank, Stephan and Hofstedt, Petra and Reckmann, D.}, title = {System Description: Meta-S. Combining Solver Cooperation and programming Languages}, language = {en} } @inproceedings{FrankGrabmuellerHofstedtetal., author = {Frank, Stephan and Grabm{\"u}ller, Martin and Hofstedt, Petra and Metzner, Andr{\´e}}, title = {Constraints, Predicates, Functions and a Turtle}, series = {20. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", 2003}, booktitle = {20. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", 2003}, pages = {10}, language = {en} } @inproceedings{FrankHofstedtReckmann, author = {Frank, Stephan and Hofstedt, Petra and Reckmann, D.}, title = {Strategies for the Efficient Solution of Hybrid Constraint Logic Programs}, series = {Third Workshop on Multiparadigm Constraint Programming Languages, Workshop Proceedings September 2004, Saint-Malo, France}, booktitle = {Third Workshop on Multiparadigm Constraint Programming Languages, Workshop Proceedings September 2004, Saint-Malo, France}, pages = {103 -- 118}, language = {en} } @inproceedings{FrankHofstedtMai, author = {Frank, Stephan and Hofstedt, Petra and Mai, Pierre R.}, title = {A Case Study on Termination}, series = {Termination, 6th International Workshop, WST 2003, Valencia, Spain, June 13 - 14, 2003, proceedings}, booktitle = {Termination, 6th International Workshop, WST 2003, Valencia, Spain, June 13 - 14, 2003, proceedings}, editor = {Rubio, Albert}, publisher = {Universidad Polit{\´e}cnica de Valencia}, address = {Valencia}, pages = {49 -- 51}, language = {en} } @misc{HauschildMeyerBenkertetal., author = {Hauschild, Dirk and Meyer, Frank and Benkert, Andreas and Kreikemeyer-Lorenzo, Dagmar and Pohlner, Stephan and Palm, J{\"o}rg and Blum, Monika and Yang, Wanli and Wilks, Regan G. and B{\"a}r, Marcus and Heske, Clemens and Weinhardt, Lothar and Reinert, Friedrich}, title = {Annealing-induced effects on the chemical structure of the In₂S₃/CuIn(S,Se)₂ thin-film solar cell interface}, series = {The Journal of Physical Chemistry: C, Nanomaterials and interfaces}, volume = {119}, journal = {The Journal of Physical Chemistry: C, Nanomaterials and interfaces}, number = {19}, issn = {1932-7447}, doi = {10.1021/acs.jpcc.5b01622}, pages = {10412 -- 10416}, language = {en} } @misc{BusseFischerGebaueretal., author = {Busse, Ralph-Peter and Fischer, Gert and Gebauer, Gert and H{\"o}fler, Frank and Junker, Sabine and Kramer, Thomas and Opperskalski, Stephan and Potthoff, Ulrich and Remus, Ricardo and Schlamkow, Christian and Schmidt, Wolfgang and Scobel, Ekkehard and Stopp, Horst and Strangfeld, Peter and Trang, Ngyen Thi Thu and V{\"o}lker, Eduard and Vukorep, Ilija and Weidhase, Frieder and Winzer, Reinhard}, title = {Floating Architecture - Construction on and near water}, editor = {Stopp, Horst and Strangfeld, Peter}, publisher = {LIT-Verlag}, address = {Berlin}, isbn = {978-3-643-90910-7}, pages = {134}, abstract = {The publishers are receiving more and more inquiries about the topic "Floating Architecture", particularly about technical details, water chemistry, as well as ice and wave problems. Since there is a lack of technical literature on this topic, most students working on projects or theses related to this topic send their inquiries. A time of general and quick changes results in a large number of daily publications. Therefore it is difficult to understand why there is a lack of lit-erature about floating structures. One has to consider that sea levels will continue to rise and consequently a larger number of people will have to live on the surface of the sea. Obviously, some expert knowledge is required which needs a longer period of time to be gained through scientific advancements and experience. The publishers, who have been dealing with the topic of floating houses for some years, are grateful to the authors for their agreement to allow the publication of their papers on floating architecture. These papers were mainly prepared for two conferences on floating architecture held in the study centre of the IBA building, Großr{\"a}schen. Therefore, the reader should know that, along with the usual papers, only a selection of self-explaining transparencies is shown in order to meet the printing requirements. The included list of both the authors and their addresses makes it easy for interested people to send any inquiries to them. A short introduction as well as an outlook at the end of each paper is meant to draw attention to current events in order to be able to promptly identify opportunities and risks connected with living on the water.}, language = {en} }