丽莎·威尔斯
人员信息
优化列表
2010 – 2019
2010 [注2] 杰西卡·阿洛特 , Sac-Pham Tang公司 , 丽莎·威尔斯 , 米凯尔·惠班 , 尼古拉斯·基特 , 克里斯蒂安·萨利纳斯 , 尤金妮·拉宾纳 , 莎伦·阿什沃思 :
苯丙胺对小鼠纹状体结合的影响[ 11 C] 使用Inveon小动物PET扫描仪的Raclopide。 神经影像 52 ( 补遗-1 ) : 184美元 ( 2010 )
2000 – 2009
2007 [j1] 库尔特·延森 , 拉尔斯·迈克尔·克里斯滕森 , 丽莎·威尔斯 :
用于并发系统建模和验证的彩色Petri网和CPN工具。 国际期刊软件。 技术工具。 变压器。 9 ( 3-4 ) : 213-254 ( 2007 ) 2006 【c5】 丽莎·威尔斯 :
使用CPN工具进行性能分析。 VALUETOOLS价值工具 2006 : 59 2005 【c4】 丽莎·威尔斯 , 汤玛斯·麦尔 :
使用彩色Petri网指定和分析变频器的软件安全要求。 ICATPN公司 2005 : 403-422 2003 【c3】 安妮·V·拉特泽 , 丽莎·威尔斯 , 亨利·迈克尔·拉森 , 马德斯·劳尔森 , 雅各布·弗兰克·夸特鲁普 , 马丁·斯蒂格·斯蒂辛 , 迈克尔·韦斯特加德 , 瑟伦·克里斯滕森 , 库尔特·延森 :
用于编辑、模拟和分析彩色Petri网的CPN工具。 ICATPN公司 2003 : 450-462 2002 【c2】 丽莎·韦尔斯 :
使用彩色Petri网进行性能分析。 马斯科茨 2002 : 217- 2001 【c1】 丽莎·威尔斯 , 瑟伦·克里斯滕森 , 拉尔斯·迈克尔·克里斯滕森 , 杰尔德·Höyer Mortensen :
基于仿真的Web服务器性能分析。 PNPM公司 2001 : 59-68