• De Boelelaan 1081a

    1081 HV Amsterdam

    Netherlands

Research Output 1976 2019

1996

Axiomatizing Prefix Iteration with Silent Steps

Aceto, L., Van Glabbeek, R., Fokkink, W. & Ingólfsdóttir, A., 25 May 1996, In : Information and Computation. 127, 1, p. 26-40 15 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Prefix
Congruence
Stars
Byproducts
Completeness

Camões as a romantic hero: Os Lusíadas as an example of patriotism in the Netherlands between 1766 and 1880

Moser, P. H., 1996, In : Portuguese Studies. 12, 1, p. 55-67 13 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access

Creating the Mobility Pass, a Case of Generative Learning

Huysman, M. H., 1996, Proceedings European Conference on Information Systems, Lisbon. et al Coelho, J. D. (ed.). Lisbon: IS, p. 1143-1152 10 p.

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

Dans van een dokwerker: Standbeeld en geschiedbeeld van de Februaristaking

Legêne, S., 1996, Herinneringen en historische visies: De betekenis van vijfentwintig jaar Februaristaking in Amsterdam. Belien, H. & van Hoogstraten, M. (eds.). Stichting Comité Herdenking Februaristaking 1941 , p. 36-62 26 p.

Research output: Chapter in Book / Report / Conference proceedingChapterProfessional

Environmental technology foresight: New horizons for technology management

Den Hond, F. & Groenewegen, P., 1996, In : Technology Analysis and Strategic Management. 8, 1, p. 33-46 14 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Environmental impact assessment
Technology foresight
Environmental technology
Technology management
Decision making

Evaluating a formal KBS specification language

van Harmelen, F., Aben, M., Ruiz, F. & van de Plassche, J., Feb 1996, In : IEEE expert. 11, 1, p. 56-62 7 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Specification languages
Knowledge based systems
Formal languages

Industrial zones and Arab industrialization in Israel

Sofer, M., Schnell, I. & Drori, I., 1996, In : Human Organization. 55, 4, p. 465-474 10 p.

Research output: Contribution to JournalArticleAcademicpeer-review

industrial zone
industrialization
Israel
infrastructure
entrepreneurship

Notes on the morphology of the Inanwatan language

de Vries, L., 1996, In : NUSA. 40, p. 97-127

Research output: Contribution to JournalArticleAcademicpeer-review

Ntyft/ntyxt Rules Reduce to Ntree Rules

Fokkink, W. & Van Glabbeek, R., 10 Apr 1996, In : Information and Computation. 126, 1, p. 1-10 10 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Transition Systems
Specification
Specifications
Congruence
Bisimulation

Review of Zu ausgewählten Aktionsarten im Polnischen und deren Entsprechungen im Deutschen, by Andrzej Kątny

Cienki, A. J., 1996, In : Slavic and East European Journal. 40, p. 197-198

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

Sociale compensatie als collectieve identiteitsmanagementsstrategie

Ouwerkerk, JW., de Gilder, T. C. & de Vries, NK., 1996, Fundamentele Sociale Psychologie, deel 10. de Vries, N. K., De Dreu, C. K. W., Stroebe, W. & Vonk, R. (eds.). Tilburg University Press, p. 245-252 8 p.

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

Structure-preserving specification languages for knowledge-based systems

Van Harmelen, F. & Aben, M., Feb 1996, In : International Journal of Human-computer Studies. 44, 2, p. 187-212 26 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Specification languages
knowledge-based system
Knowledge based systems
Language
system development

Using reflection techniques for flexible problem solving (with examples from diagnosis)

Ten Teije, A. & Van Harmelen, F., Sep 1996, In : Future Generation Computer Systems. 12, 2-3 SPEC. ISS., p. 217-234 18 p.

Research output: Contribution to JournalArticleAcademicpeer-review

1995

19th and 20th century theories of case: A comparison of localist and cognitive approaches

Cienki, A. J., 1995, In : Historiographia Linguistica. 22, p. 123-162

Research output: Contribution to JournalArticleAcademicpeer-review

An effective axiomatization for real time ACP

Fokkink, W. & Klusener, S., 1 Nov 1995, In : Information and Computation. 122, 2, p. 286-299 14 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Axiomatization
Bisimulation
Uncountable
Prefix
Term

Arab industrialization in Israel: Ethnic entrepreneurship in the periphery

Shnell, I., Sofer, M. & Drori, I., 1995, Greenwood Publishing Group. 204 p.

Research output: Book / ReportBookAcademicpeer-review

De CPN en het communistische verzet: Het archief 1

Schrevel, M. & Legêne, S., 1995, In : Oorlogsdocumentatie '40-'45. 6, p. 239-253 14 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Demonstratives, referent identification and topicality in Wambon and some other Papuan languages

de Vries, L., 1995, In : Journal of Pragmatics. 24, p. 513-533. 20 p.

Research output: Contribution to JournalArticleAcademicpeer-review

File
topicality
language
Mathematical operators
grammar
Referent

Entrepreneurship and industrialization in the Israeli Arab society

Sofer, M., Schnell, I., Drori, I. & Atrash, A., 1995, In : Ra’nana: Beit Berl: The Institute for Israeli Arab Studies.

Research output: Contribution to JournalArticleAcademicpeer-review

Numeral systems of the Awyu language family of Irian Jaya

de Vries, L., 1995, In : Bijdragen tot de taal-, land- en volkenkunde. 150, 3, p. 540-567 27 p.

Research output: Contribution to JournalArticleAcademicpeer-review

ONDERSTEUNING VAN FAMILIELEDEN VAN DEMENTERENDE OUDEREN: DE EFFECTEN

Cuijpers, P. & Nies, H., 1995, In : Tijdschrift voor Psychiatrie. 37, 10, p. 790-800 11 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Caregivers
Dementia
Respite Care
Self-Help Groups
Psychotherapy

Spirits and friends: expletive nouns in Korowai of Irian Jaya

de Vries, L., 1995, Tales of a concave world. Liber Amicorum Bert Voorhoeve. Bakker, M. & van der Mey, D. (eds.). Department of Languages and Cultures of South-East Asia and Oceania of the Leiden University., p. 178-188 10 p.

Research output: Chapter in Book / Report / Conference proceedingChapterAcademic

Open Access
File

Temporalizing Epistemic Default Logic

van der Hoek, W., Meyer, J. J. C. & Treur, J., 1995, Information Systems-Correctness and Reusability. Selected papers from the IS-CORE-95 Workshop. World Scientific, p. 173-190 18 p.

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

Vertalen historisch bezien

Moser, P. H., 1995, In : De nieuwe taalgids. 88, p. 377-378 2 p.

Research output: Contribution to JournalBook/Film/Article reviewProfessional

Open Access
1994

A complete equational axiomatization for prefix iteration

Fokkink, W., 23 Dec 1994, In : Information Processing Letters. 52, 6, p. 333-337 5 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Axiomatization
Prefix
Algebra
Term Rewriting Systems
Iteration

An organizational learning perspective on information systems planning

Huysman, M. H., Fischer, S. J. & Heng, M. SH., 1994, In : Journal of Strategic Information Systems. 3, 3, p. 165-177 13 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Information systems
Planning
Organizational learning
Information systems planning

Basic process algebra with iteration: Completeness of its equational axioms

Fokkink, W. & Zantema, H., 1 Jan 1994, In : Computer Journal. 37, 4, p. 259-267 9 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Algebra

Innovation and creativity versus control assessing the paradox in IT organizations

Fischer, S., Boogaard, M. & Huysman, M., 1994, Proceedings of the Hawaii International Conference on System Sciences. Nunamaker, J. F. & Sprague, R. H. J. (eds.). Publ by IEEE, Vol. 4. p. 367-376 10 p.

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

Innovation

IT in legal practice: research in progress

Van der Wees, L. & Huysman, M., 1994, Proceedings of the ACM SIGCPR Conference. Publ by ACM, p. 116-119 4 p.

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

Information technology
Automation
Industry

Life cycle management in the consumer electronic industry

den Hond, F., 1 Jan 1994, IEEE International Symposium on Electronics and the Environment. Publ by IEEE, 1 p.

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

Consumer electronics
Electronics industry
Life cycle
Product design
Television

Programming Language Essentials

Bal, H. E. & Grune, D., 1994, Addison-Wesley.

Research output: Book / ReportBookAcademic

The tyft/tyxt format reduces to tree rules

Fokkink, W. J., 1 Jan 1994, Theoretical Aspects of Computer Software - International Symposium TACS 1994, Proceedings. Mitchell, J. C. & Hagiya, M. (eds.). Springer - Verlag, p. 440-453 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 789 LNCS).

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

Transition Systems
Specification
Specifications
Congruence
Bisimulation

Understanding the stabilizing effects of IT on organizations

Boogaard, M. & Huysman, M. H., 1994, Proceedings of the ACM SIGCPR Conference. Publ by ACM, p. 303 1 p.

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

Camouflage
Information technology
1993

An elimination theorem for regular behaviours with integration

Fokkink, W. J., 1 Jan 1993, CONCUR 1993 - 4th International Conference on Concurrency Theory, Proceedings. Best, E. (ed.). Springer - Verlag, p. 432-446 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 715 LNCS).

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

Algebra
Elimination
Theorem
Process Algebra
Timed Automata

Citaatconstructies in Papoea-talen

de Vries, L., 1993, In : Met andere woorden. 12

Research output: Contribution to JournalArticleProfessional

Cooperation, communalism and individualism: rural development and land settlement schemes in Jamaica and Fiji

Sofer, M. & Drori, I., 1993, In : Journal of Rural Cooperation. 21, 2, p. 191-215 25 p.

Research output: Contribution to JournalArticleAcademicpeer-review

individualism
Jamaica
Melanesia
rural development
island state

Experiencers, possessors, and overlap Between Russian dative and u + genitive

Cienki, A. J., 1993, Proceedings of the Nineteenth Annual Meeting of the Berkeley Linguistics Society. Berkeley: Berkeley Linguistics Society, p. 76-89

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

Forms and Functions in Kombai, an Awyu language of Irian Jaya

de Vries, L., 1993, Canberra: Australian National University Press. 130 p.

Research output: Book / ReportBookAcademicpeer-review

Notional and coded information roles in Awyu languages

de Vries, L., 1993, In : Working Papers in Functional Grammar. 52

Research output: Contribution to JournalArticleAcademic

Open Access
File

Product waste in the automotive industry: Technology and environmental management

Groenewegen, P. & Hond, F. D., 1993, In : Business Strategy and the Environment. 2, 1, p. 1-12 12 p.

Research output: Contribution to JournalArticleAcademicpeer-review

automotive industry
environmental management
waste management
manufacturing industry
industry
1992

A cognitive semantic approach to Russian and Polish causal constructions

Cienki, A. J., 1992, For Henry Kučera: Essays in Slavic Philology and Computational Linguistics. Mackie, A. W., McAuley, T. K. & Simmons, C. (eds.). Ann Arbor: Michigan Slavic Publications, p. 73-93

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

An Outline of the Morphology of Wambon of the Irian Jaya Upper-Digul Area: With an introduction to its phonology

de Vries, L. & Wiersma, R., 1992, Leiden: KITLV Press. 98 p.

Research output: Book / ReportBookAcademicpeer-review

On the (non-)brittleness of a DESIRE-model

Geelen, P. A., Ruttkay, Z. S. & Treur, J., 1992, Sisyphus'92: Models of Problem Solving, Sisyphus yearbook 1992. GMD

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

Quotative constructions and translation in Papuan languages

de Vries, L., 1992, In : The Bible Translator. 43, 3

Research output: Contribution to JournalArticleAcademicpeer-review

Research and the local planning of services for elderly people: an interactive approach

Nies, H., 1992, In : Policy & Politics. 20, 1, p. 1-13 13 p.

Research output: Contribution to JournalArticleAcademicpeer-review

local planning
triangulation
planning process
human being
interaction

Towards a Formal Framework to Compare Protocol Interpretations and Task Specifications

Geelen, P. L. W., Ruttkay, Z. S. & TREUR, J., 1992, In : Lecture Notes in Computer Science. 599, p. 133-152

Research output: Contribution to JournalArticleAcademicpeer-review

1991

A bi-modular approach to nonmonotonic reasoning

Tan, Y. H. & Treur, J., 1991, Proc. of the World Congress on Fundamentals of Artificial Intelligence, WOCFAI-91. de Glas, M. & Gabbay, D. (eds.). p. 461-476 16 p.

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