Yannick Welsch
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2008–2024
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CIDR | MotherDuck: DuckDB in the cloud and in the client. | R. J. Atwal, Peter Boncz, Ryan Boyd, Antony Courtney, Till Dhmen, Florian Gerlinghoff, Jeff Huang, Joseph Hwang, Raphael Hyde, Elena Felder, Jacob Lacouture, Yves Le Maout, Boaz Leskes, Yao Liu, Alex Monahan, Dan Perkins, Tino Tereshko, Jordan Tigani, Nick Ursa, Stephanie Wang, Yannick Welsch |
| 2012 | ECOOP | Verifying backwards compatibility of object-oriented libraries using Boogie. | Yannick Welsch, Arnd Poetzsch-Heffter |
| 2012 | ISoLA | Model-Based Compatibility Checking of System Modifications. | Arnd Poetzsch-Heffter, Christoph Feller, Ilham W. Kurnia, Yannick Welsch |
| 2012 | SAC | A type system for checking specialization of packages in object-oriented programming. | Ferruccio Damiani, Arnd Poetzsch-Heffter, Yannick Welsch |
| 2008 | OOPSLA | Grey-box specifications for object-oriented program components. | Yannick Welsch |