基本信息
浏览量:4
职业迁徙
个人简介
Topics of prior research:
– Automatic theorem-proving (1962--1967)
– Recursive (constructive) theory of real valued functions (1962--1967)
– Logic approach to the verification of distributed real-time programs (1996–2006)
– Algorithmics and complexity:
- Recognition of palindromes in real time by a six-head Turing machine (1969-1973, breakthrough result)
- Real-time algorithm that constructs all periodicities of a word (in a compact form) and solves (in real time) classical string-matching problems (1978-1981, breakthrough result)
- Polytime algorithms that construct shortest paths amidst semi-algebraic obstacles (1991-2005)
- Complexity of Markov decision processes (1994-1996)
- Graph grammars to describe polytime classes of hard problems (Slisenko's grammars, 1979-1982)
- Notion of entropie for the systemes of knowledge representation (1991)
- Notion of LRAM; notion of computational complexity of a concrete instance of a problem (1977-1978)
- Fault tolerance of syntax (1990-1993)
- Algorithms for verification of hard real-time systems (1996-2008)
– Automatic theorem-proving (1962--1967)
– Recursive (constructive) theory of real valued functions (1962--1967)
– Logic approach to the verification of distributed real-time programs (1996–2006)
– Algorithmics and complexity:
- Recognition of palindromes in real time by a six-head Turing machine (1969-1973, breakthrough result)
- Real-time algorithm that constructs all periodicities of a word (in a compact form) and solves (in real time) classical string-matching problems (1978-1981, breakthrough result)
- Polytime algorithms that construct shortest paths amidst semi-algebraic obstacles (1991-2005)
- Complexity of Markov decision processes (1994-1996)
- Graph grammars to describe polytime classes of hard problems (Slisenko's grammars, 1979-1982)
- Notion of entropie for the systemes of knowledge representation (1991)
- Notion of LRAM; notion of computational complexity of a concrete instance of a problem (1977-1978)
- Fault tolerance of syntax (1990-1993)
- Algorithms for verification of hard real-time systems (1996-2008)
研究兴趣
论文共 44 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Fields of Logic and Computation IIIpp.291-304, (2020)
HAL (Le Centre pour la Communication Scientifique Directe) (2014)
引用0浏览0引用
0
0
semanticscholar(2008)
引用0浏览0引用
0
0
CSR'08 Proceedings of the 3rd international conference on Computer science: theory and applications (2008)
引用23浏览0EI引用
23
0
加载更多
作者统计
#Papers: 45
#Citation: 640
H-Index: 20
G-Index: 24
Sociability: 4
Diversity: 1
Activity: 0
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn