以下是4區SCI期刊：

Public Administration And Policy-an Asia-pacific Journal，大類學科：法學，小類學科：POLITICAL SCIENCE，中科院分區：4區，JCR分區：Q3。

Chinese Clinical Oncology，大類學科：醫學，小類學科：ONCOLOGY，中科院分區：4區，JCR分區：Q3。

Video-assisted Thoracic Surgery，大類學科：醫學，小類學科：SURGERY，中科院分區：4區，JCR分區：Q4。

Annals Of Joint，大類學科：醫學，小類學科：ORTHOPEDICS，中科院分區：4區，JCR分區：Q4。

Knowledge Management & E-learning-an International Journal，大類學科：教育學，小類學科：EDUCATION & EDUCATIONAL RESEARCH，中科院分區：4區，JCR分區：Q1。

Annals Of Laparoscopic And Endoscopic Surgery，大類學科：醫學，小類學科：SURGERY，中科院分區：4區，JCR分區：Q4。

Landscape Architecture Frontiers，大類學科：藝術學，小類學科：ARCHITECTURE，中科院分區：4區。

Aims Biophysics，大類學科：生物學，小類學科：BIOPHYSICS，中科院分區：4區，JCR分區：Q4。

《Formal Aspects Of Computing》雜志詳細簡介

《Formal Aspects Of Computing》雜志的國際標準刊號為ISSN：0934-5043和E-ISSN：1433-299X，出版地為UNITED STATES。自創刊以來，該雜志一直致力于為計算機科學-COMPUTER SCIENCE, SOFTWARE ENGINEERING領域的研究人員提供一個交流和分享最新研究成果的平臺。

該雜志出版語言為English，創刊于1989年。自創刊以來，已被SCIE（科學引文索引擴展板）等國內外知名檢索系統收錄，這使得其發表的文章能夠被全球范圍內的研究人員廣泛引用和參考。

在學術界，影響因子是衡量期刊學術影響力的重要指標之一。《Formal Aspects Of Computing》雜志的影響因子為1.4，這一數值表明該雜志在計算機科學領域具有較高的學術地位。

根據中科院分區，該雜志在計算機科學大類中屬于4區，在COMPUTER SCIENCE, SOFTWARE ENGINEERING計算機：軟件工程小類中屬于4區。此外，在JCR分區中，該雜志被歸為Q3區，這些分區和影響因子數據不僅反映了期刊的學術質量，也顯示了其在計算機：軟件工程領域的權威性和影響力。