• De Boelelaan 1081a

    1081 HV Amsterdam

    Netherlands

Research Output 1976 2019

Filter
Conference contribution
2018

5th international workshop on declarative/decision/hybrid mining and modeling for business processes (DeHMIMoP’17)

Vanthienen, J., Di Ciccio, C., Reijers, H. A., Slaats, T., Schunselaar, D. & Debois, S. 1 Jan 2018 Business Process Management Workshops - BPM 2017 International Workshops, Revised Papers. Springer/Verlag, Vol. 308, p. 525-528 4 p. (Lecture Notes in Business Information Processing; vol. 308)

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

A comparative analysis of Green ICT maturity models

Lautenschutz, D., Espana, S., Hankel, A., Overbeek, S. & Lago, P. 2018 International Conference on ICT for Sustainability. (ICT4S)

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

A Comparative Analysis of Green ICT Maturity Models

Lautenschutz, D., Espana, S., Hankel, A., Overbeek, S. & Lago, P. May 2018 ICT4S2018. 5th International Conference on Information and Communication Technology for Sustainability. Penzenstadler, B., Easterbrook, S., Venters, C. & Ahmed, S. I. (eds.). EasyChair, Vol. 52, p. 153-167 15 p. (EPiC Series in Computing)

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

Open Access
File

An Extensible Approach for Taming the Challenges of JavaScript Dead Code Elimination

Obbink, N. G., Malavolta, I., Scoccia, G. L. & Lago, P. 2018 Software Analysis, Evolution and Reengineering (SANER), 2018 IEEE 25th International Conference on. p. to appear

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

Architectural Technical Debt Identification: the Research Landscape

Verdecchia, R., Malavolta, I. & Lago, P. 2018 International Conference on Technical Debt.

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

File

Assessment of an optimistic bias in social media messages

Bašić, S., Spijkers, B. S., Ouwerkerk, J. W., Vermeulen, I. E., van Koningsbruggen, G. M. & Fokkens, A. S. 15 May 2018 Proceedings of the 10th ACM Conference on Web science: Main Conference Poster Session. p. 33-34 2 p.

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

Open Access

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 contribution

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 contribution

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 contribution

Design of an Agent-Based Learning Environment for High-Risk Doorstep Scam Victims

van der Lubbe, L. M., Bosse, T. & Gerritsen, C. 2018 Proceedings of the 16th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS'18, Volume 2. Springer/Verlag

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

Detecting Dutch political tweets: A classifier based on voting system using supervised learning

de Mello Araújo, E. F. & Ebbelaar, D. Jan 2018 ICAART 2018 - Proceedings of the 10th International Conference on Agents and Artificial Intelligence. Setúbal: SciTePress, Vol. 2, p. 462-469 8 p.

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

Don't Annotate, but Validate: a Data-to-Text Method for Capturing Event Data

Vossen, P., Ilievski, F., Postma, M. & Roxane, S. 2018 LREC2018, Myazaki.

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

Empirical Evaluation of the Energy Impact of Refactoring Code Smells

Verdecchia, R., Saez, R. A., Procaccianti, G. & Lago, P. May 2018 International Conference on ICT for Sustainability. Penzenstadler, B., Easterbrook, S., Venters, C. & Ishtiaque Ahmed, S. (eds.). EasyChair, Vol. 52, p. 365-383 19 p. (EPiC Series in Computing; vol. 52)

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

Open Access
File

Exniffer: Learning to Prioritize Crashes by Assessing the Exploitability from Memory Dump

Tripathi, S., Grieco, G. & Rawat, S. 5 Mar 2018 Proceedings - 24th Asia-Pacific Software Engineering Conference, APSEC 2017. ACM, IEEE Computer Society, Vol. 2017-December, p. 239-248 10 p.

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

FERASAT: a Serendipity-fostering Faceted Browser for Linked Data

Khalili, A., van den Besselaar, P. A. A. & de Graaf, K. A. 2018 ESWC2018.

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

Interactive dance choreography assistance

de Boer, V., Jansen, J., Tjon-A-Pauw, A. L. & Nack, F. Feb 2018 Advances in Computer Entertainment Technology - 14th International Conference, ACE 2017, Proceedings. Springer/Verlag, p. 637-652 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10714 LNCS)

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

Migrating towards Microservice Architectures: an Industrial Survey

Francesco, P. D., Malavolta, I. & Lago, P. 1 May 2018 2018 IEEE International Conference on Software Architecture, ICSA 2018, Seattle, USA, April 30 - May 4, 2018. p. to appear

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

Mood mirroring with an embodied virtual agent: A pilot study into the relationship between personalized visual feedback and adherence

Provoost, S. J., Ruwaard, J. J., Neijenhuis, K., Bosse, T. & Riper, H. 2018 Proceedings of the 16th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS'18, Volume 2. Springer/Verlag

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

Preface

Sim, K. , Kaufmann, P. , Ascheid, G. , Bacardit, J. , Cagnoni, S. , Cotta, C. , D’Andreagiovanni, F. , Divina, F. , Esparcia-Alcázar, A. I. , Vega, F. F. D. , Glette, K. , Hubert, J. , Hidalgo, J. I. , Iacca, G. , Kampouridis, M. , Kramer, O. , Mavrovouniotis, M. , Mora García, A. M. , Nguyen, T. T. , Otero, F. & 5 others Schaefer, R., Silva, S., Tonda, A., Urquhart, N. & Zhang, M. 2018 Applications of Evolutionary Computation: 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings. Springer International Publishing, Vol. 10784, p. VII-VIII (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics))

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

Problemen met begrijpend lezen: over ontstaan en preventie

Bus, A. G. 5 Feb 2018 Presentatie tijdens een studiebezoek aan Nederland rond Begrijpend Lezen van mevrouw Hilde Crevits, Vice-minister-president van de Vlaamse Regering en Vlaams minister voor Onderwijs.

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

Redo log process mining in real life: Data challenges & opportunities

González López de Murillas, E., Hoogendoorn, G. E. & Reijers, H. A. Jan 2018 Business Process Management Workshops - BPM 2017 International Workshops, Revised Papers. Springer/Verlag, p. 573-587 15 p. (Lecture Notes in Business Information Processing; vol. 308)

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

Resource Interoperability for Sustainable Benchmarking: The Case of Events

van Son, C. M., Inel, O. A., Morante Vallejo, R., Aroyo, L. M. & Vossen, P. T. J. M. May 2018 Proceedings of the 11th International Conference on Language Resources and Evaluation (LREC 2018). Miyazaki, Japan

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

Open Access
File

Revolve: A Versatile Simulator for Online Robot Evolution

Hupkes, E., Jelisavcic, M. & Eiben, A. E. 8 Mar 2018 Applications of Evolutionary Computation: EvoApplications 2018. Sim, K. & Kaufmann, P. (eds.). Springer, Vol. 10784, p. 687-702 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10784 LNCS)

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

Open Access
File

Search Space Analysis of Evolvable Robot Morphologies

da Silva Miras de Araujo, K., Haasdijk, E., Glette, K. & Eiben, A. E. Mar 2018 Applications of Evolutionary Computation - 21st International Conference, EvoApplications 2018, Proceedings. Sim, K. & Kaufmann, P. (eds.). Cham: Springer/Verlag, p. 703-718 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10784)

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

Open Access
File

Self-adaptation Approaches for Energy Efficiency: A Systematic Literature Review

Alizadeh Moghaddam, F., Lago, P. & Ban, I. C. 25 May 2018 Self-adaptation Approaches for Energy Efficiency: A Systematic Literature Review. IEEE CS, p. 35-42 8 p.

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

Open Access
File

Superposition for lambda-free higher-order logic

Bentkamp, A., Blanchette, J. C., Cruanes, S. & Waldmann, U. 2018 (Accepted/In press) Automated Reasoning - 8th International Joint Conference, IJCAR 2018.

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

The Influence of Green Strategies Design onto Quality Requirements Prioritization

Condori Fernandez, N. & Lago, P. 1 Mar 2018 Requirements Engineering: Foundation for Software Quality - 24th International Working Conference, REFSQ 2018, Proceedings. Springer/Verlag, p. 189-205 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10753 LNCS)

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

The robot brain server: Design of a human-artificial systems partnership

Hoorn, J. F. 2018 Intelligent Human Systems Integration - Proceedings of the 1st International Conference on Intelligent Human Systems Integration IHSI 2018: Integrating People and Intelligent Systems. Springer/Verlag, p. 531-536 6 p. (Advances in Intelligent Systems and Computing; vol. 722)

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

Towards an Online Emotional Support Agent: Identifying Emotional Support Strategies via Crowdsourcing (2-page Extended Abstract)

Medeiros, L. & Bosse, T. 2018 Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems, AAMAS'18. ACM Press

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

Transparency and Contracts: Continuous Integration and Delivery in the Automotive Ecosystem

van der Valk, R., Pelliccione, P., Lago, P., Heldal, R., Knauss, E. & Juul, J. 1 May 2018 ICSE - Software Engineering in Practice Track. A. C. M. (ed.). ACM, p. 10 1 p. (ICSE; vol. 40)

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

File

Undesigning the Internet: An exploratory study of reducing everyday Internet connectivity

Widdicks, K., Ringenson, T., Pargman, D., Kuppusamy, V. & Lago, P. May 2018 International Conference on ICT for Sustainability. Penzenstadler, B., Easterbrook, S., Venters, C. & Ishtiaque Ahmed, S. (eds.). Toronto, Canada: EasyChair, Vol. 52, p. 384-397 14 p. (EPiC Series in Computing)

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

Open Access
File

Using Crowdsourcing for the Development of Online Emotional Support Agents

Medeiros, L. & Bosse, T. 2018 Proceedings of the 16th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS'18, Volume 2. Springer/Verlag

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

Using recurrent neural networks to predict colorectal cancer among patients

Amirkhan, R., Hoogendoorn, M., Numans, M. E. & Moons, L. 5 Feb 2018 2017 IEEE Symposium Series on Computational Intelligence, SSCI 2017 - Proceedings. Institute of Electrical and Electronics Engineers Inc., Vol. 2018-January, p. 1-8 8 p.

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

Using Run-Time Biofeedback during Virtual Agent-Based Aggression De-escalation Training

Blankendaal, R. A. M. & Bosse, T. 2018 Proceedings of the 16th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS'18, Volume 1. Springer LNCS

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

Virtually Bad: A Study on Virtual Agents that Physically Threaten Human Beings

Bosse, T., Hartmann, T., Blankendaal, R. A. M., Dokter, N., Otte, M. & Goedschalk, L. F. 2018 Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems, AAMAS'18. ACM Press

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

2017

: Instance-Based Process Matching using Event-Log Information

van der Aa, H., Gal, A., Leopold, H., Reijers, H. A., Sagi, T. & Shraga, R. 2017 Proceedings of the 29th International Conference on Advanced Information Systems Engineering.

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

A Cognitive Agent Model for Desire Regulation Applied to Food Desires

Abro, A. H. & Treur, J. 2017 Multi-Agent Systems and Agreement Technologies, Proc. of the 14th European Conference on Multi-Agent Systems, EUMAS'16. Criado Pacheco, N. (ed.). Springer, p. 251-260 10 p. (Lecture Notes in Artificial Intelligence; vol. 10207)

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

A computational cognitive model for political positioning and reactions in web media

Fernandes de Mello Araujo, E. & Klein, M. 14 Nov 2017 Proceedings of 2017 IEEE 16th International Conference on Cognitive Informatics and Cognitive Computing, ICCI*CC 2017. Institute of Electrical and Electronics Engineers Inc., p. 414-422 9 p. 8109782

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

A Computational Cognitive Model of Self-Monitoring and Decision Making for Desire Regulation

Abro, A. H. & Treur, J. 16 Nov 2017 Proceedings of the 10th International Conference on Brain Informatics, BI'17. Springer, (Lecture Notes in Computer Science)

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

Open Access

A Computational Model for the Role of Advertisement and Expectation in Lifestyle Changes

Tabatabaei, S. & Treur, J. 16 Nov 2017 Proceedings of the 10th International Conference on Brain Informatics, BI'17. Springer, (Lecture Notes in Computer Science)

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

Open Access

A Domain Model for Energy Efficient Self-Adaptive Software Systems

Alizadeh Moghaddam, F., Deckers, R. T. C., Procaccianti, G., Grosso, P. & Lago, P. 2017 (In preparation) The European Conference on Software Architecture (ECSA) .

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

A feature representation learning method for temporal datasets

van Breda, W., Hoogendoorn, M., Eiben, G., Andersson, G., Riper, H., Ruwaard, J. & Vernmark, K. 9 Feb 2017 2016 IEEE Symposium Series on Computational Intelligence, SSCI 2016. Institute of Electrical and Electronics Engineers, Inc., p. 1-8 8 p. 7849890

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

A formal proof of the expressiveness of deep learning

Bentkamp, A., Blanchette, J. C. & Klakow, D. 2017 Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017, Proceedings. Springer, Vol. 10499, p. 46-64 (LNCS)

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

An Adaptive Computational Network Model for Multi-Emotional Social Interaction

Roller, R., Blommestijn, S. Q. & Treur, J. Nov 2017 Proc. of the 6th International Conference on Complex Networks and their Applications. Springer Verlag, ( Studies in Computational Intelligence)

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

Open Access

An adaptive simulation tool for evacuation scenarios

Formolo, D. & van der Wal, C. N. 2017 Progress in Artificial Intelligence - 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Proceedings. Springer/Verlag, Vol. 10423 LNAI, p. 766-777 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10423 LNAI)

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

An Adaptive Temporal-Causal Network Model for Enabling Learning of Social Interaction

Commu, C., Theelen, M. & Treur, J. 21 Jun 2017 Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems. Proceedings of the International Workshop on Multi-Agent Systems for Complex Networks and Social Computation, CNSC'17, Proceedings of PAAMS, vol. 2. Springer Verlag, p. 257-270 14 p. (Communications in Computer and Information Science; vol. 722)

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

Open Access

An Agent-Based Aggression De-escalation Training Application for Football Referees

Bosse, T., van Breda, W. R. J., van Dijk, N. & Scholte, J. 2017 Proceedings of the 18th EPIA Conference on Artificial Intelligence, EPIA'17. Springer LNCS

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

An Agent-based Model Predicting Group Emotion and Misbehaviours in Stranded Passengers

Medeiros, L. & van der Wal, C. N. 1 Jun 2017 (Accepted/In press) Proceedings of 18th EPIA Conference on Artificial Intelligence (EPIA 2017). Springer LNCS, p. 28 40 p.

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

Analysis of Lamarckian Evolution in Morphologically Evolving Robots

Jelisavcic, M., Kiesel, R., Glette, K., Haasdijk, E. & Eiben, A. E. Sep 2017 Proceedings of the European Conference on Artificial Life 2017, ECAL 2017. MIT Press, Vol. 14, p. 214-221 8 p.

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

Open Access
File

Analyzing Green Software Strategies within a Service Design Process

Condori Fernandez, O. N. & Lago, P. Sep 2017 EnviroInfo conference: From Science to Society: The Bridge provided by Environmental Informatics. Otjacques, B., Hitzelberger, P., Naumann, S. & Wohlgemuth, V. (eds.). 31st edition ed. Luxembourg: Shaker Verlag, p. 101-110 9 p.

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