Journal Publications

Contents
2000
  • Al-Houmaily, Y.J. and Chrysanthis, P.K., "An atomic commit protocol for gigabit-networked distributed database systems," J. Systems Architecture, The EuroMicro J., June 2000, Vol. 46, No. 9, pp. 809-833.

  • Alrabiah, T. and Znati, T., "Qn efficient and easily deployable QoS-based routing scheme for online internet multicasting," Special Issue of Computer Communications on "Integrating Multicast into the Internet," to appear.

  • Alrabiah, T. and Znati, T., "Delay-constrained, low-cost multicast routing in multimedia networks," Special Issue of J. Parallel and Distributed Computing on "Routing in Computer and Communication Systems," to appear.

  • Aydin, H., Melhem, R., MossČ, D., and Mejia-Alvarez. P., "Optimal reward-based scheduling for periodic real-time Tasks," IEEE Trans. on Computers, to appear.

  • Boykin, M. and Znati, T., "QoS-aware fair queuing: A low overhead packet scheduling discipline for networked multimedia environments," J. Multimedia Tools and Applications, to appear.

  • Brustoloni, J. and Garay, J., "MicroISPs: Providing Convenient and Low-Cost High-Bandwidth Internet Access," Computer Networks, 33(1-6):789-802, Elsevier, June 2000.

  • Buchanan, B.G., "AI's greatest trends and controversies," IEEE Intelligent Systems, Jan./Feb. 2000, pp. 10.

  • Chang, S.K. and Znati, T., "Adlet: Active document for adaptive information integration," IEEE Trans. Knowledge and Data Engineering, to appear.

  • Chiarulli, D., Levitan, S., Derr, P., Hofmann, R., Greiner, B., and Robinson, M., "Demonstration and characterization of multi-channel interconnections using imaging fiber bundles butt coupled to optoelectronic devices," Applied Optics, Feb. 10, 2000, Vol. 39, No. 5, pp. 698 - 703.

  • Conati, C. and VanLehn, K., "Toward computer-based support of meta-cognitive skills: A computational framework to coach self-explanation," Int'l J. Artificial Intelligence in Education, to appear.

  • Costagliola, G. and Chang, S.K., "Using linear positional grammars for the LR parsing of 2-D symbolic languages," GRAMMARS, to appear.

  • Field, B., Znati, T., and MossČ, D., "V-Net: A versatile network architecture to support real-time communication," IEEE Trans. Computers, to appear.

  • Field, B., Znati, T., and MossČ, D., "V-Net: A framework for a versatile network architecture to support real-time communication performance guarantees," IEEE Trans. Computers, to appear.

  • Kalyanasundaram, B. and Pruhs, K., "An optimal deterministic algorithm for online b-matching," Theoretical Computer Science, to appear.

  • Kalyanasundaram, B. and Pruhs, K., "Dynamic spectrum allocation: The impotency of duration notification," J. Scheduling, to appear.

  • Kalyanasundaram, B. and Pruhs, K., "Eliminating migration in multi-processor scheduling," special issue of J. Algorithms devoted to selected papers from SODA 1999, to appear.

  • Kalyanasundaram, B. and Pruhs, K., "Fault-tolerant real-time scheduling," Special issue of Algorithmica devoted to selected papers from the 1997 European Symp. Algorithms, ESA, to appear.

  • Kalyanasundaram, B. and Pruhs, K., "Online transportation problem," SIAM J. Discrete Mathematics, to appear.

  • Kalyanasundaram, B. and Pruhs, K., "Speed is as powerful as clairvoyance," J. ACM, to appear.

  • Kalyanasundaram, B., Pruhs, K., and Torng, E., "Errata: A new algorithm for scheduling periodic, real-time tasks," J. Algorithms, to appear.

  • Kang, D-In, Gerber, R., and Saksena, M., "Parametric design synthesis of distributed embedded systems," IEEE Trans. Computers, Oct. 2000, to appear.

  • Kurzweg, T.P., Martinez, J.A., Levitan, S.P., Marchand, P.J., Shomsky, M.T., and Chiarulli, D.M., "Modeling optical MEM systems," J. Modeling and Simulation of Micro- Systems, May 2000, Vol. 1, No. 2.

  • Liberato, F., Melhem, R., and MossČ, D., "Tolerance to multiple faults for aperiodic tasks in hard real-time systems," IEEE Trans. on Computers, to appear.

  • Mazumdar, S. and Chrysanthis, P.K., "Achieving consistency in mobile databases through localization in PRO-MOTION," ACM/Baltzer Mobile Networks, 2000, to appear.

  • Memon, A., Pollack, M., and Soffa, M.L., "GUI test-case generation using automated planning," IEEE Trans. Software Engineering, to appear.

  • Pollack, M.E. and McCarthy, C., "A focused monitoring technique, with an application to mobile robots," Autonomous Robots, to appear.

  • Ronen, Y., MossČ, D., and Pollack, M., "Using value-density algorithms to handle transient overloads in deliberation scheduling," IEEE Expert, Special Issue on Real-Time Intelligent Systems, to appear.

  • Simon, R. and Znati, T., "Performance analysis of routing and channel establishment procedures for multimedia communication," Int'l J. Parallel and Distributed Systems and Applications, to appear.

  • VanLehn, K. and Niu, Z., "Bayesian student modeling, user interfaces and feedback: A sensitivity analysis," Int'l J. Artificial Intelligence in Education, to appear.

  • VanLehn, K., Siler, S., Murray, C., Yamauchi, T., and Baggett, W.B., "Human tutoring: Why do only some events cause learning?" Cognition and Instruction, to appear.

  • Wang, Y. and Saksena, M., "Scheduling fixed-priority tasks with preemption threshold," J. Real-Time Systems, to appear.

  • Znati, T., Simon, R., and Alrabiah, T., "A network level framework for synchronization guarantees of multimedia streams," Int'l J. Computers and Their Applications, to appear.
1999
  • Anderson, J.H. and Moir, M., "Universal constructions for large objects," IEEE Trans. Parallel and Distributed Systems, 1999, Vol. 10, No. 12.

  • Banerjee, S., and Chrysanthis, P.K., "Group Two-Phase Locking: A Scalable Data Sharing Protocol," IEICE Transactions on Information Systems, Vol. E82-D, No. 11 pp. 236-245, (January 1999)

  • Blott, S., Martin, C., Breitbart, Y., Brustoloni, J., Gramaglia, T., Korth, H., Kristol, D., Liao, R., Scanlon, E. and Silberschatz, A., "User-Level Billing and Accounting in IP Networks," Bell Labs Technical Journal, 4(4):237-251, Lucent Technologies, Oct.-Dec. 1999.

  • Egan, A., Kutz, D., Mikulin, D., Melhem R., and Mosse', D., "Fault-Tolerant RT-Mach and an Application to Real-Time Train Control", Software Practice and Experience, vol 29(3), pp. 1-17 (1999).

  • Ferrari, M., Taylor, R. and VanLehn, K., "Adapting Work Simulations for Schools", Journal of Educational Computing Research, 21(1), 25-53. (1999)

  • Friedman, R., and Mosse', D., "Load Balancing Schemes for High-Throughput Distributed Fault-Tolerant Servers", Journal of Parallel and Distributed Computing, 59(3) 475-488 (December 1999)

  • Komandur, S., Crowcroft, J., and Mosse', D., "Performance Comparison of CRAM, SPAM, and SEAM" Journal Telecommunication Systems, v11 n3, (1999)

  • Mukherjee, S., Saha, D., Saksena, M., and Tripathi, S.K., "A Distributed Scheduling Algorithm for Real-Time Communication on Slotted Shared Medium", Journal of Parallel and Distributed Computing, 58:1-25, (July 1999)

  • Pollack, M.E., and Horty, J.F., "There's More to Life than Making Plans: Plan Management in Dynamic, Multi-Agent Environments", AI Magazine 20(4):71-84, (1999)

  • Salisbury, S., Chen, Z., and Melhem, R., "Modeling Communication Locality in Multiprocessors", The Journal of Parallel and Distributed Computing, vol 56, no 2, pp. 71-98 (1999).

  • VanLehn, K., "Rule Learning Events in the Acquisition of a Complex Skill: An Evaluation of Cascade", Journal of the Learning Sciences, 8 (1) pp. 71-125. (1999)

  • Weissman/Lauzac, S., and Chrysanthis, P., "Utilizing Versions of Views within a Mobile Environment", Journal of Computing and Information, Special Issue: Proceedings of the ICCI-98, (1999)

  • Yuan, X., Melhem, R., Gupta, R., Mei, Y., and Qiao, C., "Distributed Control for Wavelength Reservation and their Performance Evaluation ", Photonic Network Communications, vol 1, no. 3, pp. 207-218 (1999).

  • Yuan, X., Melhem R., and Gupta, R., "Distributed path reservation algorithms for multiplexed all-optical interconnection networks", IEEE Trans. on Computers, vol 48, no 12, pp. 1355-1363 (1999).
1998
  • Berztiss, A.T. "Domain Analysis for Business Software Systems," Information Systems, Vol. 24, pg. 555-568 1998.

  • Bicchieri, Cristina, Martha E. Pollack, Carlo Rovelli, and Ioannis Tsamardinos, "The Potential for the Evolution of Cooperation among Web Agents," International Journal of Human-Computer Systems, Vol. 8, 1998.

  • Chang, S.K. et al., "An Active Multimedia Information System for Information Ret rieval, Discovery and Fusion", IJSEKE, March 1998, Vol. 8, No. 1, 139-160.

  • Chang, S.K. et al., "A Multimedia Micro-University", IEEE Multimedia Magazine, Viol.5, No. 3, pp. 60-68 (1998)

  • Chagn, S.K. et al., "A Light-Weight Web-At-A-Glance System for Intelligent Information Retrieval," Journal of Knowledge-Based Systems, Vol. 11, pp. 115-124, (1998)

  • Chang, S.K. et al., "An Active Medical Information System Using Active Index and Artificial Neural Network," Advances in Medical Image Databases, pp. 225-249, Kluwer, (1998)

  • Fayman, J., D. Mosse', and E. Rivlin, "FT-AVS: A Fault-Tolerant Architecture for Real-Time Active Vision," Journal of Real-Time Imaging. v 4, n 2, (April 1998)

  • Ghosh, S., Melhem, R., Mosse', D., and Sensarma, J., "Fault-Tolerant Rate-Monotonic Scheduling", Journal of Real-Time Systems, Volume 15, No. 2., (September 1998)

  • Gravenstreter G., and Melhem, R., "Realizing Common Communication Patterns in Patitioned Optical Passive Stars (POPS) Networks," IEEE Transactions on Computers, vol. 47, no. 9, pp. 998-1013 (1998)

  • Jungert, E., and Chang, S.K., "A Spatial Query Language for Multiple Data Sources Based Upon Sigma-Operator Sequences," International Journal of Cooperative Information Systems, Special Issue on Distributed Heterogeneous Information Services, Vol.7, No. 2and 3, (1998)

  • Kang, D-In., Gerber, R., and Saksena, M., "Parametric Design Synthesis of Distributed Embedded System", IEEE Transactions on Computers (October 1998)

  • Kim, J., Kim, Y., Hong, S., Saksena, M., Noh, S.H., and Kwon W.H., "Network Conscious Design of Distributed Real-Time Systems" Journal of Systems Architecture, 45(2), pp. 131-156, (September 1998)

  • Moir, M., "Fast, Long-Lived Renaming Improved and Simplified", Science of Computer Programming, Vol. 30 (1998)

  • VanLehn, K., Martin, J., "Evaluation of an Assessment System Based on Bayesian Student Modeling," International Journal of Artificial Intelligence and Education, Vol. 8 No. 2 (1998)

  • VanLehn, K., "Analogy Events: How Examples are Used During Problem Solving," Cognitive Science , Vol. 22 No. 3 pp. 347-388, 1998
1997
  • Aliferis, Constantin, Greg Cooper, Bruce Buchanan, Martha E. Pollack, and Michael Wagner, "Representing and Developing Temporally Abstracted Knowledge as a Means Towards Solving the 'Time Modeling Problem' in Medical Decision-Support Systems," Computers in Biology and Medicine, 27(5):411-434, 1997.

  • Anderson, J.H., and Moir, M., "Using Local-Spin k-Exclusion Algorithms to Improve Wait-Free Object Implementations", Distributed Computing, Vol. 11 No. 1, (1997)

  • Azar, Y., S. Plotkin, B. Kalyanasundaram, K. Pruhs, and O. Waarts, "Online Load Balancing of Temporary Tasks," Journal of Algorithms, Vol. 22, pp.93-110, 1997.

  • Chang, C. and R. Melhem, "Arbitrary Size Benes Networks," Parallel Processing Letters, Vol. 7, No. 3, pages 279-284, 1997.

  • Chang, S.K. and P.W. Chen, "Knowledge-Based Multimedia Information Retrieval in Hyperspace", Telematics and Informatics, Vol. 14, No. 1, pages 27-50, 1997.

  • Chen, Y-J., D. Mosse', and S-K. Chang, "A Framework for Modeling Dependable Real-Time Distributed Systems," International Journal of Systems Science, Special Issue on Distributed Systems, Volume 28, No.11, November 1997.

  • Duesterwald, E., R. Gupta, and M.L. Soffa, "A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis," ACM Transactions on Programming Languages and Systems, Vol. 19, No. 6, pages 992-1030, November 1997.

  • Ghosh, S., R. Melhem and D. Mosse', "Fault-Tolerance through Scheduling of Aperiodic Tasks in Hard Real-Time Multiprocessor Systems," IEEE Trans. on Parallel and Distributed Systems, Vol. 8, No. 3, pages 272-284, 1997.

  • Gong, C., R. Melhem and R. Gupta, "On-Line Error Detection through Data Duplication in Distributed-Memory Systems", Microprocessor and Microsystems - a special issue on Fault Tolerance, Vol. 21, No. 3, pages 197-209, December 1997.

  • Gupta, R., M.L. Soffa, and J.H. Howard, "Hybrid Slicing: Integrating Dynamic Information with Static Analysis," ACM Transactions on Software Engineering and Methodology, Vol. 6, No. 4, pages 370-397, October 1997.

  • Pollack, Martha E., David Joslin, and Massimo Paolucci, "Flaw Selection Strategies for Partial-Order Planning," Journal of Artificial Intelligence Research, Vol. 7, pages 223-262, 1997.

  • Qiao, C. and R. Melhem, "Reducing Communication Latency with Path Multiplexing in Optically Interconnected Multiprocessor Systems," IEEE Trans. on Parallel and Distributed Systems, Vol. 8, No. 2, pages 97-108, 1997.

  • Sigurdsson, S., B. He, R. Melhem and L. Hernquist, "Implementing an Efficient Collisionless N-body Code on the Cray T3D," Computers in Physics, vol 11, no 4, pp 378-385, 1997.

  • Walborn, G.D. and Chrysanthis, P.K., "PRO-MOTION: Support for Mobile Database Access," Personal Technologies, Vol.1, No.3, pp. 171-181, Springer-Verlag, September 1997.

  • Walker, Marilyn A. and Moore, Johanna D., "Empirical Studies in Discourse," Computational Linguistics, 23(1):1-12, 1997.

  • Whitfield, D. and M.L. Soffa, "An Approach for Exploring Code-Improving Transformations," ACM Transactions on Programming Languages and Systems, Vol. 19, Number 6, pages 1053-1084, 1997.

  • Yuan, X., R. Gupta and R. Melhem, "Demand-Driven Data Flow Analysis for Communication Optimization," Parallel Processing Letters, Vol. 7, No. 4, pages 359-370, December 1997.

  • Yuan, X., C. Salisbury, D. Balsara and R. Melhem, "A Load Balancing Package on Distributed Memory Systems and its Application to Particle-Particle Particle-Particle-Mesh (P3M) Methods," Parallel Computing, vol 23, pages 1525-1544, 1997.
1996
  • Bodik, R. and R. Gupta, "Array Data-Flow Analysis for Load-Store Optimizations in Superscalar Architectures," International Journal of Parallel Programming, special issue on Languages and Compilers for Parallel Computing, Vol. 24, No. 6, pages 481-512, 1996.

  • Brustoloni, J. and Steenkiste, P., "Effects of Buffering Semantics on I/O Performance," Operating Systems Review, 30(Special Issue):277-291, ACM, 1996.

  • Chang, S.K., "Extending Visual Languages for Multimedia", IEEE Multimedia Magazine, Fall 1996, Vol. 3, No. 3, 18-26.

  • Chang, S.K., "Active Index for Content-Based Medical Image Retrieval", Journal of Computerized Medical Imaging and Graphics, Special Issue on Medical Image Databases (S. Wong and H. K. Huang, eds.), Elsevier Science Ltd., Vol. 20, No. 4, 1996, 219-229.

  • Chiarulli, D.M. and S.P. Levitan, "An Optoelectronic Cache Memory System Architecture," Applied Optics, Special issue on Optical Memories, 1996.

  • Chiarulli, D.M., S.P. Levitan, R. Melhem, J. Taza and Gravenstreter, "Partitioned Optical Passive Star (POPS) Multiprocessor Interconnection Networks with Distributed Control," IEEE Journal of Lightwave Technology, Vol. 14, No. 7, pages 1601-1612, 1996.

  • Field, B., and Znati, T., "Simulation Based Experimental Evaluation Of Transport Layer Protocols To Support Real-Time Applications," International Journal in Computer Simulation, Volume 6, No. 2, 1996.

  • S. T. Frezza, >S. Levitan, and P. K. Chrysanthis. "Linking Requirements and Design Data for Automated Functional Evaluation," Computers in Industry, Vol. 30, pp. 13-25, September 1996.

  • Gong, C., R. Melhem, and R. Gupta, ``Loop Transformations for Fault Detection on Massively Parallel Systems,'' IEEE Transactions on Parallel and Distributed Systems, Vol. 7, No. 12, pages 1239-1250, December 1996.

  • Gupta, R. and M. Spezialetti, ``A Compact Task Graph Representation for Real-Time Scheduling,'' Journal of Real Time Systems, vol. 11, no. 1, pp. 71-102, 1996.

  • Gupta, R., M.J. Harrold, and M.L. Soffa, "Program Slicing-Based Regression Testing Techniques," Journal of Software Testing, Verification and Reliability, vol. 6, no. 3, 1996.

  • A. Massari, S. Weissman, and P. K. Chrysanthis. "Supporting, Mobile Database Access through Query by Icons," Distributed and Parallel Databases Journal. (Special issue on databases and mobility), Vol 4., No. 3, pp. 249--270, July 1996.

  • Moore, Johanna D., "Making Computer Tutors More Like Humans," Journal of Artificial Intelligence in Education, 7(2):181-214, 1996.

  • Moore, Johanna D. and Mittal, Vibhu O., "Dynamically Generated Follow-up Questions," IEEE Computer, special issue on Interactive Natural Language Processing, pp. 75-86, July 1996.

  • Moser, Megan G. and Moore, Johanna D., "Toward a Synthesis of Two Accounts of Discourse Structure," Computational Linguistics, 22(3):409-420, 1996.

  • Perkusich. A., M. Perkusich, and S. K. Chang, "Object-Oriented Design, Modular Analysis and Fault-Tolerance of Real-Time Control Software Systems", Int'l Journal of Software Eng. & Knowledge Eng., Vol. 6, No. 3, pp.447-476, September 1996.

  • K. Ramamritham and P. K. Chrysanthis, "A Taxonomy of Correctness Criteria in Database Applications," The International Journal on Very LargeData Bases, Vol. 4, No. 1, pp. 181-293, January 1996.

  • Ronen, Y., D. Mosse', and M. E. Pollack, "Value-Density Algorithms for the Deliberation Scheduling Problem," SIGART Bulletin, 7(2), 1996.

  • Ur, S. and K. VanLehn, "Steps: A simulated, tutorable physics student," Journal of Artificial Intelligence in Education, 1996.

  • Zhang, Q.L., , S. K. Chang and S. Yau, "A Unified Approach to Iconic Indexing, Retrieval and Maintenance of Spatial Relationships in Image Databases", Special Issue on Indexing, Storage, Retrieval and Browsing of Images and Video (eds. Bed Liu and P. Panchanathan), Journal of Visual Communication and Image Representation, Academic Press, Vol. 7, No. 4, pp-307-324, December 1996.
1995
  • Alam, M. and R. Melhem, "Channel multiplexing in fault tolerant modular multiprocessors," J. Parallel and Distributed Computing, vol. 24, no. 2, pp. 115-131, 1995.

  • Alam, M. and R. Melhem, "Routing in Modular Fault-Tolerant Multiprocessor Systems", IEEE Trans. on Parallel and Distributed Systems, vol. 6 no. 11, pp. 1206-1220, 1995.

  • Beame, P. and T. Pitassi, "An exponential separation between counting principles," Annals of Pure and Applied Logic.

  • Buchanan, B.G., "The role of experimentation in artificial intelligence," Philosophical Trans.: Physical Sciences and Engineering, London, England.

  • Buchanan, B.G., J.D. Moore, D.E. Forsythe, G. Carenini, S. Ohlsson, and G.E. Banks, "An interactive system for delivering individualized information to patients," Artificial Intelligence in Medicine.

  • Chandra, A. and R. Melhem, "Reconfiguration in Fault tolerant 3D Meshes," Parallel Processing Letters, Vol. 5, No. 3, pages 387-399, 1995.

  • Chang, S.K., "Toward a theory of active index," J. Visual Languages and Computing, vol. 6, no. 1, March 1995.

  • Chang, S.K., G. Costagliola, G. Tortora, M. Tucci, B. Yu, and J. Yu, "Visual language system for user interfaces," IEEE Software Magazine, March 1995.

  • Chen, L. and H. Y. H. Chuang, "Designing systolic architectures for complete Euclidean distance transform," J. VLSI Signal Processing, vol. 10, no. 2, pp. 169-179, July 1995.

  • Chen, L. and H. Y. H. Chuang, "An efficient algorithm for complete Euclidean distance transform on mesh-connected SIMD," Parallel Computing, vol. 21, pp. 841-852, May 1995.

  • Chuang, H.Y.H. and L. Chen, "VLSI architecture for fast 2-D discrete orthonormal wavelet transform," J. VLSI Signal Processing, vol. 10, no. 3, pp. 225-236, August 1995.

  • Daley, R., B. Kalyanasundaram, and M. Velauthapillai, "Breaking the probability 1/2-barrier in FIN-type learning," J. Computer and System Sciences.

  • Forsythe, D.E., "Using ethnography in the design of an explanation system," Expert Systems With Applications.

  • Gerber, R., Hong, S., and Saksena, M., "Guaranteeing Real-Time Requirements with Resource-Based Calibration of Periodic Processes", IEEE Transactions on Software Engineering, 21(7), pp579-592, (July 1995)

  • Gerber, R., Pugh, W., and Saksena, M., "Parametric Dispatching of Hard Real-Time Tasks", IEEE Transactions on Computers, 44(3), (March 1995)

  • Gupta, R., "Generalized dominators," Information Processing Letters, vol. 53, 1995, pp. 193-200.

  • Lee, Y., H.S. Rosenkranz, B.G. Buchanan, D.M. Mattison, and G. Klopman, "Learning rules to predict rodent carcinogenecity of non-genotoxic compounds," J. Mutation Research, January 1995.

  • Leng, B. and B.G. Buchanan, "Protein secondary structure prediction using two-level case-based reasoning," J. Computational Biology.

  • Libeskind-Hadas, R., N. Shrivastava, R.G. Melhem, and C.L. Liu, "Optimal reconfiguration algorithms for real-time fault tolerant processor arrays," IEEE Trans. on Parallel and Distributed Systems, vol. 6, no. 5, pp. 498-510, 1995.

  • Martin, J. and K. VanLehn, "Student assessment using Bayesian nets," International Journal of Human-Computer Studies, vol. 42, pp. 575-591, 1995.

  • Matisse, T., M. Schroeder, D. Chiarulli, and D. Weeks, "Parallel computation of genetic likelihoods using CRI-MAP, PVM, and a network of workstations," Human Heredity, 45:103-116, 1995.

  • Mittal, V.O. and C.L. Paris, "Generating Explanations in Context: The System Perspective," Expert Systems With Applications, vol. 8, no. 4, pp. 491--503, 1995.

  • Moir, M., and J. Anderson, "Wait-Free Algorithms for Fast, Long-Lived Renaming," Science of Computer Programming, vol. 25, pp. 1-39, 1995.

  • Mosse', D., "Resource Reservations in Networked Multimedia Systems," ACM Computing Surveys, Vol. 27, No. 4, pp.610-612, December 1995.

  • Pitassi, T. and A. Urquhart, "The complexity of the Hajos Calculus," SIAM J. Discrete Mathematics.

  • Plusquellic, J.F., D. M. Chiarulli, and S. P.Levitan, "Digital IC Device Testing by Transient Signal Analysis (TSA)," IEE Electronics Letters, 31(18):1568-1570, August 1995.

  • Pollack, M.E., "Evaluating plans, planners, and planning agents," SIGART Bulletin, vol. 6, no. 1, 1995.

  • Pollack, M.E., "Review of 'Artificial Intelligence: A Modern Approach'," AI Magazine, 16(3): 73-74 1995.

  • Pruhs, K., "On the number of local adaptations to transform a spanning tree," Discrete Applied Mathematics, 57:67-74, 1995.

  • Pruhs, K., "Average Case Scalable On-line Algorithms for Fault Replacement," Information Processing Letters, 52:131-136, 1995.

  • Ramamritham, K. and P. K. Chrysanthis. ``A Taxonomy of Correctness Criteria in Database Applications'' Journal of VLDB, 1995.

  • Simon, R., T. Znati, and R.J. Sclabassi, "DIPCS: An interprocess communication architecture for distributed multimedia systems," J. Multimedia Tools and Applications.

  • Simon, R., Krieger D., Znati, T., Lofink, R., and Sclabassi, R.J., "MultiMedia MedNet: a medical diagnosis and consultation system," IEEE Computer.

  • Slotnick, S.A. and J.D. Moore, "Explaining quantitative systems to uninitiated users," Expert Systems with Applications.

  • Spezialetti, M. and R. Gupta, "Loop monotonic statements," IEEE Trans. on Software Engineering, vol. 21, no. 6, June 1995, pp. 497-505.

  • Ur, S. and K. VanLehn, "Steps: A simulated, tutorable physics student," J. Artificial Intelligence in Education.
1994
  • Bafna, V., B. Kalyanasundaram, and K. Pruhs, "Not all insertion methods yield constant approximate tours in the plane," Theoretical Computer Science, vol. 125, 1994, pp. 345-353.

  • Berztiss, A.T., "Safety-critical software: a research agenda," Int'l J. Software Eng. Knowledge Eng., vol. 4, 1994, pp. 165-181.

  • Bonet, M., S. Buss, and T. Pitassi, "Are there hard examples for Frege systems?" Feasible Mathematics, vol. II, 1994.

  • Catarci, T., S. K. Chang, and G. Santucci, "Query representation and management in a multiparadigmatic visual query environment," Advances in Visual Information Management Systems, J. Intelligent Information Systems, vol.3, 1994, pp. 229-330.

  • Chang, S.K., S. Orefice, M. Tucci, and G. Polese, "A methodology and interactive environment for iconic language design," Int'l J. Human-Computer Studies, vol. 41, 1994.

  • Chen, L. and H.Y.H. Chuang, "A fast algorithm for Euclidean distance maps of a 2-D binary image," Information Processing Letters, vol. 51, 1994, pp. 25-29.

  • Chiarulli, D., S. Levitan, R. Melhem, and C. Qiao, "Locality based control algorithms for reconfigurable optical networks," Applied Optics, vol. 33, no. 8, March 1994.

  • Chiarulli, D., S. Levitan, R. Melhem, M. Bidnurkar, R. Ditmore, G. Gravenstreter, Z. Guo, C. Qiao, and J. Teza, "Optoelectronic buses for high performance computing," Proceedings of the IEEE, vol. 82, no. 11, Nov. 1994.

  • Chrysanthis, P.K. and K. Ramamritham, "Synthesis of extended transaction models using ACTA," ACM Trans. on Database Systems, vol. 19, no. 3, September 1994, pp. 450-491.

  • Daley, R., B. Kalyanasundaram, and M. Velauthapillai, "Probabilistic PFIN-type learning," J. Experimental and Theoretical Artif. Intell., 1994, pp. 41-62.

  • Forsythe, D.E., "STS (re)constructs anthropology," Social Studies of Science, vol. 24, no. 1, 1994, pp. 113-123.

  • Guo, Z. and R. Melhem, "Embedding binary X-trees and pyramids in processor arrays with spanning busses," IEEE Trans. Parallel and Distributed Systems, vol. 5, no. 6, 1994, pp. 664-672.

  • Gupta, R., "Optimizing array bound checks using flow analysis," ACM Letters on Programming Languages and Systems, vol. 2, nos. 1-4, March-Dec. 1994, pp. 135-150.

  • Gupta, R., M.L. Soffa, and D. Ombres, "Efficient register allocation via coloring using clique separators," ACM Trans. Prog. Lang. Systems, vol. 16, no. 3, May 1994, pp. 370-386.

  • Harrold, M.J. and M.L. Soffa, "Efficient computation of interprocedural definition-use chains," ACM Trans. Prog. Languages Systems, vol. 16, no. 2, March 1994, pp. 175-204.

  • Hurley, W.D., "Toward and infrastructure for managing interactive systems design," J. Computer and Software Engineering, vol. 2, no. 1, Jan.-Mar. 1994, pp. 3-27.

  • Jones, R.M. and K. VanLehn, "Acquisition of children's addition strategies: A model of impasse-free, knowledge-level learning," Machine Learning, vol. 15, nos. 1&2, 1994, pp. 11-36.

  • Kalyanasundaram, B., and K. Pruhs, "Constructing competitive tours from local information," Theoretical Computer Science, vol. 130, 1994, pp. 125-138. [Also in Proc. EATCS Int'l Colloquium on Automata, Languages, and Programming, 1993 (Springer-Verlag LNCS no. 700), 1993, pp. 102-113].

  • Kramer, R., R. Gupta, and M.L. Soffa, "The combining dag: a technique for parallel data flow analysis," IEEE Trans. Parallel and Distributed Systems, vol. 5, no. 8, August 1994, pp. 805-813.

  • Leng, B., B.G. Buchanan, and H.B. Nicholas, "Protein secondary structure prediction using two-level case-based reasoning," J. Computational Biology, vol. 1, no. 1, 1994, pp. 25-38.

  • Malloy, B., E. Lloyd, and M.L. Soffa, "Scheduling dags for asynchronous multiprocessor execution," IEEE Trans. Parallel and Distributed Systems, vol. 5, no. 5, May 1994, pp. 498-508.

  • Perkusich, A., J. Figueiredo, and S.K. Chang, "Embedding fault-tolerant properties in the design of complex software systems," J. Systems and Software, vol. 25, 1994, pp. 23-27.

  • Qiao, C. and R. Melhem, "Reconfiguration with time division multiplexed MINs for multiprocessor communications," IEEE Trans. Parallel and Distributed Systems, vol. 5, no. 4, 1994, pp. 337-352.

  • Qiao, C., R. Melhem, D. Chiarulli, and S. Levitan, "Dynamic reconfiguration of optically interconnected networks with time division multiplexing," J. Parallel and Distributed Computing, vol. 22, no. 2, August 1994.

  • Qiao, C., R. Melhem, D. Chiarulli, and S. Levitan, "A time domain approach for avoiding crosstalk in optical blocking multistage interconnection networks," IEEE J. Lightwave Technology, vol. 12, no. 10, October 1994.

  • Ramirez, J. and R. Melhem, "Computational arrays with flexible redundancy," IEEE Trans. on Computers, vol. 43, no. 4, 1994, pp. 413-430.

  • VanLehn, K., S. Ohlsson, and R. Nason, "Applications of simulated students: An exploration," J. Artificial Intelligence in Education, vol. 5, no. 2, 1994, pp. 135-175.

  • Whitfield, D. and M.L. Soffa, "The design and implementation of Genesis," Software - Practice and Experience, vol. 24, no. 3, March 1994.

  • Yuan, X., Saksena, M., and Agrawala, A.K., "A Decomposition Approach to Non-premptive Real-Time Scheduling", Journal of Real-Time Systems, (January 1994)

  • Znati, T., and R. Melhem, "A uniform framework for dynamic load balancing strategies in distributed processing systems," J. Parallel and Distributed Computing, vol. 23, 1994, pp. 246-255.
1993
  • Berztiss, A.T., "The query language Vizla," IEEE Trans. Knowledge and Data Eng., vol. 5, 1993, pp. 813-825.

  • Chrysanthis, P.K. and K. Ramamritham, "Delegation in ACTA as a means to control sharing in extended transactions," IEEE Data Engineering, vol. 16, no. 2, June 1993, pp. 16-19.

  • Davis, R., B.G. Buchanan, and E.H. Shortliffe, "Retrospective on production rules as a representation for a knowledge-based consultation program," Artificial Intelligence J., vol. 59, 1993, pp. 181-189.

  • Feigenbaum, E.A. and B.G. Buchanan, "DENDRAL and Meta-DENDRAL: roots of knowledge systems and expert system applications," Artificial Intelligence, vol. 59, 1993, pp. 233-240.

  • Field, B., and T. Znati, T., "alpha-Channel: A network framework to support real-time performance guarantees," IEEE J. Selected Area of Communications, vol. 11, no. 8, October 1993, pp. 1317-1329.

  • Forsythe, D.E., "Engineering knowledge: The construction of knowledge in artificial intelligence," Social Studies of Science, vol. 23, 1993, pp. 445-477.

  • Forsythe, D.E., "The construction of work in artificial intelligence," Science, Technology, and Human Values, vol. 18, 1993, pp. 460-479.

  • Gupta, R. and M.L. Soffa, "Employing static information in the generation of test cases," J. Software Testing, Verification and Reliability, vol. 3, no. 1, Dec. 1993, pp. 29-48.

  • Hanks, S., M. E. Pollack, and P. Cohen, "Benchmarks, testbeds, controlled experimentation, and the design of agent architectures," AI Magazine, vol. 14 no. 4, 1993, pp. 17-42.

  • Harrold, M.J., R. Gupta, and M.L. Soffa, "A methodology for controlling the size of a test suite," ACM Trans. Software Eng. and Meth., vol. 2, July 1993, pp. 270-285.

  • Hurley, W.D., "A process model for interactive systems," J. Systems Integration, vol. 3, no. 3/4, Sept. 1993, pp. 251-271.

  • Hurley, W.D., "A method for predicting the impact of user interface design on software design," J. Systems and Software, vol. 22, no. 3, Sept. 1993, pp. 179-190.

  • Kalyanasundaram, B. and K. Pruhs, "A competitive analysis of algorithms for searching unknown scenes," Comp. Geometry: Theory and Applications, vol. 3, 1993, pp. 139-155.

  • Kalyanasundaram, B., and K. Pruhs, "Online weighted matching," J. Algorithms, vol. 14, 1993, pp. 478-488.

  • Lindsay, R.K., B.G. Buchanan, E.A. Feigenbaum, and J. Lederberg, "DENDRAL: a case study of the first expert system for scientific hypothesis information," Artificial Intelligence, vol. 61, 1993, pp. 209-261.

  • Liu, C.T., P. K. Chrysanthis and S.K. Chang. ``Schema Evolution through Changes to ER Diagrams.'' Journal of Information Science and Engineering, 9(4):657-683, December 1993.

  • Moore, J.D. and C.L. Paris, "Planning text for advisory dialogues: capturing intentional and rhetorical information," Comp. Linguistics, vol. 19, 1993, pp. 651-695.

  • Mullins, P. and S. Treu, "A task-based cognitive model for user-network interaction: defining a task taxonomy to guide the interface designer," Interacting with Computers, vol. 5, no. 2, 1993, pp. 139-166.

  • Pan, Y. and H.Y.H. Chuang, "Faster line detection algorithms on enhanced mesh-connected arrays," Proc. IEEE, vol. 140, no. 2, March 1993, pp. 95-100.

  • Pitassi, T., P. Beame, and R. Impagliazzo, "Exponential lower bounds for the pigeonhole principle," Computational Complexity, 1993.

  • Pruhs, K., "The SPIN-OUT puzzle," ACM SIGCSE Bulletin, vol. 25, no. 3, Sept. 1993, pp. 36-38.

  • Qiao, C. and R. Melhem, "Time-division optical communications in multiprocessor arrays," IEEE Trans. on Computers, vol. 42, 1993, pp. 577-590.

  • Shyamasundar, R.K., K.T. Narayana, and T. Pitassi, "Semantics of nondeterministic asynchronous broadcast networks," Information and Computation, vol. 104, 1993, pp. 215-252.

  • Znati, T., and B. Field, "A network level channel abstraction for multimedia communication in real-time networks," IEEE Trans. on Knowledge and Data Engineering, vol. 5, no. 4, August 1993, pp. 590-599.

  • Znati, T., Y. Deng, B. Field, and S.K. Chang, "Multi-level specification and protocol simulation tool for distributed multimedia communication," Int'l J. Computer Simulation, vol. 3, no. 4, December 1993.
1992
  • Forsythe, D.E. and B.G. Buchanan, "Non-technical problems in knowledge engineering: implications for project management," Expert Systems With Applications, vol. 5, 1992, pp. 203-212.

  • Gopinath, P., T. Bihari, and R. Gupta, "Compiler techniques for generating predictable object-oriented real-time software," IEEE Software, vol. 9, no. 5, Sept. 1992, pp. 45-50.

  • Gupta, R., "Synchronization and communication costs of loop partitioning on shared-memory multiprocessor systems," IEEE Trans. Parallel and Distributed Systems, vol. 3, no. 4, July 1992, pp. 505-512.

  • Gupta, R., "SPMD execution of programs with pointer-based data structures on distributed-memory machines," J. Parallel and Distributed Computing, vol. 16, no. 2, Oct. 1992, pp. 92-107.

  • Gupta, R. and S. Lee, "Exploiting parallelism on a fine-grained MIMD architecture based upon channel queues," Int'l J. Parallel Prog., vol. 21, no. 5, June 1992, pp. 169-192.

  • Moore, J.D. and C.L. Paris, "Exploiting user feedback to compensate for the unreliability of user models," User Modeling and User-Adapted Interaction, vol. 2, 1992, pp. 331-365.

  • Moore, J.D. and M.E. Pollack, "A problem for RST: the need for multi-level discourse analysis," Comp. Linguistics, vol. 18, 1992, pp. 537-544.

  • Treu, S., "Interface structures: conceptual, logical, and physical patterns applicable to human-computer interaction," Int'l J. Man-Machine Studies, vol. 37, 1992, pp. 565-593.

  • VanLehn K., R.M. Jones, and M.T.H. Chi, "A model of the self-explanation effect," J. Learning Sciences, vol. 2, no. 1, 1992, pp. 1-60.

© 2001 The Department of Computer Science at the University of Pittsburgh
Site maintained by the CS Web Team.