The Lambek-Grishin Calculus Is NP-Complete. - Jeroen Bransen (FG, 2010)

The Product-Free Lambek-Grishin Calculus Is NP-Complete. - Jeroen Bransen (LACL, 2011)

Pure and Lazy Lambda Mining - An Experience Report. - Nicolas Wu; José Pedro Magalhães; Jeroen Bransen; Wouter Swierstra (IFL, 2012)

The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars. - Jeroen Bransen; Arie Middelkoop; Atze Dijkstra; S. Doaitse Swierstra (PADL, 2012)

Generic representations of tree transformations. - Jeroen Bransen; José Pedro Magalhães (WGP@ICFP, 2013)

Lazy stateless incremental evaluation machinery for attribute grammars. - Jeroen Bransen; Atze Dijkstra; S. Doaitse Swierstra (PEPM, 2014)

Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection. - L. Thomas van Binsbergen; Jeroen Bransen; Atze Dijkstra (PEPM, 2015)

Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving. - Jeroen Bransen; L. Thomas van Binsbergen; Koen Claessen; Atze Dijkstra (TACAS, 2015)

On the Incremental Evaluation of Higher-Order Attribute Grammars. - Jeroen Bransen (2015)

Chord Label Personalization through Deep Learning of Integrated Harmonic Interval-based Representations. - Hendrik Vincent Koops; W. Bas de Haas; Jeroen Bransen; Anja Volk (CoRR, 2017)

Incremental evaluation of higher-order attributes. - Jeroen Bransen; Atze Dijkstra; S. Doaitse Swierstra (Sci. Comput. Program., 2017)

Automatic chord label personalization through deep learning of shared harmonic interval profiles. - Hendrik Vincent Koops; W. Bas de Haas; Jeroen Bransen; Anja Volk (Neural Comput. Appl., 2020)