Synthese is a monthly peer-reviewed academic journal covering the epistemology, methodology, and philosophy of science, and related issues. The name Synthese finds its origin in the intentions of its founding editors: making explicit the supposed internal coherence between the different, highly specialised scientific disciplines. Jaakko Hintikka was editor-in-chief from 1965 to 2002. The current editors-in-chief are Otávio Bueno, Wiebe van der Hoek, and Kristie Miller.
Algorithmica is a monthly peer-reviewed scientific journal focusing on research and the application of computer science algorithms. The journal was established in 1986 and is published by Springer Science+Business Media. The editor in chief is Mohammad Hajiaghayi. Subject coverage includes sorting, searching, data structures, computational geometry, and linear programming, VLSI, distributed computing, parallel processing, computer aided design, robotics, graphics, data base design, and software tools.
Queueing Systems is a peer-reviewed scientific journal covering queueing theory. It is published by Springer Science+Business Media. The current editor-in-chief is Sergey Foss. According to the Journal Citation Reports, the journal has a 2019 impact factor of 1.114.
Archive for Mathematical Logic is a peer-reviewed mathematics journal published by Springer Science+Business Media. It was established in 1950 and publishes articles on mathematical logic.
Probability Theory and Related Fields is a peer-reviewed mathematics journal published by Springer. Established in 1962, it was originally named Zeitschrift für Wahrscheinlichkeitstheorie und verwandte Gebiete, with the English replacing the German starting from volume 71 (1986). The journal publishes articles on probability. The journal is indexed by Mathematical Reviews and Zentralblatt MATH. Its 2019 MCQ was 2.29, and its 2019 impact factor was 2.125.
Archiv der Mathematik is a peer-reviewed mathematics journal published by Springer, established in 1948.
The ACM Transactions on Programming Languages and Systems (TOPLAS) is a bimonthly, open access, peer-reviewed scientific journal on the topic of programming languages published by the Association for Computing Machinery.
The International Journal of Applied Mathematics and Computer Science is a peer-reviewed quarterly scientific journal published since 1991 by the University of Zielona Góra in partnership with De Gruyter Poland and Lubuskie Scientific Society, under the auspices of the Committee on Automatic Control and Robotics of the Polish Academy of Sciences. The editor-in-chief is Józef Korbicz. The journal covers various fields related to control theory, applied mathematics, scientific computing, and computer science.
The Annals of Probability is a leading peer-reviewed probability journal published by the Institute of Mathematical Statistics, which is the main international society for researchers in the areas probability and statistics. The journal was started in 1973 as a continuation in part of the Annals of Mathematical Statistics, which was split into the Annals of Statistics and this journal.
Annals of Operations Research is a peer-reviewed academic journal published by Springer Science+Business Media. It was previously published by Baltzer Science Publishers. The journal publishes 24 issues a year that focus on the theoretical, practical, and computational aspects of operations research. It also publishes periodic special volumes focusing on defined fields of operations research.
Cognitive Computation is an international, peer-reviewed scientific journal, interdisciplinary journal that publishes articles describing original basic and applied work involving bio-inspired computational accounts of all aspects of natural and artificial cognitive systems. The journal is published by Springer Science+Business Media.
Applied Mathematics and Mechanics (English Edition) is a peer-reviewed journal of mechanics, established in 1980 by Wei-zang Chien in 1980. Chien was the editor-in-chief from 1980 to 2002 and subsequently an honorary editor-in-chief. Xingming Guo is the editor-in-chief now. In 1980, it was quarterly, became bimonthly in 1981, and then monthly in 1985.
Combinatorics, Probability and Computing is a peer-reviewed scientific journal in mathematics published by Cambridge University Press. Its editor-in-chief is Béla Bollobás.
Frontiers of Computer Science is a bimonthly peer-reviewed scientific journal in English, co-published by Springer and Higher Education Press. It publishes research papers, review articles, and letters in computer science, including system architecture, software, artificial intelligence, theoretical computer science, networks and communication, information systems, multimedia and graphics, information security, etc. The editor-in-chief is Wei LI ; the executive editors-in-chief are Zhang XIONG and Zhi-Hua ZHOU .
4OR - A Quarterly Journal of Operations Research is a peer-reviewed scientific journal that was established in 2003 and is published by Springer Science+Business Media. It is a joint official journal of the Belgian, French, and Italian Operations Research Societies. The journal publishes research papers and surveys on the theory and applications of Operations Research. The Editors-in-chief are Yves Crama, Michel Grabisch, and Silvano Martello.
Computational Optimization and Applications is a peer-reviewed academic journal published by Springer Science+Business Media. The journal focuses on the analysis and development of computational algorithms and modeling technology for optimization. It also covers linear programming, computational complexity theory, automatic differentiation, approximations and error analysis, parametric programming, sensitivity analysis, and management science.
Journal of Agricultural, Biological and Environmental Statistics (JABES) is a peer-reviewed academic journal published by Springer Science+Business Media. It is a joint publication of the International Biometric Society and the American Statistical Association. The journal publishes four issues a year composed of articles that introduce new statistical methods to solve practical problems in the agricultural sciences, the biological sciences, and the environmental sciences.
Electronic Commerce Research is a peer-reviewed academic journal published by Springer Science+Business Media. The journal focuses on disseminating the latest findings in all facets of electronic commerce. A sampling of topics published in the journal as they relate to the Internet and electronic commerce include intelligent agents technologies and their impact; economics of electronic commerce; virtual electronic commerce systems; service creation and provisioning; supply chain management through the internet; collaborative learning, gaming, and work; and workflow for electronic commerce applications.
The Flexible Services and Manufacturing Journal is a peer-reviewed academic journal published by Springer Science+Business Media. The journal was originally published under the title "International Journal of Flexible Manufacturing Systems" and Kathryn Stecke was the founding Editor-in-Chief. The journal publishes research in the field of services and manufacturing management. All aspects in this field including the interface between engineering and management, the design and analysis of service and manufacturing systems as well as operational planning and decision support systems are covered.
Probability and Mathematical Statistics is a peer-reviewed scientific journal covering mathematical aspects of the probability theory. It was founded in 1980 as the initiative of the Wrocław probability community led by Kazimierz Urbanik and Czesław Ryll-Nardzewski, and statistics community represented by Witold Klonecki. They served as editors of the journal during the first twenty-five years of its existence, with Kazimierz Urbanik shouldering the role of the editor-in-chief. Beginning with 2007, Probability and Mathematical Statistics became an affiliated journal of the Institute of Mathematical Statistics. PMS is indexed by Scopus, MathSciNet, Index Copernicus and Journal Citation Reports (IF=0.617). PMS is an open-access journal.
