• De Boelelaan 1081a

    1081 HV Amsterdam

    Netherlands

Research Output

1994

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

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

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

Laten we Amsterdam niet te snel opheffen

Translated title of the contribution: Let's not terminate Amsterdam too quicklyKrouwel, A., 16 Dec 1994

Research output: Online publication or Non-textual formOnline publication or WebsitePopular

Open Access

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

Programming Language Essentials

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

Research output: Book / ReportBook

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

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

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

Arab industrialization in Israel: Ethnic entrepreneurship in the periphery

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

Research output: Book / ReportBook

De CPN en het communistische verzet: Het archief 1

Translated title of the contribution: The CPN (Dutch Communist Party) and the communist resistance : The Archive 1Schrevel, 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

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

Translated title of the contribution: Supporting caregivers of dementia patients: The effectsCuijpers, P. & Nies, H., 1995, In : Tijdschrift voor Psychiatrie. 37, 10, p. 790-800 11 p.

Research output: Contribution to JournalArticleAcademicpeer-review

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
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

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

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

Translated title of the contribution: Dance of a Dock Worker: Statue and the historiography of the February Strike (of 1941)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

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

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

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

Современные когнитивные подходы к семантике: сходства и различия в теориях и целях

Translated title of the contribution: Contemporary cognitive approaches to semantics: Similarities and differences in theories and goalsCienki, A. J., 1996, In : Voprosy Jazykoznanija. 2, p. 68-78

Research output: Contribution to JournalArticleAcademicpeer-review

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

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

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

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

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

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

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

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

Translated title of the contribution: Semantics in cognitive linguisticsCienki, 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

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

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