@techreport{1999-Wondergem-CountingBIEs,
  author		= "{Wondergem}, B.C.M. and {Bommel}, P. van and {van der Weide}, Th.P.",
  title			= "{Counting and Generating (Boolean) Index Expressions}",
  institution		= "University of Nijmegen",
  year			= "1999",
  note			= "Technical Report CSI--R99xx",
  research_group	= "iris",
  class			= "Report"
}

@techreport{1999-Arampatzis-POSTextFiltering,
  author		= "{Arampatzis}, A.T. and {van der Weide}, Th.P. and {Koster}, C.H.A. and {Bommel}, P. van",
  title			= "{Text Filtering using Linguistically--motivated Indexing Terms}",
  number		= "CSI--R9901",
  month			= "January",
  institution		= "Computing Science Institute, University of Nijmegen, Nijmegen, The Netherlands, EU",
  year			= "1999",
  code			= "icis.CSI-R9901",
  research_group	= "iris",
  class			= "Report"
}

@techreport{1999-Jones-FirstSearch,
  author		= "{Jones}, P.A. and {Bommel}, P. van and {Koster}, C.H.A. and {van der Weide}, Th.P.",
  title			= "{Best First Search techniques in Document Processing applications}",
  number		= "CSI--R9902",
  month			= "January",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "1999",
  code			= "icis.CSI-R9902",
  research_group	= "icis",
  class			= "Report"
}

@techreport{1999-Devillers-AutomataTranslating,
  author		= "{Devillers}, M.C.A.",
  title			= "{Translating IOA automata to PVS}",
  number		= "CSI--R9903",
  month			= "February",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "1999",
  code			= "icis.CSI-R9903",
  research_group	= "icis",
  class			= "Report"
}

@techreport{1999-Stoelinga-VerificationLeadership,
  author		= "{Stoelinga}, M.I.A.",
  title			= "{Gambling for Leadership: Verification of Root Contention in IEEE 1394}",
  number		= "CSI--R9904",
  month			= "March",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "1999",
  code			= "icis.CSI-R9904",
  research_group	= "icis",
  class			= "Report"
}

@techreport{1999-Stoelinga-ContentionContention,
  author		= "{Stoelinga}, M.I.A. and {Vaandrager}, F.W.",
  title			= "{Root Contention in IEEE 1394}",
  number		= "CSI--R9905",
  month			= "March",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "1999",
  code			= "icis.CSI-R9905",
  research_group	= "ita",
  class			= "Report"
}

@techreport{1999-Jacobs-AlgebrasGalois,
  author		= "{Jacobs}, B.P.F.",
  title			= "{The Temporal Logic of Coalgebras via Galois Algebras}",
  number		= "CSI--R9906",
  month			= "April",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "1999",
  code			= "icis.CSI-R9906",
  research_group	= "icis",
  class			= "Report"
}

@techreport{1999-Lynch-HybridAutomata,
  author		= "{Lynch}, N. and {Segala}, R. and {Vaandrager}, F.W. and {Weinberg}, H.B.",
  title			= "{Hybrid I/O Automata}",
  number		= "CSI--R9907",
  month			= "April",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "1999",
  code			= "icis.CSI-R9907",
  research_group	= "ita",
  class			= "Report"
}

@techreport{2006-Fehnker-PlantScheduling,
  author		= "{Fehnker}, A.",
  title			= "{Scheduling a steel plant with timed automata}",
  number		= "CSI--R9910",
  month			= "July",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "1999",
  code			= "icis.CSI-R9910",
  research_group	= "icis",
  class			= "Report"
}

@techreport{1999-Wondergem-IndexExpressions,
  author		= "{Wondergem}, B.C.M. and {Bommel}, P. van and {van der Weide}, Th.P.",
  title			= "{Compactness of Boolean Index Expressions}",
  number		= "CSI--R9911",
  month			= "June",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "1999",
  code			= "icis.CSI-R9911",
  research_group	= "icis",
  class			= "Report"
}

@techreport{1999-Huisman-AbruptHoare,
  author		= "{Huisman}, M. and {Jacobs}, B.P.F.",
  title			= "{Java Program Verification via a Hoare Logic with Abrupt Termination}",
  number		= "CSI--R9912",
  month			= "June",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "1999",
  code			= "icis.CSI-R9912",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2006-deMol-ProverPrototype,
  author		= "{de Mol}, M.J. and {van Eekelen}, M.C.J.D.",
  title			= "{A Prototype Dedicated Theorem Prover for Clean}",
  number		= "CSI--R9913",
  month			= "October",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "1999",
  code			= "icis.CSI-R9913",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2006-Wupper-AnatomyComputer,
  author		= "{Wupper}, H.",
  title			= "{Anatomy of Computer Systems -- Experiences with a new introductory informatics course}",
  number		= "CSI--R9914",
  month			= "August",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "1999",
  code			= "icis.CSI-R9914",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2006-Ivanov-BiphaseProtocol,
  author		= "{Ivanov}, S. and {Griffioen}, W.O.D.",
  title			= "{Verification of a Biphase Mark Protocol}",
  number		= "CSI--R9915",
  month			= "August",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "1999",
  code			= "icis.CSI-R9915",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2006-Bethke-PartialCombinatory,
  author		= "{Bethke}, I. and {Klop}, J.W. and {de Vrijer}, R.",
  title			= "{Extending Partial Combinatory Algebras}",
  number		= "CSI--R9920",
  month			= "October",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "1999",
  code			= "icis.CSI-R9920",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2006-Bethke-DescendantsRewriting,
  author		= "{Bethke}, I. and {Klop}, J.W. and {de Vrijer}, R.",
  title			= "{Descendants and Origins in Term Rewriting}",
  number		= "CSI--R9921",
  month			= "October",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "1999",
  code			= "icis.CSI-R9921",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2006-Sarbo-SignGrammar,
  author		= "{Sarbo}, J.J. and {Farkas}, J.I.",
  title			= "{Sign Grammar}",
  number		= "CSI--R9922",
  month			= "October",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "1999",
  code			= "icis.CSI-R9922",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2006-Lambooij-TransferBuffered,
  author		= "{Lambooij}, P.",
  title			= "{The YAPI protocol for buffered data transfer}",
  number		= "CSI--R9923",
  month			= "December",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "1999",
  code			= "icis.CSI-R9923",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2006-vandenBerg-ModelMemory,
  author		= "{Berg}, J.A.G.M. van den and {Huisman}, M. and {Jacobs}, B.P.F. and {Poll}, E.",
  title			= "{A Type--Theoretic Memory Model for Verification of Sequential Java Programs}",
  number		= "CSI--R9924",
  month			= "November",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "1999",
  code			= "icis.CSI-R9924",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2006-Willems-CompactAutomata,
  author		= "{Willems}, H.X.",
  title			= "{Compact Timed Automata for PLC Programs}",
  number		= "CSI--R9925",
  month			= "December",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "1999",
  code			= "icis.CSI-R9925",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2006-Jacobs-BasicMonad,
  author		= "{Jacobs}, B.P.F. and {Poll}, E.",
  title			= "{A Monad for Basic Java Semantics}",
  number		= "CSI--R9926",
  month			= "December",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "1999",
  code			= "icis.CSI-R9926",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2006-PollS-AldorSystem,
  author		= "{Poll}, E.",
  title			= "{The Type System of Aldor}",
  number		= "CSI--R9928",
  month			= "December",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "1999",
  code			= "icis.CSI-R9928",
  research_group	= "icis",
  class			= "Report"
}