CoCoME - The Common Component Modeling Example. - Sebastian Herold; Holger Klus; Yannick Welsch; Constanze Deiters; Andreas Rausch 001; Ralf H. Reussner; Klaus Krogmann; Heiko Koziolek; Raffaela Mirandola; Benjamin Hummel; Michael Meisinger; Christian Pfaller (CoCoME, 2007)

Grey-box specifications for object-oriented program components. - Yannick Welsch (OOPSLA Companion, 2008)

A Component Model for the ABS Language. - Michael Lienhardt; Ivan Lanese; Mario Bravetti; Davide Sangiorgi; Gianluigi Zavattaro; Yannick Welsch; Jan Schäfer 002; Arnd Poetzsch-Heffter (FMCO, 2010)

Full Abstraction at Package Boundaries of Object-Oriented Languages. - Yannick Welsch; Arnd Poetzsch-Heffter (SBMF, 2011)

Location Types for Safe Distributed Object-Oriented Programming. - Yannick Welsch; Jan Schäfer 002 (TOOLS (49), 2011)

Verifying backwards compatibility of object-oriented libraries using Boogie. - Yannick Welsch; Arnd Poetzsch-Heffter (FTfJP@ECOOP, 2012)

Model-Based Compatibility Checking of System Modifications. - Arnd Poetzsch-Heffter; Christoph Feller; Ilham W. Kurnia; Yannick Welsch (ISoLA (1), 2012)

A type system for checking specialization of packages in object-oriented programming. - Ferruccio Damiani; Arnd Poetzsch-Heffter; Yannick Welsch (SAC, 2012)

Reasoning about Backward Compatibility of Class Libraries. - Yannick Welsch (2013)

Location Types for Safe Programming with Near and Far References. - Yannick Welsch; Jan Schäfer 002; Arnd Poetzsch-Heffter (Aliasing in Object-Oriented Programming, 2013)

A fully abstract trace-based semantics for reasoning about backward compatibility of class libraries. - Yannick Welsch; Arnd Poetzsch-Heffter (Sci. Comput. Program., 2014)

MotherDuck: DuckDB in the cloud and in the client. - R. J. Atwal; Peter A. Boncz; Ryan Boyd; Antony Courtney; Till Döhmen; Florian Gerlinghoff; Jeff Huang 007; Joseph Hwang; Raphael Hyde; Elena Felder; Jacob Lacouture; Yves Le Maout; et al. (CIDR, 2024)