• De Boelelaan 1081a

    1081 HV Amsterdam

    Netherlands

Research Output 1976 2020

2000

Ieder voor zich of samen sterk? De gevolgen van motivationele oriëntaties tijdens onderhandelingen voor daaropvolgende groepsprestaties.

Beersma, B. & De Dreu, C. K. W., 2000, In : Gedrag en Organisatie. 13, p. 75-93 18 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Isn’t it all culture? Culture and Dutch development policy in the post-colonial period

Legêne, S. & Postel-Coster, E., 2000, Fifty years of Dutch development cooperation 1949-1999. Sdu Publishers, p. 271-288 17 p.

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

Kennis delen in de praktijk

Huysman, M. H. & de Wit, D., 2000, Assen: Uitgeverij Van Gorcum.

Research output: Book / ReportBookAcademic

Language preorder as a precongruence

Fokkink, W., 28 Jul 2000, In : Theoretical Computer Science. 243, 1-2, p. 391-408 18 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Preorder
Bisimulation
Syntactics
Predicate
Congruence

Lazy rewriting on eager machinery

Fokkink, W. J., Kamperman, J. F. T. & Walters, P., 1 Jan 2000, In : ACM Transactions on Programming Languages and Systems. 22, 1, p. 45-86 42 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Machinery

OIL in a nutshell.

Fensel, D. A., Horrocks, I., van Harmelen, F. A. H., Decker, S., Erdmann, M. & Klein, M. C. A., 2000, Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling, and Management ({EKAW}'00).. Dieng, R. (ed.). Springer-Verlag

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

File

Open extensible network control

Bos, H., 3 Dec 2000, In : Journal of Network and Systems Management. 8, 1, p. 73-97 25 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Active networks
Switches
Resource partitioning
Functionality
Exercise

Precongruence formats for decorated trace preorders

Bloom, B., Fokkink, W. & Van Glabbeek, R., 1 Jan 2000, In : Proceedings - Symposium on Logic in Computer Science. p. 107-118 12 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Preorder
Semantics
Trace
Concretes
Specifications
File

Rooted branching bisimulation as a congruence

Fokkink, W., 1 Jan 2000, In : Journal of Computer and System Sciences. 60, 1, p. 13-37 25 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Structural Operational Semantics
Bisimulation
Recursion
Predicate
Congruence

Social comparison and coping with cancer treatment

Van der Zee, K. I., Buunk, B., Sanderman, R., Botke, G. & Van den Bergh, F., 1 Jan 2000, In : Personality and Individual Differences. 28, 1, p. 17-34 18 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Social Support
Statistical Factor Analysis
Growth
Neoplasms
Therapeutics

The relation between ontologies and schema-languages: Translating OIL-specifications in XML Schema.

Klein, M. C. A., Fensel, D. A., van Harmelen, F. A. H. & Horrocks, I., 2000, Proceedings of the Workshop on Applications of Ontologies and Problem-solving Methods, 14th European Conference on Artificial Intelligence ECAI’00. Berlin, Germany, p. 7.1-7.12

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

File

The Seam Line: Arab workers and Israeli managers in the Israeli textile industry

Drori, I., 2000, Stanford University Press. 288 p.

Research output: Book / ReportBookAcademicpeer-review

Torture tests: A quantitative analysis for the robustness of knowledge-based systems

Groot, P., Van Harmelen, F. & ten Teije, A., 2000, KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT, PROCEEDINGS. Vol. 1937. p. 403-418 (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE).

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

Veranderend dokteren. Verschuivingen in het takenpakket van de verpleeghuisarts

Nies, H. L. G. R., 2000, In : Tijdschrift voor Verpleeghuisgeneeskunde. 24, SPEC. ISS., p. 6-10 5 p.

Research output: Contribution to JournalArticleAcademicpeer-review

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

Negotiation processes and outcomes in prosocially and egoistically motivated groups

Beersma, B. & De Dreu, C. K. W., 1999, In : International Journal of Conflict Management. 10, 4, p. 385-402 18 p.

Research output: Contribution to JournalArticleAcademicpeer-review

incentive
problem-solving behavior
joint venture
Group
Students

Past and future behind a colonial facade: The Tropenmuseum in Amsterdam

Legêne, S., 1999, In : Archiv für Völkerkunde. 50, p. 265-274 9 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Review of Cognitive Space and Linguistic Case: Semantic and Syntactic Categories in English by Izchak M. Schlesinger

Cienki, A. J., 1999, In : Journal of English Linguistics. 27, 1, p. 70-74

Research output: Contribution to JournalBook/Film/Article reviewAcademicpeer-review

Strategische communicatie

Kleinnijenhuis, J., 1999, Amsterdam: Vrije Universiteit. 40 p.

Research output: Book / ReportInaugural speechProfessional

Open Access
File

The big five and identification-contrast processes in social comparison in adjustment to cancer treatment

Van der Zee, K. I., Buunk, B. P., Sanderman, R., Botke, G. & Van Den Bergh, F., Jul 1999, In : European Journal of Personality. 13, 4, p. 307-326 20 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Social Adjustment
Neoplasms
Therapeutics
Uncertainty
Personality

The strengths and weaknesses of the left/right polarity in Russian: Diachronic and synchronic semantic analyses

Cienki, A. J., 1999, Issues in Cognitive Linguistics: 1993 Proceedings of the International Cognitive Linguistics Conference. de Stadler, L. & Eyrich, C. (eds.). Berlin: Mouton de Gruyer, p. 299-329

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

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 specification
Formal verification

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 specification
Formal verification

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