Teodor Rus

Publication Activity (10 Years)

Years Active: 1976-2008
Publications (10 Years): 0

Publications

Donald Ephraim Curtis, Teodor Rus, Jan H. Jensen
Application driven software for chemistry. EIT (2008)
Teodor Rus
Liberate Computer User from Programming. AMAST (2008)
Teodor Rus, Donald Ephraim Curtis
Toward Application Driven Software Technology. Software Engineering Research and Practice (2007)
Teodor Rus, Donald Ephraim Curtis
Application Driven Software Development. ICSEA (2006)
Cesare Tinelli, Teodor Rus
Preface. Theor. Comput. Sci. 291 (3) (2003)
Teodor Rus
A unified language processing methodology. Theor. Comput. Sci. 281 (1-2) (2002)
Teodor Rus, Eric Van Wyk, Tom Halverson
Generating Model Checkers from Algebraic Specifications. Formal Methods Syst. Des. 20 (3) (2002)
Miquel Bertran, Teodor Rus
Papers from ARTS'97 - Preface. Theor. Comput. Sci. 253 (1) (2001)
Teodor Rus, Eric Van Wyk
Using Model Checking in a Parallelizing Compiler. Parallel Process. Lett. 8 (4) (1998)
Teodor Rus
Algebraic Processing of Programming Languages. Theor. Comput. Sci. 199 (1-2) (1998)
Teodor Rus, James S. Jones
Phrase Parsers from Multi-Axiom Grammars. Theor. Comput. Sci. 199 (1-2) (1998)
Teodor Rus, Sriram V. Pemmaraju
Using Graph Coloring in an Algebraic Compiler. Acta Informatica 34 (3) (1997)
Teodor Rus, Eric Van Wyk
A Formal Approach to Parallelizing Compilers. PPSC (1997)
Teodor Rus, Eric Van Wyk
Integrating Temporal Logics and Model Checking Algorithms. ARTS (1997)
Teodor Rus, Tom Halverson, Eric Van Wyk, Robert Kooima
An Algebraic Language Processing Environment. AMAST (1997)
Teodor Rus, Tom Halverson
Algebraic Tools for Language Processing. Comput. Lang. 20 (4) (1994)
Aurel Cornell, John Knaack, A. Nangia, Teodor Rus
Real-Time Program Synthesis from Specifications. AMAST (1993)
Teodor Rus
Algebraic Construction of Compliers. Theor. Comput. Sci. 90 (2) (1991)
Richard Marciano, Teodor Rus
Algebraic Construction of Program Representation Graphs. AMAST (1991)
John Knaack, Teodor Rus
TwoLev: A Two Level Scanner. AMAST (1991)
Teodor Rus
Parsing Languages by Pattern Matching. IEEE Trans. Software Eng. 14 (4) (1988)
Teodor Rus, John P. Le Peau
Language specification by multi-axiom grammars. ICCL (1988)
Teodor Rus
An Algebraic Model for Programming Languages. Comput. Lang. 12 (3/4) (1987)
Teodor Rus, Kurt Hansen
An algebraic approach for assembler construction (abstract). ACM Conference on Computer Science (1986)
Teodor Rus
HAS-Hierarchy: A natural tool for language specification. Fundam. Informaticae 3 (3) (1980)
Teodor Rus
Context-Free Algebra: A Mathematical Device for Compiler Specifications. MFCS (1976)