Search the dblp DataBase

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]