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:133--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中实现受控语言。CNL-2009年,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资源文法库进行对话系统本地化。SPEECHGRAM 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语法的多语言前端生成。计算科学第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)。