Jeroen Bransen

Publication Activity (10 Years)

Years Active: 2010-2020
Publications (10 Years): 6

Top Venues

PEPM

PADL

CoRR

TACAS

Utrecht University, Netherlands (PHD)

Education History

Utrecht University, Netherlands

PHD

Publications

Hendrik Vincent Koops, W. Bas de Haas, Jeroen Bransen, Anja Volk
Automatic chord label personalization through deep learning of shared harmonic interval profiles. Neural Comput. Appl. 32 (4) (2020)
Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra
Incremental evaluation of higher-order attributes. Sci. Comput. Program. 137 (2017)
Hendrik Vincent Koops, W. Bas de Haas, Jeroen Bransen, Anja Volk
Chord Label Personalization through Deep Learning of Integrated Harmonic Interval-based Representations. CoRR (2017)
Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra
Incremental Evaluation of Higher Order Attributes. PEPM (2015)
Jeroen Bransen, L. Thomas van Binsbergen, Koen Claessen, Atze Dijkstra
Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving. TACAS (2015)
L. Thomas van Binsbergen, Jeroen Bransen, Atze Dijkstra
Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection. PEPM (2015)
Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra
Lazy stateless incremental evaluation machinery for attribute grammars. PEPM (2014)
Jeroen Bransen, José Pedro Magalhães
Generic representations of tree transformations. WGP@ICFP (2013)
Nicolas Wu, José Pedro Magalhães, Jeroen Bransen, Wouter Swierstra
Pure and Lazy Lambda Mining - An Experience Report. IFL (2012)
Jeroen Bransen, Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars. PADL (2012)
Jeroen Bransen
The Product-Free Lambek-Grishin Calculus Is NP-Complete. LACL (2011)
Jeroen Bransen
The Lambek-Grishin calculus is NP-complete CoRR (2010)
Jeroen Bransen
The Lambek-Grishin Calculus Is NP-Complete. FG (2010)

Jeroen Bransen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jeroen Bransen