HactarV2: An Agent Team Strategy Based on Implicit Coordination. - Marc Dekker; Pieter Hameete; Michiel Hegemans; Sebastiaan Leysen; Joris van den Oever; Jeff Smits; Koen V. Hindriks (ProMAS, 2011)

FlowSpec: declarative dataflow analysis specification. - Jeff Smits; Eelco Visser (SLE, 2017)

Gradually typing strategies. - Jeff Smits; Eelco Visser (SLE, 2020)

Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System. - Jeff Smits; Gabriël D. P. Konat; Eelco Visser (Art Sci. Eng. Program., 2020)

FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis. - Jeff Smits; Guido Wachsmuth; Eelco Visser (J. Comput. Lang., 2020)

Optimising First-Class Pattern Matching. - Jeff Smits; Toine Hartman; Jesper Cockx (SLE, 2022)

Strategic Language Workbench Improvements. - Jeff Smits (2023)

A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers. - Maarten Flippo; Konstantin Sidorov; Imko Marijnissen; Jeff Smits; Emir Demirovic (CP, 2024)

Ordering Rejectable Stacks in SGLR Parsing. - Jeff Smits; Daniël A. A. Pelsmaeker (SPLASH Companion, 2024)