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