| 2008 |
|---|
| 29 | EE | Teodor Rus:
Liberate Computer User from Programming.
AMAST 2008: 16-35 |
| 2007 |
|---|
| 28 | | Teodor Rus,
Donald Ephraim Curtis:
Toward Application Driven Software Technology.
Software Engineering Research and Practice 2007: 282-288 |
| 2006 |
|---|
| 27 | EE | Teodor Rus,
Donald Ephraim Curtis:
Application Driven Software Development.
ICSEA 2006: 32 |
| 2003 |
|---|
| 26 | | Cesare Tinelli,
Teodor Rus:
Preface.
Theor. Comput. Sci. 291(3): 219-221 (2003) |
| 2002 |
|---|
| 25 | | Teodor Rus,
Eric Van Wyk,
Tom Halverson:
Generating Model Checkers from Algebraic Specifications.
Formal Methods in System Design 20(3): 249-284 (2002) |
| 24 | EE | Teodor Rus:
A unified language processing methodology.
Theor. Comput. Sci. 281(1-2): 499-536 (2002) |
| 2001 |
|---|
| 23 | EE | Miquel Bertran,
Teodor Rus:
Papers from ARTS'97 - Preface.
Theor. Comput. Sci. 253(1): 1 (2001) |
| 2000 |
|---|
| 22 | | Teodor Rus:
Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings
Springer 2000 |
| 1998 |
|---|
| 21 | | Teodor Rus,
Eric Van Wyk:
Using Model Checking in a Parallelizing Compiler.
Parallel Processing Letters 8(4): 459-471 (1998) |
| 20 | EE | Teodor Rus:
Algebraic Processing of Programming Languages.
Theor. Comput. Sci. 199(1-2): 105-143 (1998) |
| 19 | EE | Teodor Rus,
James S. Jones:
Phrase Parsers from Multi-Axiom Grammars.
Theor. Comput. Sci. 199(1-2): 199-229 (1998) |
| 1997 |
|---|
| 18 | | Miquel Bertran,
Teodor Rus:
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
Springer 1997 |
| 17 | | Teodor Rus,
Tom Halverson,
Eric Van Wyk,
Robert Kooima:
An Algebraic Language Processing Environment.
AMAST 1997: 581-585 |
| 16 | | Teodor Rus,
Eric Van Wyk:
Integrating Temporal Logics and Model Checking Algorithms.
ARTS 1997: 95-110 |
| 15 | | Teodor Rus,
Eric Van Wyk:
A Formal Approach to Parallelizing Compilers.
PPSC 1997 |
| 14 | | Teodor Rus,
Sriram V. Pemmaraju:
Using Graph Coloring in an Algebraic Compiler.
Acta Inf. 34(3): 191-209 (1997) |
| 1994 |
|---|
| 13 | | Maurice Nivat,
Charles Rattray,
Teodor Rus,
Giuseppe Scollo:
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
Springer 1994 |
| 12 | | Teodor Rus,
Tom Halverson:
Algebraic Tools for Language Processing.
Comput. Lang. 20(4): 213-238 (1994) |
| 1993 |
|---|
| 11 | | Aurel Cornell,
John Knaack,
A. Nangia,
Teodor Rus:
Real-Time Program Synthesis from Specifications.
AMAST 1993: 237-244 |
| 1992 |
|---|
| 10 | | Maurice Nivat,
Charles Rattray,
Teodor Rus,
Giuseppe Scollo:
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
Springer 1992 |
| 1991 |
|---|
| 9 | | John Knaack,
Teodor Rus:
TwoLev: A Two Level Scanner.
AMAST 1991: 264-276 |
| 8 | | Richard Marciano,
Teodor Rus:
Algebraic Construction of Program Representation Graphs.
AMAST 1991: 529-546 |
| 7 | | Teodor Rus:
Algebraic Construction of Compliers.
Theor. Comput. Sci. 90(2): 271-308 (1991) |
| 1988 |
|---|
| 6 | EE | Teodor Rus,
J. P. Le Peau:
Language specification by multi-axiom grammars.
ICCL 1988: 110-118 |
| 5 | EE | Teodor Rus:
Parsing Languages by Pattern Matching.
IEEE Trans. Software Eng. 14(4): 498-511 (1988) |
| 1987 |
|---|
| 4 | | Teodor Rus:
An Algebraic Model for Programming Languages.
Comput. Lang. 12(3/4): 173-195 (1987) |
| 1986 |
|---|
| 3 | EE | Teodor Rus,
Kurt Hansen:
An algebraic approach for assembler construction (abstract).
ACM Conference on Computer Science 1986: 489 |
| 1980 |
|---|
| 2 | | Teodor Rus:
HAS-Hierarchy: A natural tool for language specification.
Fundam. Inform. 3(3): 269-294 (1980) |
| 1976 |
|---|
| 1 | | Teodor Rus:
Context-Free Algebra: A Mathematical Device for Compiler Specifications.
MFCS 1976: 488-494 |
