Teodor Rus

According to our database1, Teodor Rus
  • authored at least 26 papers between 1976 and 2008.
  • has a "Dijkstra number"2 of four.

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


  Loading...