دانلود رایگان مقالات نشریه ISI علوم کامپیوتر نظری

انتخاب تست برای پاکسازی ردیابی

Test selection for traces refinement

42 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه

قابلیت دسترسی پایدار در اتوماتیک و بازی های زمانبندی: یک رویکرد مبتنی بر بازی

Robust reachability in timed automata and games: A game-based approach

32 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه

کوانتیزرها و یکپارچه سازی یکنواخت برای منطق مرتبه اول محافظت شده

Bisimulation quantifiers and uniform interpolation for guarded first order logic

11 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه

Editorial Board

7 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه

On conditions for mappings to preserve optimal solutions of semiring-induced valuation algebras

13 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه

On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi

45 صفحه فرمت PDF سال انتشار : 2015 دانلود متن کامل مقاله ISI سفارش ترجمه