Jurnal Teknologi dan Sistem Informasi
Published: (2016)

High-Confidence Computing
Published: (2021)

علوم رایانش و فناوری اطلاعات
Published: (2021)

Supercomputing Frontiers
Published: (2022)

Programación Matemática y Software
Published: (2023)

Enhancing Network-on-Chip Design with Modern Simulation Tools
by: Dr. Ammar Khalid Al-Turk, et al.
Published: (2020)

Computer Aided Verification
Published: (2023)

Jisuanji kexue yu tansuo
Published: (2021)

Jurnal Ilmu Komputer dan Informasi
Published: (2017)

Computer Aided Verification
Published: (2023)

Jordanian Journal of Computers and Information Technology
Published: (2018)

Desarrollo de un software Web y Móvil para la gestión de información de campo de cultivos agrícolas (AgrocomM)
by: Juan Manuel Delgado
Published: (2006)

Computer Aided Verification
Published: (2023)

Computers
Published: (2013)

Computational Sciences and Engineering
Published: (2022)

Differential Algebraic Closure Framework for Discrete Exterior Variational Geometry: A Unified Constructive Approach with Certified Computations
by: liu, shifa
Published: (2026)

Journal of the ACS Advances in Computer Science
Published: (2024)

Journal of Computational Design
Published: (2026)

Instance segmentation for automated weeds and crops detection in farmlands
by: Adán Mora-Fallas
Published: (2020)

Журнал Белорусского государственного университета: Математика, информатика
Published: (2020)

International Journal of Differential Equations
Published: (2009)

Differential Equations and Nonlinear Mechanics
Published: (2009)

Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings
Published: (2018)

International Journal of Reconfigurable Computing
Published: (2008)

هوش محاسباتی در مهندسی برق
Published: (2023)

Solution of finite element problems using hybrid parallelization with MPI and OpenMP
by: Miguel Vargas-Félix
Published: (2012)

Науковий вісник Ужгородського університету. Серія: Математика і інформатика
Published: (2020)

Educating Urban Designers using Augmented Reality and Mobile Learning Technologies
by: Ernest Redondo Domínguez
Published: (2017)

Asset Management System for Database Management Systems
by: Torrecampo, Rey Lawrence L.
Published: (2022)

International Journal of Networked and Distributed Computing (IJNDC)
Published: (2017)

TIERED HIERARCHICAL MULTI-PATH INTELLIGENCE: COMPLEXITY-GRADED DUAL-SYSTEM REASONING IN TRANSFORMERS
by: Nambiar, Rohan, et al.
Published: (2026)

Color as Broadcast: Establishing a Non-Symbolic Transmission Layer for AI-Native Systems
by: Eissens, Raynor
Published: (2026)

International Journal of Computing and Related Technologies
Published: (2023)

Kafrelsheikh Journal of Information Sciences
Published: (2024)

Systems and Soft Computing
Published: (2023)

Revista de Sistemas e Computação
Published: (2019)