课题基金 / 基金详情

From specification to synthesis

From specification to synthesis
从规范到综合
批准号:
229742437
负责人:
Professor Dr. Martin Lange
金额:
$0.0万
依托单位国家:
德国
项目类别:
Heisenberg Professorships
财政年份:
2013
资助国家:
德国
项目状态:
已结题
起止时间:
2012-12-31 至 2021-12-31
关键词:

项目摘要

项目成果

Professor Dr. Martin Lange的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
The precondition for a Heisenberg Programme funding is high scientific quality and originality of the research project at international level and suitability for further qualification as a university teacher. Applicants need to meet all the requirements for appointment to a permanent professorship.The aim of this programme is to enable outstanding scientists to prepare for a scientific leadership function, and simultaneously work on further research topics. This research does not necessarily need to be planned and carried out in the form of a project.For this reason, and unlike the procedure in other funding programmes, both the abstracts of applications and final reports are not required and will therefore not be published in GEPRIS.
期刊论文(8)
专著(0)
科研奖励(0)
会议论文
DOI: 10.4204/eptcs.161.12
发表时间: 2014-01-01
期刊: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
影响因子: --
作者: [Bruse, Florian, Falk, Michael, Lange, Martin]
通讯作者: Lange, Martin
Multi-buffer simulations: Decidability and complexity
多缓冲区模拟:可判定性和复杂性
DOI: 10.1016/j.ic.2018.09.008
发表时间: 2018
期刊: Inf. Comput.
影响因子: --
作者: [M. Hutagalung, N. Hundeshagen, D. Kuske, M. Lange, E. Lozes]
通讯作者: E. Lozes
EMFeR: Model Checking for Object Oriented (EMF) Models
EMFeR:面向对象 (EMF) 模型的模型检查
DOI: 10.5220/0007681605130520
发表时间: 2019
期刊:
影响因子: --
作者: [C. Eickho, M. Lange, S.-L. Raesch, A. Zündorf]
通讯作者: A. Zündorf
Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings
自动推理 - 第七届国际联合会议,IJCAR 2014,作为维也纳逻辑之夏的一部分举行,VSL 2014,奥地利维也纳,2014 年 7 月 19-22 日
DOI: 10.1007/978-3-319-08587-6
发表时间: 2014
期刊:
影响因子: --
作者: [R. Ehlers, M. Lange]
通讯作者: M. Lange
7
    Verifikation nicht-regulärer Eigenschaften
    国内基金
    海外基金
    胆固醇合成蛋白CYP51介导线粒体通透性转换诱发Th17/Treg细胞稳态失衡在舍格伦综合征中的作用机制研究
    • 批准号:
      82370976
    • 项目类别:
      面上项目
    • 资助金额:
      48.00万元
    • 批准年份:
      2023
    • 负责人:
      郑凌艳
    • 依托单位:
    “肠—肝轴”PPARα/CYP8B1胆汁酸合成信号通路在减重手术改善糖脂代谢中的作用与机制
    • 批准号:
      82370902
    • 项目类别:
      面上项目
    • 资助金额:
      49.00万元
    • 批准年份:
      2023
    • 负责人:
      田景琰
    • 依托单位:
    lncGEI诱导湖羊卵巢颗粒细胞E2合成的分子机制
    • 批准号:
      32372856
    • 项目类别:
      面上项目
    • 资助金额:
      50.00万元
    • 批准年份:
      2023
    • 负责人:
      李隐侠
    • 依托单位:
    脂肪酸合成通过GDF15/IRS2介导胰岛素抵抗促进血管内皮细胞活化导致脓毒症肺损伤的机制研究
    • 批准号:
      82372203
    • 项目类别:
      面上项目
    • 资助金额:
      49.00万元
    • 批准年份:
      2023
    • 负责人:
      李然然
    • 依托单位: