Type Theory and the Informal Language of Mathematics. - Aarne Ranta (TYPES, 1993)

Syntactic Categories in the Language of Mathematics. - Aarne Ranta (TYPES, 1994)

Context-Relative Syntactic Categories and the Formalization of Mathematical Text. - Aarne Ranta (TYPES, 1995)

Type-Theoretical Interpretation and Generalization of Phrase Structure Grammar. - Aarne Ranta (Log. J. IGPL, 1995)

Logical Aspects of Computational Linguistics: An Introduction. - Patrick Blackburn; Marc Dymetman; Alain Lecomte; Aarne Ranta; Christian Retoré; Éric Villemonte de la Clergerie (LACL, 1996)

Syntactic Calculus with Dependent Types. - Aarne Ranta (J. Log. Lang. Inf., 1998)

XML and Multilingual Document Authoring: Convergent Trends. - Marc Dymetman; Veronika Lux; Aarne Ranta (COLING, 2000)

An Extensible Proof Text Editor. - Thomas Hallgren; Aarne Ranta (LPAR, 2000)

An Authoring Tool for Informal and Formal Requirements Specifications. - Reiner Hähnle; Kristofer Johannisson; Aarne Ranta (FASE, 2002)

Multilingual Syntax Editing in GF. - Janna Khegai; Bengt Nordström; Aarne Ranta (CICLing, 2003)

Building and Using a Russian Resource Grammar in GF. - Janna Khegai; Aarne Ranta (CICLing, 2004)

BNF converter. - Markus Forsberg; Aarne Ranta (Haskell, 2004)

Functional morphology. - Markus Forsberg; Aarne Ranta (ICFP, 2004)

Grammatical Framework. - Aarne Ranta (J. Funct. Program., 2004)

Dialogue Systems as Proof Editors. - Aarne Ranta; Robin Cooper (J. Log. Lang. Inf., 2004)

Tool Demonstration: Functional Morphology. - Markus Forsberg; Aarne Ranta (FSMNLP, 2005)

Morphological Lexicon Extraction from Raw Text Data. - Markus Forsberg; Harald Hammarström; Aarne Ranta (FinTAL, 2006)

A pattern for almost compositional functions. - Björn Bringert; Aarne Ranta (J. Funct. Program., 2008)

Implementing Controlled Languages in GF. - Aarne Ranta; Krasimir Angelov (CNL (Pre-Proceedings), 2009)

Grammatical Framework Web Service. - Björn Bringert; Krasimir Angelov; Aarne Ranta (EACL (Demos), 2009)

Grammar Development in GF. - Aarne Ranta; Krasimir Angelov; Björn Bringert (EACL (Demos), 2009)

GF: A Multilingual Grammar Formalism. - Aarne Ranta (Lang. Linguistics Compass, 2009)

Tools for Multilingual Grammar-Based Translation on the Web. - Aarne Ranta; Krasimir Angelov; Thomas Hallgren (ACL (System Demonstrations), 2010)

An Open-Source Computational Grammar for Romanian. - Ramona Enache; Aarne Ranta; Krasimir Angelov (CICLing, 2010)

Controlled Language for Everyday Use: The MOLTO Phrasebook. - Aarne Ranta; Ramona Enache; Grégoire Détrez (CNL, 2010)

Developing Punjabi Morphology, Corpus and Lexicon. - Muhammad Humayoun; Aarne Ranta (PACLIC, 2010)

PGF: A Portable Run-time Format for Type-theoretical Grammars. - Krasimir Angelov; Björn Bringert; Aarne Ranta (J. Log. Lang. Inf., 2010)

Grammatical Framework - Programming with Multilingual Grammars. - Aarne Ranta (Cambridge University Press, 2011)

Translating between Language and Logic: What Is Easy and What Is Difficult. - Aarne Ranta (CADE, 2011)

An Open Source Punjabi Resource Grammar. - Shafqat Mumtaz Virk; Muhammad Humayoun; Aarne Ranta (RANLP, 2011)

On the Syntax and Translation of Finnish Discourse Clitics. - Aarne Ranta (Shall We Play the Festschrift Game?, 2012)

Smart Paradigms and the Predictability and Complexity of Inflectional Morphology. - Grégoire Détrez; Aarne Ranta (EACL, 2012)

A Hybrid System for Patent Translation. - Ramona Enache; Cristina España-Bonet; Aarne Ranta; Lluís Màrquez (EAMT, 2012)

Machine Translation and Type Theory. - Aarne Ranta (Epistemology versus Ontology, 2012)

Multilingual access to cultural heritage content on the Semantic Web. - Dana Dannélls; Aarne Ranta; Ramona Enache; Mariana Damova; Maria Mateva (LaTeCH@ACL, 2013)

MT Techniques in a Retrieval System of Semantically Enriched Patents. - Meritxell González; Maria Mateva; Ramona Enache; Cristina España-Bonet; Lluís Màrquez; Borislav Popov; Aarne Ranta (MTSummit (Posters), 2013)

MOLTO - Multilingual On Line Translation. - Aarne Ranta (MTSummit (European projects), 2013)

Multilingual Natural Language Interaction with Semantic Web Knowledge Bases and Linked Open Data. - Mariana Damova; Dana Dannélls; Ramona Enache; Maria Mateva; Aarne Ranta (Towards the Multilingual Semantic Web, 2014)

Embedded Controlled Languages. - Aarne Ranta (CNL, 2014)

Speech-Enabled Hybrid Multilingual Translation for Mobile Devices. - Krasimir Angelov; Björn Bringert; Aarne Ranta (EACL, 2014)

Sharing resources between free/open-source rule-based machine translation systems: Grammatical Framework and Apertium. - Grégoire Détrez; Víctor M. Sánchez-Cartagena; Aarne Ranta (LREC, 2014)

Developing an interlingual translation lexicon using WordNets and Grammatical Framework. - Shafqat Mumtaz Virk; K. V. S. Prasad; Aarne Ranta; Krasimir Angelov (WSSANLP@COLING, 2014)

Chinese in the Grammatical Framework: Grammar, Translation, and Other Applications Anonymous. - Aarne Ranta; Tian Yan; Haiyan Qiao (SIGHAN@IJCNLP, 2015)

Interlinguas: Deep and Shallow. - Aarne Ranta (GSCL, 2015)

GF Wide-coverage English-Finnish MT system for WMT 2015. - Prasanth Kolachina; Aarne Ranta (WMT@EMNLP, 2015)

Domain-specific multilingual translation for producers of information. - Aarne Ranta; Krasimir Angelov; Markus Forsberg; Thomas Hallgren (EAMT (Projects/Products), 2016)

International translation in the Grammatical Framework (GF). - Aarne Ranta; Krasimir Angelov; Thomas Hallgren; Prasanth Kolachina; Inari Listenmaa (EAMT (Projects/Products), 2016)

From Universal Dependencies to Abstract Syntax. - Aarne Ranta; Prasanth Kolachina (UDW@NoDaLiDa, 2017)

Cross-Lingual Syntax: Relating Grammatical Framework with Universal Dependencies. - Aarne Ranta; Prasanth Kolachina; Thomas Hallgren (NODALIDA, 2017)

Grammatical Framework: an Interlingual Grammar Formalism. - Aarne Ranta (FSMNLP, 2019)

Bootstrapping UD treebanks for Delexicalized Parsing. - Prasanth Kolachina; Aarne Ranta (NODALIDA, 2019)

Abstract Syntax as Interlingua: Scaling Up the Grammatical Framework from Controlled Languages to Robust Pipelines. - Aarne Ranta; Krasimir Angelov; Normunds Gruzitis; Prasanth Kolachina (Comput. Linguistics, 2020)

Speaking About Wine: Another Case Study in Bridging the Gap Between Formal and Informal Knowledge. - Aarne Ranta (The Logic of Software. A Tasting Menu of Formal Methods, 2022)

An End-to-End Pipeline from Law Text to Logical Formulas. - Aarne Ranta; Inari Listenmaa; Jerrold Soh; Meng Weng Wong (JURIX, 2022)

Urdu Morphology, Orthography and Lexicon Extraction. - Muhammad Humayoun; Harald Hammarström; Aarne Ranta (CoRR, 2022)

TraQuLA: Transparent Question Answering Over RDF Through Linguistic Analysis. - Elizaveta Zimina; Kalervo Järvelin; Jaakko Peltonen; Aarne Ranta; Jyrki Nummenmaa (ICWE, 2024)