• De Boelelaan 1081a

    1081 HV Amsterdam

    Netherlands

Research Output 1976 2019

2009

An algebra for Kripke polynomial coalgebras

Bonsangue, M. M., Rutten, J. J. M. M. & Silva, A., 2009, Proc. 24th Symposium on Logic in Computer Science - LICS'09. IEEE Computer Society Press, p. 49-58

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

Analyzing the Gap between Workflows and their Natural Language Descriptions

Groth, P. T. & Gil, Y., 2009, 2009 IEEE Congress on Services, Part I, SERVICES I 2009. IEEE Computer Society, p. 299-305

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

Intelligent systems
Bioinformatics
Availability
Chemical analysis
Experiments

An Ambient Agent Model for Group Development Support

Bosse, T., Duell, R., Memon, Z. A., Treur, J. & van der Wal, C. N., 2009, Proceedings of the 9th IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'09). Baeza-Yates, R., Lang, J., Mitra, S., Parsons, S. & Pasi, G. (eds.). IEEE Computer Society Press, p. 505-510

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

An Ambient Agent Model for Group Emotion Support

Duell, R., Memon, Z. A., Treur, J. & van der Wal, C. N., 2009, Proceedings of the Third International Conference on Affective Computing and Intelligent Interaction, ACII'09.. Cohn, J., Nijholt, A. & Pantic, M. (eds.). IEEE Computer Society Press, p. 550-557

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

An Ambient Agent To Support Depression Relapse Prevention

Aziz, A. A., Klein, M. C. A. & Treur, J., 2009, Proceedings - 2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2009. Boldi, P. & Vizzari, G. (eds.). IEEE Computer Society Press, Vol. 3. p. 335-340 6 p. 5285083

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

An Ambient Intelligent Agent Model for Relapse and Recurrence Monitoring in Unipolar Depression

Aziz, A. A., Klein, M. C. A. & Treur, J., 2009, Proceedings of the 12th Conference on Artificial Intelligence in Medicine, AIME'09. Combi, C., Shahar, Y. & Abu-Hanna, A. (eds.). Springer/Verlag, Vol. 5651. p. 186-190 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5651 LNAI).

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

Intelligent agents
Monitoring
Experiments

An ambient intelligent system for improving therapy adherence of chronic patients

Klein, M. C. A. & Mogles, N. M., 2009, Proceedings of the 3rd European Conference on Ambient Intelligence, AmI 2009: Roots for the Future of Ambient Intelligence. International Ambient Media Association, p. 217-220 4 p.

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

Open Access
File
Intelligent systems
Health care
Costs
Aging of materials
Ambient intelligence

An Analytical Model of Information Dissemination for a Gossip-based Protocol

Bakhshi, R. R., Gavidia Simonetti, D. P., Fokkink, W. J. & van Steen, M. R., 2009, In : Computer Networks (1999). 53, 13, p. 2288-2303

Research output: Contribution to JournalArticleAcademicpeer-review

Information dissemination
Analytical models
Experiments

An Analytical Model of Information Dissemination for a Gossip-based Protocol

Bakhshi, R. R., Gavidia Simonetti, D. P., Fokkink, W. J. & van Steen, M. R., 2009, In : Lecture Notes in Computer Science. 5408, p. 230-242

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

An Ecological Model-Based Reasoning Model to Support Nature Park Managers

Hoogendoorn, M., Treur, J. & Umair, M., 2009, In : Lecture Notes in Computer Science. 5579, p. 172-182

Research output: Contribution to JournalArticleAcademicpeer-review

An Integrative Agent Model for Adaptive Human-Aware Presentation of Information During Demanding Tasks

van der Mee, A., Mogles, N. M. & Treur, J., 2009, Proceedings of the International Conference on Active Media Technology, AMT'09. Lecture Notes in Computer Science, vol. 5820.. Liu, J., Wu, J., Yao, Y. & Nishida, T. (eds.). Heidelberg: Springer Verlag, p. 54-68

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

An Introduction to "Grammar Convergence

Lammel, R. & Zaytsev, V., 2009, In : Lecture Notes in Computer Science. 5423, p. 246-260

Research output: Contribution to JournalArticleAcademicpeer-review

Anonymous Opinion Exchange over Untrusted Social Networks

Kacimi, M., Ortolani, S. & Crispo, B., 2009, In Proceedings of the Second ACM EuroSys Workshop on Social Network Systems (SNS 2009). ACM

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

Antropologen en het multiculturele debat

Ghorashi, H., 2009, Antropologen in een zee van verhalen. Sunier, T. (ed.). Amsteradm: Aksant, p. 45-59 15 p. (Antropologie Academie; no. 8).

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

A personalized walk through the museum: the CHIP interactive tour guide

Roes, I., Stash, N., Wang, Y. & Aroyo, L. M., 2009, Computer Human Interaction Conference. p. 3317-3322

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

A Pipeline-centric provenance model

Groth, P. T., Deelman, E., Juve, G., Mehta, G. & Berriman, G. B., 2009, Proceedings of the 4th Workshop on Workflows in Support of Large-Scale Science, WORKS 2009. Deelman, E. & Taylor, I. (eds.). ACM

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

Pipelines
Astronomy

Applications of infinitary lambda calculus

Barendregt, H. & Klop, J. W., 2009, In : Information and Computation. 207, 5, p. 559-582

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Lambda Calculus
Religious buildings
Pairing
Counterexample
Confluence

A Probabilistic Replication and Storage Scheme for Large Wireless Networks of Small Devices

Gavidia Simonetti, D. P. & van Steen, M. R., 2009, 5th International Conference on Mobile Ad-hoc and Sensor Systems. Los Alamitos, CA.: IEEE Computer Society Press, p. 469-478

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

A Process-Theoretic Look at Automata

Baeten, J. C. M., Cuijpers, P. J. L., Luttik, B. & Tilburg van, P. J. A., 2009, In : Lecture Notes in Computer Science. 5961, p. 1-33

Research output: Contribution to JournalArticleAcademicpeer-review

Architectural Knowledge Management: Supporting Architects and Auditors

Farenhorst, R., 2009, 378 p.

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File

Architectural Knowledge Management: Supporting Architects and Auditors

de Boer, R. C., 2009, 378 p.

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File

Architecture compliance checking at run-time

Ganesan, D., Keuler, T. & Nishimura, Y., 2009, In : Information and Software Technology. 51, 11, p. 1586-1600 15 p.

Research output: Contribution to JournalArticleAcademicpeer-review

A review of the effects of violent video games on children and adolescents

Whitaker, J. L. & Bushman, B. J., 2009, In : Washington and Lee Law Review. 66, 3, p. 1033-1051 19 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Articulating identities

Ybema, S. B., Keenoy, T., Oswick, C., Beverungen, A., Ellis, N. & Sabelis, I. H. J., 2009, In : Human Relations. 62, 3, p. 299-322 24 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Liquids
organizational analysis
sociality
social actor
identity formation

A scalable architecture for peer privacy on the Web

Kotoulas, S. & Stegers, R. G. M., 2009, Proceedings of the ESWC2009 Workshop on Trust and Privacy on the Social and Semantic Web (SPOT2009). Heraklion, Greece: CEUR

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

A Scientific Workflow Construction Command Line

Groth, P. T. & Gil, Y., 2009, Proceedings of the 13th international conference on Intelligent user interfaces. Conati, C., Bauer, M., Oliver, N. & Weld, D. S. (eds.). ACM, p. 132-147

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

Hybrid systems

A Scoped Approach to Traceability Management

Lago, P., Muccini, H. & van Vliet, H., 2009, In : Journal of Systems and Software. 82, 1, p. 168-182 15 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Planning
Software engineering

A semi-automatic usage-based method for improving hyperlink descriptions in menus.

Hollink, V., van Someren, M. & Wielinga, B. J., 2009, In : International Journal of Human-computer Studies. 67, 4, p. 366-381 15 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Assessing the Efficiency of the Enterprise Architecture Function

van der Raadt, B. & van Vliet, H., 2009, Advances in Enterprise Engineering II (Proceedings First NAF Academy Working Conference on Practice-Driven Research on Enterprise Transformation -- PRET 2009. Springer Verlag, p. 63-83

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

Assessing the Impact of Future Reconfigurable Optical Networks on Application Performance

Bal, H. E., Maassen, J., Verstoep, K., Grosso, P. & de Laat, C., 2009, High-Performance Grid Computing Sixth High-Performance Grid Computing Workshop (HPGC 2009).

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

A theory of planned media choice

Hartmann, T., 2009, Media choice: A theoretical and empirical overview. Hartmann, T. (ed.). New York: Routledge, p. 32-52 21 p.

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

File

Attention Manipulation for Naval Tactical Picture Compilation

Bosse, T., van Lambalgen, R. M., van Maanen, P. & Treur, J., 2009, Proceedings of the 9th IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'09). Baeza-Yates, R., Lang, J., Mitra, S., Parsons, S. & Pasi, G. (eds.). IEEE Computer Society Press, p. 450-457

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

Automated translation and analysis of a ToolBus script for auctions

Fokkink, W. J., Klint, P., Lisser, B. & Usenko, Y. S., 2009, In : Lecture Notes in Computer Science. 5961, p. 308-323

Research output: Contribution to JournalArticleAcademicpeer-review

Automated Visual Attention Manipulation

Bosse, T., van Lambalgen, R. M., van Maanen, P. & Treur, J., 2009, In : Lecture Notes in Computer Science. 5395, p. 257-272

Research output: Contribution to JournalArticleAcademicpeer-review

Automatic annotation suggestions for audiovisual archives: Evaluation aspects

Gazendam, L. J. B., Malaisé, V., de Jong, A., Wartena, C., Brugman, H. & Schreiber, A. T., 2009, In : Interdisciplinary Science Reviews. 18 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
evaluation
broadcast
Netherlands
Annotation
Evaluation

Autonomous Resource Selection for Decentralized Utility Computing.

Costa, P., Napper, J. M., Pierre, G. E. O. & van Steen, M. R., 2009, 29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009). Los Alamitos: IEEE, p. 561-570

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

Autopoiesis and the evolution of information systems

Huysman, M. H., van der Blonk, H. C. & Spoor, E. R. K., 2009, Autopoiesis in organization theory and practice. Magalhaes, R. & Sanchez, R. (eds.). Bingley, United Kingdom: Emerald Group Publishing Limited

Research output: Chapter in Book / Report / Conference proceedingChapterAcademic

File

A Virtual Human Agent Model with Behaviour Based on Feeling Exhaustion

Treur, J., 2009, Next-Generation Applied Intelligence: 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2009 Tainan, Taiwan, June 24-27, 2009 Proceedings. Chien, B-C., Hong, T-P., Chen, S-M. & Ali, M. (eds.). Springer, p. 11-23 13 p. (Lecture Notes in Computer Science; vol. 5579).

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

Open Access
File
Monitoring
Decision making

Avoidance of Norm Violation in Multi-Agent Organizations

Gerritsen, C. & Hoogendoorn, M., 2009, Proceedings of the 23th European Conference on Modelling and Simulation, ECMS'09. Otamendi, J., Bargiela, A., Montes, J. L. & Pedrera, L. M. D. (eds.). European Council on Modeling and Simulation

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

Awareness, training and trust in interaction with adaptive spam filters

Cramer, H. S. M., Evers, V., van Someren, M. W. & Wielinga, B. J., 2009, Proceedings of the 27th International Conference on Human Factors in Computing Sysytems. Olsen, D. R., Arthur, R. B., Hinckley, K., Morris, M. R., Hudson, S. E. & Greenberg, S. (eds.). New York: ACM, p. 909-912

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

A wide-area location service

Ballintijn, G. C., 2009

Research output: PhD ThesisPhD Thesis - Research external, graduation VUAcademic

Baker-Florist-Grocery negotiation exercise

Beersma, B., 2009, Negotiation: Readings, Exercises, and Cases. Lewicki, R., Barry, B. & Saunders, D. M. (eds.). McGraw-Hill Irwin

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

Beleid in de maatschappelijk werkpraktijk

van der Haar, M., 2009, In : Bestuurskunde. 18, 1, p. 54-59 6 p.

Research output: Contribution to JournalArticleAcademic

Belize: The end of the world?

Roessingh, C. H., 2009, Between horse & buggy and four-wheel drive. Change and diversity among Mennonite settlements in Belize, Central America. Roessingh, C. H. & Plasil, T. (eds.). Amsterdam: VU University Press, p. 23-42 20 p.

Research output: Chapter in Book / Report / Conference proceedingChapterAcademic

BestPortal: Lessons learned in lightweight semantic access to court proceedings

Hoekstra, R. J., 2009, Proceedings of the 22nd International Conference on Legal Knowledge and Information Systems (JURIX 2009). Governatori, G. (ed.). IOS Press

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

Beyond complicity: A plea for engaged ethnography

Ghorashi, H. & Wels, H., 2009, Organizational ethnography: Studying the complexities of everyday life. Ybema, S., Yanow, D., Wels, H. & Kamsteeg, F. (eds.). London: Sage, p. 231-253 23 p.

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

Bias perceptions of realism in audiovisual media: Why we may take fiction for real

Konijn, E. A., Walma van der Molen, J. H. & van Nes, S., 2009, In : Discourse Processes. 46, 4, p. 309-340 32 p.

Research output: Contribution to JournalArticleAcademicpeer-review

audiovisual media
realism
emotion
trend
induction