ICIS Research Publications


2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987 1986 1985 1984 1983 1982 1981 1980 1979 1978 1977 1976 1975 1974 1973 1972 1971 1970 1969 1968 1967 1966 1965 1964 1963 1962 1960 1959 1958 1957 1956 1955 1953 1952 1951 1950 1949 1948 1947 1946 1945 1941 1938 1923 1911

Unclassified

W. Lukaszewicz. Non-Monotonic Reasoning; Formalization of Commonsense Reasoning. Ellis Horwood, 1991.

[ Missing PDF ] [ Bibtex ]

M. Agosti, R. Colotti, and G. Gradenigo. Issues of Data Modelling in Information Retrieval. In: Electronic Publishing, Nr: 4, Vol: 4, Pages: 219-237, December, 1991.

This paper addresses the problem of data modelling in information retrieval. The study introduces various aspects andissues that are necessarily taken into account when designing and developing an information retrieval system. Particular attention is paid to the representation of the different types of data managed by an information retrieval application: structured and unstructured data.

A recently introduced information retrieval, data modelling approach supports the notion of a schema permitting representation of the information retrieval data on two different levels: intensional and extensional. The characteristics of this data modelling approach are presented here together with examples of its use in a working prototype.

[ PDF ] [ Bibtex ]

M. Agosti, R. Colotti, and G. Gradenigo. A Two-Level Hypertext Retrieval Model for Legal Data. In: Proceedings of the 14th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Chicago, Illinois, USA, Edited by: A. Bookstein, Y. Chiarmarella, G.E Salton, and V.V. Raghavan. Pages: 316-325, October, ACM, New York, New York, USA, 1991.

This paper introduces an associative information retrieval model based on the two-level architecture proposed earlier, and an experimental prototype developed in order to validate the model in a personal computing environment. In the first part of the paper, related work and motivations are presented. In the second part, the model, entitled EXPLICIT, is introduced. EXPLICIT is base don a two-level architecture which holds the two main parts of the informative resource managed by an information retrieval tool: the collection of documents and the indexing term structure. Theterm structure is managed as a schema of concepts which can be used by the final user as a frame of reference in the query formulation process. llemodel supports theconcurrent use of different schemas of concepts to satisfy information needs of different categories of users. Inthethird part of the paper, the main characteristics of the experimental prototype, named HyperLaw, are presented.

[ PDF ] [ Bibtex ]

G. Ariav. Temporally oriented data definitions: Managing schema evolution in temporally oriented databases. In: Data & Knowledge Engineering, Nr: 6, Vol: 6, Pages: 451-467, North-Holland, Amsterdam, The Netherlands, EU, 1991.

[ Missing PDF ] [ Bibtex ]

A. Asperti, and G. Longo. Categories, Types, and Structures. Foundations of Computing Series, MIT Press, Cambridge, Massachusetts, USA, 1991.

[ Missing PDF ] [ Bibtex ]

D.E. Avison, and A.T. Wood-Harper. Information Systems Development Research: An Exploration of Ideas in Practice. In: The Computer Journal, Nr: 2, Vol: 34, Pages: 98-112, April, 1991.

[ Missing PDF ] [ Bibtex ]

J.C.M. Baeten, and J.A. Bergstra. Real Time Process Algebra. In: Formal Aspects of Computing, Vol: 3, Pages: 142-188, 1991.

[ Missing PDF ] [ Bibtex ]

J.H. ter Bekke. Semantic Data Modeling in Relational Environments. Delft University of Technology, Delft, The Netherlands, EU, 1991.

[ Missing PDF ] [ Bibtex ]

K.K. Benke, and D.R. Skinner. A direct search algorithm for global optimisation of multivariate functions. In: The Australian Computer Journal, Nr: 2, Vol: 23, Pages: 73-85, May, 1991.

[ Missing PDF ] [ Bibtex ]

K. Bennett, M.C. Ferris, and Y.E. Ioannidis. A Genetic Algorithm for Database Query Optimization. In: Proceedings of the fourth International Conference on Genetic Algorithms, Pages: 400-407, 1991.

[ Missing PDF ] [ Bibtex ]

E.A. Boiten. Can Bag Comprehension be used at all?. Technical report, Department of Informatics, University of Nijmegen, Nijmegen, The Netherlands, 1991.

[ Missing PDF ] [ Bibtex ]

G. Booch. Object-Oriented Design with Applications. Benjamin Cummings, Redwood City, California, USA, 1991.

[ Missing PDF ] [ Bibtex ]

R. Bosman, and R. Bouwman. The Automation and Disclosure of a Slides Library. April, University of Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

R. Bosman, and R. Bouwman. The Automation and Disclosure of a Slides Library. Technical report, April, Vakgroep Informatiesystemen, University of Nijmegen, The Netherlands, 1991, Masters Thesis.

[ Missing PDF ] [ Bibtex ]

W. Boyes, and M. Melvin. Macroeconomics. Houghton Mifflin, Boston, Massachusetts, USA, 1991.

[ Missing PDF ] [ Bibtex ]

R.J. Brachman, D.L. McGuiness, P.F. Patel-Schnieder, and L. Alperin-Resnick. Living with CLASSIC: When and How to use a KL-ONE-like language. In: Principles of Semantic Networks, Chapter 14, Pages: 401-456, Morgan Kaufmann, San Mateo, California, USA, 1991.

[ Missing PDF ] [ Bibtex ]

S. Brinkkemper, L.J.M. Gerritsen, and J.E.A.v. Hintum. The Application of Modelling Techniques as Data Flow Diagrams and Entity-Relationship Diagrams. In: Proceedings of the Netherlands Informatics Education Conference, NIOC `90, Edited by: F. et al Mulder. Pages: 165-179, Kluwer, Deventer, The Netherlands, EU, 1991.

[ Missing PDF ] [ Bibtex ]

S. Brinkkemper, and G.M. Wijers. CASE Tools and Methodologies: a European Perspective. In: CASE: Issues and Trends for for the 1990s and Beyond Idea Group Publisihing, Edited by: T. Bergin. 1991.

[ Missing PDF ] [ Bibtex ]

S. Brinkkemper. Integrating Diagrams in CASE Tools through Modelling Transparency. In: Proceedings of the Computing Science in the Netherlands Conference (CSN91), Edited by: A.J. van de Goor. 1991.

[ Missing PDF ] [ Bibtex ]

Encyclopædia Britannica. World Data Annual. 1991.

[ Missing PDF ] [ Bibtex ]

J.A. Bubenko. Towards a Corporate Knowledge Repository. In: Information Systems in Transition, Deventer, The Netherlands, EU, Edited by: P.W.G. Bots, H.G. Sol, and I.G. Sprinkhuizen-Kuyper. Pages: 117-141, Kluwer, Deventer, The Netherlands, EU, 1991.

[ Missing PDF ] [ Bibtex ]

H.W. Buff. A Complete Identity Set for Codd Algebras. In: SIGMOD Record, Nr: 3, Vol: 20, Pages: 50-51, September, 1991.

[ Missing PDF ] [ Bibtex ]

E. Charniak. Bayesian Networks Without Tears. In: AI Magazine, Nr: 4, Vol: 12, Pages: 50-63, 1991.

[ Missing PDF ] [ Bibtex ]

J.A. Waterworth, and M.H. Chignell. A Model for Information Exploration. In: Hypermedia, Nr: 1, Vol: 3, Pages: 35-58, 1991.

[ Missing PDF ] [ Bibtex ]

C.W. Cleverdon. The Significance of the Cranfield Tests on Index Languages. In: Proceedings of the 14th Annual ACM Conference of Research and Development in Information Retrieval (SIGIR`1991), Chicago, Illinois, USA, Edited by: A. Bookstein, Y. Chiarmarella, G.E Salton, and V.V. Raghavan. Pages: 3-12, October, ACM, New York, New York, USA, 1991, ISBN 0897914481.

[ Missing PDF ] [ Bibtex ]

W.B. Croft, H.R. Turtle, and D.D. Lewis. The Use of Phrases and Structured Queries in Information Retrieval. In: Proceedings of the 14th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Chicago, Illinois, USA, Edited by: A. Bookstein, Y. Chiarmarella, G.E Salton, and V.V. Raghavan. Pages: 32-45, October, ACM, New York, New York, USA, 1991.

[ Missing PDF ] [ Bibtex ]

B. Czejdo, and D.W. Embley. View Specificication and Manipulation for a Semantic Data Model. In: Information Systems, Nr: 4, Vol: 16, Pages: 28-44, 1991.

[ Missing PDF ] [ Bibtex ]

P.B. Danzig, J. Ahn, J. Noll, and K. Obraczka. Distributed Indexing: A Scalable Mechanism for Distributed Information Retrieval. In: Proceedings of the 14th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Edited by: A. Bookstein, Y. Chiarmarella, G.E Salton, and V.V. Raghavan. Pages: 220-229, October, 1991.

[ Missing PDF ] [ Bibtex ]

C.J. Date. An Introduction to Data Base Systems. 5th edition, Vol: 1, Addison Wesley, 1991.

[ Missing PDF ] [ Bibtex ]

Handbook of genetic algorithms. Edited by: L. Davis. Van Nostrand Reinhold, New York, New York, USA, 1991.

[ Missing PDF ] [ Bibtex ]

G. de Haan, G.C. van der Veer, and J.C. van Vliet. Formal Modelling Techniques in Human-Computer Interaction. In: Acta Psychologica, Vol: 78, Pages: 27-67, 1991.

[ Missing PDF ] [ Bibtex ]

K. Devlin. Logic and Information. Cambridge University Press, Cambridge, United Kingdom, EU, 1991.

[ Missing PDF ] [ Bibtex ]

J. Dick, and J. Loubersac. Integrating visual notations with VDM. In: Software Engineering Environments: Volume 3, Edited by: F. Long. Pages: 219-231, Ellis Horwood, 1991.

[ Missing PDF ] [ Bibtex ]

F.P.M. Dignum, and R.P. van der Riet. Knowledge base modeling based on linguistics and founded in logic. In: Data & Knowledge Engineering, Vol: 7, Pages: 1-34, 1991.

[ Missing PDF ] [ Bibtex ]

R.C.J. Dur. Dynamic Modelling for Analysis and Design of Office Systems. In: Dynamic Modelling in Information Systems, Edited by: H.G. Sol, and K.M. van Hee. Elsevier, 1991.

[ Missing PDF ] [ Bibtex ]

R.C.J. Dur, and P.W.G. Bots. Dynamic Modelling of Organizations Using Task/Actor Simulation. In: Proceedings of the Second International Working Conference on Dynamic Modelling of Information Systems, Edited by: R.L. Crosslin, and H.G. Sol. Pages: 49-71, Elsevier, 1991.

[ Missing PDF ] [ Bibtex ]

H.-D. Ehrich, and A. Sernadas. Object concepts and constructions. In: Proceedings of the IS-CORE Workshop`91 (Informatik-Berichte 91-03), Edited by: G. Saake, and A. Sernadas. Pages: 1-24, Technische Universität Braunschweig, Braunschweig, Germany, EU, 1991.

[ Missing PDF ] [ Bibtex ]

F. Eliassen, and R. Karlsen. Intereoperability and Object Identity. In: SIGMOD Record, Nr: 4, Vol: 20, Pages: 25-29, 1991.

[ Missing PDF ] [ Bibtex ]

C.A. Ellis, S.J. Gibbs, and G.L. Rein. Groupware: Some issues and experiences. In: Communications of the ACM, Nr: 1, Vol: 34, Pages: 38-58, 1991.

[ Missing PDF ] [ Bibtex ]

D.A. Evans, K. Ginther-Webster, M. Hart, R.G. Lefferts, and I. Monarch. Automatic Indexing Using Selective NLP And First-Order Thesauri. In: Proceedings of RIAO`91, Edited by: A. Lichnerowicz. Pages: 624-643, 1991.

[ Missing PDF ] [ Bibtex ]

P. Fankhauser, M. Kracker, and E.J. Neuhold. Semantics vs Structural Resemblance of Classes. In: SIGMOD Record, Nr: 4, Vol: 20, Pages: 59-63, 1991.

[ Missing PDF ] [ Bibtex ]

E. Farkas, C.H.A. Koster, P. Köves, and M. Nasz`odi. Towards and Affix Grammar for the Hungarian Language. In: Proceedings of the 1991 Conference on Intelligent Systems (CIS `91), Edited by: A. Gyoergy. Pages: 233-246, John von Neumann Society for Computing Sciences, Budapest, Hungary, EU, 1991.

[ Missing PDF ] [ Bibtex ]

J. Fiadeiro, C. Sernadas, T.S.E. Maibaum, and G. Saake. Proof-theoretic semantics of object-oriented specification constructs. In: Object-oriented databases: analysis, design and construction, Amsterdam, The Netherlands, EU, Edited by: R. Meersman, W. Kent, and S. Khosla. Pages: 243-284, North-Holland, Amsterdam, The Netherlands, EU, 1991.

[ Missing PDF ] [ Bibtex ]

D. Firesmith. Structured analysis and object-oriented development are not compatible. In: ACM Ada Letters, Nr: 9, Vol: 11, Pages: 56-66, 1991.

[ Missing PDF ] [ Bibtex ]

G. Fisher, and C. Stevens. Information Access in Complex, Poorly Structured Information Spaces. In: Human Factors in Computing Systems, CHI`91, Amsterdam, The Netherlands, EU, Pages: 95-109, ACM, New York, New York, USA, 1991.

[ Missing PDF ] [ Bibtex ]

C. Fratarcangeli. Technique for Universal Quantification in SQL. In: SIGMOD Record, Nr: 3, Vol: 20, Pages: 16-24, September, 1991.

[ Missing PDF ] [ Bibtex ]

O. Frieder, and H.T. Siegelmann. On the Allocation of Documents in Multiprocessor Information Retrieval Systems. In: Proceedings of the 14th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Edited by: A. Bookstein, Y. Chiarmarella, G.E Salton, and V.V. Raghavan. Pages: 230-239, October, 1991.

[ Missing PDF ] [ Bibtex ]

R.D. Galliers. Choosing Appropriate Information Systems Research Approaches: A Revised Taxonomy. In: Information Systems Research: Contemporary Approaches and Emergent Traditions, Edited by: H.E. in: Nissen. Pages: 327-345, Elsevier Science Publishers, North Holland, 1991, June 6-8.

[ Missing PDF ] [ Bibtex ]

D. Gangopadhyay, and T. Barsalou. On the Semantic Equivalence of Heterogeneous Representations in Multimodel Multidatabase Systems. In: SIGMOD Record, Nr: 4, Vol: 20, Pages: 35-39, 1991.

[ Missing PDF ] [ Bibtex ]

G.H. Gessert. Handling Missing Data by using Stored Truth Values. In: SIGMOD Record, Nr: 3, Vol: 20, Pages: 30-42, September, 1991.

[ Missing PDF ] [ Bibtex ]

C. Ghezzi, M. Jazayeri, and D. Mandrioli. Fundamentals of Software Engineering. Prentice-Hall, Englewood Cliffs, New Jersey, USA, 1991, ISBN 0138204322.

[ Missing PDF ] [ Bibtex ]

J.A. Goguen. A categorical manifesto. In: Mathematical Structures in Computer Science, Nr: 1, Vol: 1, Pages: 49-67, 1991.

[ Missing PDF ] [ Bibtex ]

The Benchmark Handbook for Database and Transaction Processing Systems. Edited by: J. Gray. Morgan Kaufmann, San Mateo, California, USA, 1991.

[ Missing PDF ] [ Bibtex ]

R. Grotens. An Investigation to Hyperindex Navigation Aid. University of Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

J.A. Gulla, O.I. Lindland, and G. Willumsen. PPP: An Integrated CASE environment. In: Proceedings of the Third International Conference CAiSE`91 on Advanced Information Systems Engineering, Trondheim, Norway, Edited by: R. Andersen, J.A. Bubenko, and A. Sølvberg. Lecture Notes in Computer Science, Vol: 498, Pages: 194-221, May, Springer, 1991.

[ Missing PDF ] [ Bibtex ]

J.-L. Hainaut. Entity-generating Schema Transformation for Entity-Relationship Models. In: Proceedings of the 10th International Conference on the Entity-Relationship Approach, San Mateo, California, USA, Lecture Notes in Computer Science, Springer, 1991.

[ Missing PDF ] [ Bibtex ]

C.F.X. de Mendonça N., and T.A. Halpin. Automatic Display of NIAM Conceptual Schema Diagrams. Technical report, Department of Computer Science, University of Queensland, Brisbane, Australia, 1991.

[ Missing PDF ] [ Bibtex ]

T.A. Halpin. A Fact-Oriented Approach to Schema Transformation. In: MFDBS 91, Rostock, Germany, EU, Edited by: B. Thalheim, J. Demetrovics, and H.-D. Gerhardt. Lecture Notes in Computer Science, Vol: 495, Pages: 342-356, Springer, 1991.

[ Missing PDF ] [ Bibtex ]

M. Hammer. Bedrijfsprocessen herstructureren: zet het mes erin In Dutch. In: Harvard Holland Review, Nr: 27, Pages: 7-15, 1991.

[ Missing PDF ] [ Bibtex ]

Donna Harman. How Effective is Suffixing?. In: Journal of the American Society for Information Science, Nr: 1, Vol: 42, Pages: 7-15, 1991.

[ Missing PDF ] [ Bibtex ]

X. He, and J.A.N. Lee. A Methodology for Constructing Predicate Transition Net Specifications. In: Software Practice & Experience, Nr: 8, Vol: 21, Pages: 845-875, August, 1991.

[ Missing PDF ] [ Bibtex ]

K.M. van Hee, and P.A.C. Verkoulen. Integration of a Data Model and High-Level Petri Nets. In: Proceedings of the Twelfth International Conference on Applications and Theory of Petri Nets, Pages: 410-431, 1991.

[ Missing PDF ] [ Bibtex ]

K.M. van Hee, and P.A.C. Verkoulen. Data, Process and Behaviour Modelling in an Integrated Specification Framework. In: Dynamic Modelling of Information Systems II, Amsterdam, The Netherlands, EU, Edited by: H.G. Sol, and R.L. Crosslin. Pages: 191-218, North-Holland, Amsterdam, The Netherlands, EU, 1991.

[ Missing PDF ] [ Bibtex ]

P.J. Heise. Technieken voor ontsluiten van ongestructureerde data. September, Computable, 1991, In Dutch.

[ Missing PDF ] [ Bibtex ]

P.R.H. Hendriks. Implementation of Modular Algebraic Specifications. University of Amsterdam, Amsterdam, The Netherlands, EU, 1991.

[ Missing PDF ] [ Bibtex ]

G.J. Houben, and P.A.C. Verkoulen. An Integrated Approach to Model-ling Structural and Behavioural Aspects of Complex Objects. In: Proceedings of the Third International Workshop on Foundations of Models and Languages for Data and Objects, Edited by: J. Goers, A. Heuer, and G. Saake. September, 1991.

[ Missing PDF ] [ Bibtex ]

M. Imber. The CASE Data Interchange Format (CDIF) standards. In: Software Engineering Environments, Edited by: F. Long. Vol: 3, Pages: 457-474, Ellis Horwood, 1991.

[ Missing PDF ] [ Bibtex ]

B.P.F. Jacobs. Categorical type theory. University of Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

K. Jensen. Coloured Petri Nets: A High Level Language for System Design and Analysis. In: Advances in Petri Nets 1990, Berlin, Germany, EU, Edited by: G. Rozenberg. Lecture Notes in Computer Science, Vol: 483, Pages: 342-416, Springer, 1991.

[ Missing PDF ] [ Bibtex ]

K. Kalman. Implementation and Critique of an Algorithm which maps a Relational Database to a Conceptual Model. In: Proceedings of the Third International Conference CAiSE`91 on Advanced Information Systems Engineering, Trondheim, Norway, Edited by: R. Andersen, J.A. Bubenko, and A. Sølvberg. Lecture Notes in Computer Science, Vol: 498, Pages: 393-415, May, Springer, 1991.

[ Missing PDF ] [ Bibtex ]

P.W.G. Keen. Shaping the Future - Business Design Through Information Technology. Harvard Business School Press, Boston, Massachusetts, USA, 1991, ISBN 0875842372.

[ Missing PDF ] [ Bibtex ]

W. Kim. Object-oriented database systems: strengths and weaknesses. In: Journal of Object-Oriented Programming, Pages: 21-29, July, 1991.

[ Missing PDF ] [ Bibtex ]

P.G. Kolaitis. The expressive power of stratified logic programs. In: Information and Computation, Nr: 1, Vol: 90, Pages: 50-66, January, 1991.

[ Missing PDF ] [ Bibtex ]

H.F. Korth, and A. Silberschatz. Database System Concepts. McGraw-Hill, New York, New York, USA, 1991.

[ Missing PDF ] [ Bibtex ]

C.H.A. Koster. Affix Grammars for Natural Languages. In: Attribute Grammars, Applications and Systems, Berlin, Germany, EU, Edited by: H. Alblas, and B. Melichar. Lecture Notes in Computer Science, Vol: 545, Pages: 469-484, Springer, 1991.

[ Missing PDF ] [ Bibtex ]

C.H.A. Koster. Affix Grammars for Programming Languages. In: Attribute Grammars, Applications and Systems, Berlin, Germany, EU, Edited by: H. Alblas, and B. Melichar. Lecture Notes in Computer Science, Vol: 545, Pages: 358-373, Springer, 1991.

[ Missing PDF ] [ Bibtex ]

C.H.A. Koster. Affix Grammars for natural languages. In: Attribute Grammars, Applications and Systems, International Summer School SAGA, Lecture Notes in Computer Science edition, Vol: 545, Pages: 469-484, June, Springer-Verlag, 1991.

[ Missing PDF ] [ Bibtex ]

C.H.A. Koster, and R. Willems. Towards an Affix Grammar for Turkish. In: Computer and Information Science VI, Edited by: M. Baray, and B. Ozguc. Pages: 1067-1076, Elsevier, 1991.

[ Missing PDF ] [ Bibtex ]

J.R. Koza. A hierarchical approach to learning the boolean multiplexer function. In: Foundations of genetic algorithms, Edited by: G.J.E. Rawlins. Pages: 171-192, Morgan Kaufmann, San Mateo, California, USA, 1991.

[ Missing PDF ] [ Bibtex ]

R. Krishnamurthy, W. Litwin, and W. Kent. Language Features for Interoperability of Databases with Schematic Discrepancies. In: SIGMOD Record, Nr: 2, Vol: 20, Pages: 40-49, 1991.

[ Missing PDF ] [ Bibtex ]

L. Lamport. The Temporal Logic of Actions. Technical report, December, Digital, Systems Research Center, Palo Alto, California, USA, 1991.

[ Missing PDF ] [ Bibtex ]

D.D. Lewis. Evaluating Text Categorization. In: Proceedings of Speech and Natural Language Workshop, Pages: 312-318, February, Morgan Kaufmann, San Mateo, California, USA, 1991.

[ Missing PDF ] [ Bibtex ]

D.D. Lewis. Data Extraction as Text Categorization: An Experiment with the MUC-3 Corpus. In: Proceedings of the Third Message Understanding Evaluation and Conference, May, Morgan Kaufmann, San Mateo, California, USA, 1991.

[ Missing PDF ] [ Bibtex ]

E. Katsouli, and P. Loucopoulos. Business Rules in Information Systems Development. In: Proceedings of the Second Workshop on the Next Generation of CASE tools, Edited by: V.-P. Tahvanainen, and K. Lyytinen. Pages: 481-503, University of Jyväskylä. Finland, Trondheim, Norway, 1991.

[ Missing PDF ] [ Bibtex ]

P. Loucopoulos, P. McBrien, F. Schumaker, B. Theodoulidis, V. Kopanas, and B. Wangler. Integrating database technology, rule based and temporal reasoning for effective information systems. In: Journal of Information Systems, Vol: 1, Pages: 129-152, February, 1991.

[ Missing PDF ] [ Bibtex ]

R.M. MacGregor. Inside the LOOM Classifier. In: SIGART Bulletin, Nr: 3, Vol: 2, Pages: 70-76, 1991.

[ Missing PDF ] [ Bibtex ]

I.A. Macleod. A Query Language for Retrieving Information from Hierarchic Text Structures. In: The Computer Journal, Nr: 3, Vol: 34, Pages: 254-264, 1991.

[ Missing PDF ] [ Bibtex ]

R. Marshall. Manipulating Full-Text Scientific Databases: A logic-based Semantico-pragmatic Approach. In: The Computer Journal, Nr: 3, Vol: 34, Pages: 245-253, 1991.

[ Missing PDF ] [ Bibtex ]

J. Martin, and I. Palmer. An introduction to the Information Engineering Methodology, An approach supported by knowledge based products. James Martin & Co., Reston, USA, 1991.

[ Missing PDF ] [ Bibtex ]

J.V. McCee. Implementing Systems Accross Boundaries - Dynamics of Information Technology and Integration. Harvard Business School, Boston, Massachusetts, USA, 1991.

[ Missing PDF ] [ Bibtex ]

C. Meghini, F. Rabitti, and C. Thanos. Conceptual Modelling of Multimedia Documents. In: IEEE Computer, Nr: 10, Vol: 24, Pages: 23-32, October, 1991.

[ Missing PDF ] [ Bibtex ]

W. Menting. Identification in Information Systems: a constructive approach. University of Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

J.B. Michael, E.H. Sibley, and R.L. Wexelblat. A Modeling Paradigm for Representing Intention in Information Systems Policy. In: Proceedings of the First Workshop on Information Technologies and Systems, Massachusetts Institute of Technology, Sloan School of Management, Boston, Massachusetts, USA, 1991.

[ Missing PDF ] [ Bibtex ]

D. Moody. A Practical Methodology for the Representation of Enterprise Data Models. In: Proceedings of the 2nd Annual conforence on Information Systems and Database Special Interest Group, 1991.

[ Missing PDF ] [ Bibtex ]

J. Morris, and G. Hirst. Lexical cohesions computed by Thesaural Relations as an Indicator of the structure of Text. In: Computational linguistics, Nr: 1, Vol: 17, Pages: 21-48, 1991.

[ Missing PDF ] [ Bibtex ]

J.R. Nawrocki, and P. Pempera. GENEDES-1: a generator of decision support systems for implementation selection. In: Foundations of computing and decision sciences, Nr: 3-4, Vol: 16, Pages: 177-189, 1991.

[ Missing PDF ] [ Bibtex ]

I. Nonaka, and H. Takeuchi. The Knowledge-Creating Company. In: Harvard Business Review, Nr: November-D, Pages: 97-130, 1991.

[ Missing PDF ] [ Bibtex ]

W. Nottroth, and F. van Jole. Spoorzoeken in tekstbestanden. September, Computable, 1991, In Dutch.

[ Missing PDF ] [ Bibtex ]

T.W. Olle. Information systems methodologies for the next millennium. In: Informatiesystemen in beweging, Deventer, The Netherlands, EU, Edited by: P.W.G. Bots, H.G. Sol, and I.G. Sprinkhuizen-Kuyper. Pages: 55-74, Kluwer, Deventer, The Netherlands, EU, 1991, In Dutch.

[ Missing PDF ] [ Bibtex ]

N.E. van Oosterom. Integration of NIAM and ExSpect: a case study. September, 1991, PROOFS document ITI-TR-0005, ITI-TNO.

[ Missing PDF ] [ Bibtex ]

M.E. Orlowska, and C.A. Ewald. Meta-Level Updates - The Evolution of Fact-Based Schemata. Technical report, Department of Computer Science, University of Queensland, Australia, 1991.

[ Missing PDF ] [ Bibtex ]

L. Ottes, and A.J.G. van Rijen. Office Document Architectures. In: Informatie, Nr: 7/8, Vol: 33, Pages: 465-552, 1991, In Dutch.

[ Missing PDF ] [ Bibtex ]

F. Put. Schema Translation during Design and Integration of Databases. In: Entity Relationship Approach: The Core of Conceptual Modelling, Edited by: H. Kangassalo. Elsevier, 1991.

[ Missing PDF ] [ Bibtex ]

A. Ram. Interest-based information filtering and extraction in natural language understanding systems. In: Bellcore Workshop on High-Performance Information Filtering, 1991.

[ Missing PDF ] [ Bibtex ]

Foundations of genetic algorithms. Edited by: G.J.E. Rawlins. Morgan Kaufmann, San Mateo, California, USA, 1991.

[ Missing PDF ] [ Bibtex ]

E. Rechtin. Systems architecting: creating and building complex systems. Prentice-Hall, Englewood Cliffs, New Jersey, USA, 1991, ISBN 0138803455.

[ Missing PDF ] [ Bibtex ]

Howard B. Reubenstein, and Richard C. Waters. The Requirements Apprentice: Automated Assistance for Requirements Acquisition. In: IEEE Transactions on Software Engineering, Nr: 3, Vol: 17, Pages: 226-240, IEEE Press, Piscataway, New Jersey, USA, 1991.

[ External URL ] [ Bibtex ]

N. Rishe. A file structure for semantic databases. In: Information Systems, Nr: 4, Vol: 16, Pages: 375-385, 1991.

[ Missing PDF ] [ Bibtex ]

T. Rodden. A survey of CSCW systems. In: Interacting with Computers, Nr: 3, Vol: 3, Pages: 319-353, 1991.

[ Missing PDF ] [ Bibtex ]

J.F. Roddick. Dynamically changing schemas within database models. In: The Australian Computer Journal, Nr: 3, Vol: 23, Pages: 105-109, August, 1991.

[ Missing PDF ] [ Bibtex ]

A. Rosing. An Evaluation of the Hyperindex Machine. University of Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

S. Rozen, and D.E. Shasha. A Framework for Physical Database Design. In: Proceedings of the 17th VLDB Conference, August, 1991.

[ Missing PDF ] [ Bibtex ]

G. Ruge, C. Schwarz, and A.J. Warner. Effectiveness and Efficiency in Natural Language Processing for Large Amounts of Text. In: Journal of the American Society for Information Science, Nr: 6, Vol: 42, Pages: 450-456, 1991.

[ Missing PDF ] [ Bibtex ]

J. Rumbaugh, M. Blaha, W.J. Premerlani, F. Eddy, and W. Lorenson. Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs, New Jersey, USA, 1991.

[ Missing PDF ] [ Bibtex ]

R. Jungclaus, and G. Saake. Formal Specification of Object Systems. In: Proceedings of TAPSOFT `91, Edited by: S. Abramsky, and T.S.E. Maibaum. 1991.

[ Missing PDF ] [ Bibtex ]

G. Saake. Descriptive Specification of Database Object Behaviour. In: Data & Knowledge Engineering, Nr: 1, Vol: 6, Pages: 47-73, 1991.

[ Missing PDF ] [ Bibtex ]

F. Saltor, M. Castellanos, and M. García-Solaco. Suitability of data models as canonical models for federated databases. In: SIGMOD Record, Nr: 4, Vol: 20, Pages: 45-48, 1991.

[ Missing PDF ] [ Bibtex ]

A. Schürr. PROGRES: A VHL-Language Based on Graph Grammars. In: Proceedings of the 4th International Workshop on Graph-Grammars and Their Application to Computer Science, Lecture Notes in Computer Science, Vol: 532, Pages: 641-659, Springer, 1991.

[ Missing PDF ] [ Bibtex ]

G. Piatetsky-Shapiro, and W.J. Frawley. Knowledge Discovery in Databases. AAAI Press, Menlo Park, California, USA, 1991.

[ Missing PDF ] [ Bibtex ]

P. Shoval, and S. Zohn. Binary-Relationship integration methodology. In: Data & Knowledge Engineering, Nr: 3, Vol: 6, Pages: 225-250, 1991.

[ Missing PDF ] [ Bibtex ]

P. Shoval. An integrated methodology for functional analysis, process design and database design. In: Information Systems, Nr: 1, Vol: 16, Pages: 49-64, 1991.

[ Missing PDF ] [ Bibtex ]

K. Shumate. Structured analysis and object-oriented design are compatible. In: ACM Ada Letters, Nr: 4, Vol: 9, Pages: 78-90, 1991.

[ Missing PDF ] [ Bibtex ]

E.H. Sibley, J.B. Michael, and R.L. Wexelblat. An Approach to Formalizing Policy Management. In: Proceedings of the Second International Conference on Economics and Artificial Intelligence, Pergamon Press, 1991.

[ Missing PDF ] [ Bibtex ]

P. Siebers. Je vraagt ook geen patent aan op alfabetische volgorde van de telefoongids. In: K.U. Nieuws (University of Nijmegen), Nr: 11, Vol: 21, Pages: 7-7, 1991, In Dutch.

[ Missing PDF ] [ Bibtex ]

H.T. Siegelmann, and O. Frieder. The Allocation of Documents in Multiprocessor Information retrieval: An Application of Genetic Algorithms. In: 1991 IEEE International Computer Conference on Systems, Man and Cybernetics, October, 1991.

[ Missing PDF ] [ Bibtex ]

A.F. Smeaton, and P. Sheridan. Using Morpho-Syntactic Language Analysis in Phrase Matching. In: Proceedings of RIAO`91, Edited by: A. Lichnerowicz. Pages: 414-430, 1991.

[ Missing PDF ] [ Bibtex ]

K. Smolander, K. Lyytinen, V.-P. Tahvanainen, and P. Marttiin. MetaEdit: A Flexible Graphical Environment for Methodology Modelling. In: Proceedings of the Third International Conference CAiSE`91 on Advanced Information Systems Engineering, Trondheim, Norway, Edited by: R. Andersen, J.A. Bubenko, and A. Sølvberg. Lecture Notes in Computer Science, Vol: 498, Pages: 168-193, May, Springer, 1991.

[ Missing PDF ] [ Bibtex ]

S.C. Solsi, and E.L. Jones. Simple yet complete heuristics for transforming data flow diagrams into Booch style diagrams. In: ACM Ada Letters, Nr: 2, Vol: 9, Pages: 115-127, March, 1991.

[ Missing PDF ] [ Bibtex ]

R. St.-Denis. Capturing design-related decisions in JSD methodology. In: Information and Software Technology, Nr: 7, Vol: 33, Pages: 509-517, 1991.

[ Missing PDF ] [ Bibtex ]

B. Stroustrup. The C++ Programming Language. Addison Wesley, 1991, Second Edition.

[ Missing PDF ] [ Bibtex ]

W.J.J. Stut, and M.R. Steen. Constructing large conceptual models for simulation-based information system development. Technical report, BAZIS Central Development and Support Group Hospital Information System, Schipholweg 97,2316 XA Leiden, The Netherlands, 1991.

[ Missing PDF ] [ Bibtex ]

S. Sudarshan, D. Srivastava, R. Ramakrishnan, and J.F. Naughton. Space Optimization in the Bottom-Up Evaluation of Logic Programs. In: SIGMOD Record, Nr: 2, Vol: 20, Pages: 68-77, 1991.

[ Missing PDF ] [ Bibtex ]

J. Tague, A. Salminen, and C. McClellan. A Complete Model for Information Retrieval Systems. In: Proceedings of the 14th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Chicago, Illinois, USA, Edited by: A. Bookstein, Y. Chiarmarella, G.E Salton, and V.V. Raghavan. Pages: 14-20, October, ACM, New York, New York, USA, 1991.

[ Missing PDF ] [ Bibtex ]

C.I. Theodoulidis, P. Loucopoulos, and B. Wangler. A conceptual modelling formalism for temporal database applications. In: Information Systems, Nr: 4, Vol: 16, Pages: 401-416, 1991.

[ Missing PDF ] [ Bibtex ]

C.I. Theodoulidis, and P. Loucopoulos. The Time Dimension in Conceptual Modelling. In: Information Systems, Nr: 3, Vol: 16, Pages: 273-300, 1991.

[ Missing PDF ] [ Bibtex ]

J.A. Thom, A.J. Kent, and R. Sacks-Davis. TQL: a nested relational query language. In: The Australian Computer Journal, Nr: 2, Vol: 23, Pages: 53-65, May, 1991.

[ Missing PDF ] [ Bibtex ]

J. Top. An implementation of ERIDL. University of Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

M.T. Tresch. A Framework for Schema Evolution by Meta Object Manipulation. In: Proceedings of the 3d International Workshop on Foundations of Models and Languages for Data and Objects, September, Institut für Informatik, TU Clausthal, Aigen, Austria, EU, 1991.

[ Missing PDF ] [ Bibtex ]

O.M.F. De Troyer. The OO-Binary Relationship Model: A Truly Object Oriented Conceptual Model. In: Proceedings of the Third International Conference CAiSE`91 on Advanced Information Systems Engineering, Trondheim, Norway, Edited by: R. Andersen, J.A. Bubenko, and A. Sølvberg. Lecture Notes in Computer Science, Vol: 498, Pages: 561-578, May, Springer, 1991.

[ Missing PDF ] [ Bibtex ]

O.M.F. De Troyer. The OO-Binary Relationship Model: A Truly Object Oriented Conceptual Model. In: Proceedings of the Third International Conference CAiSE`91 on Advanced Information Systems Engineering, Trondheim, Norway, Edited by: R. Andersen, J.A. Bubenko, and A. Sølvberg. Lecture Notes in Computer Science, Vol: 498, Pages: 561-578, May, Springer, 1991.

[ Missing PDF ] [ Bibtex ]

T.H. Tse, and L. Pong. An Examination of Requirements Specification Languages. In: The Computer Journal, Nr: 2, Vol: 34, Pages: 143-152, April, 1991.

[ Missing PDF ] [ Bibtex ]

P.J.F. Lucas, and L.C. van der Gaag. Principles of Expert Systems. Addison Wesley, 1991.

[ Missing PDF ] [ Bibtex ]

V. Ventrone, and S. Heiler. Semantic Heterogeneity as a Result of Domain Evolution. In: SIGMOD Record, Nr: 4, Vol: 20, Pages: 16-20, 1991.

[ Missing PDF ] [ Bibtex ]

T.F. Verhoef. Structuring Yourdon`s Modern Structured Analysis. In: Proceedings of the Second Workshop on the Next Generation of CASE Tools, Edited by: V.-P. Tahvanainen, and K. Lyytinen. Pages: 219-313, May, 1991.

[ Missing PDF ] [ Bibtex ]

Methods and Associated Tools for the Information Systems Life Cycle. Edited by: A.A. Verrijn-Stuart, and T.W. Olle. North-Holland/IFIP WG8.1, Amsterdam, The Netherlands, EU, 1991, ISBN 0444820744.

[ Missing PDF ] [ Bibtex ]

Th.H. Visschedijk, and R.N. van der Werff. (R)evolutionary system development in practice. In: Journal of Software Research, Pages: 46-57, December, 1991, Special Issue.

[ Missing PDF ] [ Bibtex ]

D.A. Watt. Programming Language Syntax and Semantics. Prentice-Hall, Englewood Cliffs, New Jersey, USA, 1991.

[ Missing PDF ] [ Bibtex ]

J.A. van Weelderen. MEDESS: A MEthodology for Designing Expert Support Systems. Delft University of Technology, Delft, The Netherlands, EU, 1991.

[ Missing PDF ] [ Bibtex ]

S.M. Weiss, and C.A. Kulikowski. Computer Systems That Learn. Morgan Kaufmann, San Mateo, California, USA, 1991.

[ Missing PDF ] [ Bibtex ]

E.B. Wendlandt, and J.R. Driscoll. Incorporating a Semantic Analysis into a Document Retrieval Strategy. In: Proceedings of the 14th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Chicago, Illinois, USA, Edited by: A. Bookstein, Y. Chiarmarella, G.E Salton, and V.V. Raghavan. Pages: 270-279, October, ACM, New York, New York, USA, 1991.

[ Missing PDF ] [ Bibtex ]

J. Widom, R.J. Cochrane, and B.G. Lindsay. Implementing set-oriented production rules as an extension to Starburst. In: Proceedings of the 17th VLDB Conference, Pages: 275-285, 1991.

[ Missing PDF ] [ Bibtex ]

G. Wiederhold, S. Jajodia, and W. Litwin. Dealing with the Granularity of Time in Temporal Databases. In: Proceedings of the Third International Conference CAiSE`91 on Advanced Information Systems Engineering, Trondheim, Norway, Edited by: R. Andersen, J.A. Bubenko, and A. Sølvberg. Lecture Notes in Computer Science, Vol: 498, Pages: 124-140, May, Springer, 1991.

[ Missing PDF ] [ Bibtex ]

R.J. Wieringa. Steps towards a method for the formal modeling of dynamic objects. In: Data & Knowledge Engineering, Vol: 6, Pages: 509-540, 1991.

[ Missing PDF ] [ Bibtex ]

R.J. Wieringa. Object-Oriented Analysis, Structured Analysis, and Jackson System Development. In: Object Oriented Approach in Information Systems, Amsterdam, The Netherlands, EU, Edited by: F.J.M. van Assche, B. Moulin, and C. Rolland. North-Holland/IFIP WG8.1, Amsterdam, The Netherlands, EU, 1991.

[ Missing PDF ] [ Bibtex ]

G.M. Wijers. Modelling Support in Information Systems Development. Delft University of Technology, Delft, The Netherlands, EU, 1991, ISBN 9051701101.

[ Missing PDF ] [ Bibtex ]

Willars. Amplification of Business Cognition through Modelling Techniques. In: Proceedings of the 1th IEA Congress, 1991.

[ Missing PDF ] [ Bibtex ]

Ross N. Williams. Adaptive Data Compression. Kluwer Academic Publishers, 1991.

[ Missing PDF ] [ Bibtex ]

K.-B. Yue. A More General Model for Handling Missing Information in Relational Data Bases using a 3-Valued Logic. In: SIGMOD Record, Nr: 3, Vol: 20, Pages: 43-49, September, 1991.

[ Missing PDF ] [ Bibtex ]

Y. Zhang. Enhancements of Methods on Relational Database Design. University of Queensland, Brisbane, Queensland, Australia, 1991.

[ Missing PDF ] [ Bibtex ]

L. Ambrosini, V. Cirillo, and A. Micarelli. A Hybrid Architecture for User-Adapted Information Filtering on the World Wide Web. In: Proceedings of the Sixth International Conference on User Modeling, UM`97, Edited by: A. Jameson, C. Paris, and C. Tasso. Pages: 59-61, 1991.

[ Missing PDF ] [ Bibtex ]

Journal

E.D. Falkenberg, R. van der Pols, and Th.P. van der Weide. Understanding process structure diagrams. In: Information Systems, Nr: 4, Vol: 16, Pages: 417-428, September, 1991.

This paper is an attempt to sketch a framework for understanding process structure diagrams, as used for business process analysis, being one phase of information system design. Proper understanding of any description method can only be achieved by specifying all the concepts (objects, predicates) and axioms of this method in a precise, formal way. On this basis, different description methods can be properly compared, translated, and thus their similarities and/or differences better understood. In our paper, this approach is applied to two description methods for process structuring, Dataflow Diagrams and Activity Graphs.

[ PDF ] [ Bibtex ]

P. van Bommel, A.H.M. ter Hofstede, and Th.P. van der Weide. Semantics and verification of object-role models. In: Information Systems, Nr: 5, Vol: 16, Pages: 471-495, October, 1991.

In this paper we formalise data models that are based on the concept of predicator, the combination of an object type and a role. A very simple model, the Predicator Model, is introduced in a rigid formal way.

We introduce the concept of population as an instantiation of an information structure. A primitive manipulation language is defined in the style of Relational Algebra. Well-known types of constraints are defined in terms of the algebra introduced, as restrictions on populations. They are given more expressive power than is usually the case.

Constraints are of central importance for identification purposes. Weak identification ensures identifiability of objects within a specific population, while structural identification ensures identifiability of objects within every population.

Different levels of constraint inconsistency are defined and it is shown that the verification of two important levels is NP-complete.

[ PDF ] [ Bibtex ]

Chapter

S. Brinkkemper, and E.D. Falkenberg. Three Dichotomies in the Information System Methodology. In: Informatiesystemen in beweging, Deventer, The Netherlands, EU, Edited by: P.W.G. Bots, H.G. Sol, and I.G. Sprinkhuizen-Kuyper. Kluwer, Deventer, The Netherlands, EU, 1991.

[ Missing PDF ] [ Bibtex ]

Conference

P. van Bommel, and Th.P. van der Weide. Towards Database Optimization by Evolution. In: Proceedings of the Computing Science in the Netherlands Conference (CSN91), Edited by: A.J. van de Goor. Pages: 109-123, November, 1991.

In this paper we focus on optimization of database schema transformation, by evolutionary (or genetic) search. A framework for transforming conceptual data schemata into efficient internal schemata is presented. We consider this problem from the viewpoint of searching through the space of all correct, but possibly incomplete internal representations of the conceptual schema at hand. A search strategy is established, based on the use of evolutionary operators. The relevant evolutionary operators are introduced.

[ PDF ] [ Bibtex ]

S. Brinkkemper, A.H.M. ter Hofstede, T.F. Verhoef, and G.M. Wijers. A Meta-Modeling Based CASE Shell to Support Customized Domain Modeling. In: Proceedings of the Third Workshop on Domain Modeling, International Conference on Software Engineering, Edited by: N. Iscoe. May, 1991.

[ Missing PDF ] [ Bibtex ]

R. Bosman, R. Bouwman, and P.D. Bruza. The Effectiveness of Navigable Information Disclosure Systems. In: Proceedings of the Informatiewetenschap 1991 conference, Edited by: G.A.M. Kempen. 1991.

[ Missing PDF ] [ Bibtex ]

P.D. Bruza, and Th.P. van der Weide. The Modelling and Retrieval of Documents using Index Expressions. In: ACM SIGIR FORUM (Refereed Section), Nr: 2, Vol: 25, 1991.

In this paper we introduce Index Expressions as a means for modelling document content. From an index expression the the Power Index Expression can be derived, which is a powerful instrument for information retrieval. We describe the characterization of documents in the style of formal logic. The content of a document is then modelled by a set of axioms, of which the document is a model. Relating a document to a query is done by proving the query from the axioms of that document. We introduce three rules of inference. If such a proof is not possible, the relevance of the document for the query is derived by plausible deduction. We introduce two inference rules for plausible deduction.

[ PDF ] [ Bibtex ]

P.D. Bruza, and Th.P. van der Weide. Deducing Relevant Information using the Information Disclosure Machine. In: Proceedings of the Computing Science in the Netherlands Conference (CSN91), Edited by: A.J. van de Goor. Pages: 135-149, November, 1991.

In this paper we consider information disclosure as a deductive process. We introduce the Disclosure Machine as a paradigm for matching user queries with characterizations of information objects. The Disclosure Machine is based on the following corner stones: logical inference for proving relevancy, plausible inference for computing relevance and proximity for balancing relevance according to object coherence (Hypertext). Next we discuss the limitations of state­of­the­art approaches, and suggest the Hyperindex Machine as an improved mechanism. This machine is based on the concept of index expressions. Such expressions provide a more complete characterization mechanism for objects.

[ PDF ] [ Bibtex ]

P.L. van der Spiegel, J.T.W. Driessen, P.D. Bruza, and Th.P. van der Weide. A Transaction Model for Hypertext. In: Proceedings of the Data Base and Expert System Applications Conference (DEXA 91), Berlin, Germany, EU, Edited by: D. Karagiannis. Pages: 281-286, Springer, 1991.

This paper presents a specification of Hypertext systems on several levels of abstraction, and describes translations between these different levels. The Hypertext system will be organised according to a stratified architecture, which is a generalisation of the so-called Two Level Architecture. We describe a user interface for the Hypertext system, examine the user's elementary operations (transactions) and present the correspo nding user view on the system. Next a conceptual schema is presented, that describes Hypertext from the perspective of the author (editor) of the information. We describe the user transactions in terms of operations on the conceptual schema. An object oriented implementation of this Hypertext system is presented. We show how the object hierarchy is derived from the conceptual schema.

[ PDF ] [ Bibtex ]

T.F. Verhoef, A.H.M. ter Hofstede, and G.M. Wijers. Structuring modelling knowledge for CASE shells. In: Proceedings of the Third International Conference CAiSE`91 on Advanced Information Systems Engineering, Trondheim, Norway, Edited by: R. Andersen, J.A. Bubenko, and A. Sølvberg. Lecture Notes in Computer Science, Vol: 498, Pages: 502-524, May, Springer, 1991.

[ Missing PDF ] [ Bibtex ]

Reports

H.P. Barendregt. Lambda Calculi with Types. Technical report: CSI-R9119, September, Radboud University Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

E.A. Boiten. The many disguises of accumulation. Technical report: CSI-R9126, December, Radboud University Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

E.A. Boiten. Intersections of Sets and Bags of Extended Substructures - a Class of Problems and Can Bag Comprehension be used at all?. Technical report: CSI-R9121, September, Radboud University Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

J. Braam. Training a multi layer perception for particle size analysis. Technical report: CSI-R9102, Januar, Radboud University Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

C. Dekkers, C.H.A. Koster, M.-J. Nederhof, and A. Zwol. Manual for the Grammar Work Bench Version 1.0. Technical report: CSI-R9128, December, Radboud University Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

E. Farkas, C.H.A. Koster, P. K�ves, and M. Nasz�di. Towards an Affix Grammar for the Hungarian Language. Technical report: CSI-R9118, August, Radboud University Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

A.H.M. ter Hofstede, N.E. van Oosterom, and G.R. Renardel de Lavalette. Towards the Integration of NIAM and ExSpect. Technical report, October, ITI-TNO, Delft, The Netherlands, EU, 1991, ESPRIT II Project PROOFS.

[ Missing PDF ] [ Bibtex ]

C.H.A. Koster. Two boys and a Computer. Technical report: CSI-R9107, April, Radboud University Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

C.H.A. Koster, and J.G. Beney. On the borderline between grammars and programs. Technical report: CSI-R9117, August, Radboud University Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

J.-J. Meyer. Modal Logics for Knowledge Representation. Technical report: CSI-R9108, April, Radboud University Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

H.A. Partsch, and E.A. Boiten. A Note on Similarity of Specifications and Reusability of Transformational Developments. Technical report: CSI-R9120, September, Radboud University Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

L.W.J. Rooijakkers, and M. Massink. A simplified token bus protocol specified using LOTOS. Technical report: CSI-R9215, January, Radboud University Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

L.M.W.J. Rutten, P. Koopman, M.C.J.D. v, and M.J. Plasmeijer. Functional Specification of a Neural Network. Technical report: CSI-R9109, April, Radboud University Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

S.J. van Bakel, J.E.W. Smetsers, and S. Brock. Type assignment in Left Linaear Applicative Term Rewriting Systems. Technical report: CSI-R9122, September, Radboud University Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

S.J. van Bakel. Principal type schemes for the strict type assignment system. Technical report: CSI-R9106, March, Radboud University Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

M. van Hulst, and J.-J. Meyer. A Taxonomy of Knowledge in Distributed Systems. Technical report: CSI-R9123, November, Radboud University Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

H.A. van Thienen. Transformational Reasoning on Process Expressions. Technical report: CSI-R9110, April, Radboud University Nijmegen, 1991.

[ Missing PDF ] [ Bibtex ]

Professional

A.H.M. ter Hofstede, T.F. Verhoef, E.R. Nieuwland, and G.M. Wijers. SDW 2.0 biedt voor elk wat wils. In: DB/M, Nr: 7, Vol: 2, Pages: 54-56, December, 1991, In Dutch.

[ Missing PDF ] [ Bibtex ]

B.M.J.M. Veenstra, J.L.H. Oei, and W. van Smaalen. Detectie en correctie van populatieconflicten bij schemawijzigingen. In: Journal of Software Research, Nr: 4, Vol: 3, Pages: 48-55, 1991, In Dutch.

[ Missing PDF ] [ Bibtex ]