Computer Science

Research output

Research output per year 1967 1999 2000 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022

• 3416 Conference contribution
• 2530 Article
• 360 Chapter
• 218 PhD-Thesis - Research and graduation internal
• 644 More
  • 123 Book
  • 100 Report
  • 74 Paper
  • 57 Book editing
  • 55 Foreword/postscript
  • 41 Editorial
  • 40 Abstract
  • 29 Poster
  • 26 PhD-Thesis – Research external, graduation internal
  • 21 Review article
  • 18 PhD-Thesis – Research and graduation external
  • 9 Online publication or Website
  • 7 Comment / Letter to the editor
  • 7 Working paper
  • 6 Inaugural speech
  • 5 Book/Film/Article review
  • 5 Erratum
  • 5 Patent
  • 3 Meeting Abstract
  • 3 Letter
  • 3 Special issue (editing)
  • 3 PhD-Thesis – Research internal, graduation external
  • 2 Entry for encyclopedia/dictionary
  • 1 Exhibition
  • 1 Preprint

Research output per year

Research output per year

Search results

• 2022

  A Bi-Directional Extensible Interface Between Lean and Mathematica

  Lewis, R. Y. & Wu, M., May 2022, In: Journal of Automated Reasoning. 66, 2, p. 215-238 24 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Mathematica 100%
  • Algebra 94%
  • Proof Search 24%
  • Computer algebra system 20%
  • Libraries 19%

• Analyzing Differentiable Fuzzy Logic Operators

  van Krieken, E., Acar, E. & van Harmelen, F., Jan 2022, In: Artificial Intelligence. 302, p. 1-46 46 p., 103602.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  File

  • Fuzzy Logic 100%
  • logic 93%
  • Operator 75%
  • Fuzzy logic 73%
  • Logic 48%
  34 Downloads (Pure)

• An evaluation of the effectiveness of personalization and self-adaptation for e-Health apps

  Grua, E. M., De Sanctis, M., Malavolta, I., Hoogendoorn, M. & Lago, P., Jun 2022, In: Information and Software Technology. 146, p. 1-17 17 p., 106841.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • eHealth 100%
  • Application programs 72%
  • Experiments 9%
  • Energy utilization 9%
  • Mentoring 9%

• A semantic web technology index

  Lan, G., Liu, T., Wang, X., Pan, X. & Huang, Z., Dec 2022, In: Scientific Reports. 12, 1, p. 10 1 p., 3672.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Semantic Web 100%
  • Technology 51%
  • Geology 16%
  • Medicine 6%
  • Research Personnel 6%

• Building Principles for Lawful Cyber Lethal Autonomous Weapons

  Massacci, F. & Vidor, S., Apr 2022, In: IEEE Security and Privacy. 20, 2, p. 101-106 6 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • weapon 100%
  • Robots 69%
  • robot 57%

• Characteristics of High Suicide Risk Messages From Users of a Social Network—Sina Weibo “Tree Hole”

  Yang, B. X., Chen, P., Li, X. Y., Yang, F., Huang, Z., Fu, G., Luo, D., Wang, X. Q., Li, W., Wen, L., Zhu, J. & Liu, Q., 18 Feb 2022, In: Frontiers in Psychiatry. 13, p. 1-8 8 p., 789504.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Suicide 100%
  • Social Media 52%
  • Suicidal Ideation 14%
  • Pharmaceutical Sleep Aids 9%
  • Emotions 9%

• Checking security compliance between models and code

  Tuma, K., Peldszus, S., Strüber, D., Scandariato, R. & Jürjens, J., 2022, (Accepted/In press) In: Software and Systems Modeling.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Compliance 100%
  • Design 33%
  • Model 26%
  • Static Analysis 18%
  • Open Source 18%

• Convolutional Embedded Networks for Population Scale Clustering and Bio-Ancestry Inferencing

  Karim, M. R., Cochez, M., Zappa, A., Sahay, R., Rebholz-Schuhmann, D., Beyan, O. & Decker, S., 2022, In: IEEE/ACM Transactions on Computational Biology and Bioinformatics. 19, 1, p. 369-382 14 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Genomics 100%
  • Clustering 91%
  • Cluster Analysis 86%
  • Genome 63%
  • Deep neural networks 62%

• Disaster Prediction Knowledge Graph Based on Multi-Source Spatio-Temporal Information

  Ge, X., Yang, Y., Chen, J., Li, W., Huang, Z., Zhang, W. & Peng, L., 1 Mar 2022, In: Remote Sensing. 14, 5, p. 1-21 21 p., 1214.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • disaster 100%
  • prediction 60%
  • remote sensing 25%
  • forest fire 14%
  • natural disaster 13%

• EdgeDR: An Online Mechanism Design for Demand Response in Edge Clouds

  Chen, S., Jiao, L., Liu, F. & Wang, L., 1 Feb 2022, (E-pub ahead of print) In: IEEE Transactions on Parallel and Distributed Systems. 33, 2, p. 343-358 16 p., 9448461.

  Research output: Contribution to Journal › Article › Academic › peer-review

  • Mechanism Design 100%
  • Auctions 90%
  • Workload 83%
  • Demand 64%
  • Computing 40%

• Efficient Computation of Sequence Mappability

  Charalampopoulos, P., Iliopoulos, C. S., Kociumaka, T., Pissis, S. P., Radoszewski, J. & Straszyński, J., May 2022, In: Algorithmica. 84, 5, p. 1418-1440 23 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Hamming distance 100%
  • Genomics 82%
  • Hamming Distance 74%
  • Genome 69%
  • Rough 62%

• Empirical evaluation of an architectural technical debt index in the context of the Apache and ONAP ecosystems

  Verdecchia, R., Malavolta, I., Lago, P. & Ozkaya, I., 2022, In: PeerJ Computer Science. 8, e833.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  File

  • Ecosystems 100%
  • Architectural design 53%
  • Maintainability 51%
  • Clustering algorithms 42%
  • Acoustic waves 36%
  16 Downloads (Pure)

• Equilibrium Analysis for Linear and Nonlinear Aggregation in Network Models: Applied to Mental Model Aggregation in Multilevel Organisational Learning

  Canbaloğlu, G. & Treur, J., 15 Feb 2022, (Accepted/In press) In: Journal of Information and Telecommunication.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Agglomeration 100%
  • Linear equations 15%

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

  Vukmirović, P., Blanchette, J., Cruanes, S. & Schulz, S., Feb 2022, In: International Journal on Software Tools for Technology Transfer. 24, 1, p. 67-87 21 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Data structures 100%
  • Theorem proving 80%

• Hide and Mine in Strings: Hardness, Algorithms, and Experiments

  Bernardini, G., Conte, A., Gourdel, G., Grossi, R., Loukides, G., Pisanti, N., Pissis, S., Punzi, G., Stougie, L. & Sweering, M., 2022, (Accepted/In press) In: IEEE Transactions on Knowledge and Data Engineering.

  Research output: Contribution to Journal › Article › Academic › peer-review

  • Frequent Pattern Mining 100%
  • Hardness 53%
  • Linear programming 49%
  • Strings 44%
  • Integer Linear Programming 43%

• Knowledge graphs as tools for explainable machine learning: A survey

  Tiddi, I. & Schlobach, S., Jan 2022, In: Artificial Intelligence. 302, p. 1-21 21 p., 103627.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Machine Learning 100%
  • Graph 99%
  • Machine learning 70%
  • learning 32%
  • Knowledge-based Systems 24%

• Meta-control of social learning strategies

  Yaman, A., Bredeche, N., Caylak, O., Leibo, J. Z. & Lee, S. W., 28 Feb 2022, In: PLoS Computational Biology. 18, 2, p. 1-27 27 p., e1009882.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Social Learning 100%
  • Learning Strategies 85%
  • learning 46%
  • Copying 32%
  • Uncertainty 32%

• Methods Included: Standardizing Computational Reuse and Portability with the Common Workflow Language

  Crusoe, M. R., Abeln, S., Iosup, A., Amstutz, P., Chilton, J., Tijanić, N., Ménager, H., Soiland-Reyes, S. & Goble, C., 20 May 2022, In: Communications of the ACM. 65, 6, p. 54-63 11 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  File

  • data analysis 100%
  • industry 73%
  • method 62%
  • approval 44%
  • analysis 43%
  54 Downloads (Pure)

• Mining and relating design contexts and design patterns from Stack Overflow

  Wijerathna, L., Aleti, A., Bi, T. & Tang, A., Jan 2022, In: Empirical Software Engineering. 27, 1, p. 1-53 53 p., 8.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Miners 100%
  • Taxonomies 88%
  • Software engineering 67%

• Model-driven engineering for mobile robotic systems: a systematic mapping study

  Casalaro, G. L., Cattivera, G., Ciccozzi, F., Malavolta, I., Wortmann, A. & Pelliccione, P., Feb 2022, In: Software and Systems Modeling. 21, 1, p. 19-49 31 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Model-driven Engineering 100%
  • Mobile Robotics 92%
  • Robotics 36%
  • Software Engineering 20%
  • Tool Support 11%

• Personality and burglary: A virtual reality study

  van Sintemaartensdijk, I., van Prooijen, J. W., Nee, C., Otte, M. & van Lange, P., Oct 2022, In: Personality and Individual Differences. 196, p. 1-11 11 p., 111712.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Virtual Reality 100%
  • virtual reality 79%
  • Personality 74%
  • personality 59%
  • Self-Control 47%

• PIPENN: protein interface prediction from sequence with an ensemble of neural nets

  Stringer, B., de Ferrante, H., Abeln, S., Heringa, J., Feenstra, K. A. & Haydarlou, R., 15 Apr 2022, In: Bioinformatics (Oxford, England). 38, 8, p. 2111-2118 8 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Neural Nets 100%
  • Protein 76%
  • Statistical Ensemble 72%
  • Ensemble 72%
  • Proteins 66%

• Planning for potential: efficient safe reinforcement learning

  Hengst, F. D., François-Lavet, V., Hoogendoorn, M. & Harmelen, F. V., 23 Mar 2022, In: Machine Learning.

  Research output: Contribution to Journal › Article › Academic › peer-review

• Potential Energy to Improve Link Prediction With Relational Graph Neural Networks

  Colombo, S., Alivanistos, D. & Cochez, M., 21 Mar 2022, In: CEUR Workshop Proceedings. 3121, p. 1-9 9 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  • Potential energy 100%
  • Neural networks 54%
  • Experiments 10%

• TaintBench: Automatic real-world malware benchmarking of Android taint analyses

  Luo, L., Pauck, F., Piskachev, G., Benz, M., Pashchenko, I., Mory, M., Bodden, E., Hermann, B. & Massacci, F., Jan 2022, In: Empirical Software Engineering. 27, 1, p. 1-41 41 p., 16.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Malware 100%
  • Benchmarking 95%
  • Application programs 82%
  • Experiments 8%

• Time efficiency in optimization with a bayesian-Evolutionary algorithm

  Lan, G., Tomczak, J. M., Roijers, D. M. & Eiben, A. E., Mar 2022, In: Swarm and Evolutionary Computation. 69, p. 1-14 14 p., 100970.

  Research output: Contribution to Journal › Article › Academic › peer-review

  • Evolutionary Algorithms 100%
  • Evolutionary algorithms 76%
  • Optimization 63%
  • Search Algorithm 35%
  • Particle Swarm Optimization 30%

• Towards a standard-based open data ecosystem: analysis of DCAT-AP use at national and European level

  Barthelemy, F., Cochez, M., Dimitriadis, I., Karim, N., Loutas, N., Magnisalis, I., Comet, L. M., Peristeras, V. & Wyns, B., 13 Jan 2022, In: Electronic Government. 18, 2, p. 137-180 44 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  • Open Data 100%
  • Ecosystems 87%
  • Metadata 40%
  • Specifications 26%
  • subsidiarity 21%

• Who Wants to Grant Robots Rights?

  De Graaf, M. M. A., Hindriks, F. A. & Hindriks, K. V., 13 Jan 2022, In: Frontiers in Robotics and AI. 8, p. 1-13 13 p., 781985.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Robots 100%
• 2021

  A Brain-Inspired Cognitive Support Model for Stress Reduction based on an Adaptive Network Model

  Andrianov, A., Mohammadi Ziabari, S. S. & Gerritsen, C., Jan 2021, In: Cognitive Systems Research. 65, p. 151-166 17 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • brain 100%
  • Brain 97%
  • simulation 69%
  • Emotions 62%
  • Software 59%

• A flat embedding method for transmission electron microscopy reveals an unknown mechanism of tetracycline

  Wenzel, M., Dekker, M. P., Wang, B., Burggraaf, M. J., Bitter, W., van Weering, J. R. T. & Hamoen, L. W., 8 Mar 2021, In: Communications biology. 4, 1, p. 306 1 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Tetracycline 100%
  • Transmission Electron Microscopy 89%
  • tetracycline 88%
  • transmission electron microscopy 79%
  • Bacillus subtilis 32%

• A multi-level cognitive architecture for self-referencing, self-awareness and self-interpretation

  Treur, J. & Glas, G., Aug 2021, In: Cognitive Systems Research. 68, p. 125-142 18 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Mental Processes 100%
  • self awareness 78%
  • interpretation 43%
  • Clinical Practice 21%

• An adaptive network model covering metacognition to control adaptation for multiple mental models

  Treur, J., Jun 2021, In: Cognitive Systems Research. 67, p. 18-27 10 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Metacognition 100%
  • Learning 53%
  • visualization 34%
  • Visualization 27%
  • learning process 27%

• An Adaptive Network Model for Pain and Pleasure through Spicy Food and its Desensitization

  Choy, M., El Fassi, S. & Treur, J., Mar 2021, In: Cognitive Systems Research. 66, p. 211-220 10 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Psychologic Desensitization 100%
  • Pleasure 90%
  • Capsaicin 88%
  • pain 73%
  • psychotherapy 70%

• An adaptive temporal-causal network model to analyse extinction of communication over time

  Johannes José Fijen, L., Joaquín López González, J. & Treur, J., Aug 2021, In: Cognitive Systems Research. 68, p. 73-83 11 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Information Dissemination 100%
  • Psychological Extinction 98%
  • Communication 63%
  • communication 45%
  • twitter 42%

• Approximate bayesian computation for discrete spaces

  Auzina, I. A. & Tomczak, J. M., Mar 2021, In: Entropy. 23, 3, p. 1-16 16 p., 312.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Bayesian Computation 100%
  • inference 82%
  • random variables 61%
  • Random variables 50%
  • Likelihood 48%

• Architecture information communication in two OSS projects: The why, who, when, and what

  Bi, T., Ding, W., Liang, P. & Tang, A., 1 Nov 2021, In: Journal of Systems and Software. 181, 111035.

  Research output: Contribution to Journal › Article › Academic › peer-review

  • Open source software 100%
  • Communication 44%
  • Software engineering 23%
  • Life cycle 12%

• A second-order adaptive network model for emotion regulation in addictive social media behaviour

  Fokker, E., Zong, X. & Treur, J., Dec 2021, In: Cognitive Systems Research. 70, p. 52-62 11 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • media behavior 100%
  • Social Media 80%
  • Emotional Regulation 75%
  • social behavior 62%
  • addiction 60%

• A Self-Modeling Network Model Addressing Controlled Adaptive Mental Models for Analysis and Support Processes

  Treur, J., 2021, In: Complex systems. 30, 4, p. 483-512 47 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  File
  1 Downloads (Pure)

• A Suicide Monitoring and Crisis Intervention Strategy Based on Knowledge Graph Technology for “Tree Hole” Microblog Users in China

  Yang, B. X., Xia, L., Liu, L., Nie, W., Liu, Q., Li, X. Y., Ao, M. Q., Wang, X. Q., Xie, Y. D., Liu, Z., Huang, Y. J., Huang, Z., Gong, X. & Luo, D., Oct 2021, In: Frontiers in Psychology. 12, October, p. 1-9 9 p., 674481.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Crisis Intervention 100%
  • crisis intervention 87%
  • intervention strategy 72%
  • suicide 64%
  • Suicide 63%

• A survey of domains in workflow scheduling in computing infrastructures: Community and keyword analysis, emerging trends, and taxonomies

  Versluis, L. & Iosup, A., Oct 2021, In: Future Generation Computer Systems. 123, p. 156-177 22 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Taxonomies 100%
  • Scheduling 65%
  • Metadata 46%
  • Quality of service 18%

• Automated Online Experiment-Driven Adaptation-Mechanics and Cost Aspects

  Gerostathopoulos, I., Plašil, F., Prehofer, C., Thomas, J. & Bischl, B., 2021, In: IEEE Access. 9, p. 58079-58087 9399075.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Mechanics 100%
  • Environment 65%
  • Costs 43%
  • Experiments 40%
  • Local search (optimization) 28%

• Automatically eliminating speculative leaks from cryptographic code with blade

  Vassena, M., Disselkoen, C., von Gleissenthall, K., Cauligi, S., Klcl, R. G., Jhala, R., Tullsen, D. & Stefan, D., Jan 2021, In: Proceedings of the ACM on Programming Languages. 5, POPL, p. 1-30 30 p., 49.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Fences 100%

• Automatic emotion recognition for groups: a review

  Veltmeijer, E. A., Gerritsen, C. & Hindriks, K., 12 Mar 2021, (E-pub ahead of print) In: IEEE Transactions on Affective Computing. p. 1-20 20 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

• Building and evaluating a theory of architectural technical debt in software-intensive systems

  Verdecchia, R., Kruchten, P., Lago, P. & Malavolta, I., Jun 2021, In: Journal of Systems and Software. 176, p. 1-23 23 p., 110925.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  File

  • Software engineering 100%
  • Remediation 78%
  • Electric grounding 65%
  • Communication 31%
  • Costs 23%
  61 Downloads (Pure)

• Circular pattern matching with k mismatches

  Charalampopoulos, P., Kociumaka, T., Pissis, S. P., Radoszewski, J., Rytter, W., Straszyński, J., Waleń, T. & Zuba, W., Feb 2021, In: Journal of Computer and System Sciences. 115, p. 73-85 13 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Pattern Matching 100%
  • Pattern matching 89%
  • Hamming distance 24%
  • Upper bound 20%
  • Hamming Distance 18%

• Cognitive ergonomics-A European Take on HCI

  Dittmar, A., Murray, D. M., Van Der Veer, G. C. & Witchel, H. J., Mar 2021, In: Interactions. 28, 2, p. 88-92 5 p.

  Research output: Contribution to Journal › Article › Professional

  Open Access

• Complex machine-learning algorithms and multivariable logistic regression on par in the prediction of insufficient clinical response to methotrexate in rheumatoid arthritis

  Gosselt, H. R., Verhoeven, M. M. A., Bulatović-ćalasan, M., Welsing, P. M., de Rotte, M. C. F. J., Hazes, J. M. W., Lafeber, F. P. J. G., Hoogendoorn, M. & de Jonge, R., 1 Jan 2021, In: Journal of personalized medicine. 11, 1, p. 1-12 44.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Machine Learning 100%
  • Methotrexate 85%
  • Rheumatoid Arthritis 73%
  • Area Under Curve 60%
  • Logistic Models 57%

• Compositional coordinator synthesis of extended finite automata

  Goorden, M. A., Fabian, M., van de Mortel-Fronczak, J. M., Reniers, M. A., Fokkink, W. J. & Rooda, J. E., Sep 2021, In: Discrete Event Dynamic Systems: Theory and Applications. 31, 3, p. 317-348 32 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  File

  • Finite automata 100%
  • Finite Automata 94%
  • Synthesis 82%
  • Supervisory personnel 70%
  • Compositional Verification 66%
  4 Downloads (Pure)

• Computational Modeling of Organisational Learning by Self-Modeling Networks

  Canbaloğlu, G., Treur, J. & Roelofsma, P., Jun 2022, In: Cognitive Systems Research. 73, p. 51-64 14 p.

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • learning organization 100%
  • Learning 68%
  • video 13%
  • learning 12%
  • organization 10%

• Constructing Antidictionaries of Long Texts in Output-Sensitive Space

  Ayad, L. A. K., Badkobeh, G., Fici, G., Héliou, A. & Pissis, S. P., 1 Jul 2021, In: Theory of Computing Systems. 65, 5, p. 777-797

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Text 100%
  • Output 79%
  • Genome 59%
  • Data Compression 34%
  • Suffix 34%