The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Teodor Rus: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Teodor Rus, Kurt Hansen
    An algebraic approach for assembler construction (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:489- [Conf]
  2. Aurel Cornell, John Knaack, A. Nangia, Teodor Rus
    Real-Time Program Synthesis from Specifications. [Citation Graph (0, 0)][DBLP]
    AMAST, 1993, pp:237-244 [Conf]
  3. John Knaack, Teodor Rus
    TwoLev: A Two Level Scanner. [Citation Graph (0, 0)][DBLP]
    AMAST, 1991, pp:264-276 [Conf]
  4. Richard Marciano, Teodor Rus
    Algebraic Construction of Program Representation Graphs. [Citation Graph (0, 0)][DBLP]
    AMAST, 1991, pp:529-546 [Conf]
  5. Teodor Rus, Tom Halverson, Eric Van Wyk, Robert Kooima
    An Algebraic Language Processing Environment. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:581-585 [Conf]
  6. Teodor Rus, Eric Van Wyk
    Integrating Temporal Logics and Model Checking Algorithms. [Citation Graph (0, 0)][DBLP]
    ARTS, 1997, pp:95-110 [Conf]
  7. Teodor Rus, J. P. Le Peau
    Language specification by multi-axiom grammars. [Citation Graph (0, 0)][DBLP]
    ICCL, 1988, pp:110-118 [Conf]
  8. Teodor Rus
    Context-Free Algebra: A Mathematical Device for Compiler Specifications. [Citation Graph (0, 0)][DBLP]
    MFCS, 1976, pp:488-494 [Conf]
  9. Teodor Rus, Eric Van Wyk
    A Formal Approach to Parallelizing Compilers. [Citation Graph (0, 0)][DBLP]
    PPSC, 1997, pp:- [Conf]
  10. Teodor Rus, Donald Ephraim Curtis
    Application Driven Software Development. [Citation Graph (0, 0)][DBLP]
    ICSEA, 2006, pp:32- [Conf]
  11. Teodor Rus, Sriram V. Pemmaraju
    Using Graph Coloring in an Algebraic Compiler. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1997, v:34, n:3, pp:191-209 [Journal]
  12. Teodor Rus
    An Algebraic Model for Programming Languages. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1987, v:12, n:3/4, pp:173-195 [Journal]
  13. Teodor Rus, Tom Halverson
    Algebraic Tools for Language Processing. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1994, v:20, n:4, pp:213-238 [Journal]
  14. Teodor Rus, Eric Van Wyk, Tom Halverson
    Generating Model Checkers from Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2002, v:20, n:3, pp:249-284 [Journal]
  15. Teodor Rus
    HAS-Hierarchy: A natural tool for language specification. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1980, v:3, n:3, pp:269-294 [Journal]
  16. Teodor Rus, Eric Van Wyk
    Using Model Checking in a Parallelizing Compiler. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 1998, v:8, n:4, pp:459-471 [Journal]
  17. Miquel Bertran, Teodor Rus
    Papers from ARTS'97 - Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:253, n:1, pp:1- [Journal]
  18. Teodor Rus
    A unified language processing methodology. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:281, n:1-2, pp:499-536 [Journal]
  19. Teodor Rus
    Algebraic Construction of Compliers. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:90, n:2, pp:271-308 [Journal]
  20. Teodor Rus
    Algebraic Processing of Programming Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:199, n:1-2, pp:105-143 [Journal]
  21. Teodor Rus, James S. Jones
    Phrase Parsers from Multi-Axiom Grammars. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:199, n:1-2, pp:199-229 [Journal]
  22. Cesare Tinelli, Teodor Rus
    Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:291, n:3, pp:219-221 [Journal]
  23. Teodor Rus
    Parsing Languages by Pattern Matching. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:4, pp:498-511 [Journal]

  24. Liberate Computer User from Programming. [Citation Graph (, )][DBLP]


  25. Toward Application Driven Software Technology. [Citation Graph (, )][DBLP]


  26. Application driven software for chemistry. [Citation Graph (, )][DBLP]


Search in 0.034secs, Finished in 0.036secs
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