@techreport{2005-van-ProofSupport,
  author		= "{Kesteren}, Ron van and {Eekelen}, M.C.J.D. van and {Mol}, Maarten de",
  title			= "{Proof Support for General Type Classes}",
  number		= "ICIS--R05001",
  month			= "January",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2005",
  code			= "icis.ICIS-R05001",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2005-Lensink-InductionCoInduction,
  author		= "{Lensink}, Leonard and {Eekelen}, M.C.J.D. van",
  title			= "{Induction and Co--Induction in Sparkle}",
  number		= "ICIS--R05002",
  month			= "January",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2005",
  code			= "icis.ICIS-R05002",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2005-Jacobs-ReviewRegular,
  author		= "{Jacobs}, B.P.F.",
  title			= "{A Bialgebraic Review of Regular Expressions, Deterministic Automata and Languages}",
  number		= "ICIS--R05003",
  month			= "February",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2005",
  code			= "icis.ICIS-R05003",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2005-Hasuo-ContextfreeCoalgebraic,
  author		= "{Hasuo}, Ichiro and {Jacobs}, B.P.F.",
  title			= "{Context--free Languages via Coalgebraic Trace Semantics}",
  number		= "ICIS--R05004",
  month			= "January",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2005",
  code			= "icis.ICIS-R05004",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2005-Wandeler-AnalysisModular,
  author		= "{Wandeler}, Ernesto and {Thiele}, Lothar and {Verhoef}, Marcel and {Lieverse}, Paul",
  title			= "{System Architecture Evaluation Using Modular Performance Analysis}",
  number		= "ICIS--R05005",
  month			= "January",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2005",
  code			= "icis.ICIS-R05005",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2005-Hoppenbrouwers-UnderstandingModelling,
  author		= "{Hoppenbrouwers}, S.J.B.A. (Stijn) and {Proper}, H.A. (Erik) and {van der Weide}, Th.P.",
  title			= "{Fundamental Understanding of the Act of Modelling}",
  number		= "ICIS--R05006",
  month			= "January",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2005",
  code			= "icis.ICIS-R05006",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2004-BosmanS-FormalizedDialogs,
  author		= "{Bosman}, S. and {van der Weide}, Th.P.",
  title			= "{Towards formalization of the information modeling dialog}",
  number		= "ICIS--R05012",
  institution		= "Computing Science Institute, University of Nijmegen",
  year			= "2005",
  code			= "icis.ICIS-R05012",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2005-Hoppenbrouwers-UncertainModelling,
  author		= "{Hoppenbrouwers}, S.J.B.A. (Stijn) and {van der Weide}, Th.P. and {Proper}, H.A. (Erik)",
  title			= "{Dealing with Uncertainty in Information Modelling}",
  number		= "ICIS--R05013",
  institution		= "Institute for Information and Computing Sciences, Radboud University",
  address		= "Nijmegen, The Netherlands, EU",
  year			= "2005",
  code			= "icis.ICIS-R05013",
  research_group	= "iris",
  class			= "Report"
}

@techreport{2005-Hendriks-CheckingModel,
  author		= "{Hendriks}, Martijn",
  title			= "{Model Checking the Time to Reach Agreement}",
  number		= "ICIS--R05014",
  month			= "February",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2005",
  code			= "icis.ICIS-R05014",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2005-DArgenio-AutomataBisimulation,
  author		= "{D`Argenio}, P. R. and {Gebremichael}, B.",
  title			= "{The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation}",
  number		= "ICIS--R05015",
  month			= "March",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2005",
  code			= "icis.ICIS-R05015",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2005-Gebremichael-ServicesGuaranteed,
  author		= "{Gebremichael}, B. and {Vaandrager}, F.W. and {Zhang}, Miaomiao",
  title			= "{Formal Models of Guaranteed and Best--Effort Services for Networks on Chip}",
  number		= "ICIS--R05016",
  month			= "March",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2005",
  code			= "icis.ICIS-R05016",
  research_group	= "ita",
  class			= "Report"
}

@techreport{2005-Cheung-CausalStochastic,
  author		= "{Cheung}, Ling and {Hendriks}, Martijn",
  title			= "{Causal Dependencies in Parallel Composition of Stochastic Processes}",
  number		= "ICIS--R05020",
  month			= "September",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2005",
  code			= "icis.ICIS-R05020",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2005-Schabell-VimesBroker,
  author		= "{Schabell}, E.D. and {Gils}, B. van",
  title			= "{Implementing Vimes -- the broker component}",
  number		= "ICIS--R05028",
  institution		= "Radboud University Nijmegen",
  year			= "2005",
  code			= "icis.ICIS-R05028",
  research_group	= "iris",
  class			= "Report"
}

@techreport{2005-Sarbo-NaturalGrammar,
  author		= "{Sarbo}, J.J. and {Farkas}, J.I. and {Breemen}, A.J.J. van",
  title			= "{Natural Grammar}",
  number		= "ICIS--R05032",
  institution		= "Radboud University",
  address		= "Nijmegen, The Netherlands, EU",
  year			= "2005",
  code			= "icis.ICIS-R05032",
  research_group	= "iris",
  class			= "Report"
}

@techreport{2005-Verhoef-RealtimeSpecifying,
  author		= "{Verhoef}, Marcel",
  title			= "{On the Use of VDM++ for Specifying Real--time Systems}",
  number		= "ICIS--R05033",
  month			= "October",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2005",
  code			= "icis.ICIS-R05033",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2005-Warnier-NoninterferenceNoninterference,
  author		= "{Warnier}, Martijn and {Oostdijk}, Martijn",
  title			= "{Non--interference in JML}",
  number		= "ICIS--R05034",
  month			= "October",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2005",
  code			= "icis.ICIS-R05034",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2005-Cheung-UsingAssumption,
  author		= "{Cheung}, Ling",
  title			= "{Randomized Wait--Free Consensus using An Atomicity Assumption}",
  number		= "ICIS--R05035",
  month			= "November",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2005",
  code			= "icis.ICIS-R05035",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2005-vandenBroek-WeightedDistance,
  author		= "{van den Broek}, Egon L. and {Schouten}, Theo E. and {Kisters}, Peter M. F. and {Kuppens}, Harco",
  title			= "{Weighted Distance Mapping (WDM)}",
  number		= "ICIS--R05036",
  month			= "Decewmber",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2005",
  code			= "icis.ICIS-R05036",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2005-vanRikxoort-DevelopmentHumancentered,
  author		= "{van Rikxoort}, Eva M. and {van den Broek}, Egon L. and {Schouten}, Theo E.",
  title			= "{The development of a human--centered object--based image retrieval engine}",
  number		= "ICIS--R05037",
  month			= "December",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2005",
  code			= "icis.ICIS-R05037",
  research_group	= "icis",
  class			= "Report"
}

@techreport{2005-vandenBroek-ObjectbasedHumancentered,
  author		= "{van den Broek}, Egon L. and {van Rikxoort}, Eva M. and {Schouten}, Theo E.",
  title			= "{Human--centered object--based image retrieval}",
  number		= "ICIS--R05038",
  month			= "December",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2005",
  code			= "icis.ICIS-R05038",
  research_group	= "icis",
  class			= "Report"
}