米卡·迈耶
人员信息
优化列表
2010 – 2019
2019 [第10条] 米卡·迈耶 , 拉维·丘格 :
双向Krivine评估师。 Bx@PLW公司 2019 : 56-60 2018 【j4】 米卡·迈耶 , 维克托·昆卡 , 拉维·丘格 :
直接操作的双向评估。 程序。 ACM计划。 语言。 2 ( OOPSLA公司 ) : 127:1-127:28 ( 2018 ) [i3] 米卡·迈耶 , 维克托·昆卡 , 拉维·丘格 :
直接操作的双向评估。 CoRR公司 abs/1809.04209 ( 2018 ) 2017 【b1】 米卡·迈耶 :
交互式编程示例。 EPFL,瑞士, 2017 [j3] 米卡·迈耶 , 贾德·哈姆扎 , 维克托·昆卡 :
示例递归树到字符串函数的主动合成(工件)。 Dagstuhl Artifacts爵士。 三 ( 2 ) : 16:1-16:2 ( 2017 ) 【c9】 米卡·迈耶 , 贾德·哈姆扎 , 维克托·昆卡 :
示例中递归树到字符串函数的主动合成。 ECOOP公司 2017 : 19:1-19:30 [i2] 米卡·迈耶 , 贾德·哈姆扎 , 维克托·昆卡 :
示例中树到字符串函数的多项式时间主动合成。 CoRR公司 abs/1701.04288 ( 2017 ) 2016 【c8】 米卡·迈耶 , 拉维坎德兰·马德哈万 :
一个Scala库,用于测试并发编程的学生作业。 飞溅时的SCALA 2016 : 1-10 [i1] 米卡·迈耶 , 贾德·哈姆扎 :
无上下文语言的最佳测试集。 CoRR公司 腹肌/1611.06703 ( 2016 ) 2015 【c7】 苏米特·古尔瓦尼 , 米卡·迈耶 , 菲利普·尼基奇 , 鲁齐卡·皮斯卡 :
StriSynth:现场编程合成。 ICSE(2) 2015 : 701-704 【c6】 拉维坎德兰·马德哈万 , 米卡·迈耶 , 苏米特·古尔瓦尼 , 维克托·昆卡 :
自动进行语法比较。 OOPSLA公司 2015 : 183-200 【c5】 米卡·迈耶 , 古斯塔沃·索亚雷斯 , 马克西姆·格雷奇金 , 武乐 , 马克·马龙 , 奥列克桑德·波洛佐夫 , 里沙布·辛格 , 本杰明·佐恩 , 苏米特·古尔瓦尼 :
示例编程中消歧的用户交互模型。 UIST大学 2015 : 291-301 2013 [注2] 维克托·昆卡 , 米卡·迈耶 , 鲁齐卡·皮斯卡 , 菲利普·苏特 :
线性算术和集合的函数综合。 国际期刊软件。 技术工具。 Transf公司。 15 ( 5-6 ) : 455-474 ( 2013 ) 【c4】 米卡·迈耶 , 维克托·昆卡 :
通过演示进行游戏编程。 向前的! 2013 : 75-90 2012 [j1] 维克托·昆卡 , 米卡·迈耶 , 鲁齐卡·皮斯卡 , 菲利普·苏特 :
软件合成程序。 Commun公司。 ACM公司 55 ( 2 ) : 103-111 ( 2012 ) 2010 【c3】 维克托·昆卡 , 米卡·迈耶 , 鲁齐卡·皮斯卡 , 菲利普·苏特 :
Comfusy:一个用于完整功能合成的工具。 CAV汽车 2010 : 430-433 【c2】 亚历山大·斯普洛维茨 , 菲利普·拉普拉德 , 斯特凡·博纳尔迪 , 米卡·迈耶 , 里科·莫克尔 , 皮尔雷·阿安德雷·穆德里 , Auke Jan Ijspeert公司 :
Roombots-使用自配置模块化机器人元模块实现分散式重新配置。 IROS公司 2010 : 1126-1132 【c1】 维克托·昆卡 , 米卡·迈耶 , 鲁齐卡·皮斯卡 , 菲利普·苏特 :
完全功能合成。 PLDI公司 2010 : 316-329