• De Boelelaan 1081a

    1081 HV Amsterdam

    Netherlands

Research Output 1976 2019

1998

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
1997

An Equational Axiomatization for Multi-exit Iteration

Aceto, L. & Fokkink, W., 15 Sep 1997, In : Information and Computation. 137, 2, p. 121-158 38 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Basic Algebra
Process Algebra
Axiomatization
Algebra
Iteration

Applying rule-base anomalies to KADS inference structures

Van Harmelen, F., Dec 1997, In : Decision Support Systems. 21, 4, p. 271-280 10 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Knowledge based systems
Knowledge representation
Inference
Anomaly
Knowledge-based systems

Autopoiesis and the evolution of information systems

van der Blonk, H. C., Huysman, M. H. & Spoor, E. R. K., 1997, Proceedings world multiconference on systemics, cybernetics and informatics. Caracas: SCI, p. 301-310

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

Axiomatizations for the perpetual loop in process Algebra

Fokkink, W., 1 Jan 1997, Automata, Languages and Programming - 24th International Colloquium, ICALP 1997, Proceedings. Degano, P., Gorrieri, R. & Marchetti-Spaccamela, A. (eds.). Springer - Verlag, p. 571-581 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1256).

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

Basic Algebra
Process Algebra
Bisimulation
Deadlock
Axiomatization

Exploring the roots of innovations. A social constructivist perspective

Loots, J. & Huysman, M. H., 1997, Proceedings conference on Organizing in a multi-voiced world. Leuven: European Institute for Advanced Studies in Management

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

Formalisation for decision support in anaesthesiology

Renardel de Lavalette, G. R., Groenboom, R., Rotterdam, E., van Harmelen, F., ten Teije, A. & de Geus, F., Nov 1997, In : Artificial Intelligence in Medicine. 11, 3, p. 189-214 26 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Anesthesiology
Knowledge Bases
System program documentation
Specification languages
Documentation

Information systems and uncertainty

Huysman, M. H. & van der Blonk, H. C., 1997, Proceedings international conference on Uncertainty, knowledge and skills. België: IS

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

Missing the bus. Technological cooperation in networks. A socio-cognitive perspective

Huysman, M. H. & von Raesfeld Meijer, A., 1997, Proceedings conference on Organizing modes of knowledge. Warwick

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

Motion in the metaphorical spaces of morality and reasoning as expressed in language and gesture

Cienki, A. J., 1997, In : International Journal of Communication. 7, p. 85-98

Research output: Contribution to JournalArticleAcademicpeer-review

Performance of a High-Level Parallel Language on a High-Speed Network

Bal, H. E., Bhoedjang, R., Hofman, R., Jacobs, C., Langendoen, K. G., Rühl, T. & Verstoep, K., 1 Jan 1997, In : Journal of Parallel and Distributed Computing. 40, 1, p. 49-64 16 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Simulation as a correct transformation of rewrite systems

Fokkink, W. & van de Pol, J., 1 Jan 1997, Mathematical Foundations of Computer Science 1997 - 22nd International Symposium, MFCS 1997, Proceedings. Privara, I. & Ruzicka, P. (eds.). Springer - Verlag, p. 249-258 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1295).

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

Acoustic waves
Simulation
Term
Normal Form
Compilation

Some properties and groupings of image schemas

Cienki, A. J., 1997, Lexical and Syntactical Constructions and the Construction of Meaning. Verspoor, M., Lee, K. D. & Sweetser, E. (eds.). Amsterdam: John Benjamins, p. 3-15

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

Termination modulo equations by abstract commutation with an application to iteration

Fokkink, W. & Zantema, H., 15 May 1997, In : Theoretical Computer Science. 177, 2, p. 407-423 17 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Term Rewriting
Process Algebra
Electric commutation
Rewriting
Termination

Unification for infinite sets of equations between finite terms

Fokkink, W., 28 May 1997, In : Information Processing Letters. 62, 4, p. 183-188 6 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Unification
Substitution reactions
Infinite Domain
Term
Substitution

Семантика в когнитивной лингвистике

Cienki, A. J., 1997, Фундаментальные направления совремменой американской лингвистики. Kibrik, A. A., Kobozeva, I. M. & Sekerina, I. A. (eds.). Moscow: Izdatel'stvo MGU, p. 340-369

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

1996

A complete axiomatization for prefix iteration in branching bisimulation

Fokkink, W., 1 May 1996, In : Fundamenta Informaticae. 26, 2, p. 103-113 11 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Bisimulation
Axiomatization
Prefix
Algebra
Branching

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