From specification to synthesis
From specification to synthesis
批准号:
229742437
负责人:
Professor Dr. Martin Lange
金额:
$0.0万
依托单位国家:
德国
项目类别:
Heisenberg Professorships
财政年份:
2013
资助国家:
德国
项目状态:
已结题
起止时间:
2012-12-31 至 2021-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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
Branching-time logics with path relativisation
具有路径相对化的分支时间逻辑
DOI:
10.1016/j.jcss.2013.05.005
发表时间:
2014
期刊:
J. Comput. Syst. Sci.
影响因子:
--
作者:
[M. Latte, M. Lange]
通讯作者:
M. Lange
共 7 条
Verifikation nicht-regulärer Eigenschaften
-
批准号:16789390
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2005
-
负责人:Professor Dr. Martin Lange
-
依托单位:
国内基金
海外基金
登录
查看更多内容
胆固醇合成蛋白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
-
负责人:李然然
-
依托单位:
环状RNA circ-PRKAA1调控肝癌细胞脂代谢重编程的研究
-
批准号:32000527
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:李启东
-
依托单位:
ALDH6A1缺损重塑糖脂代谢促进肝细胞癌发生的机制研究
-
批准号:91957109
-
项目类别:重大研究计划
-
资助金额:79.0万元
-
批准年份:2019
-
负责人:黄赞
-
依托单位:
新型滤波器综合技术-直接综合技术(Direct synthesis Technique)的研究及应用
-
批准号:61671111
-
项目类别:面上项目
-
资助金额:58.0万元
-
批准年份:2016
-
负责人:肖飞
-
依托单位:
双硅化合物反应及天然产物合成应用研究
-
批准号:21172150
-
项目类别:面上项目
-
资助金额:60.0万元
-
批准年份:2011
-
负责人:宋振雷
-
依托单位:
新型M4受体选择性拮抗剂的研究
-
批准号:30973615
-
项目类别:面上项目
-
资助金额:32.0万元
-
批准年份:2009
-
负责人:何新华
-
依托单位:
基于penicillide结构的类天然产物合成及其胆固醇酯转运蛋白抑制的研究
-
批准号:20872019
-
项目类别:面上项目
-
资助金额:32.0万元
-
批准年份:2008
-
负责人:雷新胜
-
依托单位: