| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Design Guide for Usable Web APIs
|
Tello-Rodríguez, M.
|
|
|
|
8 |
p. 584-593
|
artikel
|
| 2 |
A Formal Model for Detecting Bugs by Symbolic Execution of Programs
|
Gerasimov, A. Yu.
|
|
|
|
8 |
p. 731-736
|
artikel
|
| 3 |
Algorithm for Constructing Modular Projections for Correcting Multiple Errors Based on a Redundant Residue Number System Using Maximum Likelihood Decoding
|
Babenko, M.
|
|
|
|
8 |
p. 839-848
|
artikel
|
| 4 |
Algorithms for Planning on Computational Model with Redundancy and Uncertainty
|
Feoktistov, A.
|
|
|
|
8 |
p. 601-614
|
artikel
|
| 5 |
A Method for Analyzing Code-Reuse Attacks
|
Vishnyakov, A. V.
|
|
|
|
8 |
p. 473-484
|
artikel
|
| 6 |
A Metrics Suite for Measuring Indirect Coupling Complexity
|
Navas-Su, J.
|
|
|
|
8 |
p. 735-761
|
artikel
|
| 7 |
A Microservice Deployment Guide
|
Niño-Martínez, V. M.
|
|
|
|
8 |
p. 632-645
|
artikel
|
| 8 |
Analysis of Correct Synchronization of Operating System Components
|
Andrianov, P. S.
|
|
|
|
8 |
p. 712-730
|
artikel
|
| 9 |
Analytic Study of Containerizing Stateful Stream Processing as Microservice to Support Digital Twins in Fog Computing
|
Alaasam, Ameer B. A.
|
|
|
|
8 |
p. 511-525
|
artikel
|
| 10 |
Antipattern Practice for Essence Practice Library
|
Zmeev, D. O.
|
|
|
|
8 |
p. 913-921
|
artikel
|
| 11 |
Architecture for Groupware Oriented to Collaborative Medical Activities in the Rehabilitation of Strokes
|
Fernández Gregorio, Sofía Isabel
|
|
|
|
8 |
p. 643-656
|
artikel
|
| 12 |
A Regression Model for Analysis of User Engagement on Facebook Fan Page for Scientific Dissemination Content
|
Velazquez-Solis, P.
|
|
|
|
8 |
p. 832-841
|
artikel
|
| 13 |
Artificial Intelligence (AI) Solution for Plasma Cells Detection
|
Makarchuk, A.
|
|
|
|
8 |
p. 873-880
|
artikel
|
| 14 |
A semi-Automatic Approach for Parallel Problem Solving using the Multi-BSP Model
|
Alaniz, M.
|
|
|
|
8 |
p. 517-531
|
artikel
|
| 15 |
A Stream X-Machine Tool for Modelling and Generating Test Cases for Chronic Diseases Based on State-Counting Approach
|
Phung, K.
|
|
|
|
8 |
p. 765-777
|
artikel
|
| 16 |
A Taxonomic View of the Fundamental Concepts of Quantum Computing–A Software Engineering Perspective
|
Juárez-Ramírez, R.
|
|
|
|
8 |
p. 682-704
|
artikel
|
| 17 |
A Tertiary Study on Microservices: Research Trends and Recommendations
|
Stojanov, Z.
|
|
|
|
8 |
p. 796-821
|
artikel
|
| 18 |
A Usability and Persuasion Evaluation of Mobile Apps for Diabetes Type 2
|
Jiménez, S.
|
|
|
|
8 |
p. 552-565
|
artikel
|
| 19 |
Automated Testing of a TCG Frontend for Qemu
|
Koltunov, D. S.
|
|
|
|
8 |
p. 737-746
|
artikel
|
| 20 |
Automatic Code Generation of User-centered Serious Games: A Decade in Review
|
Silva-Vásquez, P. O.
|
|
|
|
8 |
p. 685-701
|
artikel
|
| 21 |
Automotive Post-Collision Control Software System: Requirements and Verification
|
Cisneros, J. R. Aguilar
|
|
|
|
8 |
p. 735-745
|
artikel
|
| 22 |
Autonomous Swarm of Low-Cost Commercial Unmanned Aerial Vehicles for Surveillance
|
Garate, B.
|
|
|
|
8 |
p. 558-577
|
artikel
|
| 23 |
Bibliographic Review on Data Mining Techniques Used with Weather Data
|
Castillo-Rojas, Wilson
|
|
|
|
8 |
p. 817-829
|
artikel
|
| 24 |
Bots in Software Development: A Systematic Literature Review and Thematic Analysis
|
Moguel-Sánchez, R.
|
|
|
|
8 |
p. 712-734
|
artikel
|
| 25 |
Bridge Load Classifier Based on Deep Learning for Structural Displacement Correlation
|
Flores-Fuentes, Wendy
|
|
|
|
8 |
p. 526-535
|
artikel
|
| 26 |
Building Adaptable Dashboards for Smart Cities: Design and Evaluation
|
Contreras, V.
|
|
|
|
8 |
p. 534-551
|
artikel
|
| 27 |
Building a Scale for Internet Fraud Detection Using Machine Learning
|
Zhukova, L. V.
|
|
|
|
8 |
p. 906-912
|
artikel
|
| 28 |
Building the Software-Defined Data Center
|
Shabanov, B. M.
|
|
|
|
8 |
p. 458-466
|
artikel
|
| 29 |
CASR: Analysis of Core Dump Files in Linux and Error Reporting
|
Fedotov, A. N.
|
|
|
|
8 |
p. 866-870
|
artikel
|
| 30 |
CGWO: An Improved Grey Wolf Optimization Technique for Test Case Prioritization
|
Nayak, Gayatri
|
|
|
|
8 |
p. 942-953
|
artikel
|
| 31 |
Classification of Depressive Episodes Using Nighttime Data; a Multivariate and Univariate Analysis
|
Rodríguez-Ruiz, J. G.
|
|
|
|
8 |
p. 689-698
|
artikel
|
| 32 |
Classification of Non-functional Requirements Using Convolutional Neural Networks
|
García, S. E. Martínez
|
|
|
|
8 |
p. 705-711
|
artikel
|
| 33 |
Comparing Two Learning Curves Approaches to Predict the Product Delivery Rate in a Software Factory Contract
|
Valdés-Souto, F.
|
|
|
|
8 |
p. 694-703
|
artikel
|
| 34 |
Complete Decision Procedure for the Theory of Bounded Pointer Arithmetic
|
Sadykov, R. F.
|
|
|
|
8 |
p. 770-780
|
artikel
|
| 35 |
Curve-Based Security Schemes for Automating the Encryption and Signing of Digital Documents in Organizational Environments
|
Morales-Sandoval, M.
|
|
|
|
8 |
p. 849-857
|
artikel
|
| 36 |
Database Management System Verification with Separation Logics
|
Medina-Martínez, Diego
|
|
|
|
8 |
p. 654-672
|
artikel
|
| 37 |
Data-Oriented Scheduling with Dynamic-Clustering Fault-Tolerant Technique for Scientific Workflows in Clouds
|
Ahmad, Z.
|
|
|
|
8 |
p. 506-516
|
artikel
|
| 38 |
Debugging Smart Contract’s Business Logic Using Symbolic Model Checking
|
Shishkin, E.
|
|
|
|
8 |
p. 590-599
|
artikel
|
| 39 |
Design of a Tool to Promote Teacher Training in the Inclusive Classroom in Care for Children with Hearing Disabilities Mediated by ICT
|
Archundia-Sierra, Etelvina
|
|
|
|
8 |
p. 790-795
|
artikel
|
| 40 |
Determination of Relevant Risk Factors for Breast Cancer Using Feature Selection
|
Ibarra-Cuevas, Zazil
|
|
|
|
8 |
p. 671-681
|
artikel
|
| 41 |
Developing Web Applications with Awareness of Data Quality Elements – DQAWA
|
Guerra-García, C.
|
|
|
|
8 |
p. 548-560
|
artikel
|
| 42 |
Development of Multi-Platform Steganographic Software Based on Random-LSB
|
Tibor, Gabor Attila
|
|
|
|
8 |
p. 922-941
|
artikel
|
| 43 |
Digital Twins, Internet of Things and Mobile Medicine: A Review of Current Platforms to Support Smart Healthcare
|
Volkov, I.
|
|
|
|
8 |
p. 578-590
|
artikel
|
| 44 |
Editorial
|
Tchernykh, A.
|
|
|
|
8 |
p. 555-557
|
artikel
|
| 45 |
Elements for Automatic Identification of Fallacies in Mexican Election Campaign Political Speeches
|
Nieto-Benitez, Kenia
|
|
|
|
8 |
p. 762-774
|
artikel
|
| 46 |
Entity-Level Classification of Adverse Drug Reaction: A Comparative Analysis of Neural Network Models
|
Alimova, I. S.
|
|
|
|
8 |
p. 439-447
|
artikel
|
| 47 |
Evolutionary Algorithms for Optimizing Cost and QoS on Cloud-based Content Distribution Networks
|
Iturriaga, S.
|
|
|
|
8 |
p. 544-556
|
artikel
|
| 48 |
Explicit Multiobjective Evolutionary Algorithms for Flow Shop Scheduling with Missing Operations
|
Rossit, D. G.
|
|
|
|
8 |
p. 615-630
|
artikel
|
| 49 |
Exploring a Web-Based Application to Convert Tamil and Vietnamese Speech to Text without the Effect of Code-Switching and Code-Mixing
|
Phung, K.
|
|
|
|
8 |
p. 757-764
|
artikel
|
| 50 |
Fault Identification in Mobile Robot Groups Using Sliding Mode Observers
|
Sergiyenko, O.
|
|
|
|
8 |
p. 679-688
|
artikel
|
| 51 |
Formal Verification of Blockchain Based Tender Systems
|
Dávila, René
|
|
|
|
8 |
p. 566-582
|
artikel
|
| 52 |
Generation of Graphs for the Identification of Various Types of Scientific Collaboration in an Academic Institution
|
Guerrero, J.
|
|
|
|
8 |
p. 722-734
|
artikel
|
| 53 |
Graphs Resemblance based Software Birthmarks through Data Mining for Piracy Control
|
Sarwar, S.
|
|
|
|
8 |
p. 581-589
|
artikel
|
| 54 |
GUEST EDITORIAL Special Issue on Recent Trends in Advanced Computing, Engineering and Technology: Transformation and Innovation
|
Tchernykh, Andrei
|
|
|
|
8 |
p. 485-488
|
artikel
|
| 55 |
Guest Editorial Special Issue “Recent Trends on Advanced Computing: The Converging Technologies”
|
Tchernykh, Andrei
|
|
|
|
8 |
p. 597-598
|
artikel
|
| 56 |
How COVID-19 Pandemic affects Software Developers’ Wellbeing, and the Necessity to strengthen Soft Skills
|
Juárez-Ramírez, Reyes
|
|
|
|
8 |
p. 614-631
|
artikel
|
| 57 |
Human Event Recognition in Smart Classrooms Using Computer Vision: A Systematic Literature Review
|
Córdoba-Tlaxcalteco, M. L.
|
|
|
|
8 |
p. 625-642
|
artikel
|
| 58 |
Hybrid Model for Efficient Anomaly Detection in Short-timescale GWAC Light Curves and Similar Datasets
|
Sun, Y.
|
|
|
|
8 |
p. 600-610
|
artikel
|
| 59 |
Implementation of Neural Machine Translation for Nahuatl as a Web Platform: A Focus on Text Translation
|
García, S. Khalil Bello
|
|
|
|
8 |
p. 778-792
|
artikel
|
| 60 |
Improving a Model for NFR Estimation Using Band Classification and Selection with KNN
|
Valdés-Souto, F.
|
|
|
|
8 |
p. 822-831
|
artikel
|
| 61 |
Improving the Analytic Hierarchy Process for Requirements Prioritization Using Evolutionary Computing
|
Somohano-Murrieta, Juan Carlos Benjamín
|
|
|
|
8 |
p. 746-756
|
artikel
|
| 62 |
Improving the Software Estimation Models Based on Functional Size through Validation of the Assumptions behind the Linear Regression and the Use of the Confidence Intervals When the Reference Database Presents a Wedge-Shape Form
|
Valdés-Souto, F.
|
|
|
|
8 |
p. 673-693
|
artikel
|
| 63 |
Influence of Belbin’s Role Theory on Database Design: Experimenting with Software Engineering Students
|
Aguilar, R.
|
|
|
|
8 |
p. 489-498
|
artikel
|
| 64 |
Intelligent Automatic Object Tracking Method by Integration of Laser Scanner System and INS
|
Rodríguez-Quiñonez, J. C.
|
|
|
|
8 |
p. 619-625
|
artikel
|
| 65 |
Intraprocedural Analysis Based on Symbolic Execution for Bug Detection
|
Borodin, A. E.
|
|
|
|
8 |
p. 858-865
|
artikel
|
| 66 |
ISO/IEC 29110 and Software Engineering Education: A Systematic Mapping Study
|
Vives, L.
|
|
|
|
8 |
p. 745-755
|
artikel
|
| 67 |
Machine Learning Based Activity Learning for Behavioral Contexts in Internet of Things (IoT)
|
Safyan, Muhammad
|
|
|
|
8 |
p. 626-635
|
artikel
|
| 68 |
Mathematical Modeling of Turbulent Mixing in Gas Systems with a Chevron Contact Boundary using NUT3D, BIC3D, EGAK, and MIMOSA Numerical Codes
|
Bragin, M. D.
|
|
|
|
8 |
p. 854-872
|
artikel
|
| 69 |
Method for Convolutional Neural Network Hardware Implementation Based on a Residue Number System
|
Valueva, M.
|
|
|
|
8 |
p. 735-744
|
artikel
|
| 70 |
Metrics of Efficiency and Performance when Using Evolutionary Algorithm on Desktop Grids
|
Khrapov, N. P.
|
|
|
|
8 |
p. 882-886
|
artikel
|
| 71 |
Minimal Basis of the Syzygy Module of Leading Terms
|
Shokurov, A. V.
|
|
|
|
8 |
p. 467-472
|
artikel
|
| 72 |
Mining User-Object Interaction Data for Student Modeling in Intelligent Learning Environments
|
Hernández-Calderón, J. G.
|
|
|
|
8 |
p. 657-670
|
artikel
|
| 73 |
Mitigating Uncertainty in Developing and Applying Scientific Applications in an Integrated Computing Environment
|
Tchernykh, A.
|
|
|
|
8 |
p. 483-502
|
artikel
|
| 74 |
Mixed Integer Programming Formulations for Steiner Tree and Quality of Service Multicast Tree Problems
|
Risso, C.
|
|
|
|
8 |
p. 661-678
|
artikel
|
| 75 |
Modified Error Detection and Localization in the Residue Number System
|
Gladkov, A.
|
|
|
|
8 |
p. 598-605
|
artikel
|
| 76 |
Mu-Calculus Satisfiability with Arithmetic Constraints
|
Limón, Y.
|
|
|
|
8 |
p. 503-510
|
artikel
|
| 77 |
Negotiation Approach for the Participation of Datacenters and Supercomputing Facilities in Smart Electricity Markets
|
Muraña, J.
|
|
|
|
8 |
p. 636-651
|
artikel
|
| 78 |
Numerical Simulation of Particulate Matter Transport in the Atmospheric Urban Boundary Layer Using the Lagrangian Approach: Physical Problems and Parallel Implementation
|
Varentsov, A. I.
|
|
|
|
8 |
p. 894-905
|
artikel
|
| 79 |
Object Detection in Aerial Navigation using Wavelet Transform and Convolutional Neural Networks: A First Approach
|
Fortuna-Cervantes, J. M.
|
|
|
|
8 |
p. 536-547
|
artikel
|
| 80 |
On Online Algorithms for Bin, Strip, and Box Packing, and Their Worst-Case and Average-Case Analysis
|
Lazarev, D. O.
|
|
|
|
8 |
p. 448-457
|
artikel
|
| 81 |
On Representation of Simulation Time in Functional Programming Style
|
Buzdalov, D. V.
|
|
|
|
8 |
p. 485-496
|
artikel
|
| 82 |
Optimization of Neural Network Training for Image Recognition Based on Trigonometric Polynomial Approximation
|
Vershkov, N.
|
|
|
|
8 |
p. 830-838
|
artikel
|
| 83 |
Optimization of ProVerif Programs for AKE Protocols
|
Vinarskii, E. M.
|
|
|
|
8 |
p. 781-787
|
artikel
|
| 84 |
Optimizing Access to Memory Pages in Software-Implemented Global Page Cache Systems
|
Gusev, E. I.
|
|
|
|
8 |
p. 497-505
|
artikel
|
| 85 |
Patterns Related to Microservice Architecture: a Multivocal Literature Review
|
Valdivia, J. A.
|
|
|
|
8 |
p. 594-608
|
artikel
|
| 86 |
Positional Characteristics for Efficient Number Comparison over the Homomorphic Encryption
|
Babenko, M.
|
|
|
|
8 |
p. 532-543
|
artikel
|
| 87 |
Predicate Extension of Symbolic Memory Graphs for the Analysis of Memory Safety Correctness
|
Vasilyev, A. A.
|
|
|
|
8 |
p. 747-754
|
artikel
|
| 88 |
Process Improvement in Software Requirements Engineering: A Systematic Mapping Study
|
Almeyda, S.
|
|
|
|
8 |
p. 513-533
|
artikel
|
| 89 |
Quality of Service in Software Defined Networks for Scientific Applications: Opportunities and Challenges
|
Lozano-Rizk, J. E.
|
|
|
|
8 |
p. 561-568
|
artikel
|
| 90 |
Recent Trends in Underwater Wireless Sensor Networks (UWSNs) – A Systematic Literature Review
|
Tariq, Ayesha
|
|
|
|
8 |
p. 699-711
|
artikel
|
| 91 |
Refactoring the Monolith Workflow into Independent Micro-Workflows to Support Stream Processing
|
Alaasam, Ameer B. A.
|
|
|
|
8 |
p. 591-600
|
artikel
|
| 92 |
Regular Expressions for Web Advertising Detection Based on an Automatic Sliding Algorithm
|
Riaño, D.
|
|
|
|
8 |
p. 652-660
|
artikel
|
| 93 |
Regular Memory Structures and Operation Domains of Intelligent Systems
|
Kostenko, K. I.
|
|
|
|
8 |
p. 881-893
|
artikel
|
| 94 |
Requirements and GitHub Issues: An Automated Approach for Quality Requirements Classification
|
Pérez-Verdejo, J. Manuel
|
|
|
|
8 |
p. 704-721
|
artikel
|
| 95 |
Requirements Validation in the Information System Software Development Lifecycle: A Software Quality in Use Evaluation
|
Canchari, L.
|
|
|
|
8 |
p. 610-624
|
artikel
|
| 96 |
RETRACTED ARTICLE: DOOR: Distributed Object Oriented Software Restructuring Approach Using Neural Network
|
Khan, Ahmed
|
|
|
|
8 |
p. 570-580
|
artikel
|
| 97 |
Retraction Note: DOOR: Distributed Object Oriented Software Restructuring Approach Using Neural Network
|
Khan, Ahmed
|
|
|
|
8 |
p. 755
|
artikel
|
| 98 |
SafeComp: Protocol for Certifying Cloud Computations Integrity
|
Shishkin, E.
|
|
|
|
8 |
p. 871-881
|
artikel
|
| 99 |
Scene Text Detection Using HRNet and Spatial Attention Mechanism
|
Tang, Qingsong
|
|
|
|
8 |
p. 954-965
|
artikel
|
| 100 |
Scrumlity: An Agile Framework Based on Quality of User Stories
|
Tona, Claudia
|
|
|
|
8 |
p. 702-715
|
artikel
|
| 101 |
Search for the Global Extremum Using the Correlation Indicator for Neural Networks Supervised Learning
|
Vershkov, N.
|
|
|
|
8 |
p. 609-618
|
artikel
|
| 102 |
Soft and Hard Skills Gained by Students through Real Projects Developed at a University Software Company
|
Aguilar Cisneros, J. R.
|
|
|
|
8 |
p. 599-609
|
artikel
|
| 103 |
Software Advances using n-agents Wireless Communication Integration for Optimization of Surrounding Recognition and Robotic Group Dead Reckoning
|
Ivanov, M.
|
|
|
|
8 |
p. 557-569
|
artikel
|
| 104 |
Software Project Estimation Using Smooth Curve Methods and Variable Selection and Regularization Methods as an Alternative to Linear Regression Models when the Reference Database Presents a Wedge-shape Form
|
Valdés-Souto, Francisco
|
|
|
|
8 |
p. 716-734
|
artikel
|
| 105 |
Software Testing in the DevOps Context: A Systematic Mapping Study
|
Pando, B.
|
|
|
|
8 |
p. 658-684
|
artikel
|
| 106 |
Specifying Data Quality Requirements through Web Functionalities – MOSQAF
|
Guerra-García, C.
|
|
|
|
8 |
p. 631-653
|
artikel
|
| 107 |
Students’ Systems Thinking Competency Level Detection through Software Cost Estimation Concept Modeling
|
Aguilar-Cisneros, J.R.
|
|
|
|
8 |
p. 499-512
|
artikel
|
| 108 |
Supporting the Architectural Knowledge Condensation in a Co-Localized Agile Environment for Small Entities Using an Ontology
|
Robles, J.
|
|
|
|
8 |
p. 775-789
|
artikel
|
| 109 |
Symbolic Computation of an Arbitrary-Order Resonance Condition in a Hamiltonian System
|
Batkhin, A. B.
|
|
|
|
8 |
p. 842-853
|
artikel
|
| 110 |
The Role of Personality in Motivation to use an Affective Feedback System
|
Jiménez, S.
|
|
|
|
8 |
p. 793-802
|
artikel
|
| 111 |
Tools for Capturing and Processing High-Speed Network Traffic
|
Larin, D. V.
|
|
|
|
8 |
p. 756-769
|
artikel
|
| 112 |
Towards Conversational Agents to support Informal Caregivers of People with Dementia: Challenges and Opportunities
|
Jiménez, Samantha
|
|
|
|
8 |
p. 606-613
|
artikel
|
| 113 |
Usability Evaluation of a Mobile Learning Platform Focused on Learning Monitoring and Customization based on a Laboratory Study
|
Del-Ángel-Flores, H.
|
|
|
|
8 |
p. 583-597
|
artikel
|
| 114 |
Usability Evaluation of BCI Software Applications: A systematic review of the literature
|
Ortega, Y. N.
|
|
|
|
8 |
p. 646-657
|
artikel
|
| 115 |
User Story Estimation Based on the Complexity Decomposition Using Bayesian Networks
|
Durán, M.
|
|
|
|
8 |
p. 569-583
|
artikel
|
| 116 |
Visualization Technologies to Support Decision-Making in City Management
|
Cepero, T.
|
|
|
|
8 |
p. 803-816
|
artikel
|
Tijdschrift beschrijving