Autor / Beteiligte

• On the design and implementation of a generic number type for real algebraic number computations based on expression dags Mörig, Marc ; Rössling, Ivo ; Schirra, Stefan Magdeburg : Univ., Fak. für Informatik, 2010 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2010

• Engineering an exact sign of sum algorithm Mörig, Marc ; Schirra, Stefan Magdeburg : Univ., Fak. für Informatik, 2010 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2010

• Summing expansions exactly and efficiently Mörig, Marc ; Weging, Silvio Magdeburg : Univ., Fak. für Informatik, 2011 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2011

• Evaluation of streamline clustering techniques for blood flow data Magdeburg : Univ., Fak. für Informatik, 2012 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2012

• A guideline to test the understandability of notations Patig, Susanne Magdeburg : Univ., Fak. für Informatik, 2007 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2007

• Tool support for contracts in FeatureIDE Proksch, Florian ; Krüger, Stefan Magdeburg : Univ., Fak. für Informatik, 2014 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2014

• Flexible dynamic software updates of Java applications tool support and case study Magdeburg : Univ., Fak. für Informatik, 2011 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2011

• Combining runtime adaptation and static binding in dynamic software product lines Rosenmüller, Marko ; Siegmund, Norbert ; Pukall, Mario Magdeburg : Univ., Fak. für Informatik, 2011 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2011

• IWDE 2011: proceedings of the 2nd International Workshop on Digital Engineering 2011 Magdeburg : Univ., Fak. für Informatik, 2011 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2011

• Hurdles in refactoring multi-language programs Schink, Hagen ; Kuhlemann, Martin Magdeburg : Univ., Fak. für Informatik, 2010 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2010

• Using multi-level interfaces to improve analyses of multi product lines Schröter, Reimar Magdeburg : Univ., Fak. für Informatik, 2014 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2014

• Feature-model interfaces for compositional analyses Magdeburg : Univ., Fak. für Informatik, 2015 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2015

• Reflected vector fields for finding FTLE ridges Magdeburg : Univ., Fak. für Informatik, 2013 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2013

• Reducing time and effort by concurrent firmware update processes on micro-controllers Schulze, Michael ; Diederich, Jörg Magdeburg : Univ., Fak. für Informatik, 2010 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2010

• Techniken zur forensischen Datenhaltung Magdeburg : Univ., Fak. für Informatik, 2012 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2012

• A hierarchical framework for provenance based on fragmentation and uncertainty Schäler, Martin ; Schulze, Sandro ; Saake, Gunter Magdeburg : Univ., Fak. für Informatik, 2012 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2012

• Representing and composing first-class features with FeatureJ Sunkle, Sagar ; Günther, Sebastian ; Saake, Gunter Magdeburg : Univ., Fak. für Informatik, 2009 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2009

• Analysis strategies for software product lines Magdeburg : Univ., Fak. für Informatik, 2012 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2012

• AutoDaMa on the feasibility of secure and tailor-made automotive data management Magdeburg : Univ., Fak. für Informatik, 2011 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2011

• Template little numbers: a toolkit for more userfriendly effcient exact geometric computation Tusch, Jan Magdeburg : Univ., Fak. für Informatik, 2010 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2010