劳伦特·特里林
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2010 – 2019
2017 [第18条] Quoc-Trung Vuong公司 , 罗斯琳·乔文 , 塞尔吉乌·伊万诺夫 , 尼古拉斯·格拉德 , 劳伦特·特里林 :
一种基于逻辑约束的方法来推断和探索阈值布尔自动机网络中的多样性和组合。 复杂网络 2017 : 567-579 2015 [第17条] 尼古拉斯·莫迪亚 , 亚历山大·罗卡 , 塞缪尔·科尔顿 , 埃里克·范雄 , 劳伦特·特里林 :
非单调框架中调控基因网络的逻辑建模与分析。 IWBBIO(1) 2015 : 599-612 2012 [第16条] 法比安·科尔布林 , 埃里克·范雄 , 劳伦特·特里林 , 克劳丁·朝义亚(Claudine Chaouiya) , 丹尼斯·蒂夫里 :
从不完全基因相互作用和表达数据中自动推断调控和动力学特性。 IPCAT公司 2012 : 25-30 2010 [j6] 法比安·科尔布林 , 埃里克·范雄 , 劳伦特·特里林 :
形式化方法在解码离散遗传网络中的应用。 BMC生物信息。 11 : 385 ( 2010 )
2000 – 2009
2009 [j5] 法比安·科尔布林 , 塞巴斯蒂安·特里波迪 , 埃里克·范雄 , Delphine绳索 , 劳伦特·特里林 :
一种基于声明性约束的离散遗传调控网络分析方法。 生物晶体。 98 ( 2 ) : 91-104 ( 2009 ) 2007 【j4】 法比安·科尔布林 , 埃里克·范雄 , 劳伦特·特里林 :
生物技术的现代化与程序逻辑的差异是有限制的。 技术科学。 信息类 26 ( 1-2 ) : 73-98 ( 2007 ) 2004 [第15条] 埃里克·范雄 , 法比安·科尔布林 , 劳伦特·特里林 , 巴斯蒂恩·赫曼特 , 丹妮尔·古利诺 :
控制人类内皮细胞间粘附的分子网络建模:使用约束逻辑编程的推断和模拟。 CMSB公司 2004 : 104-118 2001 [第14条] 塞巴斯蒂安·布托德·加松 , 米歇尔·杜穆林 , 劳伦特·特里林 :
长期解决游戏秩序的方法是保持游戏时间的整合动态。 JFPLC公司 2001 : 59-74 2000 [第13条] 尼古拉斯·蒂里·米格 , 劳伦特·特里林 :
InterDB,一个面向预测的秀丽线虫蛋白质相互作用数据库。 约比姆 2000 : 135-146
1990 – 1999
1999 [j3] 丹尼斯·布希诺 , 劳伦特·特里林 , 雅克·科恩 :
CLP的一个应用:检查几何定理的正确性。 制约国际期刊。 4 ( 4 ) : 383-405 ( 1999 ) [第12条] 米歇尔·利维 , 劳伦特·特里林 :
一种基于PVS的教学方法,用于构建正确的迭代。 形式方法世界大会 1999 : 1859-1860 1995 [第11条] 理查德艾伦 , 劳伦特·特里林 :
逻辑编程:教育系统开发的工具。 WCCE公司 1995 : 953-962 1994 [第10条] 理查德艾伦 , 西里尔·德斯穆林 , 劳伦特·特里林 :
逻辑程序设计和教育系统之间的交叉受精。 ICLP研讨会:逻辑编程与教育 1994 【c9】 珍妮·艾德 , 米歇尔·利维 , 劳伦特·特里林 :
逻辑程序设计教学中的约束条件。 ICLP研讨会:逻辑编程与教育 1994 1993 【c8】 理查德艾伦 , 珍妮·艾德 , 劳伦特·特里林 :
基于约束的几何图形的自动构造和操作。 国际JCAI 1993 : 453-459 1992 【c7】 理查德艾伦 , 西里尔·德斯穆林 , 劳伦特·特里林 :
Tuteurs Intelligents and Intelligence Artificielle:构建数字模型的问题。 智能教学系统 1992 : 325-334 1991 【c6】 丹尼尔·赫尔曼 , 劳伦特·特里林 :
使用分布式可调用过程在超立方体上构造并行排序程序。 高级并行程序设计语言的研究方向 1991 : 374-385 【c5】 丹尼尔·赫尔曼 , 劳伦特·特里林 :
使用分布式过程调用编程并行排序。 ICCI公司 1991 : 415-417
1980 – 1989
1970 – 1979
1979 [注2] Jean-Pierre Banátre女士 , Jean-Paul Routeau女士 , 劳伦特·特里林 :
事件驱动编译技术。 Commun公司。 ACM公司 22 ( 1 ) : 34-42 ( 1979 ) 1974 [j1] 雅克·科恩 , 劳伦特·特里林 , 彼得·韦格纳 :
Algol-68中描述的理论证明的核心。 国际J并行程序。 三 ( 1 ) : 1-31 ( 1974 ) 1970 【c1】 劳伦特·特里林 , Jean-Pierre Verjus公司 :
尝试定义可扩展系统。 ALGOL 68实现 1970 : 119-139
1960 – 1969
1967 【b1】 劳伦特·特里林 :
对语言编程的贡献:应用程序结构定义动态。 法国格勒诺布尔约瑟夫·傅里叶大学, 1967
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)