تفاوت تاریخ بروزرسانی در صورت داشتن اشتراک
| نمایه | آخرین بروز رسانی |
|---|---|
| Scopus | فوریه ۲۰۲۲ |
| ISI | مارس ۲۰۲۳ |
| SCImago | ژانویه ۲۰۲۰ |
| ISI Open Access Journals | مارس ۲۰۲۴ |
| لیست سیاه وزارت علوم | فروردین ۱۴۰۲ |
| لیست سیاه وزارت بهداشت | فروردین ۱۴۰۲ |
| لیست سیاه دانشگاه آزاد | بهمن ۱۳۹۹ |
| مجلات دارای زمان داوری | ژانویه ۲۰۲۲ |
| مجلات درجه بندی شده از نظر سختی پذیرش | ژانویه ۲۰۲۲ |
| فراخوانهای مقاله | فوریه ۲۰۲۴ |
| نمایه | آخرین بروز رسانی |
|---|---|
| Scopus | ژانویه ۲۰۲۴ |
| ISI | آپریل ۲۰۲۴ |
| SCImago | می ۲۰۲۴ |
| ISI Open Access Journals | مارس ۲۰۲۴ |
| لیست سیاه وزارت علوم | فروردین ۱۴۰۳ |
| لیست سیاه وزارت بهداشت | فروردین ۱۴۰۳ |
| لیست سیاه دانشگاه آزاد | آذر ۱۴۰۱ |
| مجلات دارای زمان داوری | ژانویه ۲۰۲۴ |
| مجلات درجه بندی شده از نظر سختی پذیرش | ژانویه ۲۰۲۴ |
| فراخوانهای مقاله | فوریه ۲۰۲۴ |
Acta Informatica
| آلمان | کشور |
| ۰٫۳۷۵ | Impact Factor |
| ۰٫۸۳۶ | پنج ساله Impact Factor |
| اشتراک نقره ای تهیه کنید | زمان داوری مقاله(تصمیم اولیه) |
| 0001-5903 | ISSN |
| 1432-0525 | e-ISSN |
| 1971 تا کنون | مدت فعالیت |
| Springer Nature | ناشر |
| www.springer.com | سایت مجله |
ISI
آخرین بروز رسانی مارس ۲۰۲۳
Scopus
آخرین بروز رسانی فوریه ۲۰۲۲
این مجله در فهرست مجلات Scopus قرار دارد بر اساس تقسیم بندی این بنیاد مقالات چاپ شده در این مجله در رشته های تخصصی زیر قرار دارند:
SCImago
آخرین بروز رسانی ژانویه ۲۰۲۰
بر اساس دسته بندی این بنیاد این مجله در دسته Q2 قرار دارد
رشته تخصصی و رتبه مجله در آن رشته:
اهداف مجله
Acta Informatica انتشار بین‌المللی مقالاتی در مورد روش‌های رسمی برای طراحی و تحلیل برنامه‌ها، سیستم‌های محاسباتی و ساختارهای اطلاعاتی و همچنین زمینه‌های مرتبط علوم کامپیوتر نظری مانند نظریه اتوماتا، منطق در علوم کامپیوتر و الگوریتم ارائه می‌کند. موضوعات مورد علاقه عبارتند از :• معناشناسی زبان های برنامه نویسی• مدل ها و زبان های مدل سازی برای سیستم های همزمان، توزیع شده، واکنشی و متحرک• مدل ها و زبان های مدل سازی برای سیستم های زمان دار، ترکیبی و احتمالاتی• مشخصات، تحلیل و تایید برنامه• بررسی مدل و اثبات قضیه• مودال، زمانی، منطق های مرتبه اول و بالاتر و انواع آنها• منطق محدودیت، تکنیک های حل SAT/SMT• جنبه های نظری پایگاه های داده، داده های نیمه ساختاریافته و نظریه مدل محدود• جنبه های نظری هوش مصنوعی، نمایش دانش، منطق توصیف• نظریه خودکار ، زبان های رسمی، بازنویسی اصطلاحات و نمودارها• مدل های مبتنی بر بازی، ترکیب • نوع تئو ry، محاسبات تایپ شده• روش های جبری، جبری و طبقه بندی، جنبه های رسمی عملکرد، قابلیت اطمینان و تجزیه و تحلیل قابلیت اطمینان، مبانی اطلاعات و امنیت شبکه، الگوریتم های موازی، توزیع شده و تصادفی، طراحی و تحلیل الگوریتم ها، مبانی پروتکل های شبکه و ارتباطات