GetPortalImpactFactorByIdResp(projectId=1, id=c66093, cover=https://img.medsci.cn/images/journal/cover/2021/onI_202109271314004570.jpg, fullname=ACTA INFORMATICA, abbr=ACTA INFORM, pyear=1971, frequence=Bimonthly, articleNumbers=1178, citedSelf2015=0.0, acceptanceRate=null, submissionToAcceptance=null, averageReviewTime=暂无数据, reviewFee=null, pageFee=null, publishedRatio=2023年中国人文章占该期刊总数量暂无数据 (2022年为100.00%), issn=0001-5903, greenSci=https://www.greensci.net/search?kw=0001-5903, scijournal=https://www.scijournal.org/impact-factor-of-ACTA-INFORM.shtml, medsciHotlightString=null, medsciHotlightRealtime=2.714, medsciHotlight=2.278, medsciHotlight5year=2.04671, citescore=2.4, hIndex=40, impactFactor=0.6, orgnization=Springer New York, orgnizationUrl=http://springerlink.com, country=Germany, countryCn=德国, isOa=0, isOaString=否, sciScie=Science Citation Index|Science Citation Index Expanded|Current Contents - Engineering, Computing &amp; Technology, bigclassCas=工程技术 4区, smallclassCas=工程技术 4 区, website=https://link.springer.com/journal/236, websiteHits=2701, guideForAuthor=https://www.springer.com/journal/236/submission-guidelines, guideForAuthorHits=311, submitWebsite=https://www.editorialmanager.com/acin/default.aspx, submitWebsiteHits=1376, content=<p>Published by Springer. ISSN (printed): 0001-5903. ISSN (electronic): 1432-0525.<br />The journal provides international dissemination of contributions on the art discipline and science of informatics.</p> <p class="app-promo-text__inline" style="color: #333333;"><em>Acta Informatica</em> provides international dissemination of articles on formal methods for the design and analysis of programs, computing systems and information structures, as well as related fields of Theoretical Computer Science such as Automata Theory, Logic in Computer Science, and Algorithmics.</p> <div class="app-promo-text__hidden-container app-promo-text__hidden-container--padding" style="color: #333333;"> <p>Topics of interest include:</p> <p>• semantics of programming languages<br />• models and modeling languages for concurrent, distributed, reactive and mobile systems<br />• models and modeling languages for timed, hybrid and probabilistic systems<br />• specification, program analysis and verification<br />• model checking and theorem proving<br />• modal, temporal, first- and higher-order logics, and their variants<br />• constraint logic, SAT/SMT-solving techniques<br />• theoretical aspects of databases, semi-structured data and finite model theory<br />• theoretical aspects of artificial intelligence, knowledge representation, description logic<br />• automata theory, formal languages, term and graph rewriting<br />• game-based models, synthesis<br />• type theory, typed calculi<br />• algebraic, coalgebraic and categorical methods<br />• formal aspects of performance, dependability and reliability analysis<br />• foundations of information and network security<br />• parallel, distributed and randomized algorithms<br />• design and analysis of algorithms<br />• foundations of network and communication protocols</p> </div>, totalCites=707, brief=ACTA INFORM杂志工程技术行业，“<strong><a target="_blank" href="/sci/index.do?smallclass=计算机：信息系统" >计算机：信息系统</a></strong>”子行业的偏低级别杂志, articleType=该刊全部是论著，可能不接收综述类等文章, medsciHeat=<span style="color: #000000;">黑</span>, medsciComment=杂志水平一般，也很冷门，关注人少，审稿周期可能也不一定快，如果文章质量不佳，或时间不紧的话，可以考虑考虑。, medsciExplanation=MedSci期刊指数是根据中国科研工作者（含医学临床，基础，生物，化学等学科）对SCI杂志的认知度，熟悉程度，以及投稿的量等众多指标综合评定而成。当然，具体的，您还可以结合“<a href='//m.capotfarm.com/sci/submit.do?id=c66093'>投稿经验系统</a>”，进行综合判断，这更是大家的实战经验，值得分享和参考。<br> 注意，上述MedSci期刊指数采用MedSci专利技术，由计算机系统自动计算，并给出建议，存在不准确的可能，仅供您投稿选择杂志时参考。, tags=null, citeScoreList=[GetImpactFactorCiteScoreListResponse(year=2017, citescore=1.4), GetImpactFactorCiteScoreListResponse(year=2018, citescore=1.79), GetImpactFactorCiteScoreListResponse(year=2019, citescore=4.1), GetImpactFactorCiteScoreListResponse(year=2020, citescore=3.4), GetImpactFactorCiteScoreListResponse(year=2023, citescore=2.4)], medsciIndexList=[GetImpactFactorMedsciIndexListResponse(year=2020, medsciHotlight=1.986), GetImpactFactorMedsciIndexListResponse(year=2021, medsciHotlight=1.819), GetImpactFactorMedsciIndexListResponse(year=2022, medsciHotlight=2.164), GetImpactFactorMedsciIndexListResponse(year=2023, medsciHotlight=2.116), GetImpactFactorMedsciIndexListResponse(year=2024, medsciHotlight=2.714)], citeScoreGradeList=[GetImpactFactorCiteScoreGradeResponse(smallClass=Computer Science - Computer Networks and Communications , rank=115/274), GetImpactFactorCiteScoreGradeResponse(smallClass=Computer Science - Information Systems , rank=125/269), GetImpactFactorCiteScoreGradeResponse(smallClass=Computer Science - Software , rank=180/360)], totalJcrAreaList=[GetImpactFactorCiteScoreGradeResponse(smallClass=COMPUTER SCIENCE, INFORMATION SYSTEMS, rank=Q4)], pmcUrl=https://www.ncbi.nlm.nih.gov/nlmcatalog?term=0001-5903[ISSN], pubmedUrl=https://www.ncbi.nlm.nih.gov/pubmed?cmd=search&term=ACTA INFORMATICA[ta], article_number=28, article_number_cn=1, earlyWarning=null, linkOutUrl=null, isJournalMember=false, unscrambleContent=null, dayViewCount=false, endexampletyle=暂无数据)