dblp.uni-trier.dewww.uni-trier.de

Teodor Rus Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
29EETeodor 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
27EETeodor 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)
24EETeodor Rus: A unified language processing methodology. Theor. Comput. Sci. 281(1-2): 499-536 (2002)
2001
23EEMiquel 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)
20EETeodor Rus: Algebraic Processing of Programming Languages. Theor. Comput. Sci. 199(1-2): 105-143 (1998)
19EETeodor 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
6EETeodor Rus, J. P. Le Peau: Language specification by multi-axiom grammars. ICCL 1988: 110-118
5EETeodor 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
3EETeodor 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
1EETeodor Rus: Context-Free Algebra: A Mathematical Device for Compiler Specifications. MFCS 1976: 488-494

Coauthor Index

1Miquel Bertran [18] [23]
2Aurel Cornell [11]
3Donald Ephraim Curtis [27] [28]
4Tom Halverson [12] [17] [25]
5Kurt Hansen [3]
6James S. Jones [19]
7John Knaack [9] [11]
8Robert Kooima [17]
9Richard Marciano [8]
10A. Nangia [11]
11Maurice Nivat [10] [13]
12J. P. Le Peau [6]
13Sriram V. Pemmaraju [14]
14Charles Rattray [10] [13]
15Giuseppe Scollo [10] [13]
16Cesare Tinelli [26]
17Eric Van Wyk [15] [16] [17] [21] [25]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)