Informal introduction to the extended affix grammar formalism and its compiler / M. SeutterAn information system organized as stratified hypermedia / C.A.J. Burgers, H.A. Proper, Th.P. van der WeideMultiple inheritance via intersection types / Adriana B. Compagnoni, Benjamin C. PierceEVORM : a conceptual modelling technique for evolving application domains / H.A. Proper and Th.P. van der WeideAn epistemic proof system for parallel processes / M. van Hulst and J.-J.Ch. MeyerTransformational derivation of (parallel) programs using skeletons / Eerke A. Boiten , A. Max Geerling, Helmut A. PartschInformation disclosure in evolving information systems : taking a shot at a moving target / H.A. Proper and Th.P. van der WeideExperiences with EDO : an evolutionary database optimizer / Patrick van BommelFunmath illustrated : a declarative formalism and application examples / Raymond BoutePerformance engineering by computer aided schema transformations / Patrick van BommelSupporting information disclosure in an evolving environment / A.H.M. ter Hofstede, H.A. Proper, Th.P. van der WeideA performance comparison of asynchronous atomic broadcast protocols / R.C.J. de BeijerFormal derivation of SIMD parallelism from non-linear recursive specifications / A.M. GeerlingConventional and uniqueness typing in graph rewrite systems / Erik Barendsen, Sjaak SmetsersFrom formal specification towards derivation: the MacMahon (Swiss) system / N.W.P. van DiepenA unifying object role modelling theory / S.J. Brouwer ... [et al.]Fact orientation in complex object role modelling techniques / A.H.M. ter Hofstede and Th.P. van der WeideStrong normalization of typeable rewrite systems / Steffen van Bakel and Maribel FernándezSupporting query by navigation / F.C. Berger, A.H.M. ter Hofstede and Th.P. van der WeideConcept sublattices : theory and applications / J.J. Sarbo and J.I. FarkasTechnical report / Computing Science InstituteDeclarative systems series / Computing Science Institute, Katholieke Universiteit NijmegenLinear-time suffix recognition for deterministic languages / M.-J. Nederhof, E. BertschA view algebra for object-role models / P. van BommelGrammar based information modelling / A. ter Hofstede, E. Proper and Th. van der WeideA feedback mechanism for query by navigation / F.C. Berger, Th. van der WeidePolymorphic extensions of simple type structures : with an application to a bar recursive minimization / E. Barendsen and M. BezemA unifying framework for conceptual data modelling concepts / P.J.M. Frederiks, A.H.M. ter Hofstede, E. LippeProgram transformations and skeletons : formal derivation of parallel programs / A. Max GeerlingA category theory approach to conceptual data modeling / E. Lippe and A.H.M. ter HofstedeDeriving identity from extensionality / A.H.M. ter Hofstede and Th.P. van der WeideQuery formulation as an information retrieval problem / A.H.M ter Hofstede, H.A. Proper, Th.P. van der WeideHairy search trees / C.H.A. Koster, Th.P.van der WeideTowards formal patient case analysis : generic modelling of patient specific temporal knowledge / A.A.F. van der Maas, A.H.M. ter Hofstede, P.F. de Vries RobbéPolymorphism in funmath / F.A.M. van den BeukenMarkov chain fundamentals for data schema transformations / P. Toonen, P. van BommelThe interparture time distribution for each class in the →S⇋Mi[X]/Gi/1 queue with set-up times and repeated server vacations / F.J.M. PankenA simple abstract semantics for equational theories / G. BartheFormalising mathematics in UTT : fundamentals and case studies / G. BartheStrong normalisation of quotient and subset types in higher order logic / G. Barthe