Publications
Export 1858 results:
Author Title Type [ Year] Filters: First Letter Of Last Name is C [Clear All Filters]
1983. Timing Requirements for Time-Driven Systems Using Augmented Petri Nets. IEEE Transactions on Software Engineering. SE-9(5):603-616.
1982. A complexity theory for unbounded fan-in parallelism. 23rd Annual Symposium on Foundations of Computer Science. :1-13.
1981. Use of cluster analysis to evaluate software engineering methodologies. Proceedings of the 5th international conference on Software engineering. :117-123.
1980. Systematic Derivation of Software Requirements. Proceedings of the 1st International Conference on the Entity-Relationship Approach to Systems Analysis and Design. :403-404.
1978. Numerical Solution of Nonlinear Elliptic Partial Differential Equations by a Generalized Conjugate Gradient Method. Computing. 19:321-339.
1976. A Generalized Conjugate Gradient Method for the Numerical Solution of Elliptic Partial Differential Equations. Sparse Matrix ComputationsSparse Matrix Computations. :309-332.
1976. TORUS: A step towards bridging the gap between data bases and the casual user. Information Systems. 2(2):49-64.
1975. TORUS-a natural language understanding system for data management. Proceedings of the Fourth International Conference on Artificial Intelligence. :414-421.