James W. Thatcher

33 papers A* 6B 4Journal 13Unranked 7

Year	Rank	Type	Title / Venue / Authors
2005	J	`jnl`	Managing usability for people with disabilities in a large Web presence. IBM Syst. J. Matthew King, James W. Thatcher, Philip Matthew Bronstad, Robert Easton
1989	J	`jnl`	Language Constructs for Specifying Concurrency in CDL*. IEEE Trans. Software Eng. R. K. Shyamasundar, James W. Thatcher
1987	—	`conf`	Algebraic Semantics (Abstract). TAPSOFT, Vol.1 James W. Thatcher
1985	—	`ed.`	Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85) TAPSOFT, Vol.1 Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James W. Thatcher
1985	—	`ed.`	Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 2: Colloquium on Software Engineering (CSE) TAPSOFT, Vol.2 Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James W. Thatcher
1984	J	`jnl`	Parameter Passing in Algebraic Specification Languages. Theor. Comput. Sci. Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1983	A*	`conf`	Algebraic Specifications with Generating Constraints. ICALP Hartmut Ehrig, Eric G. Wagner, James W. Thatcher
1983	J	`jnl`	Recursion and Iteration in Continuous Theories: The "M-Construction". J. Comput. Syst. Sci. Stephen L. Bloom, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1982	J	`jnl`	Data Type Specification: Parameterization and the Power of Specification Techniques. ACM Trans. Program. Lang. Syst. James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1981	J	`jnl`	More on Advice on Structuring Compilers and Proving them Correct. Theor. Comput. Sci. James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1981	—	`conf`	Parameter Passing in Algebraic Specification Languages. Program Specification Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1980	—	`conf`	Data Abstraction, Data Bases and Conceptual Modelling. Workshop on Data Abstraction, Databases and Conceptual Modelling James W. Thatcher
1980	—	`conf`	More on advice on structuring compilers and proving them correct. Semantics-Directed Compiler Generation James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1980	A*	`conf`	Parameterized Data Types in Algebraic Specification Languages (Short Version). ICALP Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1980	—	`conf`	Types (discussion). Workshop on Data Abstraction, Databases and Conceptual Modelling Lawrence A. Rowe, L. Peter Deutsch, Mary Shaw, James W. Thatcher, Heinrich C. Mayr, Stephen N. Zilles, Patrick J. Hayes
1979	A*	`conf`	More on Advice on Structuring Compilers and Proving Them Correct. ICALP James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1978	J	`jnl`	A Uniform Approach to Inductive Posets and Inductive Closure. Theor. Comput. Sci. Jesse B. Wright, Eric G. Wagner, James W. Thatcher
1978	A*	`conf`	Data Type Specification: Parameterization and the Power of Specification Techniques STOC James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1978	B	`conf`	Programming Languages as Mathematical Objects. MFCS Eric G. Wagner, James W. Thatcher, Jesse B. Wright
1977	B	`conf`	A Uniform Approach to Inductive Posets and Inductive Closure. MFCS Jesse B. Wright, Eric G. Wagner, James W. Thatcher
1977	J	`jnl`	Initial Algebra Semantics and Continuous Algebras. J. ACM Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1976	A*	`conf`	Rational Algebraic Theories and Fixed-Point Solutions FOCS Jesse B. Wright, James W. Thatcher, Eric G. Wagner, Joseph A. Goguen
1976	B	`conf`	Some Fundamentals of Order-Algebraic Semantics. MFCS Eric G. Wagner, Jesse B. Wright, Joseph A. Goguen, James W. Thatcher
1975	J	`jnl`	What Is a Multilevel Array? IBM J. Res. Dev. Arnold L. Rosenberg, James W. Thatcher
1974	B	`conf`	Factorizations, Congruences, and the Decomposition of Automata and Systems. MFCS Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1974	—	`conf`	Initial Algebra Semantics SWAT Joseph A. Goguen, James W. Thatcher
1974	—	`conf`	The algebraic theory of recursive program schemes. Category Theory Applied to Computation and Control Rod M. Burstall, James W. Thatcher
1972	—	`ed.`	Proceedings of a symposium on the Complexity of Computer Computations, held March 20-22, 1972, at the IBM Thomas J. Watson Research Center, Yorktown Heights, New York, USA Complexity of Computer Computations Raymond E. Miller, James W. Thatcher
1970	J	`jnl`	Generalized Sequential Machine Maps. J. Comput. Syst. Sci. James W. Thatcher
1969	A*	`conf`	Transformations and Translations from the Point of View of Generalized Finite Automata Theory STOC James W. Thatcher
1968	J	`jnl`	Generalized Finite Automata Theory with an Application to a Decision Problem of Second-Order Logic. Math. Syst. Theory James W. Thatcher, Jesse B. Wright
1967	J	`jnl`	Characterizing Derivation Trees of Context-Free Grammars through a Generalization of Finite Automata Theory. J. Comput. Syst. Sci. James W. Thatcher
1966	J	`jnl`	Decision Problems for Multiple Successor Arithmetics. J. Symb. Log. James W. Thatcher