杜利卡·尼科利奇
人员信息
优化列表
2010 – 2019
2015 【c8】 罗伯托·祖尼诺 , 杜利卡·尼科利奇 , 科拉多·普里亚米 , 奥赞·卡拉马诺古拉里 , 托马索·夏维诺托 :
Ş: 随机模拟生物系统的迫切DSL。 编程语言及其在生物和安全领域的应用 2015 : 354-374 【c7】 保罗·安东努奇 , H.-克里斯蒂安·埃斯特勒 , 杜利卡·尼科利奇 , 马克·皮奇奥尼 , 贝特朗·梅耶 :
自动编程分配的增量提示系统。 ITiCSE公司 2015 : 320至325 2013 [注2] 杜利卡·尼科利奇 , 福斯托·斯波托 :
推断数组的完整初始化。 西奥。 计算。 科学。 484 : 16-40 ( 2013 ) [j1] 杜利卡·尼科利奇 , 福斯托·斯波托 :
程序变量的可达性分析。 ACM事务处理。 程序。 语言系统。 35 ( 4 ) : 14:1-14:68 ( 2013 ) 2012 【c6】 杜丽卡·尼科利奇 , 福斯托·斯波托 :
程序变量的可达性分析。 国际JCAR 2012 : 423-438 【c5】 杜利卡·尼科利奇 , 福斯托·斯波托 :
Java字节码的定义表达式别名分析。 ICTAC公司 2012 : 74-89 【c4】 杜利卡·尼科利奇 , 福斯托·斯波托 :
基于自动化的阵列初始化分析。 拉丁美洲旅游协会 2012 : 420-432 【c3】 杜利卡·尼科利奇 , 科拉多·普里亚米 , 罗伯托·祖尼诺 :
用于生物化学建模和仿真的基于规则的强制性语言。 SEFM公司 2012 : 16-32 【c2】 罗伯托·贾科巴齐 , 伊莎贝拉·马斯特罗尼 , 杜利卡·尼科利奇 :
通过模型变形进行强有力的保护。 TASE公司 2012 : 33-40 2010 【c1】 伊莎贝拉·马斯特罗尼 , 杜利卡·尼科利奇 :
抽象程序切片:从理论到实现。 ICFEM公司 2010 : 452-467