Context-Free Algebra: A Mathematical Device for Compiler Specifications. - Teodor Rus (MFCS, 1976)

HAS-Hierarchy: A natural tool for language specification. - Teodor Rus (Fundam. Informaticae, 1980)

An algebraic approach for assembler construction (abstract). - Teodor Rus; Kurt Hansen (ACM Conference on Computer Science, 1986)

An Algebraic Model for Programming Languages. - Teodor Rus (Comput. Lang., 1987)

Language specification by multi-axiom grammars. - Teodor Rus; John P. Le Peau (ICCL, 1988)

Parsing Languages by Pattern Matching. - Teodor Rus (IEEE Trans. Software Eng., 1988)

TwoLev: A Two Level Scanner. - John Knaack; Teodor Rus (AMAST, 1991)

Algebraic Construction of Program Representation Graphs. - Richard Marciano; Teodor Rus (AMAST, 1991)

Algebraic Construction of Compliers. - Teodor Rus (Theor. Comput. Sci., 1991)

Systems methodology for software. - Teodor Rus; Daniela Rus (World Scientific, 1993)

Real-Time Program Synthesis from Specifications. - Aurel Cornell; John Knaack; A. Nangia; Teodor Rus (AMAST, 1993)

Algebraic Tools for Language Processing. - Teodor Rus; Tom Halverson (Comput. Lang., 1994)

An Algebraic Language Processing Environment. - Teodor Rus; Tom Halverson; Eric Van Wyk; Robert Kooima (AMAST, 1997)

Integrating Temporal Logics and Model Checking Algorithms. - Teodor Rus; Eric Van Wyk (ARTS, 1997)

A Formal Approach to Parallelizing Compilers. - Teodor Rus; Eric Van Wyk (PP, 1997)

Using Graph Coloring in an Algebraic Compiler. - Teodor Rus; Sriram V. Pemmaraju (Acta Informatica, 1997)

Using Model Checking in a Parallelizing Compiler. - Teodor Rus; Eric Van Wyk (Parallel Process. Lett., 1998)

Algebraic Processing of Programming Languages. - Teodor Rus (Theor. Comput. Sci., 1998)

Phrase Parsers from Multi-Axiom Grammars. - Teodor Rus; James S. Jones (Theor. Comput. Sci., 1998)

Papers from ARTS'97 - Preface. - Miquel Bertran; Teodor Rus (Theor. Comput. Sci., 2001)

Generating Model Checkers from Algebraic Specifications. - Teodor Rus; Eric Van Wyk; Tom Halverson (Formal Methods Syst. Des., 2002)

A unified language processing methodology. - Teodor Rus (Theor. Comput. Sci., 2002)

Preface. - Cesare Tinelli; Teodor Rus (Theor. Comput. Sci., 2003)

Application Driven Software Development. - Teodor Rus; Donald Ephraim Curtis (ICSEA, 2006)

Toward Application Driven Software Technology. - Teodor Rus; Donald Ephraim Curtis (Software Engineering Research and Practice, 2007)

Liberate Computer User from Programming. - Teodor Rus (AMAST, 2008)

Application driven software for chemistry. - Donald Ephraim Curtis; Teodor Rus; Jan H. Jensen (EIT, 2008)

Computer-Based Problem Solving Process - Teodor Rus (WorldScientific, 2015)