@techreport{2001-Janssen-SearchFunctio,
  author		= "{Janssen}, R.D.T. and {Proper}, H.A. (Erik)",
  title			= "{A functionality taxonomy for document search engines}",
  month			= "June",
  institution		= "Ordina Institute",
  address		= "Gouda, The Netherlands, EU",
  year			= "2001",
  research_group	= "iris",
  class			= "Report"
}

@techreport{2001-Poll-CoalgebrasDialgebras,
  author		= "{Poll}, E. and {Zwanenburg}, J.",
  title			= "{From Algebras and Coalgebras to Dialgebras}",
  number		= "CSI--R0101",
  month			= "January",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2001",
  code			= "icis.CSI-R0101",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2001-Hune-AutomataParametric,
  author		= "{Hune}, T.S. and {Romijn}, J.M.T. and {Stoelinga}, M.I.A. and {Vaandrager}, F.W.",
  title			= "{Linear Parametric Model Checking of Timed Automata}",
  number		= "CSI--R0102",
  month			= "January",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2001",
  code			= "icis.CSI-R0102",
  research_group	= "ita",
  class			= "Report"
}

@techreport{2001-Arampatzis-FilteringTrack,
  author		= "{Arampatzis}, A.T. and {Beney}, J. and {Koster}, C.H.A. and {van der Weide}, Th.P.",
  title			= "{KUN on the TREC--9 Filtering Track: Incrementality, Decay, and Threshold Optimization for Adaptive Filtering Systems}",
  number		= "CSI--R0104",
  month			= "January",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2001",
  code			= "icis.CSI-R0104",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2001-Stoelinga-FireWireContention,
  author		= "{Stoelinga}, M.I.A.",
  title			= "{Fun with FireWire: Experiences with Verifying the IEEE 1394 Root Contention Protocol}",
  number		= "CSI--R0107",
  month			= "March",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2001",
  code			= "icis.CSI-R0107",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2001-Hendriks-QuiteUppaal,
  author		= "{Hendriks}, M.",
  title			= "{Translating Uppaal to Not Quite C}",
  number		= "CSI--R0108",
  month			= "March",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2001",
  code			= "icis.CSI-R0108",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2001-Behrmann-MinimumCostReachability,
  author		= "{Behrmann}, G. and {Fehnker}, A. and {Hune}, T.S. and {Larsen}, K.G. and {Pettersson}, P. and {Romijn}, J.M.T. and {Vaandrager}, F.W.",
  title			= "{Minimum--Cost Reachability for Priced Timed Automata}",
  number		= "CSI--R0109",
  month			= "March",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2001",
  code			= "icis.CSI-R0109",
  research_group	= "ita",
  class			= "Report"
}

@techreport{2001-Behrmann-UPPAALGuiding,
  author		= "{Behrmann}, G. and {Fehnker}, A. and {Hune}, T.S. and {Larsen}, K.G. and {Pettersson}, P. and {Romijn}, J.M.T.",
  title			= "{Efficient Guiding Towards Cost--Optimality in UPPAAL}",
  number		= "CSI--R0110",
  month			= "March",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2001",
  code			= "icis.CSI-R0110",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2001-Gieben-ChainTrust,
  author		= "{Gieben}, R.",
  title			= "{Chain of Trust}",
  number		= "CSI--R0111",
  month			= "March",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2001",
  code			= "icis.CSI-R0111",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2001-Mader-BatchPlant,
  author		= "{Mader}, A.H. and {Brinksma}, E. and {Wupper}, H. and {Bauer}, N.",
  title			= "{Design of a PLC Control Program for a Batch Plant VHS Case Study 1}",
  number		= "CSI--R0113",
  month			= "March",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2001",
  code			= "icis.CSI-R0113",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2006-Hannemann-DesignCommandandControl,
  author		= "{Hannemann}, U. and {Hooman}, J.J.M.",
  title			= "{Top--down Design of a Command--and--Control System with Timing Assumptions }",
  number		= "CSI--R0116",
  month			= "June",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2001",
  code			= "icis.CSI-R0116",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2001-Sarbo-LogicLanguage,
  author		= "{Sarbo}, J.J. and {Farkas}, J.I.",
  title			= "{On the isomorphism of sign, logic and language}",
  number		= "CSI--R0117",
  month			= "June",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2001",
  code			= "icis.CSI-R0117",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2001-Grootjen-GrammarlessIndexing,
  author		= "{Grootjen}, F.A.",
  title			= "{Relational indexing using a grammarless parser}",
  number		= "CSI--R0118",
  month			= "July",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2001",
  code			= "icis.CSI-R0118",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2001-Farkas-PierceOntology,
  author		= "{Farkas}, J.I. and {Sarbo}, J.J.",
  title			= "{A Peircean Ontology of Semantics}",
  number		= "CSI--R0120",
  institution		= "Nijmegen Institute for Information and Computing Sciences, University of Nijmegen, Nijmegen, The Netherlands, EU",
  year			= "2001",
  code			= "icis.CSI-R0120",
  research_group	= "iris",
  class			= "Report"
}

@techreport{2001-Sarbo-KnowlRepr,
  author		= "{Sarbo}, J.J. and {Farkas}, J.I.",
  title			= "{A linearly complex model for knowledge representation}",
  number		= "CSI--R0121",
  institution		= "Nijmegen Institute for Information and Computing Sciences, University of Nijmegen, Nijmegen, The Netherlands, EU",
  year			= "2001",
  code			= "icis.CSI-R0121",
  research_group	= "iris",
  class			= "Report"
}

@techreport{2001-Hendriks-ModelAcceleration,
  author		= "{Hendriks}, M. and {Larsen}, K.G.",
  title			= "{Exact Acceleration of Real--Time Model Checking}",
  number		= "CSI--R0122",
  month			= "December",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2001",
  code			= "icis.CSI-R0122",
  research_group	= "icis",
  class			= "Report"
}