Forschungsberichte der FHDW Hannover

2020

NummerAutorenTitel
02020/01 Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle Towards Multiple Model Synchronization with Comprehensive Systems: Extended Version
02020/02 Carsten Elsner Diophantische Approximation – Geschichte und Konzepte eines Teilgebietes der Zahlentheorie

2019

NummerAutorenTitel
02019/01 Michael Löwe Double-Pushout Rewriting in Context – Rule Composition and Parallel Independence
02019/02 Carsten Elsner On Languages Formed by Sets of Integers – A Bridge Between Automata Theory and Number Theory
02019/03 Michael Löwe Refactoring Information Systems – Association Folding and Unfolding Revisited

2018

NummerAutorenTitel
02018/01 Michael Löwe Characterisation of Parallel Independence in AGREE-Rewriting
02018/02 Michael Löwe Double-Pushout Rewriting in Context
02018/03 Carsten Elsner Irrationality measures of numbers with convergents in arithmetic progressions

2017

NummerAutorenTitel
02017/01 Harald König, Zinovy Diskin Consistency Checking of Interrelated Models, Long Version
02017/02 Lisa Leitloff, Marius Schultchen, Florian Selent, Sascha Sternheim, Patrick Stünkel DELTA - A tool for database refactoring

2016

NummerAutorenTitel
02016/01 Harald König, Zinovy Diskin Individual Local Checking of Global Consistency in Heterogenous Multimodeling: The Story behind the Scenery
02016/02 Harald König, Uwe Wolter Van Kampen Colimits in Presheaf Topoi

2015

NummerAutorenTitel
02015/01 Marius Tempelmeier, Michael Löwe Single-Pushout-Transformation partieller algebraischer Systeme
02015/02 Michael Löwe, Marius Tempelmeier On Single-Pushout Rewriting of Partial Algebras

2014

NummerAutorenTitel
02014/01 Carsten Elsner, Arne Klauke Error sums for the values of the exponential function
02014/02 Michael Löwe Polymorphic Sesqui-Pushout Graph Rewriting

2013

NummerAutorenTitel
02013/01 Carsten Elsner Algebraic independence results for values of theta-constants
02013/02 Volkhard Klinger, Sebastian Bohlmann, Arne Klauke Invivo-Experiment zur System-Validation des modularen Mess-Systems NGEPM-2
02013/03 Michael Löwe, Harald König, Christoph Schulz, Marius Schultchen Algebraic Graph Transformations with Inheritance
02013/04 Michael Löwe, Harald König, Christoph Schulz Polymorphic Single-Pushout Graph Transformation

2012

NummerAutorenTitel
02012/01 Martin Stein Algebraic independence results for reciprocal sums of Fibonacci and Lucas numbers
02012/02 Carsten Elsner Shifting Algebraic Independence Measures
02012/03 Michael Löwe A Unifying Framework for Algebraic Graph Transformation
02012/04 Volkhard Klinger, Sebastian Bohlmann Datenbasierte Systemidentifikation zur iterativen Optimierung bestehender Produktionsprozesse mit ausführbaren hybriden Modellen
02012/05 Harald König Trouble with wrong adjoints
02012/06 Carsten Elsner Varianten eines Kriteriums zum Nachweis algebraischer Unabhängigkeiten

2011

NummerAutorenTitel
02011/01 Karl Müller-Siebers, Vera Dünnbier Bedarfs- und Machbarkeitsstudie für die technisch-wissenschaftliche Weiterbildung im Konvergenz­gebiet Lüneburg-Celle
02011/02 Michael Löwe Refactoring Information Systems – Association Folding and Unfolding –
02011/03 Carsten Elsner, Martin Stein On Error Sum Functions Formed by Convergents of Real Numbers
02011/04 Sebastian Bohlmann, Volkhard Klinger Optimierungsalgorithmen auf massiv parallelen Rechnerarchitekturen

2010

NummerAutorenTitel
02010/01 Christoph Schulz, Michael Löwe, Harald König Categorical Framework for the Transformation of Object-Oriented Systems: Models and Data
02010/02 Michael Löwe Graph Rewriting in Span-Categories
02010/03 Martin Stein Algebraische Unabhängigkeiten von Werten der Fibonacci- und Lucas-Zetafunktion an ganzzahligen Stellen
02010/04 Michael Löwe Van-Kampen Pushouts for Sets and Graphs

2009

NummerAutorenTitel
02009/01 C. Elsner On the Algebraic Independence of Polynomials in Several Variables at Algebraic Independent Points
02009/02 Christoph Schulz Refactoring objektorientierter Systeme
02009/03 Ulrich Bertram, Stefan Bieler, Barbara Heine, Markus Laukner, Ruth Siebers Zur Evaluation des Förderprogramms 'Strategieberatung' der NBank
02009/04 Ulrich Bertram, Stefan Bieler, Ruth Siebers Erfolgsfaktoren von Beratungsprozessen in mittelständischen Unternehmen
02009/05 S. Galda, S. Huemer, A. Jordan, C. Kloy, H. Koenig, U. Rebermann, M. Wunderlich Dynamic Change in Process Management Systems
02009/06 Christoph Schulz Mehrsortige algebraische Systeme
02009/07 Christoph Schulz Algebraische Graphstrukturen und deren Transformation mit dem DPO-Ansatz
02009/08 Christoph Schulz Konzeptionelles Modell objektorientierter Systeme

2008

NummerAutorenTitel
02008/01 H. König On A Universality Property of Graph Transformations
02008/02 M. Schmidt Über Aspekte des Designs symmetrischer Verschlüsselungsverfahren mit einer Anwendung auf ein neues Kryptosystem
02008/03 C. Elsner On Rational Approximations To Euler's Constant

2007

NummerAutorenTitel
02007/01 Harald König, Michael Löwe, Christoph Schulz Functor Semantics for Refactoring-Induced Data Migration
02007/02 Carsten Elsner Algebraische Relationen bei Reihen über reziproke Potenzen von Fibonacci- und Lucaszahlen
02007/03 Stefan Bieler Die Evaluation staatlicher Mittelstandsförderung als Forschungsfeld der Betriebswirtschaftslehre und deren Abgrenzung zum Fördercontrolling
02007/04 Ulrich Bertram Beraterunterstützte Veränderungsprozesse in Klein- und Mittelunternehmen (KMU) - Grundsätzliche Überlegungen und Entwicklung eines Forschungsdesigns auf Basis der 'Grounded Theory'
02007/05 Karl Müller-Siebers Die quantitative Evaluation der Be­ra­tungs­för­de­rung - das Untersuchungsdesign und seine Grenzen
02007/06 J. Steuding, C. Elsner, Chr. Baxa, I. Shiokawa, J. Sander Zahlentheorie - Seminar am 4. und 5. Juni 2007
02007/07 C. Elsner Resultate zur Kettenbruchtheorie, zu Leaping Convergents und zur Rekursionstheorie
02007/08 S. Bohlmann, V. Klinger Modellbildung für kontinuierliche Produktionsprozesse in der Papierindustrie
02007/09 S. Bohlmann, V. Klinger Resultate zur Prozess-Modellierung und -Simulation: Modellierung und Simulation eines Querschneiders

2006

NummerAutorenTitel
02006/01 Christoph Schulz, Michael Löwe, Harald König, Michael Peters Refaktorisierung von Informationssystemen
02006/02 Carsten Elsner On Sequence Transformations With Rational Coefficients For Euler's Constant And Generalized Stieltjes Constants