Cited By
View all- Bittner PSchultheiß AMoosherr BYoung JTeixeira LWalkingshaw EAtaei PThüm T(2024)On the Expressive Power of Languages for Static VariabilityProceedings of the ACM on Programming Languages10.1145/36897478:OOPSLA2(1018-1050)Online publication date: 8-Oct-2024
- Joosten SJoosten S(2024)Data Migration Under a Changing Schema in AmpersandRelational and Algebraic Methods in Computer Science10.1007/978-3-031-68279-7_11(175-192)Online publication date: 19-Aug-2024
- Young JBittner PWalkingshaw EThüm T(2023)Variational satisfiability solving: efficiently solving lots of related SAT problemsEmpirical Software Engineering10.1007/s10664-022-10217-328:1Online publication date: 1-Jan-2023