HOME cs.uu.nl home education contact library calendar search UU.NL
about us research people archive services jobs

technical reports : dr. J. Hage

Jurriaan  Hage

select other reports

this selection

author dr. J. Hage

reports (37)

techrep_id file title / author
UU-CS-2014-019 pdf DOMain Specific Type Error Diagnosis (DOMSTED)
Jurriaan Hage
UU-CS-2014-018 pdf A Quantitative Comparison of Semantic Web Page Segmentation Approaches
Robert Kreuzer, Jurriaan Hage en Ad Feelders
UU-CS-2014-017 pdf Cost versus Precision for Approximate Typing for Python
Levin Fritz and Jurriaan Hage
UU-CS-2014-004 pdf Industrial Perception of Legacy Software System and their Modernization
Belfrit Batlajery, Ravi Khadka, Amir Saeidi, Slinger Jansen and Jurriaan Hage
UU-CS-2013-013 pdf Haskell in the Large
Jurriaan Hage
UU-CS-2012-014 pdf FITTEST Log Format (version 1.1)
Wishnu Prasetya, Alexander Elyasov, Arie Middelkoop and Jurriaan Hage
UU-CS-2012-013 pdf Log-Based Reduction by Rewriting
Alexander Elyasov, Wishnu Prasetya and Jurriaan Hage
UU-CS-2012-012 pdf Using Sub-cases to Improve Log-based Oracles Inference
Wishnu Prasetya, Jurriaan Hage and Alexander Elyasov
UU-CS-2012-006 pdf Legacy to SOA Evolution:Evaluation Results
Ravi Khadka, Amir Saeide, Andrei Idu, Jurriaan Hage and Slinger Jansen
UU-CS-2011-009 pdf A Comparative Study of Code Query Technologies
Tiago Alves, Jurriaan Hage, Peter Rademaker
UU-CS-2011-008 pdf Developing a legacy to SOA Migration Method
Gijs Reijnders, Ravi Khadka, Slinger Jansen, and Jurriaan Hage
UU-CS-2010-020 pdf Preproceedings of the 22nd Symposium on Implementation and Application of Functional Languages (IFL 2010)
Jurriaan Hage (editor)
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

indexed (co) authors

author group
Dolstra, dr. E. all reports Software Technology all reports
Elyasov, A.B. all reports Software Technology all reports
Feelders, dr. A.J. all reports Algorithmic Data Analysis all reports
Hage, dr. J. all reports Software Technology all reports
Heeren, dr. B.J. all reports Software Technology all reports
Holdermans, drs. S. all reports Software Technology all reports
Jansen, dr. S. all reports Organisation and Information all reports
Jeuring, prof. dr. J.T. all reports Software Technology all reports
Khadka, drs. R. all reports Organisation and Information all reports
Löh, dr. A. all reports Software Technology all reports
Middelkoop, dr. A. all reports Software Technology all reports
Prasetya, dr. S.W.B. all reports Software Technology all reports
Rodriguez Yakushev, dr. A.L. all reports Software Technology all reports
Saeidi, A.M. all reports Software Technology all reports
Swierstra, prof. dr. (em.) S.D. all reports Software Technology all reports

BibTeX entries

@TECHREPORT{UUCS2014019,
author = {Hage, Jurriaan},
year = 2014,
title = {DOMain Specific Type Error Diagnosis (DOMSTED)},
number = {UU-CS-2014-019},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-019.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014018,
author = {Kreuzer, Robert and Feelders, Jurriaan~Hage~en~Ad},
year = 2014,
title = {A Quantitative Comparison of Semantic Web Page Segmentation Approaches},
number = {UU-CS-2014-018},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-018.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014017,
author = {Fritz, Levin and Hage, Jurriaan},
year = 2014,
title = {Cost versus Precision for Approximate Typing for Python},
number = {UU-CS-2014-017},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-017.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014004,
author = {Batlajery, Belfrit and Khadka, Ravi and Saeidi, Amir and Jansen, Slinger and Hage, Jurriaan},
year = 2014,
title = {Industrial Perception of Legacy Software System and their Modernization},
number = {UU-CS-2014-004},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-004.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013013,
author = {Hage, Jurriaan},
year = 2013,
title = {Haskell in the Large},
number = {UU-CS-2013-013},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-013.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012014,
author = {Prasetya, Wishnu and Elyasov, Alexander and Middelkoop, Arie and Hage, Jurriaan},
year = 2012,
title = {FITTEST Log Format (version 1.1)},
number = {UU-CS-2012-014},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-014.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012013,
author = {Elyasov, Alexander and Prasetya, Wishnu and Hage, Jurriaan},
year = 2012,
title = {Log-Based Reduction by Rewriting},
number = {UU-CS-2012-013},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-013.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012012,
author = {Prasetya, Wishnu and Hage, Jurriaan and Elyasov, Alexander},
year = 2012,
title = {Using Sub-cases to Improve Log-based Oracles Inference},
number = {UU-CS-2012-012},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-012.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012006,
author = {Khadka, Ravi and Saeide, Amir and Idu, Andrei and Hage, Jurriaan and Jansen, Slinger},
year = 2012,
title = {Legacy to SOA Evolution:Evaluation Results},
number = {UU-CS-2012-006},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-006.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011009,
author = {Alves, Tiago and Hage, Jurriaan and Rademaker, Peter},
year = 2011,
title = {A Comparative Study of Code Query Technologies},
number = {UU-CS-2011-009},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-009.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011008,
author = {Reijnders, Gijs and Khadka, Ravi and Jansen, Slinger and Hage, Jurriaan},
year = 2011,
title = {Developing a legacy to SOA Migration Method},
number = {UU-CS-2011-008},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-008.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010020,
author = {Hage, Jurriaan (editor)},
year = 2010,
title = {Preproceedings of the 22nd Symposium on Implementation and Application of Functional Languages (IFL 2010)},
number = {UU-CS-2010-020},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-020.pdf}},
pubcat = {techreport}
}
@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}
}

valid-html401 webmaster@cs.uu.nl, Tue, 21 Oct 2014 05:42:29 +0200 ← Departement Informatica, Universiteit Utrecht