Jeroen Bransen

dr. Jeroen Bransen

e-mail: first name @ last name . nl

Haskell programmer @ Chordify

Publications

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

[1]   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.

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

[3]   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.

[4]   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.

[5]   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.

[6]   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.

[7]   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.

[8]   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.

[9]   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.

[10]   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.

[11]   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.

[12]   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.

[13]   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.

[14]   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.

[15]   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