Faculty Books

The following books were authored by UTCS faculty members.

Chandrajit Bajaj

  • "Algebraic Geometry and its Applications", Springer Verlag, (1994), C. Bajaj, editor
  • J. Bloomenthal, C. Bajaj, J. Blinn, M. Gascuel, A. Rockwood, B. Wyvill, G. Wyvill (1997). "Introduction to Implicit Surfaces", Morgan Kaufman Publishers Inc.
  • "Data Visualization Techniques", John Wiley and Sons, (1998), C. Bajaj, editor
  • Algebra, Arithmetic and Geometry with ApplicationsÓ, Springer Verlag, (2004),  C. Christensen, G. Sunderam, A. Sathaye, and C. Bajaj, editors

Dana H. Ballard

  • D. H Ballard and C. M. Brown, Computer Vision, Prentice Hall 1982
  • D. H. Ballard, Natural Computation, MIT Press 1987

Phillip E. Cannata

 

  •  “Carnot Prototype”, Object-Oriented Multidatabase Systems, Prentice-Hall, 1995. 
  •  “The Carnot Project: Implemented Applications”, Heterogeneous Database Systems, Morgan Kaufmann, 1995.
  •  "Proceedings of the First International Conference on Enterprise Integration Modeling Technology", MIT Press, September, 1992.
  •  “A Study of the π 0π 0  System from 1.0 to 1.8 GeV/C2 using the reaction π +P -> D++ π 0 π 0 at 8.0 GeV/c”, Ph. D. Thesis, University of Notre Dame, 1980.

 

Alan K. Cline

  • FITPACK--A Software Package for Curve and Surface Fitting Employing Splines Under Tension, Pleasant Valley Software, Austin, 1984.

Michael D. Dahlin

  • Operating Systems: Principles and Practice by Tom Anderson and Mike Dahlin (Summer 2012)

E. Allen Emerson

  • E. Allen Emerson, Kedar S. Namjoshi (eds.). Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006. Charleston, SC, USA, January 8-10, 2006, Proceedings Springer 2006
  • E. Allen Emerson. Meanings of Model Checking. Concurrency, Compositionality, and Correctness. 237-249 (2010).
  • E. Allen Emerson. The Beginning of Model Checking: A Personal Perspective. 25 Years of Model Checking, 2006 (2008): 27-45.
  • E. Allen Emerson. Temporal and Modal Logic. Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics. 1990: 995-1072.

Kristen Grauman

  • Visual Object Recognition, K. Grauman and B. Leibe.  Synthesis Lectures on Computer Vision.  Morgan and Claypool Publishers, 2011.

Warren A. Hunt Jr.

  • "Computer-Aided Verification," with Fabio Somenzi (editors), LNCS 2725, Springer-Verlag, 2003.
  • The Commercial Use of Formal Verification, (co-editor with Ganesh Gopalakrishnan) special issue of "Formal Methods in Systems Design," Kluwer Academic Publishers, Volume 21, Number 2, March 2003.
  • Microprocessor Verification, (editor) special issue of "Formal Methods in Systems Design," Kluwer Academic Publishers, Volume 20, Number 2, March, 2002.
  • "Formal Methods in Computer-Aided Design," with Steven D. Johnson (editors), LNCS 1954, Springer-Verlag, 2000.
  • A Verified Microprocessor, LNAI Number 795, Springer-Verlag, 1994.

Matt Kaufmann

  • "Computer-Aided Reasoning: An Approach" (with P. Manolios and J Moore).  Kluwer Academic Publishers, June, 2000.
  • "Computer-Aided Reasoning: ACL2 Case Studies" (with co-editors P. Manolios and J Moore).  Kluwer Academic Publishers, June, 2000.
  • (Chapter) ACL2 and Its Applications to Digital System Verification (with J Strother Moore).  In: "Design and Verification of Microprocessor Systems for High-Assurance Applications", David S.~Hardin, ed., Springer, 2010, pp. 1--21.
  • (Chapter) A Computational Logic for Applicative Common Lisp (with J Moore).  In: "A Companion to Philosophical Logic", D. Jacquette (ed), Blackwell Publishers, pp. 724-741, 2002.
  • (Chapter) The Quantifier "There Exist Uncountably Many" and Some of Its Relatives, in: Model-Theoretic Logics (J. Barwise and S. Feferman, editors), Springer-Verlag, 1985, pp. 123-176.

Simon S. Lam

  • Simon S. Lam, Principles of Communication and Networking Protocols, IEEE Computer Society Press, 1984.

Calvin Lin

  • Principles of Parallel Programming, Calvin Lin and Lawrence Snyder, Addison-Wesley, 2008, ISBN-10: 0321487907, ISBN-13: 9780321487902.

Risto Miikkulainen

  • Principe, J. P. and Miikkulainen, R. (editors) (2009). Proceedings of the Seventh Workshop on Self-Organizing Maps. Berlin: Springer.
  • Miikkulainen, R., Bednar, J. A., Choe, Y., and Sirosh, J. (2005). Computational Maps in the Visual Cortex, New York: Springer.
  • Sirosh, J., Miikkulainen, R., and Choe, Y. (editors) (1996). Lateral Interactions in the Cortex: Structure and Function. The UTCS Neural Networks Research Group, Austin, TX. Electronic book, ISBN 0-9647060-0-8.
  • Miikkulainen, R. (1993).  Subsymbolic Natural Language Processing: An Integrated Model of Scripts, Lexicon, and Memory.  Cambridge, MA: MIT Press.

Jayadev Misra

  • Theory in Programming Practice, Jayadev Misra, 2004, Unpublished Manuscript. Used for a required course, CS 337, in the Computer Science Department.  
  • A Discipline of Multiprogramming, Jayadev Misra, Springer-Verlag, 2001. Parallel Program Design: A Foundation, K. Mani Chandy and Jayadev Misra, Addison-Wesley, 1988.  
  • Parallel Program Design: A Foundation, K. Mani Chandy and Jayadev Misra, Addison-Wesley, 1988.

Aloysius K. Mok

  • Chapter in "Trends in Formal Methods for Real-Time Computing". C. Heitmeyer and D. Mandrioli, Eds., John Wiley, New York, 1996.
  • Chapter in "Foundations of Real-Time Computing: Formal Specifications and Methods". A. van Tilborg and G. Koob, Eds., Kluwer Academic Publishers, 1991.
  • "WirelessHART: Real-Time Mesh Network for Industrial Automation". D.J. Chen, M. Nixon and A.K. Mok, Springer Verlag Publishers, 2010.

J Strother Moore

  • Computer-Aided Reasoning: An Approach, with Matt Kaufmann and Panagiotis Manolios, Kluwer Academic Publishers, 2000.
  • Piton: A Mechanically Verified Assembly-Level Language, J Strother Moore, Automated Reasoning Series, Kluwer Academic Publishers, 1996.
  • A Computational Logic, with Robert S. Boyer, Academic Press, 1979.

Margaret Myers

  • Margaret E. Myers (lead writer) et al, Mathematics Standards in the Classroom: Classroom Activities Aligned to the Texas Standards for Grades K-2 (first edition) The Charles A. Dana Center, UT-Austin, 2008.
  • Margaret E. Myers (lead writer) et al, Mathematics Standards in the Classroom: Classroom Activities Aligned to the Texas Standards for Grades 3-5 (second edition, 2008) The Charles A. Dana Center, UT-Austin, 2008.Margaret E. Myers (writer/editor) et al, Mathematics Standards in the Classroom: Classroom Activities Aligned to the Texas Standards for Grades 6-8 (second edition, 2008) The Charles A. Dana Center, UT-Austin, 2008.
  • Anne T. Henderson, Karen L. Mapp, Catherine Jordan (contributor), Evangelina Orozco (contributor), Amy Averett (contributor), Deborah Donnelly (contributor), Joan Buttram (contributor), Lacy Wood (contributor), Marilyn Fowler (contributor), Margaret Myers (contributor), A New Wave of Evidence: The Impact of School, Family, and Community Connections on Student Achievement, Southwest Educational Development Laboratory, Austin, TX, 2002.

Bruce W. Porter

  • (with van Harmelen, F. and Lifschitz, V., editors) Handbook of Knowledge Representation, in the Foundations of Artificial Intelligence series, Elsevier, 2008.

William H. Press

  • W.H. Press, S.A. Teukolsky, W.T. Vetterling, and B.P. Flannery, Numerical Recipes: The Art of Scientific Computing, Third Edition, 1235 pp. + xxi (New York: Cambridge University Press, 2007).
  • W.H. Press, S.A. Teukolsky, W.T. Vetterling, B.P. Flannery, Numerical Recipes in Fortran 90: The Art of Parallel Scientific Computing, Volume 2 of Fortran Numerical Recipes, Second Edition (New York:Cambridge University Press, 1996).
  • W.H. Press, S.A. Teukolsky, W.T. Vetterling, and B.P. Flannery, Numerical Recipes in C, Second Edition, 1007pp. + xxvi (New York: Cambridge University Press, 1992).
  • W.H. Press, B.P. Flannery, S.A. Teukolsky, and W.T. Vetterling, Numerical Recipes: The Art of Scientific Computing, 818 pp. + xvi (New York: Cambridge University Press, 1986).
  • R.H. Price, and S.A. Teukolsky, Problem Book in Relativity and Gravitation, with complete solutions 599 pp. + xiv (Princeton University Press, 1975).

Lili Qiu

  • Atul Adya, Victor Bahl, and Lili Qiu. Characterizing Web Workload for Mobile Clients. Invited book chapter in Content Networking in the Mobile Internet, John Wiley & Sons. August 2004.

Elaine Rich

  • Automata, Computability and Complexity: Theory and Applications, Prentice-Hall, 2008.
  • Artificial Intelligence, 2nd Edition, Prentice-Hall, 1991 (with Kevin Knight). Appeared on ACM list of top 25 classic books in CS. Appeared on 2008 list on techoozie.com of 10 books that substitute for a CS degree.
  • Artificial Intelligence, Prentice-Hall, 1983.

Peter Stone

  • Peter Stone. Layered Learning in Multiagent Systems: A Winning Approach to Robotic Soccer. MIT Press, 2000. (monograph)
  • Michael P. Wellman, Amy Greenwald, and Peter Stone. Autonomous Bidding Agents: Strategies and Lessons from the Trading Agent Competition. MIT Press, 2007. (monograph) 
  • Peter Stone. Intelligent Autonomous Robotics: A Robot Soccer Case Study. Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan & Claypool Publishers, 2007. (monograph)

Robert A. Van de Geijn

  • Robert A. van de Geijn. Using PLAPACK: Parallel Linear Algebra Package. The MIT Press, 1997.
  • Robert A. van de Geijn and Enrique S. Quintana-Ortí. The Science of Programming Matrix Computations. www.lulu.com, 2008.

Paul Toprac

  • "Ctrl-Alt-Play: Essays on Control in Video Gaming". Jefferson, NC. McFarland & Co Inc.
  • "Game Sound Technology and Player Interaction: Concepts and Developments". Hershey, PA: IGI Global.
  • "Handbook of Research on Improving Learning and Motivation through Educational Games: Multidisciplinary Approaches". Hershey, PA: IGI Global.