• De Boelelaan 1081a

    1081 HV Amsterdam

    Netherlands

Research Output 1976 2020

Filter
Conference contribution
2019

[Demo] low-latency spark queries on updatable data

Uta, A., Ghit, B., Dave, A. & Boncz, P., 25 Jun 2019, SIGMOD 2019 - Proceedings of the 2019 International Conference on Management of Data. Association for Computing Machinery, p. 2009-2012 4 p. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

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

Query processing
Electric sparks

A business ecosystem architecture modeling framework

Wieringa, R., Engelsman, W., Gordijn, J. & Ionita, D., 22 Aug 2019, Proceedings - 21st IEEE Conference on Business Informatics, CBI 2019. Novikov, D. & Becker, J. (eds.). Institute of Electrical and Electronics Engineers Inc., Vol. 1. p. 147-156 10 p. 8808048

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

Ecosystem
Ecosystems
Enterprise Architecture
Modeling
Industry

A Cognitive Temporal-Causal Network Model of Hormone therapy

Mohammadi Ziabari, S. S., 2019, Proc. the international scientific conference on Computational Collective Intelligence (ICCCI'19),4th-6th September 2019, Hendaye, France..

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

Hormones
Brain
Estrogens

A computational model of myelin excess for patients with post-traumatic stress disorder

Langbroek, J., Treur, J. & Mohammadi Ziabari, S. S., 1 Jan 2019, Artificial Intelligence and Soft Computing - 18th International Conference, ICAISC 2019, Proceedings. Pedrycz, W., Tadeusiewicz, R., Zurada, J. M., Rutkowski, L., Scherer, R. & Korytkowski, M. (eds.). Springer Verlag, p. 203-215 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11509 LNAI).

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

Computational Model
Excess
Disorder
Brain
Health

A CPU contention predictor for business-critical workloads in cloud datacenters

Van Beek, V., Oikonomou, G. & Iosup, A., 8 Aug 2019, Proceedings - 2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems, FAS*W 2019. Institute of Electrical and Electronics Engineers Inc., p. 56-61 6 p. 8791987

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

Contention
Program processors
Workload
Predictors
Resources

Adaptive Network Modeling for Criterial Causation

Treur, J., 10 Dec 2019, Proc. of the 8th International Conference on Complex Networks and their Applications, COMPLEXNETWORKS'19. Springer, (Studies in Computational Intelligence ).

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

Neurons
Chemical activation
Factorization
Plasticity
Brain

A Framework for Citing Nanopublications

Fabris, E., Kuhn, T. & Silvello, G., 2019, Digital Libraries for Open Knowledge: 23rd International Conference on Theory and Practice of Digital Libraries, TPDL 2019, Proceedings. Doucet, A., Isaac, A., Golub, K., Aalberg, T. & Jatowt, A. (eds.). Springer Verlag, p. 70-83 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11799 LNCS).

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

Citations
Metadata
Open Source
Schema
Encoding

A learning-based framework for optimizing service migration in mobile edge clouds

Brandherm, F., Wang, L. & Mühlhäuser, M., 25 Mar 2019, EdgeSys 2019 - Proceedings of the 2nd ACM International Workshop on Edge Systems, Analytics and Networking, Part of EuroSys 2019. Association for Computing Machinery, Inc, p. 12-17 6 p.

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

Reinforcement learning
Costs

A Modeling Environment for Reified Temporal-Causal Networks Modeling Plasticity and Metaplasticity in Cognitive Agent Models

Treur, J., 28 Oct 2019, Proc. of the 22nd International Conference on Principles and Practice of Multi-Agent Systems, PRIMA’19. Springer, (Lecture Notes in Artificial Intelligence).

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

Open Access
Plasticity
Brain

A Multimodal Chatbot System for Enhancing Social Skills Training for Security Guards

de Bever, S., Formolo, D., Wang, S. & Bosse, T., Jul 2019, Human-Computer Interaction. Perspectives on Design: Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings. Kurosu, M. (ed.). Springer Verlag, Vol. 1. p. 499-513 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11566 LNCS).

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

Dialogue Systems
Customers
Enhancement
Experiments
Experiment

An Adaptive Cognitive Temporal-Causal Model for Extreme Emotion Extinction Using Psilocybin

Mohammadi Ziabari, S. S. & Treur, J., 2019, Proc. of the 3rd International Conference on Computational Methods in Systems and Software, CoMeSySo'19.

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

An Adaptive Cognitive Temporal-Causal Network Model of a Mindfulness Therapy Based on Humor, NeuroIS Retreat, June 4-6, Vienna, Austria, 2019.

Mohammadi Ziabari, S. S., 2019, NeuroIS Retreat, June 4-6, Vienna, Austria, 2019..

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

An Adaptive Temporal-Causal Network Model for Stress Extinction Using Fluoxetine

Mohammadi Ziabari, S. S., 2019, Artificial Intelligence Applications and Innovations: 15th IFIP WG 12.5 International Conference, AIAI 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings. Iliadis, L., Maglogiannis, I., MacIntyre, J. & Pimenidis, E. (eds.). Springer New York LLC, p. 107-119 13 p. (IFIP Advances in Information and Communication Technology; vol. 559).

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

Network model
Extinction
Therapy
Drugs
Activation

A Network Model for the Influence of Myelin Excess in Patients with Post-Traumatic Stress Disorder

Langbroek, J., Treur, J. & Mohammadi Ziabari, S. S., 15 Mar 2019, (Accepted/In press) Proc. of the 18th International Conference on Artificial Intelligence and Soft Computing. . Springer, (Lecture Notes in AI).

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

Open Access
Post-Traumatic Stress Disorders
Myelin Sheath
Brain
Oligodendroglia
Fear

An extensible data-driven approach for evaluating the quality of microservice architectures

Cardarelli, M., Di Salle, A., Iovino, L., Malavolta, I., Di Francesco, P. & Lago, P., 8 Apr 2019, Proceedings of the 34th Annual ACM/SIGAPP Symposium on Applied Computing, SAC 2019, Limassol, Cyprus, April 08-12, 2019. Limassol: ACM, p. 1225-1234 10 p.

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

Ecosystems
Maintainability
Scalability
Agglomeration
Productivity

An Online Market Mechanism for Edge Emergency Demand Response via Cloudlet Control

Chen, S., Jiao, L., Wang, L. & Liu, F., 1 Apr 2019, INFOCOM 2019 - IEEE Conference on Computer Communications. Institute of Electrical and Electronics Engineers Inc., p. 2566-2574 9 p. 8737574. (IEEE Conference Proceedings).

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

Cost functions
Quality of service
Energy utilization
Switches
Degradation

A reference architecture for datacenter scheduling: Design, validation, and experiments

Andreadis, G., Versluis, L., Mastenbroek, F. & Iosup, A., 11 Mar 2019, Proceedings - International Conference for High Performance Computing, Networking, Storage, and Analysis, SC 2018. Institute of Electrical and Electronics Engineers Inc., p. 478-492 15 p. 8665816

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

Scheduler
Scheduling
Experiment
Experiments
Scheduling Policy

A serious game for training verbal resilience to doorstep scams

van der Lubbe, L. M., Gerritsen, C., Formolo, D., Otte, M. & Bosse, T., 1 Jan 2019, Games and Learning Alliance - 7th International Conference, GALA 2018, Proceedings. Söbke, H., Gentile, M. & Allegra, M. (eds.). Springer - Verlag, p. 110-120 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11385 LNCS).

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

Open Access
File
Serious Games
Resilience
Feedback
Speech recognition
Virtual Characters

A social network model for integration of refugees

Curi, F., Nikolopoulos, D. & De Mello Araújo, E. F., 31 Jul 2019, SIMULTECH 2019: Proceedings of the 9th International Conference on Simulation and Modeling Methodologies, Technologies and Applications. Obaidat, M., Obaidat, M., Oren, T. & Szczerbicka, H. (eds.). SciTePress, Vol. 1. p. 165-175 11 p.

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

Social Networks
Network Model
Social Network Analysis
Vertex of a graph
Electric network analysis

Attributes assessing the quality of microservices automatically decomposed from monolithic applications

Cojocaru, M. D., Oprescu, A. & Uta, A., 3 Jun 2019, Proceedings - 2019 18th International Symposium on Parallel and Distributed Computing, ISPDC 2019. Iosup, A., Pop, F., Prodan, R. & Uta, A. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 84-93 10 p. 8790889

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

Industry
Service oriented architecture (SOA)
Software engineering
Decomposition
Quality attributes

Automated Prediction of Relevant Key Performance Indicators for Organizations

Aksu, Ü., Schunselaar, D. M. M. & Reijers, H. A., 1 Jan 2019, Business Information Systems - 22nd International Conference, BIS 2019, Proceedings. Corchuelo, R. & Abramowicz, W. (eds.). Springer Verlag, p. 283-299 17 p. (Lecture Notes in Business Information Processing; vol. 353).

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

Performance Indicators
Prediction
Enterprise software
Software
Key performance indicators

A verified prover based on ordered resolution

Schlichtkrull, A., Blanchette, J. C. & Traytel, D., 14 Jan 2019, CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019. Mahboubi, A. (ed.). Association for Computing Machinery, Inc, p. 152-165 14 p.

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

Specifications

Benefits of Social Learning in Physical Robots

Heinerman, J., Bussmann, B., Groenendijk, R., Krieken, E. V., Slik, J., Tezza, A., Haasdijk, E. & Eiben, A. E., 28 Jan 2019, Proceedings of the 2018 IEEE Symposium Series on Computational Intelligence, SSCI 2018. Sundaram, S. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 851-858 8 p. 8628857

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

Social Learning
Robot
Robots
Controllers
Robot learning

Body symmetry in morphologically evolving modular robots

van de Velde, T., Rossi, C. & Eiben, A. E., 1 Jan 2019, Applications of Evolutionary Computation - 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Proceedings. Kaufmann, P. & Castillo, P. A. (eds.). Springer Verlag, p. 583-598 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11454 LNCS).

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

Modular robots
Animals
Robot
Earth (planet)
Robots

Characterization of a big data storage workload in the cloud

Talluri, S., Abad, C. L., Łuszczak, A. & Iosup, A., 4 Apr 2019, ICPE 2019 - Proceedings of the 2019 ACM/SPEC International Conference on Performance Engineering. New York, NY: Association for Computing Machinery, Inc, p. 33-44 12 p.

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

Open Access
File
Electric sparks
Tuning
Systems analysis
Big data

Clean your desk: ‘Dressage’ in the flexible office space of a Bank company

Hasbi, M. M. & Kingma, S. F., 28 Jul 2019, (Unpublished) 11th International Critical Management Studies Conference.

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

Cognitive modeling of mindfulness therapy by autogenic training

Mohammadi Ziabari, S. S. & Treur, J., 5 Jan 2019, Information Systems Design and Intelligent Applications: Proceedings of 5th International Conference INDIA 2018 Volume 2. Bhateja, V., Satapathy, S. C., Somanah, R., Senkerik, R. & Yang, X-S. (eds.). Springer, Vol. 2. p. 53-66 14 p. (Advances in Intelligent Systems and Computing; vol. 863).

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

Open Access

Community-Centered, Project-Based ICT4D Education in the Field

Bon, A., Gordijn, J., Akkermans, H., de Boer, V., Baart, A., Shiang, C. W. & Nah, S. S., 2019, Information and Communication Technologies for Development. Strengthening Southern-Driven Cooperation as a Catalyst for ICT4D: 15th IFIP WG 9.4 International Conference on Social Implications of Computers in Developing Countries, ICT4D 2019, Proceedings, Part II. Kimaro, H. C. & Nielsen, P. (eds.). Cham, Switzerland: Springer Nature Switzerland AG, Vol. 2. p. 386-397 12 p. (IFIP Advances in Information and Communication Technology; vol. 552).

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

Education
Malaysia
Artificial intelligence
Ecosystem
Computer science

Comparing encodings for performance and phenotypic exploration in evolving modular robots

Veenstra, F., Hart, E., Buchanan, E., Li, W., De Carlo, M. & Eiben, A. E., 13 Jul 2019, GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion. Association for Computing Machinery, Inc, p. 127-128 2 p. (GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion).

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

Modular robots
Encoding
Robot
Controllers
Progression

Crowdsourcing inclusivity: Dealing with diversity of opinions, perspectives and ambiguity in annotated data: The Crowdtruth tutorial

Aroyo, L., Szlávik, Z., Dumitrache, A., Timmermans, B., Inel, O. & Welty, C., 13 May 2019, The Web Conference 2019 - Companion of the World Wide Web Conference, WWW 2019. Association for Computing Machinery, Inc, p. 1294-1295 2 p.

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

Social sciences
Medicine
Learning systems
Acoustic waves

DecidArch: Playing Cards as Software Architects

Lago, P., Cai, J. F., de Boer, R. C., Kruchten, P. & Verdecchia, R., 8 Jan 2019, Proceedings of the 52nd Hawaii International Conference on System Sciences (HICSS). Honolulu: Hawaii International Conference on System Sciences (HICSS), p. 7815-7824 10 p.

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

Open Access
File
Software architecture
Students
Decision making
Teaching
Acoustic waves

DecidArch V2: An Improved Game to Teach Architecture Design Decision Making

De Boer, R. C., Lago, P., Verdecchia, R. & Kruchten, P., 13 May 2019, Proceedings - 2019 IEEE International Conference on Software Architecture - Companion, ICSA-C 2019. Institute of Electrical and Electronics Engineers Inc., p. 153-157 5 p. 8712358

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

Software architecture
Decision making

Designing a system with persuasive communication to improve diet compliance for elderly users

van der Lubbe, L. M. & Klein, M. C. A., 20 May 2019, Proceedings of the 13th EAI International Conference on Pervasive Computing Technologies for Healthcare, PervasiveHealth 2019. Association for Computing Machinery, p. 234-241 8 p. (ACM International Conference Proceeding Series).

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

Nutrition
Communication
Compliance

Detecting fraudulent bookings of online travel agencies with unsupervised machine learning

Mensah, C., Klein, J., Bhulai, S., Hoogendoorn, M. & van der Mei, R., 1 Jan 2019, Advances and Trends in Artificial Intelligence. From Theory to Practice - 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Proceedings. Friedrich, G., Ali, M., Wotawa, F., Pill, I. & Koitz-Hristov, R. (eds.). Springer Verlag, p. 334-346 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11606 LNAI).

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

Unsupervised Learning
Learning systems
Anomaly Detection
Machine Learning
Transportation charges

Detecting Network Intrusion beyond 1999: Applying Machine Learning Techniques to a Partially Labeled Cybersecurity Dataset

Klein, J., Bhulai, S., Hoogendoorn, M., Van Der Mei, R. & Hinfelaar, R., 10 Jan 2019, Proceedings - 2018 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2018. IEEE, p. 784-787 4 p. 8609692

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

Open Access
File
Intrusion detection
Learning systems

Effects of environmental conditions on evolved robot morphologies and behavior

Miras, K. & Eiben, A. E., 13 Jul 2019, GECCO 2019 - Proceedings of the 2019 Genetic and Evolutionary Computation Conference. Association for Computing Machinery, Inc, p. 125-132 8 p.

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

Robot
Modular robots
Robots
Evolutionary Robotics
Robotics

Efficient Estimation of Read Density when Caching for Big Data Processing

Talluri, S. & Iosup, A., Apr 2019, INFOCOM 2019 - IEEE Conference on Computer Communications Workshops, INFOCOM WKSHPS 2019. Institute of Electrical and Electronics Engineers Inc., p. 502-507 6 p. 8845043

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

Electric sparks
Efficient estimation
Big data
Workload
Data base

End-to-End Personalization of Digital Health Interventions using Raw Sensor Data with Deep Reinforcement Learning: A comparative study in digital health interventions for behavior change

El Hassouni, A., Hoogendoorn, M., Eiben, A. E., van Otterlo, M. & Muhonen, V., 14 Oct 2019, IEEE/WIC/ACM International Conference on Web Intelligence: WI '19. New York, NY, USA: ACM, p. 258-264 7 p.

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

Reinforcement learning
Health
Sensors
Mobile phones
Accelerometers

Enhancing Disaster Response for Hazardous Materials Using Emerging Technologies: The Role of AI and a Research Agenda

Radianti, J., Dokas, I., Boersma, K., Noori, N. S., Belbachir, N. & Stieglitz, S., 2019, Engineering Applications of Neural Networks: 20th International Conference, EANN 2019, Proceedings. Jayne, C., Iliadis, L., Macintyre, J. & Maglogiannis, I. (eds.). Springer Verlag, p. 368-376 9 p. (Communications in Computer and Information Science; vol. 1000).

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

Hazardous Materials
Hazardous materials
Disaster
Disasters
Scenario Analysis

Evaluating research portfolios

van den Besselaar, P. & Sandström, U., 2019, Eu-SPRI 2019 : Science, technology and innovation policies for sustainable development goals. EU-SPRI, p. 84 95 p.

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

Language
Innovation
Project portfolio

Evolutionary predator-prey robot systems: From simulation to real world

Lan, G., Chen, J. & Eiben, A. E., 13 Jul 2019, GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion. Association for Computing Machinery, Inc, p. 123-124 2 p. (GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion).

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

Predator-prey
Robot
Robots
Controller
Controllers

Exfakt: A framework for explaining facts over knowledge graphs and text

Gad-Elrab, M. H., Urbani, J., Stepanova, D. & Weikum, G., 30 Jan 2019, WSDM 2019 - Proceedings of the 12th ACM International Conference on Web Search and Data Mining. Association for Computing Machinery, Inc, p. 87-95 9 p.

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

Semantics
Experiments

Exploiting correcting codes: On the effectiveness of ECC memory against rowhammer attacks

Cojocar, L., Razavi, K., Giuffrida, C. & Bos, H., 16 Sep 2019, 2019 IEEE Symposium on Security and Privacy, SP 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 55-71 17 p. 8835222. (Proceedings - IEEE Symposium on Security and Privacy; vol. 2019-May).

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

Data storage equipment
Hardware
Engineers
Controllers

Exploring Clustering Techniques for Effective Reinforcement Learning based Personalization for Health and Wellbeing

Grua, E. M. & Hoogendoorn, M., 28 Jan 2019, Proceedings of the 2018 IEEE Symposium Series on Computational Intelligence, SSCI 2018. Sundaram, S. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 813-820 8 p. 8628621

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

Personalization
Reinforcement learning
Reinforcement Learning
Health
Clustering

Extending a brainiac prover to lambda-free higher-order logic

Vukmirović, P., Blanchette, J. C., Cruanes, S. & Schulz, S., 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings - Part 1. Zhang, L. & Vojnar, T. (eds.). Springer Verlag, Vol. 1. p. 192-210 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11427 LNCS).

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

Higher-order Logic
Data structures
Algorithms and Data Structures
Higher Order
Theorem proving

Formalizing the metatheory of logical calculi and automatic provers in Isabelle/HOL (invited talk)

Blanchette, J. C., 14 Jan 2019, CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019. Mahboubi, A. (ed.). Association for Computing Machinery, Inc, p. 1-13 13 p.

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

Gender marking in written L1 and L2 French: syntactic complexity and phonological expression

Bril, M., 2019, (Accepted/In press) Language Acquisition and Language Disorders: selected papers of the 9th Romance Turn conference.

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

Graphless: Toward serverless graph processing

Toader, L., Uta, A., Musaafir, A. & Iosup, A., 3 Jun 2019, Proceedings - 2019 18th International Symposium on Parallel and Distributed Computing, ISPDC 2019. Iosup, A., Pop, F., Prodan, R. & Uta, A. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 66-73 8 p. 8790945

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

Processing
Graph
Costs
Elasticity
Data storage equipment

Guidelines for architecting android apps: A mixed-method empirical study

Verdecchia, R., Malavolta, I. & Lago, P., 30 Apr 2019, Proceedings - 2019 IEEE International Conference on Software Architecture, ICSA 2019. Institute of Electrical and Electronics Engineers Inc., p. 141-150 10 p. 8703927

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

File
Application programs
Android (operating system)
Blogs
Maintainability
Websites

Having an Einstein in Class. Teaching Maths with Robots is Different for Boys and Girls∗

Huang, I. S. & Hoorn, J. F., 31 Jan 2019, Proceedings of the 2018 13th World Congress on Intelligent Control and Automation, WCICA 2018. Institute of Electrical and Electronics Engineers Inc., p. 424-427 4 p. 8630584

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

Teaching
Robots
Experiments