Ph.D., University of Victoria
Jacqueline E. Rice, Assistant Professor
Dept. of Math and Computer Science
University of Lethbridge
4401 University Drive
Lethbridge, Alberta, Canada T1K 3M4
tel: 403.329.2783 fax: 403.317.2882

j.rice @

last updated March 2004

links that I use

The following are some research links that I find useful every now and then.

BDDs (and related links)
BDD Corner
Randal Bryant's home page (the "father of BDDs")
Rolf Drechsler
Ken McMillan
D. M. Miller
Mitch Thornton
Paul Molitor

DD Packages
CUDD Package (local copy)
list from BDD-Portal
PUMA (Universitšt Freiburg, Germany)
Formal Verification Group
(Eindhoven University of Technology, Netherlands)
Hybrid Graph Manipulation Package Demo
(Technische Universitšt Darmstadt, Germany)
Symbolic Techniques in High Level Synthesis
(University of California, Santa Barbara, USA)

Autocorrelation (and related links)
Mark G. Karpovsky

Women in Computer Science
Committee on the Status of Women in Computing Research
anita borg institute for women and technology
Grace Hopper Celebration of Women in Computing

Quantum Logic
Portland Quantum Logic Group

George Boole


Conference Listings/Links
computer society conferences
IEEE conference search
listing from Laurence
another from Laurence
listing from Jon
another from Jon
VLSI/architecture related conference listing
Steve W's list

A Perl Tutorial
C++ book
latex toc


Useful Research Support Links
NSERC Research Grants Program Guide
(dates, forms, etc. for Individual Grants)
NSERC Program Guide
(Guidelines for the Review of Applications in Engineering and the Applied Sciences)
NSERC - Program Guide
(Overview of Scholarship and Fellowship Programs)
NSERC - Forms
Alberta Ingenuity
Alberta Innovation and science
iCORE - Grants
Canada Foundation for Innovation : Forms and Downloads
NATO Scientific Affairs: Collaborative Linkage Grants