@techreport{2014-Hansen-CompletenessStrong,
  author		= "{Hansen}, H.H. and {Kupke}, C. and {Leal}, R.A.",
  title			= "{Strong Completeness for Iteration--Free Coalgebraic Dynamic Logics}",
  number		= "ICIS--R14001",
  month			= "August",
  institution		= "Radboud University Nijmegen",
  year			= "2014",
  research_group	= "is",
  class			= "Report"
}

@techreport{2013-Joosten-Relaxation3partition,
  author		= "{Joosten}, Sebastiaan J.C. and {Zantema}, Hans",
  title			= "{Relaxation of 3--partition instances}",
  number		= "ICIS--R13002",
  month			= "February",
  institution		= "Radboud University Nijmegen",
  year			= "2013",
  research_group	= "is",
  class			= "Report"
}

@techreport{2013-Bonsangue-DistributivePresenting,
  author		= "{Bonsangue}, M.M. and {Hansen}, H.H. and {Kurz}, A. and {Rot}, J.",
  title			= "{Presenting Distributive Laws}",
  number		= "ICIS--R13007",
  month			= "June",
  institution		= "Radboud University Nijmegen",
  year			= "2013",
  research_group	= "is",
  class			= "Report"
}

@techreport{2009-Niqui-CompetitionFriendly,
  author		= "{Niqui}, Milad and {Wiedijk}, Freek",
  title			= "{`Many Digits` Friendly Competition}",
  number		= "ICIS--R09007",
  month			= "December",
  institution		= "Radboud University Nijmegen",
  year			= "2009",
  code			= "icis.ICIS-R09007",
  research_group	= "is",
  class			= "Report"
}

@techreport{2009-Mamane-SaturatedLbmmt,
  author		= "{Mamane}, Lionel Elie and {Geuvers}, Herman and {McKinna}, James",
  title			= "{A Saturated Extension of Lambda--Bar--Mu--Mu--Tilde}",
  number		= "ICIS--R09002",
  month			= "July",
  institution		= "Radboud University Nijmegen",
  year			= "2009",
  code			= "icis.ICIS-R09002",
  research_group	= "is",
  url			= "http://www.mamane.lu/science/lbmmt_extension/",
  class			= "Report"
}

@techreport{2008-Kaliszyk-ProofWeb,
  author		= "{Kaliszyk}, Cezary and {Raamsdonk}, Femke van and {Wiedijk}, Freek and {Wupper}, Hanno and {Hendriks}, Maxim and {Vrijer}, Roel de",
  title			= "{Deduction using the ProofWeb system}",
  number		= "ICIS--R08016",
  month			= "September",
  institution		= "Radboud University Nijmegen",
  year			= "2008",
  research_group	= "is",
  class			= "Report"
}

@techreport{2008-Heskes-ConditionsStability,
  author		= "{Heskes}, T. and {Gerven}, M.A.J. van",
  title			= "{Stability Conditions for L1/Lp Regularization}",
  number		= "ICIS--R08002",
  month			= "February",
  institution		= "Radboud University Nijmegen",
  year			= "2008",
  research_group	= "is",
  class			= "Report"
}

@techreport{2008-Gerven-RegularizationDifferences,
  author		= "{Gerven}, M.A.J. van and {Heskes}, T.",
  title			= "{L1/Lp regularization of Differences}",
  number		= "ICIS--R08009",
  month			= "May",
  institution		= "Radboud University Nijmegen",
  year			= "2008",
  research_group	= "is",
  class			= "Report"
}