Publications
Export 1858 results:
Author Title Type [ Year] Filters: First Letter Of Last Name is C [Clear All Filters]
1994. Tool support for tailored software prototyping. Assessment of Quality Software Development Tools, 1994, Proceedings., Third Symposium on. :171-181.
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.
1994. Transmission patterns of eukaryotic transposable elements - arguments for and against horizontal transfer. Trends Ecol Evol. 9(4):141-145.
1994. Verifying an intelligent structural control system: a case study. Real-Time Systems Symposium, 1994., Proceedings.. :271-275.
1994. Visualization in the information highway. Proceedings of the conference on Visualization '94. :4-7.
1993. Analyzing concurrent systems using the Concurrency Workbench. Functional Programming, Concurrency, Simulation and Automated Reasoning. :129-144.
1993. The concurrency workbench: a semantics-based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems. 15:36-72.
1993. A distributed algorithm for ear decomposition. , Fifth International Conference on Computing and Information, 1993. Proceedings ICCI '93. :180-184.
1993. Exploring remote images: a telepathology workstation. Proceedings of the INTERACT '93 and CHI '93 conference on Human factors in computing systems. :518–-518–.
1993. A generalized approach to real-time schedulability analysis. IEEE Real-Time Systems Newsletter. 9(1-2):98-103.
1993. Interoperable query processing with multiple heterogeneous knowledge servers. Proceedings of the second international conference on Information and knowledge management. :461-470.
1993. Investigating touchscreen typing: the effect of keyboard size on typing speed. Behaviour & Information Technology. 12(1):17-22.
1993. A linear-time model-checking algorithm for the alternation-free modal mu-calculus. Formal methods in system design. 2(2):121-147.
1993. Multiple disorder diagnosis with adaptive competitive neural networks. Artificial intelligence in medicine. 5(6):469-487.
1993. An operational semantics of value passing. Proceedings 2nd North American Process Algebra Workshop, Ithaca, New York.
1993. Ordering Effects on Relaxation Methods Applied to the Discrete One- Dimensional Convection-Diffusion Equation. SIAM Journal on Numerical Analysis. 30(5):1268-1290.
1993. Potentials and limitations of pen-based computers. Proceedings of the 1993 ACM conference on Computer science. :536-539.
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).
1993. RTSL: a language for real-time schedulability analysis. Real-Time Systems Symposium, 1993., Proceedings.. :274-283.
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. An application of decision theory for the evaluation of software prototypes. Journal of Systems and Software. 19(1):27-39.