A Semantics-Aware Editing Environment for Prolog in Eclipse - Jens Bendisposto; Ian Endrijautzki; Michael Leuschel; David Schneider 001 (CoRR, 2009)

Towards a jitting VM for prolog execution. - Carl Friedrich Bolz; Michael Leuschel; David Schneider 001 (PPDP, 2010)

The efficient handling of guards in the design of RPython's tracing JIT. - David Schneider 001; Carl Friedrich Bolz (VMIL@SPLASH, 2012)

Towards B as a High-Level Constraint Modelling Language - Solving the Jobs Puzzle Challenge. - Michael Leuschel; David Schneider 001 (ABZ, 2014)

Using B and ProB for Data Validation Projects. - Dominik Hansen; David Schneider 001; Michael Leuschel (ABZ, 2016)

Constraint Modelling and Data Validation Using Formal Specification Languages. - David Schneider 001 (2017)

Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains. - Dominik Hansen; Michael Leuschel; David Schneider 001; Sebastian Krings; Philipp Körner; Thomas Naulin; Nader Nayeri; Frank Skowron (ABZ, 2018)

Model-based problem solving for university timetable validation and improvement. - David Schneider 001; Michael Leuschel; Tobias Witt (Formal Aspects Comput., 2018)

On the Performance of Bytecode Interpreters in Prolog. - Philipp Körner; David Schneider 001; Michael Leuschel (WFLP, 2020)

Translating Alloy and extensions to classical B. - Sebastian Krings; Michael Leuschel; Joshua Schmidt; David Schneider 001; Marc Frappier (Sci. Comput. Program., 2020)

Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model. - Dominik Hansen; Michael Leuschel; Philipp Körner; Sebastian Krings; Thomas Naulin; Nader Nayeri; David Schneider 001; Frank Skowron (Int. J. Softw. Tools Technol. Transf., 2020)