Teodor Rus Coauthor index DBLP Vis pubzone.org

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

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

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)