technical reports : dr. J. Hage
select other reports
this selection
reports (25)
| techrep_id |
file |
title / author |
| UU-CS-2010-015 |
pdf |
A comparison of plagiarism detection tools
Jurriaan Hage, Peter Rademaker, Nikè van Vugt |
| UU-CS-2009-009 |
pdf |
Corrective Hints for Type Incorrect Generic Java Programs
Nabil el Boustani, Jurriaan Hage |
| UU-CS-2009-004 |
pdf |
Soft Typing PHP
Patrick Camphuijsen, Jurriaan Hage and Stefan Holdermans |
| UU-CS-2008-038 |
pdf |
Improving Type Error Messages for Generic Java
Nabil el Boustani and Jurriaan Hage |
| UU-CS-2007-053 |
pdf |
On Involutive Anti-Automorphisms of Finite Abelian Groups
Jurriaan Hage and Tero Harju |
| UU-CS-2007-029 |
pdf |
Morph Endo! Report on the Tenth Interstellar Contest on Fuun Programming
Eelco Dolstra, Jur Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie, Clara Löh |
| UU-CS-2007-027 |
pdf |
Morph Endo! Task Description of the Tenth Interstellar Contest on Fuun Programming
Eelco Dolstra, Jur Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie, Clara Löh |
| UU-CS-2007-023 |
pdf |
The Neon DSEL for Mining Helium Programs
Jurriaan Hage and Peter van Keeken |
| UU-CS-2007-012 |
pdf |
Mining Helium programs with Neon
Jurriaan Hage and Peter van Keeken |
| UU-CS-2006-062 |
pdf |
Programmeerplagiaatdetectie met Marble
Jurriaan Hage |
| UU-CS-2006-055 |
pdf |
Strategies for solving constraints in program analysis
Jurriaan Hage and Bastiaan Heeren |
| UU-CS-2006-054 |
pdf |
Heuristics for type error discovery and recovery (revised revised)
Jurriaan Hage and Bastiaan Heeren |
| UU-CS-2006-047 |
pdf |
Mining for Helium
Jurriaan Hage and Peter van Keeken |
| UU-CS-2006-028 |
pdf |
Towards a characterization of bipartite switching classes by means of forbidden subgraphs
Jurriaan Hage and Tero Harju |
| UU-CS-2006-007 |
pdf |
Heuristics for type error discovery and recovery (revised)
Jurriaan Hage, Bastiaan Heeren |
| UU-CS-2005-055 |
pdf |
The Helium Logging Facility
Jurriaan Hage |
| UU-CS-2005-029 |
pdf |
Heuristics for type error discovery and recovery
Jurriaan Hage and Bastiaan Heeren |
| UU-CS-2005-016 |
pdf |
Ordering Type Constraints: A Structured Approach
Jurriaan Hage and Bastiaan Heeren |
| UU-CS-2005-007 |
pdf |
The Embedding Problem for Switching Classes
Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg |
| UU-CS-2004-039 |
pdf |
A first attempt at type class directives
Bastiaan Heeren en Jurriaan Hage |
| UU-CS-2004-023 |
pdf |
Embedding in Switching Classes with Skew Gains
Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, and Grzegorz Rosenberg |
| UU-CS-2002-035 |
ps.gz
pdf |
Parametric Type Inferencing for Helium
Bastiaan Heeren and Jurriaan Hage |
| UU-CS-2002-031 |
ps.gz
pdf |
Generalizing Hindley-Milner Type Inference Algorithms
Bastiaan Heeren, Jurriaan Hage, Doaitse Swierstra |
| UU-CS-2002-017 |
ps.gz
pdf |
Euler graphs, triangle-free graphs and bipartite graphs in switching classes
Jurriaan Hage, Tero Harju, and Emo Welzl |
| UU-CS-2001-27 |
pdf |
Enumerating submultisets of multisets
J. Hage |
BibTeX entries
@TECHREPORT{UUCS2010015,
author = {Hage, Jurriaan and Rademaker, Peter and Vugt, Nikè~van},
year = 2010,
title = {A comparison of plagiarism detection tools},
number = {UU-CS-2010-015},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-015.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009009,
author = {Boustani, Nabil~el and Hage, Jurriaan},
year = 2009,
title = {Corrective Hints for Type Incorrect Generic Java Programs},
number = {UU-CS-2009-009},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-009.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009004,
author = {Camphuijsen, Patrick and Hage, Jurriaan and Holdermans, Stefan},
year = 2009,
title = {Soft Typing PHP},
number = {UU-CS-2009-004},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-004.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008038,
author = {Boustani, Nabil~el and Hage, Jurriaan},
year = 2008,
title = {Improving Type Error Messages for Generic Java},
number = {UU-CS-2008-038},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-038.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007053,
author = {Hage, Jurriaan and Harju, Tero},
year = 2007,
title = {On Involutive Anti-Automorphisms of Finite Abelian Groups},
number = {UU-CS-2007-053},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-053.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007029,
author = {Dolstra, Eelco and Hage, Jur and Heeren, Bastiaan and Holdermans, Stefan and Jeuring, Johan and Löh, Andres and Middelkoop, Arie and Rodriguez, Alexey and Schie, John~van and Löh, Clara},
year = 2007,
title = {Morph Endo! Report on the Tenth Interstellar Contest on Fuun Programming},
number = {UU-CS-2007-029},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-029.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007027,
author = {Dolstra, Eelco and Hage, Jur and Heeren, Bastiaan and Holdermans, Stefan and Jeuring, Johan and Löh, Andres and Middelkoop, Arie and Rodriguez, Alexey and Schie, John~van and Löh, Clara},
year = 2007,
title = {Morph Endo! Task Description of the Tenth Interstellar Contest on Fuun Programming},
number = {UU-CS-2007-027},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-027.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007023,
author = {Hage, Jurriaan and Keeken, Peter~van},
year = 2007,
title = {The Neon DSEL for Mining Helium Programs},
number = {UU-CS-2007-023},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-023.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007012,
author = {Hage, Jurriaan and Keeken, Peter~van},
year = 2007,
title = {Mining Helium programs with Neon},
number = {UU-CS-2007-012},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-012.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006062,
author = {Hage, Jurriaan},
year = 2006,
title = {Programmeerplagiaatdetectie met Marble},
number = {UU-CS-2006-062},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-062.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006055,
author = {Hage, Jurriaan and Heeren, Bastiaan},
year = 2006,
title = {Strategies for solving constraints in program analysis},
number = {UU-CS-2006-055},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-055.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006054,
author = {Hage, Jurriaan and Heeren, Bastiaan},
year = 2006,
title = {Heuristics for type error discovery and recovery (revised revised)},
number = {UU-CS-2006-054},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-054.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006047,
author = {Hage, Jurriaan and Keeken, Peter~van},
year = 2006,
title = {Mining for Helium},
number = {UU-CS-2006-047},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-047.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006028,
author = {Hage, Jurriaan and Harju, Tero},
year = 2006,
title = {Towards a characterization of bipartite switching classes by means of forbidden subgraphs},
number = {UU-CS-2006-028},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-028.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006007,
author = {Hage, Jurriaan and Heeren, Bastiaan},
year = 2006,
title = {Heuristics for type error discovery and recovery (revised)},
number = {UU-CS-2006-007},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-007.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005055,
author = {Hage, Jurriaan},
year = 2005,
title = {The Helium Logging Facility},
number = {UU-CS-2005-055},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-055.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005029,
author = {Hage, Jurriaan and Heeren, Bastiaan},
year = 2005,
title = {Heuristics for type error discovery and recovery},
number = {UU-CS-2005-029},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-029.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005016,
author = {Hage, Jurriaan and Heeren, Bastiaan},
year = 2005,
title = {Ordering Type Constraints: A Structured Approach},
number = {UU-CS-2005-016},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-016.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005007,
author = {Ehrenfeucht, Andrzej and Hage, Jurriaan and Harju, Tero and Rozenberg, Grzegorz},
year = 2005,
title = {The Embedding Problem for Switching Classes},
number = {UU-CS-2005-007},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-007.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004039,
author = {Hage, Bastiaan~Heeren~en~Jurriaan},
year = 2004,
title = {A first attempt at type class directives},
number = {UU-CS-2004-039},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-039.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004023,
author = {Ehrenfeucht, Andrzej and Hage, Jurriaan and Harju, Tero and Rosenberg, Grzegorz},
year = 2004,
title = {Embedding in Switching Classes with Skew Gains},
number = {UU-CS-2004-023},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-023.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002035,
author = {Heeren, Bastiaan and Hage, Jurriaan},
year = 2002,
title = {Parametric Type Inferencing for Helium},
number = {UU-CS-2002-035},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-035.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-035.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002031,
author = {Heeren, Bastiaan and Hage, Jurriaan and Swierstra, Doaitse},
year = 2002,
title = {Generalizing Hindley-Milner Type Inference Algorithms},
number = {UU-CS-2002-031},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-031.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-031.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002017,
author = {Hage, Jurriaan and Harju, Tero and Welzl, Emo},
year = 2002,
title = {Euler graphs, triangle-free graphs and bipartite graphs in switching classes},
number = {UU-CS-2002-017},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-017.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-017.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200127,
author = {Hage, J.},
year = 2001,
title = {Enumerating submultisets of multisets},
number = {UU-CS-2001-27},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-27.pdf}},
pubcat = {techreport}
}
webmaster@cs.uu.nl,
Tue, 07 Sep 2010 00:51:12 +0200
←
Departement Informatica, Universiteit Utrecht
