格里戈兹·赫尔曼
人员信息
附属: 波兰克拉科夫Jagiellonian大学
SPARQL查询
优化列表
2020年–今天
2024 【c4】 Lech Duraj公司 , 格里戈兹·赫尔曼 :
分乘场景中的动态价格。 VEHITS公司 2024 : 437-443 2023 【c3】 格列戈兹·古托夫斯基 , 格里戈兹·赫尔曼 :
长途定向拨号乘坐问题。 VEHITS公司 2023 : 187-197 【c2】 格里戈兹·赫尔曼 , 格拉泽戈兹·加雷亚尔(Grzegorz Gawryal) :
在最优路由上聚合成对信息。 VEHITS公司 2023 : 344-352 [电子6] Inge Li Gørtz公司 , 马丁·法拉赫-科尔顿 , 西蒙·普格利西 , 格里戈兹·赫尔曼 :
第31届欧洲算法年会,欧洲航天局2023年9月4日至6日,荷兰阿姆斯特丹。 LIPIcs公司 274, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2023 ,国际标准图书编号 978-3-95977-295-2 [目录] 2022 [电子5] Shiri Chechik先生 , 冈萨洛·纳瓦罗 , 伊娃·罗滕伯格 , 格里戈兹·赫尔曼 :
第30届欧洲算法年会,欧洲航天局2022年9月5日至9日,德国柏林/波茨坦。 LIPIcs公司 244, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2022 ,国际标准图书编号 978-3-95977-247-1 [目录] 2021 [电子4] 佩特拉·穆泽尔 , 拉斯穆斯·帕赫 , 格里戈兹·赫尔曼 :
第29届欧洲算法年会,欧洲航天局2021年9月6日至8日,葡萄牙里斯本(虚拟会议)。 LIPIcs公司 204, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2021 ,国际标准图书编号 978-3-95977-204-4 [目录] 2020 【c1】 格里戈兹·赫尔曼 :
通过无上下文记忆加快通用解析。 PLDI公司 2020 : 1022-1035 [电子3] 法布里奇奥·格兰多尼 , 格里戈兹·赫尔曼 , 彼得·桑德斯 :
第28届欧洲算法年会,欧洲航天局2020年9月7日至9日,意大利比萨(虚拟会议)。 LIPIcs公司 173, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2020 ,国际标准图书编号 978-3-95977-162-7 [目录]
2010 – 2019
2019 [电子2] 迈克尔·本德 , 奥拉·斯文森 , 格里戈兹·赫尔曼 :
第27届欧洲算法年会,欧洲航天局2019年9月9日至11日,德国慕尼黑/加兴。 LIPIcs公司 144, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2019 ,国际标准图书编号 978-3-95977-124-5 [目录] [i2] 格里戈兹·赫尔曼 :
关系解析:适用于所有无上下文语言的干净、快速的解析策略。 CoRR公司 abs/1902.06591 ( 2019 ) 2018 [电子1] 尤西·阿扎尔 , 汉娜·巴斯特 , 格里戈兹·赫尔曼 :
第26届欧洲算法年会,2018年8月20日至22日,欧空局,芬兰赫尔辛基。 LIPIcs公司 112, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2018 ,国际标准图书编号 978-3-95977-081-1 [目录] 2014 【j4】 格里戈兹·赫尔曼 :
二部序到布尔格的覆盖-保护嵌入的复杂性。 数学报告。 日志。 49 : 99-117 ( 2014 ) 2012 [j3] 格里戈兹·赫尔曼 , 迈克尔·索尔提斯 :
对数空间中的无歧义函数。 芬丹。 信息学 114 ( 2 ) : 129-147 ( 2012 )
2000 – 2009
2009 [注2] 格里戈兹·赫尔曼 , 迈克尔·索尔提斯 :
关于Ehrenfeucht-Mycielski序列。 J.离散算法 7 ( 4 ) : 500-508 ( 2009 ) 2008 [i1] 格里戈兹·赫尔曼 , 迈克尔·索尔提斯 :
从费马小定理对拉宾-米勒算法正确性的多重时间证明。 CoRR公司 abs/0811.3959 ( 2008 ) 2007 [j1] 格里戈兹·赫尔曼 , 蒂姆·帕特森 , 迈克尔·索尔提斯 :
置换上具有量化的命题证明系统。 芬丹。 信息学 79 ( 1-2 ) : 71-83 ( 2007 )