Subjects -> COMPUTER SCIENCE (Total: 2313 journals)
    - ANIMATION AND SIMULATION (33 journals)
    - ARTIFICIAL INTELLIGENCE (133 journals)
    - AUTOMATION AND ROBOTICS (116 journals)
    - CLOUD COMPUTING AND NETWORKS (75 journals)
    - COMPUTER ARCHITECTURE (11 journals)
    - COMPUTER ENGINEERING (12 journals)
    - COMPUTER GAMES (23 journals)
    - COMPUTER PROGRAMMING (25 journals)
    - COMPUTER SCIENCE (1305 journals)
    - COMPUTER SECURITY (59 journals)
    - DATA BASE MANAGEMENT (21 journals)
    - DATA MINING (50 journals)
    - E-BUSINESS (21 journals)
    - E-LEARNING (30 journals)
    - ELECTRONIC DATA PROCESSING (23 journals)
    - IMAGE AND VIDEO PROCESSING (42 journals)
    - INFORMATION SYSTEMS (109 journals)
    - INTERNET (111 journals)
    - SOCIAL WEB (61 journals)
    - SOFTWARE (43 journals)
    - THEORY OF COMPUTING (10 journals)

COMPUTER PROGRAMMING (25 journals)

Showing 1 - 25 of 25 Journals sorted alphabetically
ACM SIGPLAN Fortran Forum     Full-text available via subscription   (Followers: 3)
ACM Transactions on Programming Languages and Systems (TOPLAS)     Hybrid Journal   (Followers: 18)
Acta Informatica     Hybrid Journal   (Followers: 5)
Advances in Image and Video Processing     Open Access   (Followers: 28)
Algorithmica     Hybrid Journal   (Followers: 9)
An International Journal of Optimization and Control: Theories & Applications     Open Access   (Followers: 12)
Computer Methods and Programs in Biomedicine     Hybrid Journal   (Followers: 6)
Constraints     Hybrid Journal  
Grey Systems : Theory and Application     Hybrid Journal  
International Journal of Parallel Programming     Hybrid Journal   (Followers: 6)
International Journal of People-Oriented Programming     Full-text available via subscription  
International Journal of Soft Computing and Software Engineering     Open Access   (Followers: 14)
Journal of Computer Languages     Hybrid Journal   (Followers: 5)
Journal of Functional Programming     Hybrid Journal   (Followers: 1)
Journal of Logical and Algebraic Methods in Programming     Hybrid Journal   (Followers: 1)
Linux Journal     Full-text available via subscription   (Followers: 25)
Mathematical and Computational Applications     Open Access   (Followers: 3)
Mathematical Programming     Hybrid Journal   (Followers: 15)
Optimization: A Journal of Mathematical Programming and Operations Research     Hybrid Journal   (Followers: 6)
Proceedings of the ACM on Programming Languages     Open Access   (Followers: 5)
Programming and Computer Software     Hybrid Journal   (Followers: 16)
Python Papers     Open Access   (Followers: 11)
Python Papers Monograph     Open Access   (Followers: 4)
Science of Computer Programming     Hybrid Journal   (Followers: 14)
Theory and Practice of Logic Programming     Hybrid Journal   (Followers: 3)
Similar Journals
Journal Cover
Science of Computer Programming
Journal Prestige (SJR): 0.3
Citation Impact (citeScore): 1
Number of Followers: 14  
 
  Hybrid Journal Hybrid journal (It can contain Open Access articles)
ISSN (Print) 0167-6423 - ISSN (Online) 0167-6423
Published by Elsevier Homepage  [2974 journals]
  • A Hybrid Approach to Extract Conceptual Diagram from Software Requirements

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 23 August 2024Source: Science of Computer ProgrammingAuthor(s): Shweta, Ratna Sanyal, Bibhas Ghoshal
       
  • Formal Verification of Timely Knowledge Propagation in Airborne Networks

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 20 August 2024Source: Science of Computer ProgrammingAuthor(s): Saswata Paul, Chris McCarthy, Stacy Patterson, Carlos Varela
       
  • MDAPW3: MDA-Based Development of Blockchain-Enabled Decentralized
           Applications

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 20 August 2024Source: Science of Computer ProgrammingAuthor(s): Ali Samanipour, Omid Bushehrian, Gregorio Robles
       
  • MacroSwarm: a Scala Framework for Swarm Programming

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 2 August 2024Source: Science of Computer ProgrammingAuthor(s): Gianluca Aguzzi, Mirko Viroli
       
  • Automatic detection of infeasible paths in large-scale program based on
           program summaries

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 2 August 2024Source: Science of Computer ProgrammingAuthor(s): Yukun Dong, Shuqi Wang, Lulu Zhang, Xiaoshan Liu, Shuai Liu
       
  • Microservices simulator: An object-oriented framework for transactional
           causal consistency

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 31 July 2024Source: Science of Computer ProgrammingAuthor(s): Pedro Pereira, António Rito Silva
       
  • Preface for the special issue on SBFT'23: Search-based and fuzz testing -
           tools

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 30 July 2024Source: Science of Computer ProgrammingAuthor(s): Alessio Gambi, Sebastiano Panichella
       
  • Model independent refusal trace testing

    • Free pre-print version: Loading...

      Abstract: Publication date: January 2025Source: Science of Computer Programming, Volume 239Author(s): Maciej Gazda, Robert M. Hierons
       
  • TADA: A Toolkit for Approximate Distributed Agreement

    • Free pre-print version: Loading...

      Abstract: Publication date: December 2024Source: Science of Computer Programming, Volume 238Author(s): Eduardo Lourenço da Conceição, Ana Nunes Alonso, Rui Carlos Oliveira, José Pereira
       
  • ScaRLib: Towards a hybrid toolchain for aggregate computing and many-agent
           reinforcement learning

    • Free pre-print version: Loading...

      Abstract: Publication date: December 2024Source: Science of Computer Programming, Volume 238Author(s): D. Domini, F. Cavallari, G. Aguzzi, M. Viroli
       
  • Hybrid Dynamical Systems Logic and Its Refinements

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 25 July 2024Source: Science of Computer ProgrammingAuthor(s): André Platzer
       
  • Encoding TLA+ Proof Obligations Safely for SMT

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 23 July 2024Source: Science of Computer ProgrammingAuthor(s): Rosalie Defourné
       
  • IPFS requested content location service

    • Free pre-print version: Loading...

      Abstract: Publication date: December 2024Source: Science of Computer Programming, Volume 238Author(s): Pedro Ákos Costa, João Leitão, Yannis Psaras
       
  • Subsumption, correctness and relative correctness: Implications for
           software testing

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 17 July 2024Source: Science of Computer ProgrammingAuthor(s): Samia AlBlwi, Imen Marsit, Besma Khaireddine, Amani Ayad, JiMeng Loh, Ali Mili
       
  • Smart contract vulnerability detection using wide and deep neural network

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 10 July 2024Source: Science of Computer ProgrammingAuthor(s): Samuel Banning Osei, Zhongchen Ma, Rubing Huang
       
  • Multi-objective differential evolution in the generation of adversarial
           examples

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 8 July 2024Source: Science of Computer ProgrammingAuthor(s): Antony Bartlett, Cynthia C.S. Liem, Annibale Panichella
       
  • CRAG – A Combinatorial Testing-Based Generator of Road Geometries
           for ADS Testing

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 8 July 2024Source: Science of Computer ProgrammingAuthor(s): Paolo Arcaini, Ahmet Cetinkaya
       
  • DPFuzz: a Fuzz Testing Tool Based on the Guidance of Defect Prediction

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 8 July 2024Source: Science of Computer ProgrammingAuthor(s): Zhanqi Cui, Haochen Jin, Xiang Chen, Rongcun Wang, Xiulei Liu
       
  • Prescriptive procedure for manual code smell annotation

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 26 June 2024Source: Science of Computer ProgrammingAuthor(s): Simona Prokić, Nikola Luburić, Jelena Slivka, Aleksandar Kovačević
       
  • GraphPyRec: A novel graph-based approach for fine-grained Python code
           recommendation

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 18 June 2024Source: Science of Computer ProgrammingAuthor(s): Xing Zong, Shang Zheng, Haitao Zou, Hualong Yu, Shang Gao
       
  • libmg:+a+Python+Library+for+Programming+Graph+Neural+Networks+in+ μ G &rft.title=Science+of+Computer+Programming&rft.issn=0167-6423&rft.date=&rft.volume=">libmg: a Python Library for Programming Graph Neural Networks in μ G

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 14 June 2024Source: Science of Computer ProgrammingAuthor(s): Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti
       
  • Special Issue on Selected Tools from the Tool Track of the 30th IEEE
           International Conference on Software Analysis, Evolution and Reengineering
           (SANER 2023 Tool Track)

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 14 June 2024Source: Science of Computer ProgrammingAuthor(s): Ying Wang, Tao Zhang, Xiapu Luo, Peng Liang
       
  • Towards a framework for reliable performance evaluation in defect
           prediction

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 12 June 2024Source: Science of Computer ProgrammingAuthor(s): Xutong Liu, Shiran Liu, Zhaoqiang Guo, Peng Zhang, Yibiao Yang, Huihui Liu, Hongmin Lu, Yanhui Li, Lin Chen, Yuming Zhou
       
  • TR-Fuzz: A Syntax Valid Tool for Fuzzing C Compilers

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 7 June 2024Source: Science of Computer ProgrammingAuthor(s): Chi Zhang, Jinfu Chen, Saihua Cai, Wen Zhang, Rexford Nii Ayitey Sosu, Haibo Chen
       
  • iGnnVD: A novel software vulnerability detection model based on integrated
           graph neural networks

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 6 June 2024Source: Science of Computer ProgrammingAuthor(s): Jinfu Chen, Yemin Yin, Saihua Cai, Weijia Wang, Shengran Wang, Jiming Chen
       
  • Latch: Enabling Large-scale Automated Testing on Constrained
           Systems

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 6 June 2024Source: Science of Computer ProgrammingAuthor(s): Tom Lauwaerts, Stefan Marr, Christophe Scholliers
       
  • BEAPI: A Tool for Bounded Exhaustive Input Generation from APIs

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 5 June 2024Source: Science of Computer ProgrammingAuthor(s): Mariano Politano, Valeria Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo Frias, Pablo Ponzio
       
  • Parallel Program Analysis on Path Ranges

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 31 May 2024Source: Science of Computer ProgrammingAuthor(s): Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
       
  • Taming Shared Mutable States of Operating Systems in Rust

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 27 May 2024Source: Science of Computer ProgrammingAuthor(s): Jaemin Hong, Sunghwan Shim, Sanguk Park, Taewoo Kim, Jungwoo Kim, Junsoo Lee, Sukyoung Ryu, Jeehoon Kang
       
  • Selected papers from the 25th Brazilian Symposium on Formal Methods
           – SBMF 2022

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 15 April 2024Source: Science of Computer ProgrammingAuthor(s): Lucas Lima, Vince Molnár
       
  • Functional and logic programming: Selected papers of FLOPS 2022

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 12 April 2024Source: Science of Computer ProgrammingAuthor(s): Michael Hanus, Atsushi Igarashi
       
 
JournalTOCs
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, EH14 4AS, UK
Email: journaltocs@hw.ac.uk
Tel: +00 44 (0)131 4513762
 


Your IP address: 18.97.14.91
 
Home (Search)
API
About JournalTOCs
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-
JournalTOCs
 
 
  Subjects -> COMPUTER SCIENCE (Total: 2313 journals)
    - ANIMATION AND SIMULATION (33 journals)
    - ARTIFICIAL INTELLIGENCE (133 journals)
    - AUTOMATION AND ROBOTICS (116 journals)
    - CLOUD COMPUTING AND NETWORKS (75 journals)
    - COMPUTER ARCHITECTURE (11 journals)
    - COMPUTER ENGINEERING (12 journals)
    - COMPUTER GAMES (23 journals)
    - COMPUTER PROGRAMMING (25 journals)
    - COMPUTER SCIENCE (1305 journals)
    - COMPUTER SECURITY (59 journals)
    - DATA BASE MANAGEMENT (21 journals)
    - DATA MINING (50 journals)
    - E-BUSINESS (21 journals)
    - E-LEARNING (30 journals)
    - ELECTRONIC DATA PROCESSING (23 journals)
    - IMAGE AND VIDEO PROCESSING (42 journals)
    - INFORMATION SYSTEMS (109 journals)
    - INTERNET (111 journals)
    - SOCIAL WEB (61 journals)
    - SOFTWARE (43 journals)
    - THEORY OF COMPUTING (10 journals)

COMPUTER PROGRAMMING (25 journals)

Showing 1 - 25 of 25 Journals sorted alphabetically
ACM SIGPLAN Fortran Forum     Full-text available via subscription   (Followers: 3)
ACM Transactions on Programming Languages and Systems (TOPLAS)     Hybrid Journal   (Followers: 18)
Acta Informatica     Hybrid Journal   (Followers: 5)
Advances in Image and Video Processing     Open Access   (Followers: 28)
Algorithmica     Hybrid Journal   (Followers: 9)
An International Journal of Optimization and Control: Theories & Applications     Open Access   (Followers: 12)
Computer Methods and Programs in Biomedicine     Hybrid Journal   (Followers: 6)
Constraints     Hybrid Journal  
Grey Systems : Theory and Application     Hybrid Journal  
International Journal of Parallel Programming     Hybrid Journal   (Followers: 6)
International Journal of People-Oriented Programming     Full-text available via subscription  
International Journal of Soft Computing and Software Engineering     Open Access   (Followers: 14)
Journal of Computer Languages     Hybrid Journal   (Followers: 5)
Journal of Functional Programming     Hybrid Journal   (Followers: 1)
Journal of Logical and Algebraic Methods in Programming     Hybrid Journal   (Followers: 1)
Linux Journal     Full-text available via subscription   (Followers: 25)
Mathematical and Computational Applications     Open Access   (Followers: 3)
Mathematical Programming     Hybrid Journal   (Followers: 15)
Optimization: A Journal of Mathematical Programming and Operations Research     Hybrid Journal   (Followers: 6)
Proceedings of the ACM on Programming Languages     Open Access   (Followers: 5)
Programming and Computer Software     Hybrid Journal   (Followers: 16)
Python Papers     Open Access   (Followers: 11)
Python Papers Monograph     Open Access   (Followers: 4)
Science of Computer Programming     Hybrid Journal   (Followers: 14)
Theory and Practice of Logic Programming     Hybrid Journal   (Followers: 3)
Similar Journals
Similar Journals
HOME > Browse the 73 Subjects covered by JournalTOCs  
SubjectTotal Journals
 
 
JournalTOCs
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, EH14 4AS, UK
Email: journaltocs@hw.ac.uk
Tel: +00 44 (0)131 4513762
 


Your IP address: 18.97.14.91
 
Home (Search)
API
About JournalTOCs
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-