Department of Information and Computing Sciences

Departement Informatica contact intern
people education research library calendar archive services jobs

master theses

see also

supervisor

Jurriaan Hage

overview

25 theses
thesis full
text
academic
year
author / title / supervisors
INF/SCR-2012-030 pdf 2012 Augusto Passalaqua Martins, Polyvariant Strictness Analysis in UHC
dr. Atze Dijkstra, dr. Jurriaan Hage (0:0)
INF/SCR-2012-026 pdf 2012 Hidde Verstoep, Counting analyses
dr. Jurriaan Hage, prof. dr. Johan Jeuring (0:0)
INF/SCR-2011-054 pdf 2011 Gerben Verburg, Strictness analysis in UHC
dr. Atze Dijkstra, dr. Jurriaan Hage (0:0)
INF/SCR-2010-073 no pdf 2010 Calin Juravle, Automatic program analysis for data parallel kernels
dr. Jurriaan Hage, prof. dr. (em.) Doaitse Swierstra (0:0)
INF/SCR-2010-072 no pdf 2010 Andreas Resios, GPU performance prediction using parametrized models
dr. Jurriaan Hage, prof. dr. (em.) Doaitse Swierstra (0:0)
INF/SCR-2010-045 no pdf 2010 Marnix Kammer, Plagiarism detection in Haskell programs using call graph matching
prof. dr. Hans Bodlaender, dr. Jurriaan Hage (0:0)
INF/SCR-2010-026 no pdf 2010 Gijs Reijnders, The Software Chop Shop
dr. Jurriaan Hage, dr. Slinger Jansen (0:0)
INF/SCR-2009-105 no pdf 2009 Brian Vermeer, HOLMES: Hunting for Haskell Frauds
dr. Jurriaan Hage
INF/SCR-2009-074 no pdf 2009 Mathijs Swint, Analyzing errors in Helium loggings
dr. Jurriaan Hage
INF/SCR-2009-048 pdf 2009 Jeroen Weijers, Feedback-Oriented Security Analysis
dr. Jurriaan Hage, dr. Wolfgang Hürst (0:0), Stefan Holdermans
INF/SCR-2008-028 no pdf 2008 Peter Rademaker, Binary relational querying for structural source code analysis
dr. Jurriaan Hage
INF/SCR-2007-072 no pdf 2007 Nabil el Boustani, Improving Type Error Messages for Generic Java
dr. Jurriaan Hage
INF/SCR-2006-037 no pdf 2006 Patrick Camphuijsen, Soft typing and analyses on PHP programs
dr. Jurriaan Hage
INF/SCR-2006-032 no pdf 2006 Brink H.J. van den, A Framework to distol SQL queries out of host languages in order to apply quality metrics
dr. Jurriaan Hage
INF/SCR-2006-008 no pdf 2006 Middelkoop A., Improved Uniqueness Typing for Haskell
dr. Jurriaan Hage
INF/SCR-2005-093 no pdf 2005 Keeken P. van, Analyzing Helium Programs Obtained Through Logging – The process of mining novice Haskell programs –
dr. Jurriaan Hage
INF/SCR-2005-079 no pdf 2006 Arjen Langebaerd, Repair Systems
dr. Jurriaan Hage
INF/SCR-2004-31 no pdf 2004 Liduan F., Design and Implementation of a UML/OCL Compiler
dr. Jurriaan Hage
INF/SCR-2004-20 no pdf 2004 Snijders J., Functional Design Patterns
dr. Jurriaan Hage
INF/SCR-2003-48 no pdf 2003 Egberts N., Procesmodellering van Temporele Aspecten in Wet- en Regelgeving
dr. Jurriaan Hage, dr. Wishnu Prasetya (0:0)
INF/SCR-2003-47 no pdf 2003 Sayah K., Automated Norm Extraction from Legal Texts
dr. Jurriaan Hage
INF/SCR-2003-42 no pdf 2004 Spee L., A Constraint-based Bottom-up Strictness Analysis for Haskell
dr. Jurriaan Hage
INF/SCR-2003-33 no pdf 2003 Peeman J., RevDotnet: een review assistant voor gecompileerde DotNet code
dr. Jurriaan Hage, prof. dr. (em.) Doaitse Swierstra (0:0)
INF/SCR-2003-28 no pdf 2003 Lange C. de, Analyse op .Net software
dr. Jurriaan Hage, prof. dr. (em.) Doaitse Swierstra (0:0)
INF/SCR-2002-35 no pdf 2002 Ven R. van de, Efficient instruction selection using attribute grammars
dr. Jurriaan Hage