Na této stránce je přehled časopisů od těch kvalitních a zaměřených na formální jazyky až po ty naprosto nevhodné, na které chodí upozornění různými SPAMy. (IF = Impact Factor)
Přesunout sem tabulku z http://www.fit.vutbr.cz/~meduna/work/doku.php?id=projects:it4i:reports:reports#prehled_if_a_sjr Využít seznam z http://www.fit.vutbr.cz/~meduna/work/doku.php?id=projects:izemek:journals
Oficiální seznam teoretických časopisů od Elsevier (2016) - obsaují SJR a IF (pokud je již znám)
| Journal | IF 2015 (Rank in WoS) | SRJ 2015 (Rank in SCImago) | IF 2014 (Rank in WoS) |
|---|---|---|---|
| FCM | 1.986 (Q1,Q1,Q1) | … | 2.389 (Q1,Q1,Q1) |
| IJSS | 1.947 (Q1,Q2,Q2) | 1.083 (Q1) | 2.100 (Q1, Q1, Q2) |
| JCSS | 1.583 (Q1,Q2) | 1.334 (Q1) | 1.138 (Q2,Q2) |
| Computer Languages, Systems & Structures | 2016: 1.615 (Q2) | 2015: 0.556 (Q4) | 2014:0.440 (Q4) |
| Informatica | 2016: 1.056 (Q4,Q2) | 2016: (Q2,Q3);2015: 1.386 (Q2, Q1) | 2014: 0.873 (Q3,Q2) |
IJCSS
Unikátní publikace pro 2016 (dle NPU II, jedna oblast Q1/Q2:
Dle CiteScore:
| Journal | IF 2015 (Rank in WoS) | SRJ 2015 (Rank in SCImago) | IF 2014 (Rank in WoS) |
|---|---|---|---|
| JCS | 1.078 (Q2,Q3) | 0.587 (Q1,Q2,Q3) | 1.231 (Q2,Q3) |
| Formal Aspects of Computing | 1.041 (2016) | … | … |
| Computer Journal | 1.000 (Q2,Q3,Q3,Q3) | 0.371 (Q2) | 0.787 (Q3,Q3,Q3,Q3) |
| Information and Computation | 0.873 (Q2,Q3) | 0.698 (Q2) | 0.830 (Q2,Q3) |
| MATH STRUCT COMP SCI | 0.758 (Q3) | 0.318 (Q3) | 0.449 (Q4) |
| DAM | 0.722 (Q3) | 0.880 (Q2) | 0.802 (Q3) |
| Computing | 0.872 (Q3) | 0.440 (Q3/Q3/Q3/Q3) | ? |
| Acta Informatica | 0.722 (Q3) | 0.524 (Q2) | 0.500 (Q4) |
| Fundamenta Informaticae | 0.658 (Q3) | 0.526 (Q2/Q3) | 0.717 (Q3) |
| TCS | 0.643 (Q3) | 0.720 (Q1/Q2) | 0.657 (Q3) |
| IPL | 0.605 (Q4) | 0.698 (Q2) | 0.546 (Q4) |
| IJCM | 0.577 (Q4) | 0.474 (Q2/Q3) | 0.824 (Q3) |
| JUCS | 0.546 (Q4,Q4) | 0.429 (Q2/Q3) | 0.466 (Q4,Q4) |
| DM-TCS | 0.537 (Q4,Q4,Q3) | 0.346 (Q2/Q3/Q4) | 0.324 (Q4,Q4,Q4) |
| J COMPUT SYS SC INT+ | 0.503 (Q4,Q4,Q4) | 0.27 (Q3/Q4) | 0.483 (Q4,Q4,Q4) |
| MALAYS J COMPUT SCI | 0.476 (Q4,Q4) | 0.289 (Q2) | 0.405 (Q4,Q4) |
| IJFCS | 0.467 (Q4) | 0.394 (Q2) | 0.296 (Q4) |
| Kybernetika | 0.628 (Q4) | 0.356 (Q3) | TODO |
| RAIRO:ITA (RAIRO-TIA) | TODO | 0.346 (Q3) | TODO |
| FTTCS | TODO | 3.32 (Q1) | TODO |
| SIAM J on D MATH | TODO | 1.230 (Q1) | TODO |
| IJ of AM and CS | 1.037 (Q3,Q3,Q2) | 1.025 (Q1,Q1,Q2) | (ISSN: 1641-876X) |
| J of Computer Science (OA) | ? | 0.165 (2016, no Scimago) | ? |
Tučně jsou časopisy vysoké úrovně dle WoS. Kurzívou potom časopisy vysoké úrovně dle SCImago (Scopus). Odkazy na WoS statistiky fungují jen na VUT. Seznamy časopisů včetně jejich webových stránek spravoval Petr Zemek.
TODO (check the web site and evaluate the journal):
Seznam seřazený asi podle prestiže (první je nejprestižnější):
Lokální:
Thorsten Altenkirch, University of Nottingham, United Kingdom Radim Belohlavek, Czech Republic Salem Benferhat, University of Artois, France Jan Van den Bussche, Universiteit Hasselt, Belgium Cristian S. Calude, University of Auckland, New Zealand Zhenfu Cao, Shanghai Jiao Tong University, China Witold Charatonik, University of Wrocław, Poland Bogdan S. Chlebus, University of Colorado Denver, United States Gianluca De Marco, Department of Computer Science, University of Salerno, Italy Stephane Demri, LSV, CNRS & ENS de Cachan, France Thomas Eiter, Vienna University of Technology, Austria Pierre Fraigniaud, CNRS and University Paris Diderot, France Anna Gambin, University of Warsaw, Poland Edith Elkind, University of Oxford, United Kingdom Irene Guessarian, IRIF, Universite Paris Diderot, and UPMC, France Jerzy W. Grzymala-Busse, University of Kansas, United States
Mika Hirvensalo, University of Turku, Finland Sun-Yuan Hsieh, National Cheng Kung University, Tainan, Taiwan Ryszard Janicki, McMaster University, Hamilton, Canada Szymon Jaroszewicz, Polish Academy of Sciences, Warsaw, Poland Jarkko Kari, University of Turku, Finland Ralf Klasing, CNRS and University of Bordeaux, France Marek Klonowski, Wrocław University of Technology, Poland * Petri nets: Jetty Kleijn, Leiden University, Netherlands * Verification: Antonin Kucera, Masaryk University, Brno, Czech Republic Thierry Lecroq, University of Rouen, France Zbigniew Lonc, Warsaw University of Technology, Poland * Logic: Johann Makowsky, Technion, Haifa, Israel Victor W. Marek, University of Kentucky, United States Sushmita Mitra, Indian Statistical Institute, India Ugo Montanari, University of Pisa, Italy Aniello Murano, University of Naples, Italy * Machine learning: Hung Son Nguyen, University of Warsaw, Poland * Verification, Tree Automata: Joachim Niehren, INRIA, Lille, France * SAT, Verification: Wojciech Penczek, Polish Academy of Sciences, Warsaw, Poland Mario Pérez-Jiménez, University of Seville, Spain Josef Pieprzyk, Data61, CSIRO, Australia Maurizio Proietti, National Research Council, Italy Alexander Rabinovich, University of Tel Aviv, Israel Machine learning: Zbigniew W. Raś, University of North Carolina, Charlotte, United States Thomas Schwentick, TU Dortmund University, Germany Daniel Simson, Nicolaus Copernicus University, Toruń, Poland * Image Processing: Władysław Kazimierz Skarbek, Warsaw University of Technology, Poland * Machine Learning: Dominik Ślęzak, University of Warsaw, Poland * Formal specification: Andrzej Tarlecki, University of Warsaw, Poland * Bioinformatics: Jerzy Tiuryn, University of Warsaw, Poland * Agent Systems: Paolo Torroni, University of Bologna, Italy * Computational Complexity: Vinodchandran Variyam, University of Nebraska-Lincoln, United States * Logic, Verification: Igor Walukiewicz, University of Bordeaux, France * AI: Yudong Zhang, Nanjing Normal University, China