Aarne Ranta出版
上次更新时间为2012年。要查看最新的视图：我的谷歌学者公开简介
书
A.兰塔。实现编程语言。
编译程序和解释程序简介,附有马库斯·福斯伯格（Markus Forsberg）合著的附录，大学出版社，伦敦，2012年。书籍网页
A.兰塔。语法框架：多语言语法编程, CSLI出版物，斯坦福，2011年。书籍网页
B.Nordström和A.Ranta（编辑）。自然语言处理的进展,GoTAL 2008年第六届自然语言处理国际会议论文集，瑞典哥德堡,LNCS/LNAI，第5221卷，2008
S.Negri J.von Plato，以及A.Ranta的附录。结构证明理论,剑桥大学出版社，2001
P.Blackburn、M.Dymetman、A.Lecomte、A.Ranta、C.Retoré和E.Villemont de la Clergerie。计算语言学的逻辑方面：导论。在C.Retoré（ed）中，LACL'96——计算语言学的逻辑方面. LNCS/LNAI，第1328卷，施普林格，1997
A.兰塔。类型理论语法, 牛津大学出版社，牛津，1994谷歌图书
参考期刊中的文章
K.Angelov、B.Bringert和A.Ranta。PGF：一种可移植的打字理论语法运行时格式，逻辑、语言与信息杂志,19(2),第201-228页，2009SpringerLink公司
A.兰塔。GF资源语法库。语言技术中的语言问题, 2 (2),2009PDF格式
A.兰塔。GF：多语言语法形式主义。语言与语言学指南,第3卷，2009联机
B.布林特和A.兰塔。几乎合成函数的模式。函数编程杂志, 18(5-6),第567-598页，2008pdf格式
A.兰塔。GF模块化语法工程。语言与计算研究, 5分33秒-158秒，2007
A.Ranta和R.Cooper。作为校对编辑的对话系统。逻辑、语言与信息杂志, 13,第225-240页，2004
A.兰塔。语法框架：一种类型理论语法形式主义。函数编程杂志, 14(2),第145-189页，2004PDF格式
免费PDF（预打印）
A.兰塔。类型理论中的计算语义。数学与社会科学，165中，第31-57页，2004
A.兰塔。依赖类型的语法演算。逻辑、语言与信息杂志, 4, 第413-431页，1998
A.兰塔。结构语法es-dans-le français mathematique。数学、信息与科学, 第138卷第5-56页和第139页第5-36页，1997
A.兰塔。短语结构语法的类型理论解释和概括。IGPL公告三，第319-342页，1995
A.兰塔。直觉分类语法。语言学与哲学, 14, 第203-239页，1991
A.兰塔。构建可能世界。理论, 57, 第77-100页，1991
A.兰塔。命题作为游戏类型。合成, 76, 第377-395页，1988
被引用的集合和会议中的文章
A.兰塔。基于范例的语法写作。在S.Larsson和L.Borin（编辑）中，从量化到对话。
在罗宾·库珀65岁生日之际为他庆祝生日。学院出版物，伦敦，2012
A.兰塔。芬兰语篇客观性的句法与翻译。在D.Santos、K.Lindén和W.Ngang’a（编辑）中，我们玩节日游戏好吗？
劳里·卡尔森60岁生日随笔.施普林格，海德堡，2012年。第227-241页。
A.兰塔。机器翻译和类型理论。在P.Dybjer、S.Lindström、E.Palmgren和G.Sundholm（编辑）中，认识论与本体论。关于哲学和
佩尔·马丁·洛夫荣誉数学基础.施普林格，海德堡，2012年。第281-312页。
O.Caprotti和A.Ranta。雷蒙娜·埃纳什（Ramona Enache）、克里斯蒂娜·埃斯潘（Cristina Espan a-Bonet）、阿尔内·兰塔（Aarne Ranta）和Lluís Márquez。专利翻译的混合系统。EAMT，2012年5月，Trento（欧洲机器翻译协会）。2012
O.Caprotti和A.Ranta。MOLTO-多语言在线翻译。海报，EAMT，2012年5月，Trento（欧洲机器翻译协会）。2012
G.Détrez和A.Ranta。智能范式与屈折形态的可预测性和复杂性。欧洲计算语言学协会，2012年4月。预打印pdf
A.Ranta、R.Enache和G.Détrez。日常使用的受控语言：MOLTO短语手册。在N.Fuchs和M.Rosner（编辑）中，受控自然语言2010,施普林格LNCS/LNAI，第7175卷，2012第115-136页。预打印pdf
C.España-Bonet、R.Enache、a.Slaski、a.Ranta、L.Márquez和M.González。MOLTO项目中的专利翻译。第四届专利翻译研讨会论文集，2011年9月23日，第十三届机器翻译峰会，中国厦门。PDF格式
S.Virk、M.Humayoun和A.Ranta。开放源旁遮普语资源语法。RANLP-2011，自然语言处理最新进展，2011年9月12日至14日，保加利亚希撒。第70-76页。PDF格式
A.兰塔。语言和逻辑之间的翻译：什么容易，什么难？在N.Björner和V.Sofronie-Stokkermans（编辑）中，CADE-23。自动扣除,LNCS/LNAI 6803，第5-25页，2011Springer的PDF
PDF草稿
M.Humayoun和A.Ranta。发展旁遮普语形态学、语料库和词汇。第24届太平洋-亚洲语言、信息和计算会议（PACLIC24）,2010
S.Virk、M.Humayoun和A.Ranta。开源乌尔都语资源语法。第八届亚洲语言资源研讨会会议记录（科林2010研讨会）,2010
A.Ranta、K.Angelov和T.Hallgren。网络上基于语法的多语言翻译工具。ACL 2010系统演示会议记录,ACM数字图书馆，2010
R.Enache、A.Ranta和K.Angelov。罗马尼亚语开源计算语法。A.Gelbukh（编辑），西林-2010,LNCS 6008，2010
K.Angelov和A.Ranta。在GF中实现受控语言。N.Fuchs（编辑），CNL-2009受控自然语言,LNCS/LNAI 5972，2010
A.兰塔。语法作为软件库。在Y.Bertot、G.Huet、J-J.Lévy和G.Plotkin（编辑）中，从语义学到计算机科学,剑桥大学出版社，第281--308页，2009
A.Ranta和K.Angelov。在GF中实现受控语言。2009年2月,CEUR研讨会记录,第448卷，联机,2009
B.Bringert、K.Angelov和A.Ranta。语法框架Web服务。系统演示，EACL'09会议记录，雅典,2009
A.Ranta、B.Bringert和K.Angelov。GF语法开发系统。系统演示，EACL'09会议记录，雅典,2009
R.Cooper和A.Ranta。作为资源集合的自然语言。在R.Cooper和R.Kempson（编辑）中，流动中的语言：对话协调、语言变异、变化,第109-120页，学院出版物，伦敦，2008
A.El Dada和A.Ranta。在GF中实现开源阿拉伯语资源语法。在M.Mughazy（编辑）中，阿拉伯语语言学透视XX约翰·本杰明斯出版公司，阿姆斯特丹和费城，2007
A.兰塔。GF语法编译器。类型理论语法新方向研讨会,都柏林，2007年8月（ESSLLI研讨会）。2007
N.Perera和A.Ranta。使用GF资源文法库进行对话系统本地化。在2007年演讲：ACL口语处理基于语法方法研讨会，2007年6月29日，布拉格, 2007.
M.Humayoun、H.HammarströM和A.Ranta。乌尔都语形态学、正字法和词汇提取。CAASL-2：阿拉伯语脚本语言计算方法第二次研讨会,2007年7月21日至22日，斯坦福大学LSA 2007语言研究所。2007
A.兰塔。抽象句法和具体句法的特点。第二届类型特征结构语法国际研讨会,2007年5月24日，塔尔图（NODALIDA研讨会）。2007
B.布林特和A.兰塔。几乎合成函数的模式。ICFP 2006，第11届ACM SIGPLAN功能编程国际会议，俄勒冈州波特兰，2006年9月18日至20日,2006
M.Forsberg、H.Hammarstrom和A.Ranta。从原始文本数据中提取形态学词汇。FinTAL 2006年, 2006年8月23日至25日，图尔库。施普林格LNCS/LNAI 4139，第488-499页，2006
A.El Dada和A.Ranta。阿拉伯语资源语法。阿拉伯语处理（JETALA）, 2006年6月5日至6日，摩洛哥拉巴特IERA，2006
M.Forsberg和A.Ranta。功能形态学：工具演示。FSMNLP 2005年,施普林格LNCS 4002，第304-305页。2005
B.Bringert、R.Cooper、P.Ljunglöf、A.Ranta、，多模态对话系统语法。2005年6月9日至11日，《DIALOR’05第九届对话语义学和语用学研讨会论文集》，法国南希,2005
M.Forsberg和A.Ranta。功能形态学。第九届ACM SIGPLAN函数编程国际会议记录, 第213-223页。ACM出版社，2004
H.Hammarström和A.Ranta。GF中的基数。世界语言中的数字讲习班. 语言学系马克斯·普朗克进化人类学研究所，莱比锡，2004
A.兰塔。语法框架教程。编辑A.Beckmann和N.Preining，ESSLLI 2003课程材料I,后勤学院, 第V卷，第1-86页。库尔特·哥德尔学会，维也纳，2004
J.Khegai和A.Ranta。在GF中建立和使用俄语资源语法。在A.Gelbukh（ed）中，智能文本处理与计算语言学（CICLing-2004）, 韩国首尔，2003年2月，施普林格LNCS 2945，第38-41页，2004
J.Khegai、B.Nordström和A.Ranta。GF中的多语言语法编辑，在A.Gelbukh（ed）中，《智能文本处理与计算语言学》（CICLing-2003）,墨西哥城，2003年2月，施普林格LNCS 2588，第453-464页，2003
M.Forsberg和A.Ranta。带标签的BNF：定义良好行为编程语言的高级形式主义。在J.Vain和T.Uustalu（编辑）中，爱沙尼亚科学院院刊：物理和数学，编程理论专刊, 52:356-377, 2003
R.Hähnle、K.Johannisson和A.Ranta。非正式和正式需求规范的编写工具。在R.D.Kutsche和H.Weber（编辑）中，ETAPS/FASE-2002：软件工程的基本方法,施普林格LNCS，第2306卷，第233-248页，2002
R.Hähnle和A.Ranta，将OCL与世界其他地区连接起来。ETAPS 2001 UML转换研讨会（WTUML）, 热那亚，2001
T.Hallgren和A.Ranta，可扩展校对文本编辑器。在M.Parigot和A.Voronkov（编辑）中，程序设计和自动推理逻辑（LPAR’2000）,LNCS/LNAI 1955，第70-84页，斯普林格·弗拉格，海德堡，2000
M.Dymetman、V.Lux和A.Ranta，XML和多语言文档创作：融合趋势。第18届国际计算语言学会议论文集（COLING 2000）,第243-249页，萨尔布吕肯，2000
P.Mäenpää和A.Ranta。GF的类型理论和类型检查器。高级编程语言的原理、逻辑和实现座谈会，逻辑框架和元语言研讨会, 1999年9月28日，巴黎。1999
A.兰塔。正则表达式的多语言自然语言接口。在L.Karttunen和K.Oflazer（编辑）中，自然语言处理中的有限状态方法（FSMNLP）1998, 第79-90页。比尔肯特大学，安卡拉，1998
A.兰塔。上下文相关句法类别和数学文本的形式化。S.Berardi和M.Coppo主编，《证明和程序的类型》，第231-248页，《计算机科学1158讲义》，Springer-Verlag，Heidelberg，1996年。巴黎圣日耳曼。
A.兰塔。数学语言中的句法范畴。P.Dybjer、B.Nordström和J.Smith主编，《证明和程序类型》，第162-182页，《996年计算机科学讲义》，海德堡斯普林格·弗拉格出版社，1995年。邮政总局
A.兰塔。类型理论和数学的非正式语言。H.Barendregt和T.Nipkow，编辑，《证明和程序类型》，第352-365页。《806计算机科学讲稿》，斯普林格·弗拉格，海德堡，1994年。邮政总局
A.兰塔。理解和解释文本。在U.Egli、P.E.Pause、C.Schwarze、A.von Stechow和G.Wienold（编辑）中，语言组织中的词汇知识, 第185-200页。约翰·本杰明，阿姆斯特丹和费城，1995
A.兰塔。游戏理论语义学和直觉主义类型理论中的回指。在L.Haaparanta、M.Kusch和I.Niiniluoto的编辑中，语言、知识与意向性：贾科·辛提卡哲学透视, 第265-274页。《费尼卡哲学学报》，第49卷。赫尔辛基，1990
P.Mäenpää和A.Ranta。直觉范畴语法的一种实现。在L.Pólos和L.Kálmán，编辑，第二届逻辑与语言研讨会论文, 第299-318页，阿卡德迈亚·基多，布达佩斯，1990
A.兰塔。自然语言的类型理论语义展望。在I.Rüzsa和A.Szabolcsi（编辑）中，1987年德布勒森逻辑和语言学术讨论会会议记录, 第171-183页。阿卡德迈亚·基多，布达佩斯，1987,
其他出版物
A.兰塔。芬兰形态学的可预测性如何？词汇构建实验。在J.Nivre、M.Dahllöf和B.Megyesi（编辑）中，资源丰富的语言技术：纪念安娜·萨瓦尔·海因, 乌普萨拉大学，2008
J.Khegai和A.Ranta。GF俄罗斯资源库。计算科学第2006-14号技术报告查尔默斯科技大学和哥德堡大学，2006
M.Pellauer、M.Forsberg和A.Ranta。BNF转换器：从标记的BNF Grammars生成多语言前端。计算科学第2004-09号技术报告查尔默斯科技大学和哥德堡大学，2004
K.Johannisson和A.Ranta，多语言指令的形式验证。2001年冬季联合会议记录.计算机科学和计算机工程系，查尔默斯科技大学和哥德堡大学。
A.兰塔。建构语义学研究, 博士论文。哲学系出版物，赫尔辛基大学，编号1/1990，1990
软件
K.Angelov、B.Bringert、H.Burden、H.-J.Daniels、G.Détrez、R.Enache、M.Forsberg、T.Hallgren、H.HammarströM、，K.Johannisson、J.Khegai、P.Ljunglöf、P.Mäenpää和A.Ranta。语法框架，3.2版。在GF主页上提供http://语法框架.org.1998-2011.
B.Bringert、J.Broberg、P.Callaghan、M.Forsberg、P.Gammie、P.Jansson、K.Johannisson、，A.-J.Kaijanaho、U.Norell、M.Pellauer和A.RantaBNF转换器，2.3版。在BNF Converter主页上提供http://www.cse.chalmers.se/research/group/Language-technology/BNFC/2002-2007.
M.Forsberg和A.Ranta。词典提取工具。2.0版。在词典提取主页上提供http://www.cse.chalmers.se/alumber/markus/extract/.2004-2007.
M.Forsberg和A.Ranta。功能形态学，版本2.2。功能形态学主页上提供http://www.cse.chalmers.se/alumber/markus/FM/.2001-2008.
A.兰塔。PESCA-序贯演算的校对编辑器。规范和文件。可在PESCA主页上查看http://www.cse.chalmers.se/~aarne/old/pesca/,1999
A.兰塔。Xerox有限状态工具的自然语言接口。Haskell代码。施乐公司财产。已在出版物中记录（Ranta 1998）。