| نمایه | آخرین بروز رسانی |
|---|---|
| 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 قرار دارد و با نام Acta Informatica ثبت شده است. بر اساس تقسیم بندی این بنیاد مقالات چاپ شده در این مجله در رشته های تخصصی زیر قرار دارند:
SCImago بر اساس دسته بندی این بنیاد این مجله در دسته Q2 قرار دارد
رشته تخصصی و رتبه مجله در آن رشته:
Acta Informatica انتشار بینالمللی مقالاتی در مورد روشهای رسمی برای طراحی و تحلیل برنامهها، سیستمهای محاسباتی و ساختارهای اطلاعاتی و همچنین زمینههای مرتبط علوم کامپیوتر نظری مانند نظریه اتوماتا، منطق در علوم کامپیوتر و الگوریتم ارائه میکند. موضوعات مورد علاقه عبارتند از :• معناشناسی زبان های برنامه نویسی• مدل ها و زبان های مدل سازی برای سیستم های همزمان، توزیع شده، واکنشی و متحرک• مدل ها و زبان های مدل سازی برای سیستم های زمان دار، ترکیبی و احتمالاتی• مشخصات، تحلیل و تایید برنامه• بررسی مدل و اثبات قضیه• مودال، زمانی، منطق های مرتبه اول و بالاتر و انواع آنها• منطق محدودیت، تکنیک های حل SAT/SMT• جنبه های نظری پایگاه های داده، داده های نیمه ساختاریافته و نظریه مدل محدود• جنبه های نظری هوش مصنوعی، نمایش دانش، منطق توصیف• نظریه خودکار ، زبان های رسمی، بازنویسی اصطلاحات و نمودارها• مدل های مبتنی بر بازی، ترکیب • نوع تئو ry، محاسبات تایپ شده• روش های جبری، جبری و طبقه بندی، جنبه های رسمی عملکرد، قابلیت اطمینان و تجزیه و تحلیل قابلیت اطمینان، مبانی اطلاعات و امنیت شبکه، الگوریتم های موازی، توزیع شده و تصادفی، طراحی و تحلیل الگوریتم ها، مبانی پروتکل های شبکه و ارتباطات