Jeroen Bransen

14 papers A 1B 1C 4Journal 4Unranked 3
YearRankTypeTitle / Venue / Authors
2020 J jnl
Neural Comput. Appl.
Hendrik Vincent Koops, W. Bas de Haas, Jeroen Bransen, Anja Volk
2017 J jnl
CoRR
Hendrik Vincent Koops, W. Bas de Haas, Jeroen Bransen, Anja Volk
2017 J jnl
Sci. Comput. Program.
Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra
2015 C conf
PEPM
Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra
2015 A conf
TACAS
Jeroen Bransen, L. Thomas van Binsbergen, Koen Claessen, Atze Dijkstra
2015 C conf
PEPM
L. Thomas van Binsbergen, Jeroen Bransen, Atze Dijkstra
2015
Jeroen Bransen
2014 C conf
PEPM
Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra
2013 conf
WGP@ICFP
Jeroen Bransen, José Pedro Magalhães
2012 conf
IFL
Nicolas Wu, José Pedro Magalhães, Jeroen Bransen, Wouter Swierstra
2012 C conf
PADL
Jeroen Bransen, Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
2011 conf
LACL
Jeroen Bransen
2010 B conf
FG
Jeroen Bransen
2010 J jnl
CoRR
Jeroen Bransen