Teodor Rus

32 papers B 1C 1Journal 13Unranked 11
YearRankTypeTitle / Venue / Authors
2015 — book
Computer-Based Problem Solving Process
Teodor Rus
2008 — conf
Application driven software for chemistry.
EIT
Donald Ephraim Curtis, Teodor Rus, Jan H. Jensen
2008 — conf
Liberate Computer User from Programming.
AMAST
Teodor Rus
2007 — conf
Toward Application Driven Software Technology.
Software Engineering Research and Practice
Teodor Rus, Donald Ephraim Curtis
2006 C conf
Application Driven Software Development.
ICSEA
Teodor Rus, Donald Ephraim Curtis
2003 J jnl
Preface.
Theor. Comput. Sci.
Cesare Tinelli, Teodor Rus
2002 J jnl
A unified language processing methodology.
Theor. Comput. Sci.
Teodor Rus
2002 J jnl
Generating Model Checkers from Algebraic Specifications.
Formal Methods Syst. Des.
Teodor Rus, Eric Van Wyk, Tom Halverson
2001 J jnl
Papers from ARTS'97 - Preface.
Theor. Comput. Sci.
Miquel Bertran, Teodor Rus
2000 — ed.
Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings
AMAST
Teodor Rus
1998 J jnl
Algebraic Processing of Programming Languages.
Theor. Comput. Sci.
Teodor Rus
1998 J jnl
Phrase Parsers from Multi-Axiom Grammars.
Theor. Comput. Sci.
Teodor Rus, James S. Jones
1998 J jnl
Using Model Checking in a Parallelizing Compiler.
Parallel Process. Lett.
Teodor Rus, Eric Van Wyk
1997 — conf
A Formal Approach to Parallelizing Compilers.
PP
Teodor Rus, Eric Van Wyk
1997 — conf
An Algebraic Language Processing Environment.
AMAST
Teodor Rus, Tom Halverson, Eric Van Wyk, Robert Kooima
1997 — conf
Integrating Temporal Logics and Model Checking Algorithms.
ARTS
Teodor Rus, Eric Van Wyk
1997 — ed.
Transformation-Based Reactive Systems Development, 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings
ARTS
Miquel Bertran, Teodor Rus
1997 J jnl
Using Graph Coloring in an Algebraic Compiler.
Acta Informatica
Teodor Rus, Sriram V. Pemmaraju
1994 — ed.
Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993
AMAST
Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo
1994 J jnl
Algebraic Tools for Language Processing.
Comput. Lang.
Teodor Rus, Tom Halverson
1993 — conf
Real-Time Program Synthesis from Specifications.
AMAST
Aurel Cornell, John Knaack, A. Nangia, Teodor Rus
1993 — book
Systems methodology for software.
Teodor Rus, Daniela Rus
1992 — ed.
Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991
AMAST
Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo
1991 J jnl
Algebraic Construction of Compliers.
Theor. Comput. Sci.
Teodor Rus
1991 — conf
Algebraic Construction of Program Representation Graphs.
AMAST
Richard Marciano, Teodor Rus
1991 — conf
TwoLev: A Two Level Scanner.
AMAST
John Knaack, Teodor Rus
1988 — conf
Language specification by multi-axiom grammars.
ICCL
Teodor Rus, John P. Le Peau
1988 J jnl
Parsing Languages by Pattern Matching.
IEEE Trans. Software Eng.
Teodor Rus
1987 J jnl
An Algebraic Model for Programming Languages.
Comput. Lang.
Teodor Rus
1986 — conf
An algebraic approach for assembler construction (abstract).
ACM Conference on Computer Science
Teodor Rus, Kurt Hansen
1980 J jnl
HAS-Hierarchy: A natural tool for language specification.
Fundam. Informaticae
Teodor Rus
1976 B conf
Context-Free Algebra: A Mathematical Device for Compiler Specifications.
MFCS
Teodor Rus