Publications

Export 1858 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Last Name is C  [Clear All Filters]
1996
Cleaveland R, L\üttgen G, Natarajan V.  1996.  A process algebra with distributed priorities. CONCUR'96: Concurrency Theory. :34-49.
Cleaveland R.  1996.  Semantic theories and system design. ACM Computing Surveys (CSUR). 28(4es):41-41.
Cohen J, Varshney A, Manocha D, Turk G, Weber H, Agarwal P, Brooks F, Wright W.  1996.  Simplification envelopes. Proceedings of the 23rd annual conference on Computer graphics and interactive techniques. :119-128.
Cheong LF, Fermüller C, Aloimonos Y.  1996.  Spatiotemporal representations for visual navigation. Computer Vision — ECCV '96Computer Vision — ECCV '96. 1064:671-684.
Cheong LF, Fermüller C, Aloimonos Y.  1996.  Spatiotemporal representations for visual navigation. Computer Vision — ECCV '96Computer Vision — ECCV '96. 1064:671-684.
Powell D, Cukier M, Arlat J.  1996.  On stratified sampling for high coverage estimations. Dependable Computing — EDCC-2. 1150:35-54.
Elseaidy WM, Baugh JW, Cleaveland R.  1996.  Verification of an active control system using temporal process algebra. Engineering with computers. 12(1):46-61.
Hascoët-Zizi M, Ahlberg C, Korfhage R, Plaisant C, Chalmers M, Rao R.  1996.  Where is information visualization technology going? Proceedings of the 9th annual ACM symposium on User interface software and technology. :75-77.
1995
Fermüller C, Cheong LF, Aloimonos Y.  1995.  3D motion representations in visual servo control. Proceedings of International Symposium on Computer Vision, 1995. :61-66.
Natarajan V, Cleaveland R.  1995.  Divergence and fair testing. Automata, Languages and Programming. :648-659.
Bhat G, Cleaveland R, Grumberg O.  1995.  Efficient on-the-fly model checking for CTL. , Tenth Annual IEEE Symposium on Logic in Computer Science, 1995. LICS '95. Proceedings. :388-397.
Shneiderman B, Chimera R, Jog N, Stimart R, White D.  1995.  Evaluating Spatial and Textual Style of Displays. Institute for Systems Research Technical Reports.
Cleaveland R, Madelaine E, Sims S.  1995.  A front-end generator for verification tools. Tools and Algorithms for the Construction and Analysis of Systems. :153-173.
Celikkan U, Cleaveland R.  1995.  Generating diagnostic information for behavioral preorders. Distributed computing. 9(2):61-75.
Celikkan U, Cleaveland R.  1995.  Generating diagnostic information for behavioral preorders. Distributed computing. 9(2):61-75.
Hannenhalli S, Chappey C, Koonin EV, Pevzner PA.  1995.  Genome Sequence Comparison and Scenarios for Gene Rearrangements: A Test Case. Genomics. 30(2):299-311.
Plaisant C, Morrison S, Skokowski C, Reesch J, Shneiderman B, of at Laboratory U M C P. H/C I, Channel F.  1995.  Human-Computer Interaction Laboratory 1995 Video Reports.
Plaisant C, Carr D, Shneiderman B.  1995.  Image-browser taxonomy and guidelines for designers. IEEE Software. 12(2):21-32.
Raschid L, Chang Y.  1995.  Interoperable query processing from object to relational schemas based on a parameterized canonical representation. Int. J. Cooperative Inf. Syst.. 4(1):81-120.
Cheong LF, Aloimonos Y.  1995.  Iso-distortion contours and egomotion estimation. Proceedings of International Symposium on Computer Vision, 1995. :55-60.
Liang S, Davis LS, Townshend J, Chellappa R, DeFries R, Dubayah R, Goward S, JaJa JF, Krishnamachar S, Roussopoulos N et al..  1995.  Land cover dynamics investigation using parallel computers. Geoscience and Remote Sensing Symposium, 1995. IGARSS '95. 'Quantitative Remote Sensing for Science and Applications', International. 1:332-334vol.1-332-334vol.1.
Cleaveland R, Iyer P, Yankelevich D.  1995.  Optimality in abstractions of model checking. Static Analysis. :51-63.
Miller BP, Callaghan MD, Cargille JM, Hollingsworth J, Irvin RB, Karavanic KL, Kunchithapadam K, Newhall T.  1995.  The Paradyn parallel performance measurement tool. Computer. 28(11):37-46.
Miller BP, Callaghan MD, Cargille JM, Hollingsworth J, Irvin RB, Karavanic KL, Kunchithapadam K, Newhall T.  1995.  The Paradyn parallel performance measurement tool. Computer. 28(11):37-46.
Chari S, Rohatgi P, Srinivasan A.  1995.  Randomness-Optimal Unique Element Isolation with Applications to Perfect Matching and Related Problems. SIAM Journal on Computing. 24(5):1036-1036.

Pages