National Science Library, Chinese Academy of Sciences
  登录 机构网站 ENGLISH
您当前的位置是:电子期刊浏览 --> 卷期浏览
Acta Informatica(1,843)
ISSN: 0001-5903
1    
Planning and execution with flexible timelines: a formal account 期刊论文

Acta Informatica     ISSN:0001-5903  Volume:53  Issue:6  Page:649-680  

Cialdea Mayer Marta;   Orlandini Andrea;   Umbrico Alessandro;  

来源数据库:[Web of Science, Scopus, ABI/INFORM Global]         被引频次:7

文摘信息 获取全文 问图书馆员

2    
A theory of formal synthesis via inductive learning 期刊论文

Acta Informatica     ISSN:0001-5903  Volume:54  Issue:7  Page:693-726  

Jha Susmit;   Seshia Sanjit A;  

来源数据库:[Web of Science, Scopus, ABI/INFORM Global]         被引频次:9

文摘信息 获取全文 问图书馆员

3    
Concurrent abstract state machines 期刊论文

Acta Informatica     ISSN:0001-5903  Volume:53  Issue:5  Page:469-492  

Börger Egon;   Schewe Klaus-Dieter;  

来源数据库:[Web of Science, Scopus, ABI/INFORM Global]         被引频次:16

文摘信息 获取全文 问图书馆员

4    
Precise parameter synthesis for stochastic biochemical systems 期刊论文

Acta Informatica     ISSN:0001-5903  Volume:54  Issue:6  Page:589-623  

Češka Milan;   Dannenberg Frits;   Paoletti Nicola;   Kwiatkowska Marta;   Brim Luboš;  

来源数据库:[Web of Science, Scopus, ABI/INFORM Global]         被引频次:5

文摘信息 获取全文 问图书馆员

5    
Checking interval properties of computations 期刊论文

Acta Informatica     ISSN:0001-5903  Volume:53  Issue:6  Page:587-619  

Molinari Alberto;   Montanari Angelo;   Murano Aniello;   Perelli Giuseppe;   Peron Adriano;  

来源数据库:[Web of Science, Scopus, ABI/INFORM Global]         被引频次:10

文摘信息 获取全文 问图书馆员

6    
Safe projections of binary data sets 期刊论文

Acta Informatica     ISSN:0001-5903  Volume:42  Issue:8  Page:617-638  

Tatti Nikolaj;  

来源数据库:[Web of Science, Scopus, ABI/INFORM Global]         被引频次:4

文摘信息 获取全文 问图书馆员

7    
Reactive synthesis with maximum realizability of linear temporal logic specifications 期刊论文

Acta Informatica     ISSN:0001-5903  

Dimitrova Rayna;   Ghasemi Mahsa;   Topcu Ufuk;  

问图书馆员

8    
Static versus dynamic reversibility in CCS 期刊论文

Acta Informatica     ISSN:0001-5903  

Lanese Ivan;   Medić Doriana;   Mezzina Claudio Antares;  

问图书馆员

9    
Subsequence versus substring constraints in sequence pattern languages 期刊论文

Acta Informatica     ISSN:0001-5903  

Engels Steven;   Tan Tony;   Van den Bussche Jan;  

问图书馆员

10    
Using contracted solution graphs for solving reconfiguration problems 期刊论文

Acta Informatica     ISSN:0001-5903  Volume:56  Issue:7  Page:619-648  

Bonsma Paul;   Paulusma Daniël;  

来源数据库:Scopus        

文摘信息 获取全文 问图书馆员

11    
Distributive laws for monotone specifications 期刊论文

Acta Informatica     ISSN:0001-5903  Volume:56  Issue:7  Page:585-617  

Rot Jurriaan;  

文摘信息 问图书馆员

12    
Reversible sessions with flexible choices 期刊论文

Acta Informatica     ISSN:0001-5903  Volume:56  Issue:7  Page:553-583  

Castellani Ilaria;   Dezani-Ciancaglini Mariangiola;   Giannini Paola;  

文摘信息 问图书馆员

13    
Synthesizing optimally resilient controllers 期刊论文

Acta Informatica     ISSN:0001-5903  

Neider Daniel;   Weinert Alexander;   Zimmermann Martin;  

问图书馆员

14    
A generalised theory of Interface Automata, component compatibility and error 期刊论文

Acta Informatica     ISSN:0001-5903  Volume:56  Issue:4  Page:287-319  

Fendrich Sascha;   Lüttgen Gerald;  

来源数据库:[Web of Science, Scopus]         被引频次:1

文摘信息 获取全文 问图书馆员

15    
A symbolic algorithm for lazy synthesis of eager strategies 期刊论文

Acta Informatica     ISSN:0001-5903  

Jacobs Swen;   Sakr Mouhammad;  

问图书馆员

16    
Preface to special issue: EXPRESS/SOS 2016 + 2017 期刊论文

Acta Informatica     ISSN:0001-5903  

Peters Kirstin;   Tini Simone;  

问图书馆员

17    
Correction to: Expressiveness of component-based frameworks: a study of the expressiveness of BIP 期刊论文

Acta Informatica     ISSN:0001-5903  

Baranov Eduard;   Bliudze Simon;  

问图书馆员

18    
Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions 期刊论文

Acta Informatica     ISSN:0001-5903  Page:1-28  

Girard Antoine;   Gössler Gregor;  

问图书馆员

19    
Weighted iterated linear control 期刊论文

Acta Informatica     ISSN:0001-5903  Volume:56  Issue:5  Page:447-469  

Fülöp Zoltán;   Vogler Heiko;  

来源数据库:[Web of Science, Scopus]         被引频次:1

文摘信息 获取全文 问图书馆员

20    
The model checking fingerprints of CTL operators 期刊论文

Acta Informatica     ISSN:0001-5903  Volume:56  Issue:6  Page:487-519  

Krebs Andreas;   Meier Arne;   Mundhenk Martin;  

被引频次:0

文摘信息 问图书馆员

< 上一页 1 2 3 4 5 下一页 >
作者信息:×