Teodor Rus

According to our database, Teodor Rus authored at least 28 papers between 1976 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2015

Computer-Based Problem Solving Process

Teodor Rus

WorldScientific, ISBN: 9789814663755, 2015

2008

Application driven software for chemistry.

Donald Ephraim Curtis, Teodor Rus, Jan H. Jensen

Proceedings of the 2008 IEEE International Conference on Electro/Information Technology, 2008

Liberate Computer User from Programming.

Teodor Rus

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Toward Application Driven Software Technology.

Teodor Rus, Donald Ephraim Curtis

Proceedings of the 2007 International Conference on Software Engineering Research & Practice, 2007

2006

Application Driven Software Development.

Teodor Rus, Donald Ephraim Curtis

Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28, 2006

2003

Preface.

Cesare Tinelli, Teodor Rus

Theor. Comput. Sci., 2003

2002

A unified language processing methodology.

Teodor Rus

Theor. Comput. Sci., 2002

Generating Model Checkers from Algebraic Specifications.

Teodor Rus, Eric Van Wyk, Tom Halverson

Formal Methods Syst. Des., 2002

2001

Papers from ARTS'97 - Preface.

Miquel Bertran, Teodor Rus

Theor. Comput. Sci., 2001

1998

Phrase Parsers from Multi-Axiom Grammars.

Teodor Rus, James S. Jones

Theor. Comput. Sci., 1998

Algebraic Processing of Programming Languages.

Teodor Rus

Theor. Comput. Sci., 1998

Using Model Checking in a Parallelizing Compiler.

Teodor Rus, Eric Van Wyk

Parallel Process. Lett., 1998

1997

Using Graph Coloring in an Algebraic Compiler.

Teodor Rus, Sriram V. Pemmaraju

Acta Informatica, 1997

A Formal Approach to Parallelizing Compilers.

Teodor Rus, Eric Van Wyk

Proceedings of the Eighth SIAM Conference on Parallel Processing for Scientific Computing, 1997

Integrating Temporal Logics and Model Checking Algorithms.

Teodor Rus, Eric Van Wyk

Proceedings of the Transformation-Based Reactive Systems Development, 1997

An Algebraic Language Processing Environment.

Teodor Rus, Tom Halverson, Eric Van Wyk, Robert Kooima

Proceedings of the Algebraic Methodology and Software Technology, 1997

1994

Algebraic Tools for Language Processing.

Teodor Rus, Tom Halverson

Comput. Lang., 1994

1993

Real-Time Program Synthesis from Specifications.

Aurel Cornell, John Knaack, A. Nangia, Teodor Rus

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

Systems methodology for software.

Teodor Rus, Daniela Rus

System software and software systems 1, World Scientific, ISBN: 978-981-02-1254-4, 1993

1991

Algebraic Construction of Compliers.

Teodor Rus

Theor. Comput. Sci., 1991

Algebraic Construction of Program Representation Graphs.

Richard Marciano, Teodor Rus

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

TwoLev: A Two Level Scanner.

John Knaack, Teodor Rus

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1988

Parsing Languages by Pattern Matching.

Teodor Rus

IEEE Trans. Software Eng., 1988

Language specification by multi-axiom grammars.

Teodor Rus, John P. Le Peau

Proceedings of the 1988 Internation Conference on Computer Languages, 1988

1987

An Algebraic Model for Programming Languages.

Teodor Rus

Comput. Lang., 1987

1986

An algebraic approach for assembler construction (abstract).

Teodor Rus, Kurt Hansen

Proceedings of the 14th ACM Annual Conference on Computer Science, 1986

1980

HAS-Hierarchy: A natural tool for language specification.

Teodor Rus

Fundam. Informaticae, 1980

1976

Context-Free Algebra: A Mathematical Device for Compiler Specifications.

Teodor Rus

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976