Publications by Faculty and Students
2006
-
Erlinger, Mike and Mark Wood
Intrusion Detection Message Exchange Requirements, Internet Engineering Task Force #RFC 4766
-
Stone, Christopher A. and Robert Harper
Extensional Equivalence and Singleton Types, ACM Transactions in Computational Logic #7(4)
-
Tribelhorn, B. and Z. Dodds
Cost-effective Peripheral Robotics for AI Education, AAAI 2006, Boston, MA
-
Dodds, Z.
Designing an AI elective to Encourage Undergraduate Research, Proceedings of the 19th International FLAIRS Conference, Melbourne Beach, FL
-
Dodds, Z., L. Greenwald, A. Howard, S. Tejada, and J. Weinberg,
Components, Computation, and Community: Robots and Robotics in Undergraduate AI Education, AI Magazine #27.1 pp. 11-12
-
Dodds, Z. and L. Karp
The evolution of a computational outreach program to secondary school students, 2006 ACM SIGCSE Symposium, Houston, TX
-
Erlinger, Mike, Titus Winters, Ryan Ausanka-Crues, Mark Kegel, Erik Shimshock, and Damiel Turner
TinkerNet: A Low-Cost and Ready-To-Deploy Networking Laboratory Platform, 8th Australasian Computing Education Conference