The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Aarne Ranta: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Janna Khegai, Bengt Nordström, Aarne Ranta
    Multilingual Syntax Editing in GF. [Citation Graph (0, 0)][DBLP]
    CICLing, 2003, pp:453-464 [Conf]
  2. Janna Khegai, Aarne Ranta
    Building and Using a Russian Resource Grammar in GF. [Citation Graph (0, 0)][DBLP]
    CICLing, 2004, pp:38-41 [Conf]
  3. Marc Dymetman, Veronika Lux, Aarne Ranta
    XML and Multilingual Document Authoring: Convergent Trends. [Citation Graph (0, 0)][DBLP]
    COLING, 2000, pp:243-249 [Conf]
  4. Reiner Hähnle, Kristofer Johannisson, Aarne Ranta
    An Authoring Tool for Informal and Formal Requirements Specifications. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:233-248 [Conf]
  5. Markus Forsberg, Harald Hammarström, Aarne Ranta
    Morphological Lexicon Extraction from Raw Text Data. [Citation Graph (0, 0)][DBLP]
    FinTAL, 2006, pp:488-499 [Conf]
  6. Björn Bringert, Aarne Ranta
    A pattern for almost compositional functions. [Citation Graph (0, 0)][DBLP]
    ICFP, 2006, pp:216-226 [Conf]
  7. Markus Forsberg, Aarne Ranta
    Functional morphology. [Citation Graph (0, 0)][DBLP]
    ICFP, 2004, pp:213-223 [Conf]
  8. Patrick Blackburn, Marc Dymetman, Alain Lecomte, Aarne Ranta, Christian Retoré, Eric Villemonte de la Clergerie
    Logical Aspects of Computational Linguistics: An Introduction. [Citation Graph (0, 0)][DBLP]
    LACL, 1996, pp:1-20 [Conf]
  9. Thomas Hallgren, Aarne Ranta
    An Extensible Proof Text Editor. [Citation Graph (0, 0)][DBLP]
    LPAR, 2000, pp:70-84 [Conf]
  10. Aarne Ranta
    Type Theory and the Informal Language of Mathematics. [Citation Graph (0, 0)][DBLP]
    TYPES, 1993, pp:352-365 [Conf]
  11. Aarne Ranta
    Syntactic Categories in the Language of Mathematics. [Citation Graph (0, 0)][DBLP]
    TYPES, 1994, pp:162-182 [Conf]
  12. Aarne Ranta
    Context-Relative Syntactic Categories and the Formalization of Mathematical Text. [Citation Graph (0, 0)][DBLP]
    TYPES, 1995, pp:231-248 [Conf]
  13. Markus Forsberg, Aarne Ranta
    Tool Demonstration: Functional Morphology. [Citation Graph (0, 0)][DBLP]
    FSMNLP, 2005, pp:304-305 [Conf]
  14. Aarne Ranta
    Grammatical Framework. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2004, v:14, n:2, pp:145-189 [Journal]
  15. Aarne Ranta
    Syntactic Calculus with Dependent Types. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1998, v:7, n:4, pp:413-431 [Journal]
  16. Aarne Ranta, Robin Cooper
    Dialogue Systems as Proof Editors. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2004, v:13, n:2, pp:225-240 [Journal]

  17. An Open-Source Computational Grammar for Romanian. [Citation Graph (, )][DBLP]


  18. Grammar Development in GF. [Citation Graph (, )][DBLP]


  19. Grammatical Framework Web Service. [Citation Graph (, )][DBLP]


  20. Implementing Controlled Languages in GF. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002