Theoretical computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory.
Neil Immerman is an American theoretical computer scientist, a professor of computer science at the University of Massachusetts Amherst. He is one of the key developers of descriptive complexity, an approach he is currently applying to research in model checking, database theory, and computational complexity theory.
Logical Methods in Computer Science (LMCS) is a peer-reviewed open access scientific journal covering theoretical computer science and applied logic. It opened to submissions on September 1, 2004. The editor-in-chief is Stefan Milius.
The Annales Henri Poincaré is a peer-reviewed scientific journal which collects and publishes original research papers in the field of theoretical and mathematical physics. The emphasis is on "analytical theoretical and mathematical physics" in a broad sense. The journal is named in honor of Henri Poincaré and it succeeds two former journals, Annales de l'Institut Henri Poincaré, physique théorique and Helvetica Physical Acta. It is published by Birkhäuser Verlag. Its first Chief Editor was Vincent Rivasseau, followed by Krzysztof Gawedzki, and the current Chief Editor is Claude-Alain Pillet.
Noga Alon is an Israeli mathematician and a professor of mathematics at Princeton University noted for his contributions to combinatorics and theoretical computer science, having authored hundreds of papers.
The Journal of Physics A: Mathematical and Theoretical is a peer-reviewed scientific journal published by IOP Publishing. It is part of the Journal of Physics series and covers theoretical physics focusing on sophisticated mathematical and computational techniques. It was established in 1968 from the division of the earlier title, Proceedings of the Physical Society.
The Journal of Graph Theory is a peer-reviewed mathematics journal specializing in graph theory and related areas, such as structural results about graphs, graph algorithms with theoretical emphasis, and discrete optimization on graphs.
Ars Mathematica Contemporanea is a quarterly peer-reviewed scientific journal covering discrete mathematics in connection with other branches of mathematics. It is published by the University of Primorska together with the Society of Mathematicians, Physicists and Astronomers of Slovenia, the Institute of Mathematics, Physics, and Mechanics, and the Slovenian Discrete and Applied Mathematics Society. It is a platinum open access journal, with articles published under the Creative Commons Attribution 4.0 license.
Discrete Mathematics is a biweekly peer-reviewed scientific journal in the broad area of discrete mathematics, combinatorics, graph theory, and their applications. It was established in 1971 and is published by North-Holland Publishing Company. It publishes both short notes, full length contributions, as well as survey articles. In addition, the journal publishes a number of special issues each year dedicated to a particular topic. Although originally it published articles in French and German, it now allows only English language articles. The editor-in-chief is Douglas West.
Scientia Iranica is a peer-reviewed scientific journal published by Sharif University of Technology. It was established in 1991 and covers theoretical and experimental research in technical sciences and engineering. Starting in 2011, the journal is published open access. The editor-in-chief is Abolhassan Vafai.
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.
The International Journal of Foundations of Computer Science is a computer science journal published by World Scientific. It was founded in 1990, covering the field of theoretical computer science, from algebraic theory and algorithms, to quantum computing and wireless networks. Since 1997, the Editor-in-Chief has been Oscar Ibarra of the Department of Computer Science, University of California.
The International Journal of Algebra and Computation is published by World Scientific, and contains articles on general mathematics, as well as:
The International Journal of Modern Physics is a series of Physics journals published by World Scientific.
SIAM Journal on Discrete Mathematics is a peer-reviewed mathematics journal published quarterly by the Society for Industrial and Applied Mathematics (SIAM). The journal includes articles on pure and applied discrete mathematics. It was established in 1988, along with the SIAM Journal on Matrix Analysis and Applications, to replace the SIAM Journal on Algebraic and Discrete Methods. The journal is indexed by Mathematical Reviews and Zentralblatt MATH. Its 2009 MCQ was 0.57. According to the Journal Citation Reports, the journal has a 2016 impact factor of 0.755.
Discrete Applied Mathematics is a peer-reviewed scientific journal covering algorithmic and applied areas of discrete mathematics. It is published by Elsevier and the editor-in-chief is Endre Boros. The journal was split off from another Elsevier journal, Discrete Mathematics, in 1979, with that journal's founder Peter Ladislaw Hammer as its founding editor-in-chief.
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.
Martin Grohe is a German mathematician and computer scientist known for his research on parameterized complexity, mathematical logic, finite model theory, the logic of graphs, database theory, and descriptive complexity theory. He is a University Professor of Computer Science at RWTH Aachen University, where he holds the Chair for Logic and Theory of Discrete Systems.
