Teodor Rus - researchr alias

researchr

You are not signed in
Sign in
Sign up

2008

Liberate Computer User from ProgrammingTeodor Rus. amast 2008: 16-35 [doi]

2007

Toward Application Driven Software TechnologyTeodor Rus, Donald Ephraim Curtis. serp 2007: 282-288

2006

Application Driven Software DevelopmentTeodor Rus, Donald Ephraim Curtis. icsea 2006: 32 [doi]

2003

PrefaceCesare Tinelli, Teodor Rus. TCS, 291(3):219-221, 2003.

2002

A unified language processing methodologyTeodor Rus. TCS, 281(1-2):499-536, 2002. [doi]

Generating Model Checkers from Algebraic SpecificationsTeodor Rus, Eric Van Wyk, Tom Halverson. fmsd, 20(3):249-284, 2002.

2001

Papers from ARTS 97 - PrefaceMiquel Bertran, Teodor Rus. TCS, 253(1):1, 2001. [doi]

2000

Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, ProceedingsTeodor Rus, editor, Volume 1816 of Lecture Notes in Computer Science, Springer, 2000.

1998

Algebraic Processing of Programming LanguagesTeodor Rus. TCS, 199(1-2):105-143, 1998. [doi]

Phrase Parsers from Multi-Axiom GrammarsTeodor Rus, James S. Jones. TCS, 199(1-2):199-229, 1998. [doi]

Using Model Checking in a Parallelizing CompilerTeodor Rus, Eric Van Wyk. ppl, 8(4):459-471, 1998.

1997

1994

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, 1993Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo, editors, Workshops in Computing, Springer, 1994.

Algebraic Tools for Language ProcessingTeodor Rus, Tom Halverson. Comp. Lang., Syst. \& Struct., 20(4):213-238, 1994.

1993

Real-Time Program Synthesis from SpecificationsAurel Cornell, John Knaack, A. Nangia, Teodor Rus. amast 1994: 237-244

1992

Algebraic Methodology and Software Technology (AMAST 91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo, editors, Workshops in Computing, Springer, 1992.

1991

TwoLev: A Two Level ScannerJohn Knaack, Teodor Rus. amast 1992: 264-276

Algebraic Construction of Program Representation GraphsRichard Marciano, Teodor Rus. amast 1992: 529-546

Algebraic Construction of CompliersTeodor Rus. TCS, 90(2):271-308, 1991.

1988

Parsing Languages by Pattern MatchingTeodor Rus. TSE, 14(4):498-511, 1988. [doi]

Language specification by multi-axiom grammarsTeodor Rus, J. P. Le Peau. iccl 1988: 110-118 [doi]

1987

An Algebraic Model for Programming LanguagesTeodor Rus. Comp. Lang., Syst. \& Struct., 12(3/4):173-195, 1987.

1986

An algebraic approach for assembler construction (abstract)Teodor Rus, Kurt Hansen. acm 1986: 489 [doi]

1980

HAS-Hierarchy: A natural tool for language specificationTeodor Rus. FUIN, 3(3):269-294, 1980.

1976

Context-Free Algebra: A Mathematical Device for Compiler SpecificationsTeodor Rus. mfcs 1976: 488-494