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
Journal of Logical and Algebraic Methods in Programming
Journal Prestige (SJR): 0.325
Citation Impact (citeScore): 1
Number of Followers: 1  
 
  Hybrid Journal Hybrid journal (It can contain Open Access articles)
ISSN (Print) 2352-2208 - ISSN (Online) 2352-2208
Published by Elsevier Homepage  [2974 journals]
  • Towards an efficient implementation of a tableau method for reactive
           safety specifications

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 8 August 2024Source: Journal of Logical and Algebraic Methods in ProgrammingAuthor(s): Ander Alonso, Montserrat Hermo, Josu Oca
       
  • &rft.title=Journal+of+Logical+and+Algebraic+Methods+in+Programming&rft.issn=2352-2208&rft.date=&rft.volume=">Towards the Exact Complexity of Realizability for

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 31 July 2024Source: Journal of Logical and Algebraic Methods in ProgrammingAuthor(s): Noel Arteche, Montserrat Hermo
       
  • Efficient Analysis of Belief Properties in Process Algebra

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 8 July 2024Source: Journal of Logical and Algebraic Methods in ProgrammingAuthor(s): Zahra Moezkarimi, Fatemeh Ghassemi
       
  • Formal definitions and proofs for partial (co)recursive functions

    • Free pre-print version: Loading...

      Abstract: Publication date: October 2024Source: Journal of Logical and Algebraic Methods in Programming, Volume 141Author(s): Horaţiu Cheval, David Nowak, Vlad Rusu
       
  • When Causality Meets Fairness: A Survey

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 20 June 2024Source: Journal of Logical and Algebraic Methods in ProgrammingAuthor(s): Karima Makhlouf, Sami Zhioua, Catuscia Palamidessi
       
  • Advancing Orchestration Synthesis for Contract Automata

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 15 June 2024Source: Journal of Logical and Algebraic Methods in ProgrammingAuthor(s): Davide Basile, Maurice H. ter Beek
       
  • A Logical Approach to Graph Databases

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 13 June 2024Source: Journal of Logical and Algebraic Methods in ProgrammingAuthor(s): Elvira Pino, Fernando Orejas, Nikos Mylonakis, Edelmira Pasarella
       
  • A logical account of subtyping for session types

    • Free pre-print version: Loading...

      Abstract: Publication date: October 2024Source: Journal of Logical and Algebraic Methods in Programming, Volume 141Author(s): Ross Horne, Luca Padovani
       
  • Optimizing Term Rewriting with Creeper Trace Transducers

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 31 May 2024Source: Journal of Logical and Algebraic Methods in ProgrammingAuthor(s): Rick Erkens
       
  • Controlling Stormwater Detention Ponds under Partial Observability

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 21 May 2024Source: Journal of Logical and Algebraic Methods in ProgrammingAuthor(s): Esther H. Kim, Martijn A. Goorden, Kim G. Larsen, Thomas D. Nielsen
       
  • Bunch theory: Axioms, logic, applications and model

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 15 May 2024Source: Journal of Logical and Algebraic Methods in ProgrammingAuthor(s): Bill Stoddart, Steve Dunne, Chunyan Mu, Frank Zeyda
       
  • Succinct Ordering and Aggregation Constraints in Algebraic Array Theories

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 14 May 2024Source: Journal of Logical and Algebraic Methods in ProgrammingAuthor(s): Rodrigo Raya, Viktor Kunčak
       
  • Realizability Modulo Theories

    • Free pre-print version: Loading...

      Abstract: Publication date: Available online 9 May 2024Source: Journal of Logical and Algebraic Methods in ProgrammingAuthor(s): Andoni Rodríguez, César Sánchez
       
 
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.9.169
 
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.9.169
 
Home (Search)
API
About JournalTOCs
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-