Incremental Consistency Checking in Delta-oriented UML-Models for Automation Systems

by Matthias Kowal, Ina Schaefer
Published 2016-03-01

Detecting and Explaining Conflicts in Attributed Feature Models

by Uwe Lesta, Ina Schaefer, Tim Winkelmann
Published 2015-04-01

Genetic structure and distribution of Parisotoma notabilis (Collembola) in Europe: Cryptic diversity, split of lineages and colonization patterns.

by Helge von Saltzwedel, Stefan Scheu, Ina Schaefer
Published 2017-01-01

Experience Report on Formally Verifying Parts of OpenJDK's API with KeY

by Alexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer
Published 2018-11-01

Evidence for frozen-niche variation in a cosmopolitan parthenogenetic soil mite species (Acari, Oribatida).

by Helge von Saltzwedel, Mark Maraun, Stefan Scheu, Ina Schaefer
Published 2014-01-01

Repeated convergent evolution of parthenogenesis in Acariformes (Acari)

by Patrick Pachl, Matti Uusitalo, Stefan Scheu, Ina Schaefer, Mark Maraun
Published 2021-01-01

Die Auswertung qualitativer Daten mit Peerforschenden: Ein Anwendungsbeispiel aus der partizipativen Gesundheitsforschung

by Ina Schaefer, Gesine Bär, die Mitglieder des Forschungsprojektes ElfE
Published 2019-09-01

Flexible Correct-by-Construction Programming

by Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer
Published 2023-06-01

Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates

by Sönke Holthusen, Sophie Quinton, Ina Schaefer, Johannes Schlatow, Martin Wegner
Published 2016-05-01

Effective purifying selection in ancient asexual oribatid mites

by Alexander Brandt, Ina Schaefer, Julien Glanz, Tanja Schwander, Mark Maraun, Stefan Scheu, Jens Bast
Published 2017-10-01

Niche dimensions in soil oribatid mite community assembly under native and introduced tree species

by Johanna Elisabeth Noske, Jing‐Zhong Lu, Ina Schaefer, Mark Maraun, Stefan Scheu, Ting‐Wen Chen
Published 2024-05-01

Changes in diversity and community assembly of jumping spiders (Araneae: Salticidae) after rainforest conversion to rubber and oil palm plantations

by André Junggebauer, Tamara R. Hartke, Daniel Ramos, Ina Schaefer, Damayanti Buchori, Purnama Hidayat, Stefan Scheu, Jochen Drescher
Published 2021-03-01

“Jack‐of‐all‐trades” is parthenogenetic

by Mark Maraun, Paul S. P. Bischof, Finn L. Klemp, Jule Pollack, Linnea Raab, Jan Schmerbach, Ina Schaefer, Stefan Scheu, Tancredi Caruso
Published 2022-06-01