@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" }