Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ina Schaefer
Invasive Lumbricid Earthworms in North America—Different Life Histories but Common Dispersal?
Journal of Biogeography
Evolution
Ecology
Systematics
Behavior
A Core Calculus for Dynamic Delta-Oriented Programming
Acta Informatica
Computer Networks
Software
Information Systems
Communications
Applying Design by Contract to Feature-Oriented Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Software Product Lines With Delta-Oriented Slicing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verifying Traits: An Incremental Proof System for Fine-Grained Reuse
Formal Aspects of Computing
Theoretical Computer Science
Software
Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T)
Family-Based Deductive Verification of Software Product Lines
