@techreport{2003-vanGils-SupplyConceptual,
  title			= "{A conceptual model of Information Supply}",
  month			= "May",
  year			= "2003",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2003-Grootjen-STM,
  author		= "{Grootjen}, F.A. and {van der Weide}, Th.P.",
  title			= "{Information Retrieval as a Semantics Transformation}",
  number		= "NIII--R0303",
  institution		= "Computing Science Institute, University of Nijmegen",
  year			= "2003",
  research_group	= "iris",
  class			= "Report"
}

@techreport{2003-vanLeijenhorst-ExpressionGrowth,
  author		= "{van Leijenhorst}, D.C.",
  title			= "{A Note on Expression Growth in Process Algebra}",
  number		= "NIII--R0304",
  month			= "February",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2003",
  code			= "icis.NIII-R0304",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2003-vanLeijenhorst-TheoremWedderburns,
  author		= "{van Leijenhorst}, D.C.",
  title			= "{On Witt's Proof of Wedderburn's Theorem}",
  number		= "NIII--R0305",
  month			= "February",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2003",
  code			= "icis.NIII-R0305",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2003-Fehnker-ModelingHybrid,
  author		= "{Fehnker}, A. and {Vaandrager}, F.W. and {Zhang}, M.",
  title			= "{Modeling and Verifying a Lego Car Using Hybrid I/O Automata}",
  number		= "NIII--R0308",
  month			= "March",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2003",
  code			= "icis.NIII-R0308",
  research_group	= "ita",
  class			= "Report"
}

@techreport{2003-Burdy-OverviewApplications,
  author		= "{Burdy}, L. and {Cheon}, Y. and {Cok}, D. and {Ernst}, M. and {Kiniry}, J.R. and {Leavens}, G.T. and {Leino}, K.R.M. and {Poll}, E.",
  title			= "{An overview of JML tools and applications}",
  number		= "NIII--R0309",
  month			= "March",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2003",
  code			= "icis.NIII-R0309",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2003-Jacobs-ProgramVerification,
  author		= "{Jacobs}, B.P.F. and {Kiniry}, J.R. and {Warnier}, M.E.",
  title			= "{Java Program Verification Challenges}",
  number		= "NIII--R0310",
  month			= "March",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2003",
  code			= "icis.NIII-R0310",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2003-Gebremichael-SystemSymbolic,
  author		= "{Gebremichael}, B. and {Vaandrager}, F.W.",
  title			= "{Control Synthesis for a Smart Card Personalization System using Symbolic Model Checking}",
  number		= "NIII--R0312",
  month			= "May",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2003",
  code			= "icis.NIII-R0312",
  research_group	= "ita",
  class			= "Report"
}

@techreport{2003-Hoppenbrouwers-SupportLanguage,
  author		= "{Hoppenbrouwers}, S.J.B.A. (Stijn) and {Weigand}, H.",
  title			= "{Conceptualisation Support for Language Development}",
  number		= "NIII--R0314",
  month			= "May",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2003",
  code			= "icis.NIII-R0314",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2003-Breunesse-SmartCards,
  author		= "{Breunesse}, C.--B. and {Catano}, N. and {Huisman}, M. and {Jacobs}, B.P.F.",
  title			= "{Formal Methods for Smart Cards: an experience report}",
  number		= "NIII--R0316",
  month			= "August",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2003",
  code			= "icis.NIII-R0316",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2003-Schabell-Conversions,
  author		= "{Schabell}, E.D.",
  title			= "{Building the PRONIR Conversion Clearinghouse}",
  number		= "NIII--R0317",
  institution		= "Nijmegen Institute for Information and Computing Sciences, University of Nijmegen, Nijmegen, The Netherlands, EU",
  year			= "2003",
  code			= "icis.NIII-R0317",
  research_group	= "iris",
  class			= "Report"
}

@techreport{2003-Jacobs-VerificationNijmegen,
  author		= "{Jacobs}, B.P.F. and {Poll}, E.",
  title			= "{Java Program Verification at Nijmegen: Developments and Perspective}",
  number		= "NIII--R0318",
  month			= "September",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2003",
  code			= "icis.NIII-R0318",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2003-Bosman-FormalizingRepresentations,
  author		= "{Bosman}, S. and {van der Weide}, Th.P.",
  title			= "{Information modelling by formalizing vague representations}",
  number		= "NIII--R0319",
  month			= "September",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2003",
  code			= "icis.NIII-R0319",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2006-Oostdijk-RemoteMethod,
  author		= "{Oostdijk}, M.D. and {Warnier}, M.E.",
  title			= "{On the combination of Java Card Remote Method Invocation and JML}",
  number		= "NIII--R0321",
  month			= "October",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2003",
  code			= "icis.NIII-R0321",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2003-Hubbers-ReasoningAbout,
  author		= "{Hubbers}, E.M.G.M. and {Poll}, E.",
  title			= "{Reasoning about Card Tears and Transactions in Java Card}",
  number		= "NIII--R0322",
  month			= "October",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2003",
  code			= "icis.NIII-R0322",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2003-Niqui-ExactSternBrocot,
  author		= "{Niqui}, M.",
  title			= "{Exact Arithmetic on the Stern--Brocot Tree}",
  number		= "NIII--R0325",
  month			= "November",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2003",
  code			= "icis.NIII-R0325",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2003-Lucas-GuidelinesThrough,
  author		= "{Lucas}, P.J.F.",
  title			= "{Quality Checking of Medical Guidelines through Logical Abduction}",
  number		= "NIII--R0327",
  month			= "November",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2003",
  code			= "icis.NIII-R0327",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2003-Koopman-TestdagNederlandse,
  author		= "{Koopman}, P. and {Tretmans}, J.",
  title			= "{9e Nederlandse Testdag}",
  number		= "NIII--R0328",
  month			= "November",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2003",
  code			= "icis.NIII-R0328",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2003-Schabell-DocConversions,
  author		= "{Schabell}, E.D.",
  title			= "{The DocConversion framework}",
  number		= "NIII--R0332",
  institution		= "Nijmegen Institute for Information and Computing Sciences, University of Nijmegen, Nijmegen, The Netherlands, EU",
  year			= "2003",
  code			= "icis.NIII-R0332",
  research_group	= "iris",
  class			= "Report"
}

@techreport{2003-Giero-ProofMizar,
  author		= "{Giero}, M. and {Wiedijk}, F.",
  title			= "{MMode, a Mizar Mode for the proof assistant Coq}",
  number		= "NIII--R0333",
  month			= "December",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2003",
  code			= "icis.NIII-R0333",
  research_group	= "icis",
  class			= "Report"
}