Teodor Rus
Affiliations: | Computer Science | University of Iowa, Iowa City, IA |
Area:
Computer ScienceGoogle:
"Teodor Rus"
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Rus T, Van Wyk E, Halverson T. (2002) Generating model checkers from algebraic specifications Formal Methods in System Design. 20: 249-284 |
| Rus T. (2002) A unified language processing methodology Theoretical Computer Science. 281: 499-536 |
| Rus T, Wyk Ev. (1998) Using model checking in a parallelizing compiler Parallel Processing Letters. 8: 459-471 |
| Rus T, Jones JS. (1998) PHRASE parsers from multi-axiom grammars Theoretical Computer Science. 199: 199-229 |
| Rus T. (1998) Algebraic processing of programming languages Theoretical Computer Science. 199: 105-143 |
| Rus T, van Wyk E. (1997) Integrating temporal logics and model checking algorithms Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1231: 95 |
| Rus T, Halverson T, Van Wyk E, et al. (1997) An algebraic language processing environment Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1349: 581-585 |
| Rus T, Halverson T. (1994) Algebraic tools for language processing Computer Languages. 20: 213-238 |
| Rus T. (1991) Algebraic construction of compilers Theoretical Computer Science. 90: 271-308 |
| Rus T. (1988) Parsing Languages by Pattern Matching Ieee Transactions On Software Engineering. 14: 498-511 |