Mathematical structures for computer science (2nd ed.)

Anatomy of an introductory computer science course

SIGCSE '86 Proceedings of the seventeenth SIGCSE technical symposium on Computer science education

Evaluating discrete mathematics exercises

SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education

Mathematical proofs as graph search problems in theory courses

SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education

Has our curriculum become math-phobic? (an American perspective)

Proceedings of the 5th annual SIGCSE/SIGCUE ITiCSEconference on Innovation and technology in computer science education

Discrete mathematics: support of and preparation for the study of computer science

Proceedings of the eighth annual consortium on Computing in Small Colleges Rocky Mountain conference

A Distributed Management Scheme for Partitionable Parallel Computers

IEEE Transactions on Parallel and Distributed Systems

Eliminating Memory for Fragmentation Within Partitionable SIMD/SPMD Machines

IEEE Transactions on Parallel and Distributed Systems

We claim this class for computer science: a non-mathematician's discrete structures course

Proceedings of the 35th SIGCSE technical symposium on Computer science education

A Heuristic Method for Balanced Graph Partitioning: An Application for the Demarcation of Preventive Police Patrol Areas

IBERAMIA '08 Proceedings of the 11th Ibero-American conference on AI: Advances in Artificial Intelligence