Jeroen Bransen

dr. Jeroen Bransen

e-mail: (\[fn,ln] -> fn ++ "@" ++ ln ++ ".nl") $ words "jeroen bransen"

Haskell programmer, ICFPC 2024 organiser

Publications

Below is a list of my scientific publications. I also have profiles at Google Scholar and Research Gate.

[1]   Jeroen Bransen and Matúš Tejiščák. ICFP Contest 2024 Report. Technical report, 2024.

[2]   Hendrik Vincent Koops, W. Bas de Haas, John Ashley Burgoyne, Jeroen Bransen, Anna Kent-Muller, and Anja Volk. Annotator subjectivity in harmony annotations of popular music. Journal of New Music Research, 48(3):232–252, 2019.

[3]   Hendrik Vincent Koops, W Bas de Haas, Jeroen Bransen, and Anja Volk. Automatic chord label personalization through deep learning of shared harmonic interval profiles. Neural Computing and Applications, pages 1–11, 2018.

[4]   Hendrik Vincent Koops, W. Bas de Haas, J. Bransen, and Anja Volk. Chord label personalization through deep learning of integrated harmonic interval-based representations. In Proceedings of the First International Conference on Deep Learning and Music, pages 19 – 23, 2017.

[5]   Jeroen Bransen, Atze Dijkstra, and S. Doaitse Swierstra. Incremental evaluation of higher-order attributes. Science of Computer Programming, 2016.

[6]   Jeroen Bransen, L. Thomas van Binsbergen, Koen Claessen, and Atze Dijkstra. Linearly ordered attribute grammar scheduling using SAT-solving. In Christel Baier and Cesare Tinelli, editors, Tools and Algorithms for the Construction and Analysis of Systems, volume 9035 of Lecture Notes in Computer Science, pages 289–303. Springer Berlin Heidelberg, 2015.

[7]   L. Thomas van Binsbergen, Jeroen Bransen, and Atze Dijkstra. Linearly ordered attribute grammars: With automatic augmenting dependency selection. In Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM ’15, pages 49–60, New York, NY, USA, 2015. ACM.

[8]   Jeroen Bransen, Atze Dijkstra, and S. Doaitse Swierstra. Incremental evaluation of higher order attributes. In Proceedings of the ACM SIGPLAN 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM ’15, New York, NY, USA, 2015. ACM.

[9]   Jeroen Bransen, Atze Dijkstra, and S. Doaitse Swierstra. Exploiting attribute grammars to achieve automatic tupling. Technical Report UU-CS-2014-013, Department of Information and Computing Sciences, Utrecht University, 2014.

[10]   Jeroen Bransen, Atze Dijkstra, and S. Doaitse Swierstra. Lazy stateless incremental evaluation machinery for attribute grammars. In Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation, PEPM ’14, pages 145–156, New York, NY, USA, 2014. ACM.

[11]   Jeroen Bransen and José Pedro Magalhães. Generic representations of tree transformations. In Proceedings of the the 9th ACM SIGPLAN Workshop on Generic Programming (WGP’13), WGP ’13, 2013.

[12]   Nicolas Wu, José Pedro Magalhães, Jeroen Bransen, and Wouter Swierstra. Pure and lazy lambda mining. In Ralf Hinze, editor, Implementation and Application of Functional Languages, Lecture Notes in Computer Science, pages 207–223. Springer Berlin Heidelberg, 2013.

[13]   Jeroen Bransen, Arie Middelkoop, Atze Dijkstra, and S. Doaitse Swierstra. The Kennedy-Warren algorithm revisited: ordering Attribute Grammars. In Claudio Russo and Neng-Fa Zhou, editors, Practical Aspects of Declarative Languages, volume 7149 of Lecture Notes in Computer Science, pages 183–197. Springer Berlin Heidelberg, 2012.

[14]   Jeroen Bransen. The Lambek-Grishin calculus is NP-complete. In Philippe de Groote and Mark-Jan Nederhof, editors, Formal Grammar, volume 7395 of Lecture Notes in Computer Science, pages 33–49. Springer Berlin Heidelberg, 2012.

[15]   Jeroen Bransen. The product-free Lambek-Grishin calculus is NP-complete. In Sylvain Pogodalla and Jean-Philippe Prost, editors, Logical Aspects of Computational Linguistics, volume 6736 of Lecture Notes in Computer Science, pages 49–63. Springer Berlin Heidelberg, 2011.

[16]   Marianne A.W. Vijverberg, Aart J. Klijn, Ad W.M. Rabenort, Jeroen Bransen, Esther T. Kok, Johanna P.M. Wingens, and Tom P.V.M. de Jong. A comparative analysis of pediatric uroflowmetry curves. Neurourology and Urodynamics, 30(8):1576–1579, 2011.

[17]   Aart J. Klijn, Tom P.V.M. de Jong, Marianne A.W. Vijverberg, Johanna P.M. Wingens, Ad W.M. Rabenort, and Jeroen Bransen. The automated flowmeter for biofeedback in luts. Journal of Pediatric Urology, 5, Supplement 1(0):S83 – S84, 2009.

[18]   Aart J. Klijn, Marianne A.W. Vijverberg, Jeroen Bransen, Ad W.M. Rabenort, and Tom P.V.M. de Jong. Comparative analysis of pediatric uroflowmetry. Journal of Pediatric Urology, 4, Supplement 1(0):S30 –, 2008.

Teaching

At Utrecht University I was involved in the following courses:

Theses