Technical report / Nijmegen Institute for Computing and Information Sciences

A conceptual model of information supply / B. van Gils, H.A. Proper, P. van Bommelschema:ProductModel A formal analysis of a car periphery supervision system / B. Gebremichael, T. Krilavicius, Y.S. Usenkoschema:ProductModel A formal derivation of Heaps' law / F.A. Grootjen, D.C. van Leijenhorst, Th.P. van der Weideschema:ProductModel A generic adaptive model in adaptive hypermedia / P.T. de Vrieze, P. van Bommel, Th.P. van der Weideschema:ProductModel A generic engine for user model based adaptation / P.T. de Vrieze, P. van Bommel, Th.P. van der Weideschema:ProductModel A note on expression growth in process algebra / D.C. van Leijenhorstschema:ProductModel A taxonomy of reactive systems / A.L. de Groot, H. Wupperschema:ProductModel Adding symmetry reduction to Uppaal / M. Hendriks ... [et al.]schema:ProductModel Admissible digit sets and a modified stern-brocot representation / J. Hughes, M. Niquischema:ProductModel An overview of JML tools and applications / L. Burdy ... [et al.]schema:ProductModel Arrows for generic graphical editor components / P. Achten ... [et al.]schema:ProductModel Automatic generation of editors for higher-order data structures / P. Achten ... [et al.]schema:ProductModel Bayesian network modelling through qualitative patterns / P. Lucasschema:ProductModel Building the PRONIR conversion clearinghouse / E.D. Schabellschema:ProductModel Building the semantic web with syntactic and semantic building blocks : position paper / S. Bosmanschema:ProductModel Combining generics and dynamics / P. Achten, R. Hinzeschema:ProductModel Compositional model-views with generic graphical user interfaces / P. Achten, M. van Eekelen, R. Plasmeijerschema:ProductModel Concept evolution in information system evolution / H.A. Proper, S.J.B.A. Hoppenbrouwersschema:ProductModel Conceptual query expansion / F.A. Grootjen, Th.P. van der Weideschema:ProductModel Conceptual query reformulation / F.A. Grootjen, Th.P. van der Weideschema:ProductModel ... show all 64

Technical report / Nijmegen Institute for Computing and Information Sciencesschema:ProductModel