默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

托马斯·P·詹森

>主页 >珀森斯

人员信息

附属： Inria，法国雷恩

其他同名人员

请参阅常见问题解答

为什么有些名字后面跟着一个四位数的数字？

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2024
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/FilinskiLJ24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/FilinskiLJ24
安德烈·菲林斯基,肯·弗里斯·拉森,托马斯·P·詹森:
公理化基于部分等价关系的信息流逻辑。国际期刊软件。技术工具。Transf公司。 26(4):445-461(2024)
2023
[公元74年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fscd/LosekootGJ23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fscd/LosekootGJ23
Théo Losekoot酒店,托马斯·杰奈特,托马斯·P·詹森:
代数数据结构上函数关系性质的基于自动机的验证。金融稳定与发展部 2023:7:1-7:22
[公元73年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/percom/OlivieriJNS23公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/per.com/OlivieriJNS23
卢卡·奥利维耶里,托马斯·P·詹森,卢卡·内格里尼,福斯托·斯波托:
MichelsonLiSA：Tezos静态分析仪。 PerCom研讨会 2023:80-85
[公元72年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/RaimondiBJ23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/RaimondiBJ23
戈蒂尔·雷蒙迪,弗雷德里克·贝松,托马斯·P·詹森:
用于常量时间强制的类型定向程序转换。 PPDP（PPDP） 2023:6:1-6:13
[公元71年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2309-07298
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2309-07298
托马斯·P·詹森,文森特·雷比斯科尔,阿兰·施密特:
从骨架语义学派生抽象解释器。快速/SOS 2023:97-113
2022
[公元70年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/BautistaJM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/BautistaJM22
圣地亚哥·包蒂斯塔,托马斯·P·詹森,贝诺·蒙塔古:
将数值关系域提升为代数数据类型。 SAS公司 2022:104-134
2021
[公元21年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tosem/Al-SibahiJDW21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tosem/Al-SibahiJDW21
艾哈迈德·萨利姆·西巴希,托马斯·P·詹森,阿列克桑达尔·迪莫夫斯基,安德烈·瓦索夫斯基:
使用归纳精化类型验证程序转换。 ACM事务处理。柔和。工程方法。 30(1):5:1-5:33(2021)
[公元69年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/MontaguJ21公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/MontaguJ21网站
贝诺·蒙塔古,托马斯·P·詹森:
基于轨迹的控制流分析。 PLDI公司 2021:482-496
2020
[公元20年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/HaudebourgGJ20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacpl/HaudeburgGJ20
蒂莫塞·豪德堡,托马斯·杰奈特,托马斯·P·詹森:
带术语重写的正则语言类型推断。程序。ACM计划。语言。 4(ICFP公司):112:1-112:29(2020)
[公元19年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/MontaguJ20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/MontaguJ20
贝诺·蒙塔古,托马斯·P·詹森:
高阶程序的稳定关系和抽象解释。程序。ACM计划。语言。 4(ICFP公司):119:1-119:30(2020)
[公元68年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/Al-SibahiJMW15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Al-SibahiJMW15
艾哈迈德·萨利姆·西巴希,托马斯·P·詹森,Rasmus Ejlers Møgelberg公司,安德烈·瓦索夫斯基:
递归类型的Galois连接。通过程序分析从Lambda演算到网络安全 2020:105-131
[公元67年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icete/GenetJS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icete/GenetJS20
托马斯·杰奈特,托马斯·P·詹森,贾斯汀·索瓦奇:
终止以太坊的智能合约。 ICETE（2） 2020:39-51

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[公元18年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/BodinGJS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/BodinGJS19
摄影,菲利普·加德纳,托马斯·P·詹森,阿兰·施密特:
骨骼语义学及其解释。程序。ACM计划。语言。三(POPL公司):44:1-44:31(2019)
[公元17年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/AndreescuJLM19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/AndreescuJLM19
奥纳·法比亚娜·安德列斯库,托马斯·P·詹森,圣埃芬·莱斯库耶,贝诺·蒙塔古:
通过静态相关分析推断框架条件。程序。ACM计划。语言。三(POPL公司):47:1-47:29(2019)
【c66】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/BessonDJ19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/BessonDJ19
弗雷德里克·贝松,亚历山大·丹,托马斯·P·詹森:
编译器优化中的信息流保留。 CSF公司 2019:230-242
[公元65年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/BessonBDJW19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/BessonBDJW19
弗雷德里克·贝松,桑德琳·布拉齐,亚历山大·丹,托马斯·P·詹森,皮埃尔·威尔克:
编译沙盒：正式验证的软件故障隔离。员工持股计划 2019:499-524
2018
[公元64年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ccs/BessonDJ18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ccs/BessonDJ18
弗雷德里克·贝松,亚历山大·当,托马斯·P·詹森:
防止内存探测的安全编译。 CCS的PLAS 2018:29-40
[公元63年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/GenetHJ18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/GenetHJ18
托马斯·杰奈特,蒂莫塞·豪德堡,托马斯·P·詹森:
使用树自动机验证高阶函数。 FoSSaCS公司 2018:565-582
[公元62年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/gpce/Al-SibahiJDW18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gpce/Al-SibahiJDW18（网址：https://dblp.org/rec/conf/gpce/Al-SibahiJDW18）
艾哈迈德·萨利姆·西巴希,托马斯·P·詹森,阿列克桑达尔·迪莫夫斯基,安德烈·瓦索夫斯基:
使用归纳精化类型验证高级转换。 GPCE公司 2018:147-160
[第61条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/BessonJL18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/BessonJL18
弗雷德里克·贝松,托马斯·P·詹森,朱利安·勒皮勒:
作为抽象解释的模块化软件故障隔离。 SAS公司 2018:166-186
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1809-06336
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1809-06336
艾哈迈德·萨利姆·西巴希,托马斯·P·詹森,亚历山大·迪莫夫斯基,安德烈·瓦索夫斯基:
用归纳精化类型验证高层变换。 CoRR公司 abs/1809.06336(2018)
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/cor/abs-1809-09749
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1809-09749
摄影,菲利普·加德纳,托马斯·P·詹森,阿兰·施密特:
骨架语义学及其解释。 CoRR公司 abs/1809.09749(2018)
2016
[公元60年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/贝松BJ16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/BessonBJ16
弗雷德里克·贝松,娜塔莉娅·别洛娃,托马斯·P·詹森:
攻击者知识的混合监控。 CSF公司 2016:225-238
[公元59年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/AndreescuJL16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/AndreescuJL16
奥纳·法比亚娜·安德列斯库,托马斯·P·詹森,圣埃芬·莱斯库耶:
在功能规范中关联结构化输入和输出。 SEFM公司 2016:85-103
[i3]
- 看法
  - 电子版@ercim.eu（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/ercim/BielovaBJ16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ercim/BielovaBJ16
娜塔莉娅·别洛娃,弗雷德里克·贝松,托马斯·P·詹森:
使用JavaScript监控防止设备指纹。 ERCIM新闻 2016(106)(2016)
2015
[公元58年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/BodinJS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/BodinJS15
摄影,托马斯·P·詹森,阿兰·施密特:
经过认证的具有相当大语义学的抽象解释。清洁石油产品 2015:29-40
[公元57年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/AndreescuJL15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/AndreescuJL15
奥纳·法比亚娜·安德列斯库,托马斯·P·詹森,圣埃芬·莱斯库耶:
函数规格说明与代数数据结构的依赖性分析。 ICFEM公司 2015:116-133
[公元56年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tgc/SantosJRS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tgc/SantosJRS15
何塞·弗拉戈索·桑托斯,托马斯·P·詹森,塔玛拉·雷兹克,阿兰·施密特:
类JavaScript语言中安全信息流的混合类型。 TGC公司 2015:63-78
[电子4]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/2015
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/2015
桑德琳·布拉齐,托马斯·P·詹森:
静态分析——第22届国际研讨会，SAS 2015，法国圣马洛，2015年9月9日至11日，会议记录。计算机科学课堂讲稿9291,施普林格 2015，国际标准图书编号978-3-662-48287-2 [目录]
2014
[公元16年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/scp/CacheraJJK14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/CacheraJJK14
大卫·卡切拉,托马斯·P·詹森,阿诺德·乔宾,弗洛伦特·基什内尔:
命令式程序多项式不变量的推论：告别Gröbner基。科学。计算。程序。 93:89-109(2014)
[公元55年]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/jfla/BodinJS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jfla/BodinJS14
摄影,托马斯·P·詹森,阿兰·施密特:
基于相当大步骤的认证摘要解释。 JFLA公司 2014:109-130
[公元54年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/nordsec/贝松BJ14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/nordsec/BessonBJ14
弗雷德里克·贝松,娜塔莉娅·别洛娃,托马斯·P·詹森:
针对指纹的浏览器随机性：一种定量信息流方法。北欧证券 2014:181-196
[公元53年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/BessonJV14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/BessonJV14
弗雷德里克·贝松,托马斯·P·詹森,皮埃尔·维特特:
SawjaCard：用于认证Java卡应用程序的静态分析工具。 SAS公司 2014:51-67
2013
[第52条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csfw/BessonBJ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csfw/BessonBJ13
弗雷德里克·贝松,娜塔莉娅·别洛娃,托马斯·P·詹森:
针对Web跟踪的混合信息流监控。 CSF公司 2013:240-254
[第51条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/BessonCJ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/BessonCJ13
弗雷德里克·贝松,皮埃尔·埃曼纽尔·科尼勒奥,托马斯·P·詹森:
带有自动定理证明程序的静态程序分析器的结果认证。 VSTTE公司 2013:304-325
[公元50年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BodinJS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BodinJS13
摄影,托马斯·P·詹森,阿兰·施密特:
基于相当大步骤的认证摘要解释（初步版本）。 Dave Schmidt的Festschrift 2013:360-383
2012
[公元15年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1204-4322
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1204-4322
托马斯·P·詹森,弗洛伦特·基什内尔,大卫·皮哈迪:
保护克隆。日志。方法计算。科学。 8(2)(2012)
[公元14年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/MidtgaardJ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/MidtgaardJ12
扬·米德加德,托马斯·P·詹森:
通过抽象解释对函数调用和返回进行控制流分析。 Inf.计算。 211:49-76(2012)
[公元49年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/CacheraJJK12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/CacheraJJK12
大卫·卡切拉,托马斯·P·詹森,阿诺德·乔宾,弗洛伦特·基什内尔:
强制程序多项式不变量的推断：告别Gröbner基。 SAS公司 2012:58-74
2011
[公元48年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/JensenKP11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/JensenKP11
托马斯·P·詹森,弗洛伦特·基什内尔,大卫·皮哈迪:
保护克隆-静态强制执行安全对象复制策略。员工持股计划 2011:317-337
2010
[j13]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jcs/Besson DJP10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jcs/BessonDJP10
弗雷德里克·贝松,纪尧姆·迪费,托马斯·P·詹森,大卫·皮哈迪:
验证移动交互设备上的资源访问控制。 J.计算。安全。 18(6):971-998(2010)
[公元12年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/CacheraJJS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/CacheraJJS10
大卫·卡切拉,托马斯·P·詹森,阿诺德·乔宾,帕斯卡·索廷:
通过二元体上线性算子的近似进行长期成本分析。数学。结构。计算。科学。 20(4):589-624(2010)
[公元47年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/DemangeJP10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/DemangeJP10
Delphine Demange公司,托马斯·P·詹森,大卫·皮哈迪:
Java字节码的一种可证明正确的无堆栈中间表示法。阿普拉斯 2010:97-113
[公元46年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esorics/HubertJMP10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esorics/HubertJMP10
劳伦特·休伯特,托马斯·P·詹森,文森特·蒙福特,大卫·皮哈迪:
在Java中实施安全对象初始化。 ESORICS公司 2010:101-115
[公元45年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/foveoos/HubertBBDJMPT10会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/foveoos/HubertBBDJMPT10
劳伦特·休伯特,尼古拉斯·巴雷,弗雷德里克·贝松,Delphine Demange公司,托马斯·P·詹森,文森特·蒙福特,大卫·皮哈迪,蒂芬·特平:
Sawja:Java静态分析研讨会。 FoVeOOS公司 2010:92-106
[公元44年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tgc/BessonJPT10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tgc/贝松JPT10
弗雷德里克·贝松,托马斯·P·詹森,大卫·皮哈迪,蒂芬·特平:
字节码程序多面体分析的认证结果检查。 TGC公司 2010:253-267
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1007-3133
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1007-3133
劳伦特·休伯特,托马斯·P·詹森,文森特·蒙福特,大卫·皮哈迪:
在Java中实施安全对象初始化。 CoRR公司 abs/1007.3133(2010)
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1007-3353
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1007-3353
劳伦特·休伯特,尼古拉斯·巴雷,弗雷德里克·贝松,Delphine Demange公司,托马斯·P·詹森,文森特·蒙福特,大卫·皮哈迪,蒂芬·特平:
Sawja:Java静态分析研讨会。 CoRR公司腹肌/100 7.3353(2010)

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2009
[公元43年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fosad/BessonCJP09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fosad/BessonCJP09
弗雷德里克·贝松,大卫·卡切拉,托马斯·P·詹森,大卫·皮哈迪:
通过抽象解释认证的静态分析。福萨德 2009:223-257
[公元42年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/MidtgaardJ09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/MidtgaardJ09
扬·米德加德,托马斯·P·詹森:
通过抽象解释对函数调用和返回进行控制流分析。 ICFP公司 2009:287-298
2008
[公元41年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/CacheraJJS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/CacheraJJS08
大卫·卡切拉,托马斯·P·詹森,阿诺德·乔宾,帕斯卡·索廷:
二元体上线性算子近似的长期成本分析。 AMAST公司 2008:122-138
[公元40年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BoyerGJ08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BoyerGJ08
贝诺·博伊尔,托马斯·杰奈特,托马斯·P·詹森:
证明一个树自动机完成检查器。国际JCAR 2008:523-538
[c39]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ecop/BessonJT08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecop/BessonJT08
弗雷德里克·贝松,托马斯·P·詹森,蒂芬·特平:
使用接口计算堆栈映射。 ECOOP公司 2008:642-666
[公元38年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fmoods/HubertJP08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmoods/HubertJP08
劳伦特·休伯特,托马斯·P·詹森,大卫·皮哈迪:
非完整注释的语义基础和推理。 FMOODS公司 2008:132-149
[公元37年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/MidtgaardJ08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/MidtgaardJ08
扬·米德加德,托马斯·P·詹森:
通过抽象解释进行控制流分析的计算方法。 SAS公司 2008:347-362
2007
[公元36年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/BessonJT07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/BessonJT07
弗雷德里克·贝松,托马斯·P·詹森,蒂芬·特平:
基于抽象解释的校对的小型见证人。员工持股计划 2007:268-283
[公元35年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmco/BartheCGJP07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmco/BartheCGJP07
吉尔斯·巴特,皮埃尔·克雷古特,本杰明·格雷戈里,托马斯·P·詹森,大卫·皮哈迪:
MOBIUS验证携带代码基础设施。 FMCO公司 2007:1-24
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/BoichutGJR07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/BoichutGJR07
尤汉·博伊库特,托马斯·杰奈特,托马斯·P·詹森,卢卡·勒鲁:
静态分析仪快速原型的重写近似。区域贸易协定 2007:48-62
2006
[公元11年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BessonJP06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BessonJP06
弗雷德里克·贝松,托马斯·P·詹森,大卫·皮哈迪:
经过认证的抽象解释和定点压缩的校验码。西奥。计算。科学。 364(三):273-291(2006)
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/亚洲/GernecBJS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asian/GuernicBJS06
Gurvan Le Guernic公司,安妮迪亚·班纳吉,托马斯·P·詹森,大卫·A·施密特:
基于自动化的机密性监控。亚洲的 2006:75-89
[公元32年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esorics/BessonDJ06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esorics/BessonDJ06
弗雷德里克·贝松,纪尧姆·迪费,托马斯·P·詹森:
移动交互设备访问控制的形式化模型。 ESORICS公司 2006:110-126
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/Jensen06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/Jensen06网址
托马斯·P·詹森:
移动电话资源使用证书。 ISoLA公司 2006:6-7
[公元30年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/SotinCJ06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/SotinCJ06
帕斯卡·索廷,大卫·卡切拉,托马斯·P·詹森:
半环上的定量静态分析：分析Java卡的缓存行为。 QAPL公司 2006:153-167
2005
[公元10年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/BessonLJ05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/BessonLJ05
弗雷德里克·贝松,托马斯·德格雷尼尔·德拉图尔,托马斯·P·詹森:
烟囱检查接口。 J.功能。程序。 15(2):179-217(2005)
[公元9年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/CacheraJPR05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/CacheraJPR05
大卫·卡切拉,托马斯·P·詹森,大卫·皮哈迪,弗拉德·鲁苏:
在构造逻辑中提取数据流分析器。西奥。计算。科学。 342(1):56-78(2005)
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/CacheraJPS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/CacheraJPS05
大卫·卡切拉,托马斯·P·詹森,大卫·皮哈迪,杰拉尔多·施奈德:
认证内存使用分析。 FM公司 2005:91-106
[e3]
- 看法
- 出口记录
  dblp键：
  - conf/paste/2005
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/paste/2005
迈克尔·D·恩斯特,托马斯·P·詹森:
2005年ACM SIGPLAN-SIGSOFT软件工具和工程程序分析研讨会论文集，PASTE'05，葡萄牙里斯本，2005年9月5-6日。 ACM公司 2005，国际标准图书编号1-59593-239-9 [目录]
2004
[j8]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlp/HuismanJ04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlp/HuismanJ04
Marieke Huisman公司,托马斯·P·詹森:
客座编辑介绍：智能卡形式方法专刊。 J.日志。代数方法程序。 58(1-2):1-2(2004)
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tsi/EluardJ04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tsi/EluardJ04
马克·卢阿尔,托马斯·P·詹森:
多应用程序控制的验证。技术科学。信息类 23(三):323-357(2004)
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/CacheraJPR04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/CacheraJPR04
大卫·卡切拉,托马斯·P·詹森,大卫·皮哈迪,弗拉德·鲁苏:
在构造逻辑中提取数据流分析器。员工持股计划 2004:385-400
2003
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/BanerjeeJ03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/BanerjeeJ03
安妮迪亚·班纳吉,托马斯·P·詹森:
2级交叉口类型的模块化控制流分析。数学。结构。计算。科学。 13(1):87-124(2003)
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/toplas/SpotoJ03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/toplas/SpotoJ03
福斯托·斯波托,托马斯·P·詹森:
类分析是对跟踪语义的抽象解释。 ACM事务处理。程序。语言系统。 25(5):578-630(2003)
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/BessonJ03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/BessonJ03
弗雷德里克·贝松,托马斯·P·詹森:
使用DATALOG进行模块化类分析。 SAS公司 2003:19-36
[公元26年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/GenetJKP03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/GenetJKP03
托马斯·杰奈特,托马斯·P·詹森,维卡什·科达蒂,大卫·皮哈迪:
PVS中的Java卡CAP转换器。 COCV@ETAPS 2003:426-442
2002
【j4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/DenneyJ02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/DenneyJ02
埃文·丹尼,托马斯·P·詹森:
通过逻辑关系查找Java卡方法的正确性。西奥。计算。科学。 283(2):305-331(2002)
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/Jensen02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Jensen02
托马斯·P·詹森:
程序分析中的类型。计算的本质 2002:204-222
[公元24年]
- 看法
  - 电子版@usenix.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cardis/EluardJ02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cardis/EluardJ02
马克·埃卢德,托马斯·P·詹森:
Java卡的安全对象流分析。卡迪斯 2002:97-110
【c23】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fics/JensenPR02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fics/JensenPR02
托马斯·P·詹森,弗洛里蒙德·普洛耶特,奥利维尔·里杜克斯:
定点计算的迭代方案。菲莎国际学院 2002:69-76
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/贝松LJ02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/BessonLJ02
弗雷德里克·贝松,托马斯·德格雷尼尔·德拉图尔,托马斯·P·詹森:
用于堆栈检查的安全调用上下文。 PPDP（PPDP） 2002:76-87
2001
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jcs/BessonJM01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jcs/BessonJM01
弗雷德里克·贝松,托马斯·P·詹森,丹尼尔·勒·梅泰勒:
模型检查控制流图的安全属性。 J.计算。安全。 9(三):217-250(2001)
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esmart/EluardJD01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esmart/EluardJD01
马克·埃卢德,托马斯·P·詹森,埃文·丹尼:
Java卡防火墙的操作语义。电子智能 2001:95-110
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/JensenS01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/JensenS01
托马斯·P·詹森,福斯托·斯波托:
通过抽象解释对面向对象程序进行类分析。 FoSSaCS公司 2001:261-275
[电子2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esmart/2001
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esmart/2001
伊莎贝拉·阿塔利,托马斯·P·詹森:
智能卡编程和安全，智能卡研究国际会议，E-Smart 2001，戛纳，法国，2001年9月19-21日，会议记录。计算机科学课堂讲稿2140,施普林格 2001，国际标准图书编号3-540-42610-8 [目录]
[电子1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/javacard/2000
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/javacard/2000
伊莎贝拉·阿塔利,托马斯·P·詹森:
智能卡上的Java：编程和安全，第一次国际研讨会，JavaCard 2000，法国戛纳，2000年9月14日，修订论文。计算机科学课堂讲稿2041,施普林格 2001，国际标准图书编号3-540-42167-X号 [目录]
2000
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/DenneyJ00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/DenneyJ00
埃文·丹尼,托马斯·P·詹森:
通过逻辑关系查找Java卡方法的正确性。员工持股计划 2000:104-118

1990 – 1999

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1999
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/BessonJT99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/BessonJT99
弗雷德里克·贝松,托马斯·P·詹森,Jean-Pierre Talpin女士:
同步语言的多面体分析。 SAS公司 1999:51-68
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sp/JensenMT99文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sp/JensenMT99
托马斯·P·詹森,丹尼尔·勒·梅泰勒,汤米·索恩:
验证基于控制流的安全属性。标准普尔 1999:89-103
1998
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ecopw/JensenMT98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecoopw/JensenMT98
托马斯·P·詹森,丹尼尔·勒·梅泰勒,汤米·索恩:
粗粒度Java安全策略。 ECOOP研讨会 1998:296
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iccl/JensenMT98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iccl/JensenMT98
托马斯·P·詹森,丹尼尔·勒·梅泰勒,汤米·索恩:
Java中的安全和动态类加载：形式化。 ICCL公司 1998:4-15
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Jensen98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Jensen98
托马斯·P·詹森:
多态性和条件严格性的推断。 POPL公司 1998:209-221
1997
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/toplas/Jensen97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/toplas/Jensen97
托马斯·P·詹森:
代数数据类型的析取程序分析。 ACM事务处理。程序。语言系统。 19(5):751-803(1997)
1996
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/Jensen公司M96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/JensenM96
托马斯·P·詹森,伊恩·麦基:
相互作用几何中的流动分析。员工持股计划 1996:188-203
1995
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Jensen95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Jensen95
托马斯·P·詹森:
连接型系统与高阶函数程序的抽象解释。 J.日志。计算。 5(4):397-421(1995)
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pepm/Jensen公司95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pepm/Jensen95
托马斯·P·詹森:
同步数据流程序的时钟分析。政治公众人物 1995:156-167
1994
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iccl/Jensen公司94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iccl/Jensen94
托马斯·P·詹森:
代数数据类型的抽象解释。 ICCL公司 1994
[第10条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/英制/简森94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/interal/Jensen94
托马斯·P·詹森:
定时数据流程序的表示语义。理论与形式方法 1994:381-396
1993
【c9】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/英制/ErringtonHJ93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/interal/ErringtonHJ93
林赛·埃尔林顿,克里斯·汉金,托马斯·P·詹森:
关于Gamma程序的推理。理论与形式方法 1993:115-125
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/ErringtonHJ93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/ErringtonHJ93
林赛·埃尔林顿,克里斯·汉金,托马斯·P·詹森:
Gamma程序的一致性。 WSA公司 1993:242-253
1992
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/GoubaultJ92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/GoubaultJ92
埃里克·古堡,托马斯·P·詹森:
高维自动机的同调。 CONCUR公司 1992:254-268
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Jensen92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Jensen92
托马斯·P·詹森:
析取严格性分析。低收入国家 1992:174-185
【c5】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/sas/Jensen92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/Jensen92
托马斯·P·詹森:
递归数据结构的公理化统一属性。 WSA公司 1992:144-151
1991
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fpca/Jensen91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fpca/Jensen91
托马斯·P·詹森:
逻辑形式的严格性分析。 FPCA公司 1991:352-366
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/AbramskyJ91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/AbramskyJ91
萨姆森·阿布拉姆斯基,托马斯·P·詹森:
高阶多态函数严格性分析的一种关系方法。 POPL公司 1991:49-54
1990
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/JensenM90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/JensenM90
托马斯·P·詹森,托本。莫根森:
编译时垃圾收集的向后分析。员工持股计划 1990:227-239
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fp/Jensen90文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fp/Jensen90
托马斯·P·詹森:
抽象解释与类型推理——拓扑观点。功能性编程 1990:141-145

合著者索引

请参阅常见问题解答

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。