Publications

Export 1858 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Last Name is C  [Clear All Filters]
1994
Chen C, Porter A, Purtilo J.  1994.  Tool support for tailored software prototyping. Assessment of Quality Software Development Tools, 1994, Proceedings., Third Symposium on. :171-181.
Chang Y, Raschid L, Dorr BJ.  1994.  Transforming queries from a relational schema to an object schema: A prototype based on F-logic. Methodologies for Intelligent SystemsMethodologies for Intelligent Systems. 869:154-163.
Cummings MP.  1994.  Transmission patterns of eukaryotic transposable elements - arguments for and against horizontal transfer. Trends Ecol Evol. 9(4):141-145.
Carr D, Plaisant C, Hasegawa H.  1994.  Usability Experiments for the Redesign of a Telepathology Workstation. CS-TR-3270
Elseaidy WM, Cleaveland R, Baugh JW.  1994.  Verifying an intelligent structural control system: a case study. Real-Time Systems Symposium, 1994., Proceedings.. :271-275.
Gershon N, Card SK, Roth SF, Shneiderman B.  1994.  Visualization in the information highway. Proceedings of the conference on Visualization '94. :4-7.
1993
Cleaveland R.  1993.  Analyzing concurrent systems using the Concurrency Workbench. Functional Programming, Concurrency, Simulation and Automated Reasoning. :129-144.
Cleaveland R, Parrow J, Steffen B.  1993.  The concurrency workbench: a semantics-based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems. 15:36-72.
Chernesky MP, Elman H.  1993.  Costs of Solving the Discrete Convection-diffusion Equation by Relaxation Methods.
Hannenhalli S, Perumalla K, Chandrasekharan N, Sridhar R.  1993.  A distributed algorithm for ear decomposition. , Fifth International Conference on Computing and Information, 1993. Proceedings ICCI '93. :180-184.
Plaisant C, Carr DA, Hasegawa H.  1993.  Exploring remote images: a telepathology workstation. Proceedings of the INTERACT '93 and CHI '93 conference on Human factors in computing systems. :518–-518–.
Fredette AN, Cleaveland R.  1993.  A generalized approach to real-time schedulability analysis. IEEE Real-Time Systems Newsletter. 9(1-2):98-103.
Raschid L, Chang Y, Dorr BJ.  1993.  Interoperable query processing with multiple heterogeneous knowledge servers. Proceedings of the second international conference on Information and knowledge management. :461-470.
Sears A, REVIS DOREEN, SWATSKI JANET, CRITTENDEN ROB, Shneiderman B.  1993.  Investigating touchscreen typing: the effect of keyboard size on typing speed. Behaviour & Information Technology. 12(1):17-22.
Cho S, Reggia JA.  1993.  Learning competition and cooperation. Neural computation. 5(2):242-259.
Cleaveland R, Steffen B.  1993.  A linear-time model-checking algorithm for the alternation-free modal mu-calculus. Formal methods in system design. 2(2):121-147.
Cho S, Reggia JA.  1993.  Multiple disorder diagnosis with adaptive competitive neural networks. Artificial intelligence in medicine. 5(6):469-487.
Cleaveland R.  1993.  An operational semantics of value passing. Proceedings 2nd North American Process Algebra Workshop, Ithaca, New York.
Elman H, Chernesky MP.  1993.  Ordering Effects on Relaxation Methods Applied to the Discrete One- Dimensional Convection-Diffusion Equation. SIAM Journal on Numerical Analysis. 30(5):1268-1290.
Citrin W, Halbert D, Hewitt C, Meyrowitz N, Shneiderman B.  1993.  Potentials and limitations of pen-based computers. Proceedings of the 1993 ACM conference on Computer science. :536-539.
Raschid L, Chang Y, Dorr BJ.  1993.  Query mapping and transformation techniques for problem solving with multiple knowledge servers. Proceedings of the Second International Conference on Information and Knowledge Management (CIKM-93).
Fredette AN, Cleaveland R.  1993.  RTSL: a language for real-time schedulability analysis. Real-Time Systems Symposium, 1993., Proceedings.. :274-283.
Reggia JA, Armentrout SL, Chou HH, Peng Y.  1993.  Simple systems that exhibit template-directed replication. Science. 259:1282-1287.
Chimera R, Shneiderman B.  1993.  User interface consistency: an evaluation of original and revised interfaces for a videodisk library. Sparks of innovation in human-computer interaction. :259-259.
1992
Cárdenas SR, Tian J, Zelkowitz MV.  1992.  An application of decision theory for the evaluation of software prototypes. Journal of Systems and Software. 19(1):27-39.

Pages