• De Boelelaan 1081a

    1081 HV Amsterdam

    Netherlands

Research Output 1976 2019

1998

A Conservative Look at Operational Semantics with Variable Binding

Fokkink, W. & Verhoef, C., 10 Oct 1998, In : Information and Computation. 146, 1, p. 24-54 31 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Operational Semantics
Semantics
Transition Systems
Specifications
Specification

A cook’s tour of equational axiomatizations for prefix iteration

Aceto, L., Fokkink, W. & Ingólfsdóttir, A., 1 Jan 1998, Foundations of Software Science and Computation Structures - 1st International Conference, FoSSaCS 1998 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1998, Proceedings. Nivat, M. (ed.). Springer - Verlag, p. 20-34 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1378).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Axiomatization
Prefix
Stars
Semantics
Iteration

A menagerie of non-finitely based process semantics over BPA* — from ready simulation to completed traces

Aceto, L., Fokkink, W. & Ingolfsdottir, A., 1 Jan 1998, In : Mathematical Structures in Computer Science. 8, 3, p. 193-230 38 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Semantics
Trace
Equivalence
Simulation
Preorder

A Task and Data Parallel Programming Language based on Shared Objects

Hassen, S. B., Bal, H. E. & Jacobs, C., 1 Nov 1998, In : ACM Transactions on Programming Languages and Systems. 20, 6, p. 1131-1170 40 p.

Research output: Contribution to JournalArticleAcademicpeer-review

ATM admission control based on measurements and reservations

Bos, H., 1 Jan 1998, IEEE International Performance, Computing and Communications Conference, Proceedings. Anon (ed.). IEEE, p. 298-304 7 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Automatic teller machines
Access control
Time measurement
Resource allocation

Autopoiesis and the Evolution of Information Systems

van der Blonk, H. C., Huysman, M. H. & Spoor, E. R. K., 1998, Amsterdam: FEWEB. 7 p. (Research Memorandum; no. 1998-14)

Research output: Book / ReportReportProfessional

File

Balancing Biases, A Critical Review of the Literature on Organizational Learning

Huysman, M. H., 1998, Learning Around Organizations: Developments of Theory and Practice. Easterby-Smith, M., Burgoyne, M. & Araujo, L. (eds.). London: Sage Publications

Research output: Chapter in Book / Report / Conference proceedingChapterAcademic

Construction of problem-solving methods as parametric design

Ten Teije, A., Van Harmelen, F., Schreiber, A. T. & Wielinga, B. J., Oct 1998, In : International Journal of Human-computer Studies. 49, 4, p. 363-389 27 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Knowledge engineering
Knowledge acquisition
Railroad cars
Libraries
knowledge acquisition

Coping with Rapid Change: the Case of The Dutch Social Security System

Huysman, M. H. & Newman, M., 1998, Proceedings of the fourth Americas Conference on Information Systems. Baltimore, Maryland, USA: AMCIS, p. 71-72 2 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

De Belizaanse Garifuna: De Contouren van een etnische gemeenschap in Midden Amerika

Roessingh, C. H., 1998, Amsterdam: Thela Thesis. 327 p.

Research output: PhD ThesisPhD Thesis - Research external, graduation VUAcademic

Developing Information Systems in a Turbulent Environment, the Case of the Dutch Social Security Systems

Huysman, M. H. & Newman, M., 1998, Amsterdam: Faculteit der Economische Wetenschappen en Bedrijfskunde. 11 p. (VU Research Memorandum; no. RM 1998-6)

Research output: Book / ReportReportProfessional

Developing Information Systems in a Turbulent Environment: the Case of the Dutch Social Security System

Huysman, M. H. & Newman, M., 1998, Proceedings of the 6th European Conference on Information Systems. Aix en Provence: IS, p. 1608-1615 8 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

File

Efficient reservations in open ATM network control using on-line measurements

Bos, H., 1 Jan 1998, In : International Journal of Communication Systems. 11, 4, p. 247-258 12 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Asynchronous transfer mode
Automatic teller machines
Time measurement
Resource allocation

EURIS, a specification method for distributed interlockings

van Dijk, F., Fokkink, W., Kolk, G., van de Ven, P. & van Vlijmen, B., 1 Jan 1998, Computer Safety, Reliability and Security - 17th International Conference, SAFECOMP 1998, Proceedings. Ehrenberger, W. (ed.). Springer - Verlag, p. 296-305 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1516).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Railway
Security systems
Object-oriented
Relay
Safety

Exploring the relation between organizational learning, knowledge management and Information/communication technology

Huysman, M. H., Derksen, F. E. J. M. & Creemers, M. R., 1998, Proceedings of the Americas Conference 1998. Baltimore, USA: Association for Information Systems, p. 798-600

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

Exploring the role of information systems and organizational learning, an overview

van der Blonk, H. C. & Huysman, M. H., 1998, Proceedings of the 31st Anual Hawaii International Conference on Systems Sciences. Kohala Coast: IEEE Computer Society Press

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

Formal support for development of knowledge-based systems

Fensel, D., van Harmelen, F., Reif, W. & ten Teije, A., 1998, In : Failure and Lessons …. p. 1-18 18 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Knowledge based systems
Specifications
Knowledge-based systems
Formal verification
Formal specification

Formal Support for Development of Knowledge-Based Systems

Fensel, D., Van Harmelen, F., Reif, W. & Ten Teije, A., 1998, In : Failure and Lessons …. 2, 4, p. 173-182 10 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Knowledge based systems
Specifications
Knowledge-based systems
Formal verification
Formal specification

From brooms to obeah and back: Fetish conversion and border crossings in nineteenth-century Suriname

Legêne, S., 1998, Border fetishisms: Material objects in unstable places. Spyer, P. (ed.). New York/London: Routledge, London, p. 35-59 24 p.

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

Hoe bedrijven leren, naar een meer realistische benadering van Organizational Learning

Huysman, M. H., 1998, Competentie en arbeidsmarkt. van Gent, B. & van der Zee, H. (eds.). Dordrecht: Kluwer

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

ICT and project-based education, some findings from an exploratory research study

Huysman, M. H. & Gerrits, H., 1998, Proceedings of the XV IFIP World Computer Congress. Vienna, Budapest: IFIP, p. 495-507 13 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

ICT and project-based education: Some findings from an exploratory research study

Huysman, M. H. & Gerrits, J. W. M., 1998, Amsterdam: FEWEB. 22 p. (Research Memorandum; no. 1998-51A)

Research output: Book / ReportReportProfessional

File

Learning From the Environment. Exploring the Relation Between Organizational Learning, Knowledge Management and Information/Communication Technology

Huysman, M. H., Creemers, M. R. & Derksen, F. E. J. M., 1998, Proceedings International Conference of the Association for Information Systems. Helsinki: ICIS

Research output: Chapter in Book / Report / Conference proceedingConference contributionProfessional

Metaphoric gestures and some of their relations to verbal metaphoric expressions

Cienki, A. J., 1998, Discourse and Cognition: Bridging the Gap. Koenig, J-P. (ed.). Stanford, CA: CSLI Publications, p. 189-204

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

Naar een organizational learning-benadering van de levende organisatie

Huysman, M. H. & van der Vlist, R., 1998, In : Gedrag en Organisatie. 11, 5, p. 219-231 13 p.

Research output: Contribution to JournalArticleAcademic

Neuroticism and reactions to social comparison information among cancer patients

Van der Zee, K. I., Buunk, B. & Sanderman, R., Apr 1998, In : Journal of Personality. 66, 2, p. 174-194 21 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Neoplasms
Breast Neoplasms
Personality
Neuroticism
Surveys and Questionnaires

Nobody’s Objects: Early-19th Century Ethnographical Collections and the Formation of Imperialist Attitudes and Feelings

Legêne, S., 1998, In : Etnofoor. 11, 1, p. 21-39 18 p.

Research output: Contribution to JournalArticleAcademicpeer-review

On a question of A. Salomaa: The equational theory of regular expressions over a singleton alphabet is not finitely based

Aceto, L., Fokkink, W. & Ingólfsdóttir, A., 6 Dec 1998, In : Theoretical Computer Science. 209, 1-2, p. 163-178 16 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Equational Theory
Regular Expressions
Model
Algebra
Equality

Organizational Interaction and Organizational Teaching

Hakansson, H., Huysman, M. H. & von Raesfeld-Meijer, A., 1998, Proceedings Samples of the future: a conference on organizations research.

Research output: Chapter in Book / Report / Conference proceedingConference contributionProfessional

Performance Evaluation of the Orca Shared Object System

Bal, H. E., Bhoedjang, R. A. F., Hofman, R., Jacobs, C., Langendoen, K. G., Rühl, T. & Kaashoek, M. F., 1 Feb 1998, In : ACM Transactions on Computer Systems. 16, 1, p. 1-40 40 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Rethinking Organizational Learning: Analyzing Learning Processes of Information System Designers

Huysman, M. H., 1998, Amsterdam: FEWEB. 29 p. (Research Memorandum; no. RM 1998-9)

Research output: Book / ReportReportProfessional

File

Slavic roots for ‘straight’ and ‘bent’: Experiential gestalts, conceptual metaphors, and cultural models as factors in semantic change

Cienki, A. J., 1998, American Contributions to the Twelfth International Congress of Slavists. Timberlake, A. (ed.). Bloomington, IN: Slavica, p. 298-313

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Social Comparison Preferences among Cancer Patients as Related to Neuroticism and Social Comparison Orientation

Van der Zee, K. I., Oldersma, F., Buunk, B. P. & Bos, D., 1998, In : Journal of Personality and Social Psychology. 75, 3, p. 801-810 10 p.

Research output: Contribution to JournalReview articleAcademicpeer-review

neuroticism
cancer
Neoplasms
Access to Information
Reading

Specification of dynamics for knowledge-based systems

Van Eck, P., Engelfriet, J., Fensel, D., Van Harmelen, F., Venema, Y. & Willems, M., 1998, Transactions and Change in Logic Databases - International Seminar on Logic Databases and the Meaning of Change and ILPS 1997 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, DYNAMICS 1997, Invited Surveys and Selected Papers. Springer/Verlag, Vol. 1472. p. 37-68 32 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1472).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Knowledge-based Systems
Knowledge based systems
Specification
Specifications
Specification languages

STRAIGHT: An image schema and its metaphorical extensions

Cienki, A. J., 1998, In : Cognitive Linguistics. 9, 2, p. 107-149

Research output: Contribution to JournalArticleAcademicpeer-review

Information systems
Knowledge acquisition

The dynamic of Internet supported project-based learning: a case study

Huysman, M. H. & Gerrits, J. W. M., 1998, Networked Lifelong Learning Innovative Approaches to Education and Training Through the Internet. Banks, S., Craebner, C. & McConnell, D. (eds.). Sheffield, UK: University of Sheffield, p. 22

Research output: Chapter in Book / Report / Conference proceedingChapterAcademic

The Dynamics of Internet Supported Learning. A Case Study

Huysman, M. H. & Gerrits, H., 1998, Proceedings of the 1998 International Conference on Networked Life Long Learning. Sheffield: NLC, p. 33-47

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

The Tropenmuseum and the Colonial Heritage: Position paper

Legêne, S., 1998, Amsterdam, 20 p.

Research output: Working paperProfessional

Open Access
File
Colonial Heritage
Colonies
Intentions

Uncertainty and Information Systems

van der Blonk, H. C. & Huysman, M. H., 1998, Amsterdam: FEWEB. 11 p. (Research Memorandum; no. 1998-15)

Research output: Book / ReportReportProfessional

File

Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems

Fokkink, W. J., Kamperman, J. F. T. & Walters, P., 1 Jan 1998, In : ACM Transactions on Programming Languages and Systems. 20, 3, p. 679-706 28 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Linear systems
1999

Application-specific policies: Beyond the domain boundaries

Bos, H., 1 Jan 1999, Proceedings of the 6th IFIP/IEEE International Symposium on Integrated Network Management: Distributed Management for the Networked Millennium. Institute of Electrical and Electronics Engineers Inc., p. 827-840 14 p. 770725

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Network management
Interoperability
Loads (forces)
Resources

Conservative extension in positive/negative conditional term rewriting with applications to software renovation factories

Fokkink, W. & Verhoef, C., 1 Jan 1999, Fundamental Approaches to Software Engineering - 2nd Intrnational Conference, FASE 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999, Proceedings. Finance, J-P. (ed.). Springer - Verlag, p. 98-114 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1577).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Structural Operational Semantics
Abstract data types
Abstract Data Types
Term Rewriting
Extension Theorem

Globalization of pesticide technology and meeting the needs of low-input sustainable agriculture

den Hond, F., Groenewegen, P. & Vorley, W. T., 1999, In : Pest Management Focus. 5, 9-10, p. 7-17 11 p.

Research output: Contribution to JournalArticleAcademicpeer-review

alternative agriculture
globalization
pesticide
industry
agroindustry

Longitudinal study on glycaemic control and quality of life in patients with Type 2 diabetes mellitus referred for intensified control

Goddijn, P. P. M., Bilo, H. J. G., Feskens, E. J. M., Groenier, K. H., Van der Zee, K. I. & Meyboom-De Jong, B., 1999, In : Diabetic Medicine. 16, 1, p. 23-30 8 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Type 2 Diabetes Mellitus
Longitudinal Studies
Quality of Life
Insulin
Health

Market mechanisms in education: school choice in The Netherlands, England and Scotland in a comparative perspective

Teelken, C., 1999, In : Comparative Education. 35, 3, p. 283-302 20 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Market Mechanisms in Education: school choice in The Netherlands, England and Scotland in a comparative perspective

Teelken, C., Nov 1999, In : Comparative Education. 35, 3, p. 283-302

Research output: Contribution to JournalArticleAcademicpeer-review

Metaphors and cultural models as profiles and bases

Cienki, A. J., 1999, Metaphor in Cognitive Linguistics. Gibbs, R. W. & Steen, G. J. (eds.). Amsterdam: John Benjamins Publishing Company, p. 189-203

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review