莉莉亚·格奥尔基耶娃
人员信息
优化列表
2010 – 2019
2018 [注2] 皮诺·卡巴列罗·吉尔 , 莉莉亚·格奥尔基耶娃 , 利亚娜·布兰科维奇 , 迈克·伯梅斯特 :
环境辅助生活和环境智能促进健康。 暴徒。 信息系统。 2018 : 7560465:1-7560465:2 ( 2018 ) [第16条] Fokrul Alom Mazarbhuiya公司 , 穆罕默德·叶海亚·阿尔扎赫拉尼 , 莉莉亚·格奥尔基耶娃 :
基于聚集层次聚类算法的异常检测。 ICISA公司 2018 : 475-484 [第15条] 阿梅尔·本纳丘(Amel Bennaceur) , 安帕利·卡诺 , 莉莉亚·格奥尔基耶娃 , 玛丽亚姆·基兰 , 玛丽亚·萨拉马 , 蓬南·雅达夫 :
英国的性别多样性和平等问题。 通用电气@ICSE 2018 : 5-9 [第14条] 穆罕默德·叶海亚·阿尔扎赫拉尼 , 莉莉亚·格奥尔基耶娃 :
web应用程序的结构建模和验证。 WIMS公司 2018 : 18:1-18:4 2012 [第13条] 穆罕默德·叶海亚·阿尔扎赫拉尼 , 莉莉亚·格奥尔基耶娃 :
建模受信任的Web应用程序。 KES-masta公司 2012 : 524-533 [第12条] 阿里亚·阿拉巴达利 , 莉莉亚·格奥尔基耶娃 , 格雷格·迈克尔森 :
Alloy中多信道无线网络安全数据传输的建模。 TrustCom公司 2012 : 785-792 2011 [第11条] 莉莉亚·格奥尔基耶娃 :
合金安全性能建模。 太平洋标准时间 2011 : 52-54 2010 [第10条] 莉莉亚·格奥尔基耶娃 :
加密协议金融应用的自动分析领域工程。 金融加密 2010 : 428
2000 – 2009
2009 【c9】 莉莉亚·格奥尔基耶娃 , 帕特里克·迈尔 :
形状不变量的归纳推理。 文件传输协议 2009 【c8】 莉莉亚·格奥尔基耶娃 , 伊姆兰·齐亚 :
数字经济中的知识管理。 KES-AMSTA公司 2009 : 705-713 2005 【c7】 维托尔德·查拉托尼克 , 莉莉亚·格奥尔基耶娃 , 帕特里克·梅尔 :
指针程序的有界模型检查。 CSL公司 2005 : 397-412 【c6】 莉莉亚·格奥尔基耶娃 , 帕特里克·迈尔 :
使用描述逻辑进行符号形状分析。 描述逻辑 2005 【c5】 莉莉亚·格奥尔基耶娃 , 帕特里克·迈尔 :
形状分析的描述逻辑。 SEFM公司 2005 : 321-331 2003 [j1] 莉莉亚·格奥尔基耶娃 , 乌尔里希·赫斯塔特 , 雷娜特·施密特 :
保护公式的超分辨率。 J.塞姆。 计算。 36 ( 1-2 ) : 163-192 ( 2003 ) 2002 【c4】 莉莉亚·格奥尔基耶娃 , 乌尔里希·赫斯塔特 , 雷娜特·施密特 :
一个新的可由超分辨率决定的子句类。 CADE公司 2002 : 260-274 【c3】 莉莉亚·格奥尔基耶娃 , 乌尔里希·赫斯塔特 , 雷娜特·施密特 :
关于可判定片段、非经典逻辑和描述逻辑之间的关系。 描述逻辑 2002 2001 【c2】 莉莉亚·格奥尔基耶娃 , 乌尔里希·赫斯塔特 , 雷娜特·施密特 :
Guarded公式的计算空间效率和最小模型生成。 LPAR公司 2001 : 85-99 2000 【c1】 莉莉亚·格奥尔基耶娃 , 乌尔里希·赫斯塔特 , 雷娜特·施密特 :
保护公式的超分辨率。 ARW公司 2000