Nummer | Autoren | Titel |
---|---|---|
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 |
Nummer | Autoren | Titel |
---|---|---|
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 |
Nummer | Autoren | Titel |
---|---|---|
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 |
Nummer | Autoren | Titel |
---|---|---|
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 |
Nummer | Autoren | Titel |
---|---|---|
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 |
Nummer | Autoren | Titel |
---|---|---|
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 |
Nummer | Autoren | Titel |
---|---|---|
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 |
Nummer | Autoren | Titel |
---|---|---|
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 |
Nummer | Autoren | Titel |
---|---|---|
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 |
Nummer | Autoren | Titel |
---|---|---|
02011/01 | Karl Müller-Siebers, Vera Dünnbier | Bedarfs- und Machbarkeitsstudie für die technisch-wissenschaftliche Weiterbildung im Konvergenzgebiet 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 |
Nummer | Autoren | Titel |
---|---|---|
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 |
Nummer | Autoren | Titel |
---|---|---|
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 |
Nummer | Autoren | Titel |
---|---|---|
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 |
Nummer | Autoren | Titel |
---|---|---|
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 Beratungsförderung - 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 |
Nummer | Autoren | Titel |
---|---|---|
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 |