• De Boelelaan 1081a

    1081 HV Amsterdam

    Netherlands

Research Output 1976 2020

Filter
Conference contribution
2004

Middleware Adaptation with the Delphoi Service

Maassen, J., van Nieuwpoort, R. V., Kielmann, T. & Verstoep, K., 2004, AGridM 2004 Workshop on Adaptive Grid Middleware, September 30, 2004, Antibes Juan-les-Pins, France..

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

2003

Analysis of a Redesigned Lift System Using UPPAAL

Karstens, B., Fokkink, W. & Pang, J., 2003, Proceedings 5th Conference on Formal Engineering Methods: ICFEM'03: Lecture Notes in Computer Science 2885 . Springer/Verlag, Vol. 2885. p. 504-522

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

Open Access
Testing
2002

An analysis of multi-agent diagnosis

Roos, N., Ten Teije, A., Bos, A. & Witteveen, C., 2002, Proceedings of the International Conference on Autonomous Agents. Castelfranchi, C. & Johnson, W. L. (eds.). 1 ed. p. 986-987 2 p.

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

Multi agent systems
Dynamical systems

From informal knowledge to formal logic: A realistic case study in medical protocols

Marcos, M., Balser, M., Ten Teije, A. & van Harmelen, F., 2002, Knowledge Engineering and Knowledge Management: Ontologies and the Semantic Web - 13th International Conference, EKAW 2002, Proceedings. Springer/Verlag, Vol. 2473. p. 49-64 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2473).

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

Formal logic
Logic
Network protocols
Formalization
Knowledge representation
2001

2-nested simulation is not finitely equationally axiomatizable

Aceto, L., Fokkink, W. & Ingólfsdóttir, A., 1 Jan 2001, STACS 2001 - 18th Annual Symposium on Theoretical Aspects of Computer Science, Proceedings. Ferreira, A. & Reichel, H. (eds.). Springer - Verlag, p. 39-50 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2010).

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

Equivalence
Axiomatization
Simulation
Congruence
Branching

New Methods for Studying Global Virtual Teams: Towards a Multi-Faceted Approach

Huysman, M. H., Steinfeld, CH., Yang, C. Y., Poot, H. J., Huis in 't Veld, M., Mulder, I., Goodman, E., Lloyd, J., David, K., Hinds, T., Andriessen, E. & van der Werff, K., 2001, Hawaii International Conference on Systems Sciences, Organizational Systems and Technology Track: Research Methods and Approaches for Studying Organizational Systems and Technology. Hawai

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

Temporal and Interactionist Perspectives on the Dynamics of Mental States

Jonker, C. M. & Treur, J., 2001, Proceedings of the 3rd International Conference on Cognitive Science, ICCS 2001. Chen, L. (ed.). USTC Press, Beijing, p. 551-556 6 p.

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

semantics
interactions

Temporal Requirements for Anticipatory Reasoning about Intentional Dynamics in Social Contexts

Jonker, C. M., Treur, J. & de Vries, W., 2001, Multi-Agent System Organisations. Proc. of the 10th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'01. Demazeau, Y. (ed.).

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

Social Context
External Representations
Grounding
Language
Intentions

Using critiquing for improving medical protocols: Harder than it seems

Marcos, M., Berger, G., van Harmelen, F., ten Teije, A., Roomans, H. & Miksch, S., 2001, Artificial Intelligence in Medicine - 8th Conference on Artificial Intelligence in Medicine in Europe, AIME 2001, Proceedings. Springer/Verlag, Vol. 2101. p. 431-441 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2101).

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

Pediatrics
Automation
Recommendations
Test Set
Formal Model

μCRL: A toolset for Analysing Algebraic Specifications

Blom, S., Fokkink, W., Groote, J. F., Van Langevelde, I., Lisser, B. & Van de Pol, J., 1 Jan 2001, Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings. Comon, H., Finkel, A. & Berry, G. (eds.). Springer - Verlag, p. 250-254 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2102).

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

2000

Adding formal semantics to the Web: building on top of RDF Schema.

Broekstra, J., Klein, M. C. A., Fensel, D. A., Decker, S. & Horrocks, I., 2000, Proceedings of the Workshop Semantic Web: Models, Architectures and Management.. Lisbon

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

An ω-Complete equational specification of interleaving

Fokkink, W. J. & Luttik, S. P., 1 Jan 2000, Automata, Languages and Programming - 27th International Colloquium, ICALP 2000, Proceedings. Montanari, U., Welzl, E. & Rolim, J. D. P. (eds.). Springer - Verlag, p. 729-743 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1853).

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

Interleaving
Specification
Specifications
Axioms
Parallel Composition

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

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

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

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

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

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

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

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

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

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

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

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

1997

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

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

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
1996

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

1995

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

1994

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

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

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

1992

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

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

A logical framework for design processes

Treur, J., 1991, Intelligent CAD Systems III. Proc. of the Third Eurographics Workshop on Intelligent CAD Systems. ten Hagen, P. & Veerkamp, P. (eds.). Springer Verlag, p. 3-20 18 p.

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

1990

On the use of a formalized generic task model in knowledge acquisition

Kowalczyk, W. J. & Treur, J., 1990, Current Trends in Knowledge Acquisition, Proc. of the European Knowledge Acquisition Worksop, EKAW'90. Wielinga, B. (ed.). IOS Press, p. 198-221 24 p.

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

1988

Completeness and definability in diagnostic expert systems

Treur, J., 1988, Proceedings of the 8th European Conference on Artificial Intelligence, ECAI'88. Kodratoff, Y. (ed.). Pitman Publishing, Pearson Professional, p. 619-624

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