• De Boelelaan 1081a

    1081 HV Amsterdam

    Netherlands

Research Output 1976 2020

2018

A verified SAT solver with watched literals using Imperative HOL

Fleury, M., Blanchette, J. C. & Lammich, P., Jan 2018, CPP 2018 - Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2018. New York, NY: Association for Computing Machinery, Inc, p. 158-171 14 p.

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

Data structures

A virtual reality application for aggression de-escalation training in public transport

Blankendaal, R. A. M., Gerritsen, C., Otte, M. & Bosse, T., 8 Nov 2018, BNAIC 2018: PreProceedings of the 30th Benelux Conference on Artificial Intelligence. Atzmueller, M. & Duijvesteijn, W. (eds.). BNAIC, p. 5-20 16 p. (Belgian/Netherlands Artificial Intelligence Conference).

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

Virtual reality
Intelligent virtual agents
Bus drivers
Personnel
Communication

Basics of sensory data

Hoogendoorn, M. & Funk, B., 1 Jan 2018, Machine Learning for the Quantified Self: On the Art of Learning from Sensory Data. Springer/Verlag, p. 15-24 10 p. (Cognitive Systems Monographs; vol. 35).

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

Learning systems
Sensors

Beyond Racism and Poverty: The Truck System on Louisiana Plantations and Dutch peateries, 1865-1920

Lurvink, K., Jan 2018, Brill. 282 p. (Studies in Global Slavery; vol. 3)

Research output: Book / ReportBookAcademicpeer-review

racism
poverty
worker
Netherlands
slavery

Big data, surveillance and crisis management

Boersma, F. K. (ed.) & Fonio, C. (ed.), 2018, Routledge. 245 p.

Research output: Book / ReportBook editingAcademic

surveillance
management
organization theory
information society
governmentality

Big data, surveillance and crisis management

Boersma, F. K. & Fonio, C., 2018, Big data, surveillance and crisis management. Boersma, K. & Fonio, C. (eds.). Routledge, p. 1-16 15 p. (Routlegde Studies in Surveillances; vol. 1).

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

Big dating: a computational approach to examine gendered self-presentation on Tinder

Van Berlo, Z. M. C. & Ranzini, G., 18 Jul 2018, Proceedings of the 9th International Conference on Social Media and Society, SMSociety 2018. Association for Computing Machinery, p. 390-394 5 p.

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

Application programs
Global positioning system

BinRec: Atack surface reduction through dynamic binary recovery

Kroes, T., Altinay, A., Nash, J., Na, Y., Volckaert, S., Bos, H., Franz, M. & Giuffrida, C., 15 Oct 2018, FEAST 2018 - Proceedings of the 2018 Workshop on Forming an Ecosystem Around Software Transformation, co-located with CCS 2018. Association for Computing Machinery, p. 8-13 6 p.

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

Open Access
File
Recovery
Static analysis
Bins
Trusted computing

BiographyNet: Extracting Relations Between People and Events

Fokkens, A., Braake, S. T., Ockeloen, N., Vossen, P., Legêne, S., Schreiber, G. & Boer, V. D., 2018, Europa baut auf Biographien: Aspekte, Bausteine, Normen und Standards für eine europäische Biographik. Bernád, Á. Z., Gruber, C. & Kaiser, M. (eds.). Berlin: new academic press, p. 193-227 35 p.

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

Open Access
File
Uncertainty
Target Groups
The Netherlands
Historical Sources
History

Blockchains for business process management - Challenges and opportunities

Mendling, J., Weber, I., Van Der Aalst, W., Brocke, J. V., Cabanillas, C., Daniel, F., Debois, S., Di Ciccio, C., Dumas, M., Dustdar, S., Gal, A., García-Bañuelos, L., Governatori, G., Hull, R., La Rosa, M., Leopold, H., Leymann, F., Recker, J., Reichert, M., Reijers, H. A. & 12 othersRinderlema, S., Solti, A., Rosemann, M., Schulte, S., Singh, M. P., Slaats, T., Staples, M., Weber, B., Weidlich, M., Weske, M., Xu, X. & Zhu, L., Feb 2018, In : ACM Transactions on Management Information Systems. 9, 1, p. 1-16 16 p., 4.

Research output: Contribution to JournalArticleAcademicpeer-review

Industry
Business process management
Business process
Research directions
Discourse

Boundary expression in verbs and gesture: Differences between L1 and L2 speakers

Denisova, V. A., Cienki, A. & Iriskhanova, O. K., 30 May 2018, In : Komp'juternaja Lingvistika i Intellektual'nye Tehnologii. 17, 4, p. 163-171 9 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Testing
narrative
speaking
Verbs
Gesture

Boundary Work: Addressing the challenges of cross-boundary collaboration at Mirai Corporation

Corporaal, G. F., 2018, 297 p.

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

Open Access
File

Braids via term rewriting

Endrullis, J. & Klop, J. W., 6 Dec 2018, In : Theoretical Computer Science. p. 1-36 36 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Term Rewriting
Braid
Notation
Diamonds
Diagram

Business of War

Brandon, P. (Guest ed.), 't Hart, M. C. (Guest ed.) & Torres-Sánchez, R. (Guest ed.), Jan 2018, In : Business History. 60, 1, 125 p.

Research output: Contribution to JournalSpecial issue (editing)Academicpeer-review

Capturing and Interpreting Ambiguity in Crowdsourcing Frame Disambiguation

Dumitrache, A., Aroyo, L. M. & Welty, C., 2018, (Accepted/In press) The sixth AAAI Conference on Human Computation and Crowdsourcing.

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

Cats in beeld

Koppenol, J., 25 Nov 2018, Dichter bij Cats: 400 jaar Sinne- en minnebeelden. Marijnissen, A. (ed.). Middelburg: ZB | Planbureau en Bibliotheek van Zeeland, p. 48-59 12 p. (PPF-reeks; vol. 4).

Research output: Chapter in Book / Report / Conference proceedingChapterPopular

Challenges in Enabling Mixed Media Scholarly Research with Multi-media Data in a Sustainable Infrastructure

Ordelman, R., Martinez Ortiz, C., Melgar, L., Koolen, M., Melder, W., van Gorp, J., de Boer, V., Karavellas, T., Aroyo, L. M., Poell, T., Karrouche, N. F. F., Baaren, E., Wassenaar, J., Inel, O. A. & Noordegraaf, J., 2018, Digital Humanities 2018 Conference.

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

Changing academic work places: the introduction of open-plan offices in universities

Van Marrewijk, A. & Van den Ende, L., 13 Aug 2018, In : Journal of Organizational Change Management. 31, 5, p. 1119-1137 19 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open-plan office
Academic work
Work place
Staff
Organizational change

Characterizing the contribution of quality requirements to software sustainability

Condori-Fernandez, N. & Lago, P., 1 Mar 2018, In : Journal of Systems and Software. 137, p. 289-305 17 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
Sustainable development
Software engineering
Requirements engineering
Software architecture
Interoperability

Checking process compliance against natural language specifications using behavioral spaces

van der Aa, H., Leopold, H. & Reijers, H. A., 31 Jan 2018, In : Information Systems. 2018, p. 1-13 13 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Specification languages
Compliance

Citizens in crisis and disaster management: Understanding barriers and opportunities for inclusion

Ferguson, J., Schmidt, A. & Boersma, K., Sep 2018, In : Journal of Contingencies and Crisis Management. 26, 3, p. 326-328 3 p.

Research output: Contribution to JournalEditorialAcademicpeer-review

Click here to look clever: self-presentation via selective sharing of music and film on social media

Johnson, B. K. & Ranzini, G., May 2018, In : Computers in Human Behavior. 82, May, p. 148-158 11 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Social Media
Ego
Music
Pleasure
Social Support

Clustering

Hoogendoorn, M. & Funk, B., 1 Jan 2018, Machine Learning for the Quantified Self: On the Art of Learning from Sensory Data. Springer/Verlag, p. 73-100 28 p. (Cognitive Systems Monographs; vol. 35).

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

Cognitive metaphysics

Decock, L., 11 Sep 2018, In : Frontiers in Psychology. 9, September, p. 1-11 11 p., 1700.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Metaphysics
Physics
Psychology

Coinductive foundations of infinitary rewriting and infinitary equational logic

Endrullis, J., Hansen, H. H., Hendriks, D., Polonsky, A. & Silva, A., 10 Jan 2018, In : Logical Methods in Computer Science. 14, 1, p. 1-44 44 p., 3.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Infinitary Logic
Equational Logic
Rewriting
Term Rewriting
Equational Theory

Community participation in primary care: willingness to participate, a web survey in the Netherlands

Kroneman, M., van Erp, K. & Groenewegen, P., 27 Sep 2018, In : Primary Health Care Research and Development. 20, p. 1-7 7 p., e13.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Aptitude
Netherlands
Primary Health Care
Delivery of Health Care
Community Health Services

Comparatives in melanesia: Concentric circles of convergence

de Vries, L. & Schapper, A., 25 Oct 2018, In : Linguistic Typology. 22, 3, p. 437-494 58 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
Melanesia
New Guinea
language
typology
linguistics

Comparing and aligning process representations

Van Der Aa, H., 2018, BPMTracks 2018 - BPM 2018 Dissertation Award, Demonstration, and Industrial Track: Proceedings of the Dissertation Award, Demonstration, and Industrial Track at BPM 2018, co-located with 16th International Conference on Business Process Management (BPM 2018). p. 16-20 5 p. (CEUR Workshop Proceedings; vol. 2196).

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

Industry
Compliance

Comparing and Aligning Process Representations

van der Aa, J. H., 2018, 197 p.

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

Open Access
File

Competition in science: links between publication pressure, grant pressure and the academic job market

Waaijer, C. J. F., Teelken, J. C., van der Weijden, I. C. M. & Wouters, P., Jun 2018, In : Higher Education Policy. 31, 2, p. 225–243 19 p.

Research output: Contribution to JournalArticleAcademicpeer-review

grant
market
science
university
career

Computational model for reward-based generation and maintenance of motivation

Taj, F., Klein, M. C. A. & van Halteren, A., 2018, Brain Informatics: International Conference, BI 2018, Proceedings. Yang, Y., Yamamoto, V., Wang, S., Jones, E., Su, J., Mitchell, T. & Iasemidis, L. (eds.). Springer - Verlag, p. 41-51 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11309 LNAI).

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

Open Access
File
Reward
Computational Model
Maintenance
Hebbian Learning
Student Learning

Computerrecht en Robotica

van den Hoven van Genderen, R., 28 Jun 2018, In : Computerrecht. 2018, 3, p. 129-129 1 p., 2018/110.

Research output: Contribution to JournalEditorialProfessional

Computing a Sustainable Future: Exploring the Added Value of Computational Models for Increasing the Use of renewable Energy in the Residential Sector

Tabatabaei, S., 2018, 251 p.

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

Open Access
File

Concepts and strategies of quality assurance in care for older people

Nies, H. L. G. R. & Leichsenring, K., 2018, Cultures of care in ageing. Boll, T., Ferring, D. & Valsiner, J. (eds.). Charlotte, NC: Information Age Publishing, Inc., p. 347-371 25 p. (Advances in Cultural Psychology; vol. 39).

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

quality assurance
quality of life
health
future perspective
professional ethics

Connecting databases with process mining: a meta model and toolset

González López de Murillas, E., Reijers, H. A. & van der Aalst, W. M. P., 19 Feb 2018, In : Software and Systems Modeling. 2018, p. 1-39 39 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Process Mining
Metamodel
Domain Knowledge
Business Process
Trivial

Connecting KOSs and the LOD Cloud

Szostak, R., Scharnhorst, A., Beek, W. & Smiraglia, R. P., 2018, (Accepted/In press) In : Proceedings of the 15th International ISKO Conference.

Research output: Contribution to JournalArticleAcademicpeer-review

Terminology

Connecting people across borders: A repository for biographical data models

Fokkens, A. & Ter Braake, S., 25 Jun 2018, Biographical Data in a Digital World 2017: Proceedings of the Second Conference on Biographical Data in a Digital World 2017. Linz, Austria, November 6-7, 2017.. CEUR Workshop Proceedings, Vol. 2119. p. 83-92 10 p. (CEUR Workshop Proceedings).

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

Data structures

Consensus-based cross-European recommendations for the identification, measurement and valuation of costs in health economic evaluations: a European Delphi study

van Lier, L. I., Bosmans, J. E., van Hout, H. P. J., Mokkink, L. B., van Den Hout, W. B., de Wit, G. A., Dirksen, C. D., Nies, H. L. G. R., Hertogh, C. M. P. M. & van der Roest, H. G., 2018, In : European Journal of Health Economics. 19, 7, p. 993-1008 16 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Delphi Technique
Health Care Costs
Cost-Benefit Analysis
Guidelines
Costs and Cost Analysis

Considerations on moral values regarding robot tutors

Smakman, M. H. J. & Konijn, E. A., 12 Dec 2018.

Research output: Contribution to ConferencePaperAcademic

robot
tutor
Turkey
language
learning

Contagious: Modeling the Spread of Behaviours, Perceptions and Emotions in Social Networks

Fernandes de Mello Araujo, E., 2018, 253 p.

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

Open Access
File

Crisis response team decision-making as a bureau-political process

Kalkman, J. P., Kerstholt, J. H. & Roelofs, M., Dec 2018, In : Journal of Contingencies and Crisis Management. 26, 4, p. 480-490 11 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
political process
Decision making
decision making
Experiments
decision

Cross-Cultural Adaptation as an Intergroup Phenomenon Antecedents, Processes and Manifestations: Antecedents, Processes and Manifestations

Bierwiaczonek, K. M., 2018, 351 p.

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

Open Access
File

Crowdsourcing ground truth for medical relation extraction

Dumitrache, A., Aroyo, L. & Welty, C., Jul 2018, In : ACM Transactions on Interactive Intelligent Systems. 8, 2, p. 1-20 20 p., 11.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Learning systems
Costs
Experiments

CrowdTruth 2.0: Quality metrics for crowdsourcing with disagreement

Dumitrache, A., Inel, O., Aroyo, L., Timmermans, B. & Welty, C., 2018, Joint Proceedings SAD 2018 and CrowdBias 2018: Proceedings of the 1st Workshop on Subjectivity, Ambiguity and Disagreement in Crowdsourcing, and Short Paper Proceedings of the 1st Workshop on Disentangling the Relation Between Crowdsourcing and Bias Management (SAD 2018 and CrowdBias 2018) co-located the 6th AAAI Conference on Human Computation and Crowdsourcing (HCOMP 2018). Zürich, Switzerland, July 5, 2018. Aroyo, L. & Dumitrache, A. (eds.). CEUR-WS, p. 11-18 8 p. (CEUR Workshop Proceedings; vol. 2276).

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

Das materielle Erbe von Karl Marx

Brandon, P., 2018, Karl Marx 1818-1883: Leben. Werk. Zeit. Bouvier, B. & Auts, R. (eds.). Trier: Theiss, p. 36-55 20 p.

Research output: Chapter in Book / Report / Conference proceedingChapterProfessional

Dealing with Dissonance: Misfits between an EHR System and Medical Work Practices

van den Hooff, B. & Hafkamp, L., 2018, Proceedings of the 38th International Conference on Information Systems, Seoul 2017. AES Electronic Library

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

Open Access
File

Decreasing diagrams with two labels are complete for confluence of countable systems

Endrullis, J., Klop, J. W. & Overbeek, R., 1 Jul 2018, 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 108. p. 1-15 15 p. 14

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

Labels
Electric commutation
Labeling

De DENK-stemmer: progressief én conservatief?

Vermeulen, F., Otjes, S. P. & Krouwel, A. P. M., 22 Jan 2018

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

Open Access

Deep Dive into Word Sense Disambiguation with LSTM

Le, M. N., Postma, M. C., Urbani, J. & Vossen, P. T. J. M., 2018, Proceedings of the International Conference on Computational Linguistics (COLING 2018). International Conference on Computational Linguistics (COLING), p. 354-365 12 p.

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

Open Access