Teodor Rus - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 28 from 28

2015

Computer-Based Problem Solving ProcessTeodor Rus. WorldScientific, 2015. [doi]

2008

Application driven software for chemistryDonald Ephraim Curtis, Teodor Rus, Jan Jensen. eit 2008: 361-366 [doi]

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

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

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

2001

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

1998

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

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

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

1997

Using Graph Coloring in an Algebraic CompilerTeodor Rus, Sriram V. Pemmaraju. ACTA, 34(3):191-209, 1997.

Integrating Temporal Logics and Model Checking AlgorithmsTeodor Rus, Eric {Van Wyk}. arts 1997: 95-110

An Algebraic Language Processing EnvironmentTeodor Rus, Tom Halverson, Eric {Van Wyk}, Robert Kooima. amast 1997: 581-585

A Formal Approach to Parallelizing CompilersTeodor Rus, Eric {Van Wyk}. ppsc 1997:

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

Systems methodology for softwareTeodor Rus, Daniela Rus. Volume 1 of System software and software systems, World Scientific, 1993.

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

Sign in or sign up to see more results.

runs on WebDSL