Aarne Ranta Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAarne Ranta, Krasimir Angelov, Björn Bringert: Grammar Development in GF. EACL (Demos) 2009: 57-60
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBjörn Bringert, Krasimir Angelov, Aarne Ranta: Grammatical Framework Web Service. EACL (Demos) 2009: 9-12
2008
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBengt Nordström, Aarne Ranta: Advances in Natural Language Processing, 6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings Springer 2008
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBjörn Bringert, Aarne Ranta: A pattern for almost compositional functions. J. Funct. Program. 18(5-6): 567-598 (2008)
2006
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Forsberg, Harald Hammarström, Aarne Ranta: Morphological Lexicon Extraction from Raw Text Data. FinTAL 2006: 488-499
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBjörn Bringert, Aarne Ranta: A pattern for almost compositional functions. ICFP 2006: 216-226
2005
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Forsberg, Aarne Ranta: Tool Demonstration: Functional Morphology. FSMNLP 2005: 304-305
2004
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJanna Khegai, Aarne Ranta: Building and Using a Russian Resource Grammar in GF. CICLing 2004: 38-41
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Forsberg, Aarne Ranta: Functional morphology. ICFP 2004: 213-223
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAarne Ranta: Grammatical Framework. J. Funct. Program. 14(2): 145-189 (2004)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAarne Ranta, Robin Cooper: Dialogue Systems as Proof Editors. Journal of Logic, Language and Information 13(2): 225-240 (2004)
2003
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJanna Khegai, Bengt Nordström, Aarne Ranta: Multilingual Syntax Editing in GF. CICLing 2003: 453-464
2002
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiner Hähnle, Kristofer Johannisson, Aarne Ranta: An Authoring Tool for Informal and Formal Requirements Specifications. FASE 2002: 233-248
2000
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc Dymetman, Veronika Lux, Aarne Ranta: XML and Multilingual Document Authoring: Convergent Trends. COLING 2000: 243-249
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Hallgren, Aarne Ranta: An Extensible Proof Text Editor. LPAR 2000: 70-84
1998
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAarne Ranta: Syntactic Calculus with Dependent Types. Journal of Logic, Language and Information 7(4): 413-431 (1998)
1996
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Blackburn, Marc Dymetman, Alain Lecomte, Aarne Ranta, Christian Retoré, Eric Villemonte de la Clergerie: Logical Aspects of Computational Linguistics: An Introduction. LACL 1996: 1-20
1995
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAarne Ranta: Context-Relative Syntactic Categories and the Formalization of Mathematical Text. TYPES 1995: 231-248
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAarne Ranta: Type-Theoretical Interpretation and Generalization of Phrase Structure Grammar. Logic Journal of the IGPL 3(2-3): 319-342 (1995)
1994
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAarne Ranta: Syntactic Categories in the Language of Mathematics. TYPES 1994: 162-182
1993
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAarne Ranta: Type Theory and the Informal Language of Mathematics. TYPES 1993: 352-365

Coauthor Index

1Krasimir Angelov [20] [21]
2Patrick Blackburn [5]
3Björn Bringert [16] [18] [20] [21]
4Eric Villemonte de la Clergerie [5]
5Robin Cooper [11]
6Marc Dymetman [5] [8]
7Markus Forsberg [13] [15] [17]
8Reiner Hähnle [9]
9Thomas Hallgren [7]
10Harald Hammarström [17]
11Kristofer Johannisson [9]
12Janna Khegai [10] [14]
13Alain Lecomte [5]
14Veronika Lux [8]
15Bengt Nordström [10] [19]
16Christian Retoré [5]

Colors in the list of coauthors

Copyright © Tue Nov 10 20:29:05 2009 by Michael Ley (ley@uni-trier.de)