# Teodor Rus

According to our database

^{1}, Teodor Rus## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2008

Application driven software for chemistry.

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

Liberate Computer User from Programming.

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Toward Application Driven Software Technology.

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

2006

Application Driven Software Development.

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

2003

Preface.

Theor. Comput. Sci., 2003

2002

A unified language processing methodology.

Theor. Comput. Sci., 2002

Generating Model Checkers from Algebraic Specifications.

Formal Methods in System Design, 2002

2001

Papers from ARTS'97 - Preface.

Theor. Comput. Sci., 2001

1998

Phrase Parsers from Multi-Axiom Grammars.

Theor. Comput. Sci., 1998

Algebraic Processing of Programming Languages.

Theor. Comput. Sci., 1998

Using Model Checking in a Parallelizing Compiler.

Parallel Processing Letters, 1998

1997

Using Graph Coloring in an Algebraic Compiler.

Acta Inf., 1997

A Formal Approach to Parallelizing Compilers.

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

Integrating Temporal Logics and Model Checking Algorithms.

Proceedings of the Transformation-Based Reactive Systems Development, 1997

An Algebraic Language Processing Environment.

Proceedings of the Algebraic Methodology and Software Technology, 1997

1994

Algebraic Tools for Language Processing.

Comput. Lang., 1994

1993

Real-Time Program Synthesis from Specifications.

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

1991

Algebraic Construction of Compliers.

Theor. Comput. Sci., 1991

Algebraic Construction of Program Representation Graphs.

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

TwoLev: A Two Level Scanner.

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

1988

Parsing Languages by Pattern Matching.

IEEE Trans. Software Eng., 1988

Language specification by multi-axiom grammars.

Proceedings of the 1988 Internation Conference on Computer Languages, 1988

1987

An Algebraic Model for Programming Languages.

Comput. Lang., 1987

1986

An algebraic approach for assembler construction (abstract).

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

1980

HAS-Hierarchy: A natural tool for language specification.

Fundam. Inform., 1980

1976

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

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976