BibSonomy :: author  ::

bookmarks

publications

(103)

• Implementing a Calculus for Distributed Access Control in Higher Order Logic and HOL.
  Thumrongsak Kosiyatrakul and Susan Older and Polar Humenn and Shiu-Kai Chin MMM-ACNS 32-46 (2003)
  to dblp by dblp on 2008-08-16 00:00:00
  | URL | BibTeX  
• The international honor society for the computing and information disciplines.
  Jeffrey L. Popyack SIGCSE Bulletin 34 25-26 (2002)
  to dblp by dblp on 2008-07-16 00:00:00
  | URL | BibTeX  
• Scholarships, awards, advice, and the abacus.
  Jeffrey Popyack SIGCSE Bulletin 35 21-23 (2003)
  to dblp by dblp on 2008-07-16 00:00:00
  | URL | BibTeX  
• Scholarship, student awards, microbreweries, and baseball.
  Jeffrey Popyack SIGCSE Bulletin 35 26-27 (2003)
  to dblp by dblp on 2008-07-16 00:00:00
  | URL | BibTeX  
• Banner year for UPE.
  Jeffrey L. Popyack SIGCSE Bulletin 36 21-22 (2004)
  to dblp by dblp on 2008-06-30 00:00:00
  | URL | BibTeX  
• Honor societies, college and service.
  Jeffrey L. Popyack SIGCSE Bulletin 37 18-20 (2005)
  to dblp by dblp on 2008-06-30 00:00:00
  | URL | BibTeX  
• Recognizing outstanding achievement.
  Jeffrey Popyack SIGCSE Bulletin 37 22-24 (2005)
  to dblp by dblp on 2008-06-30 00:00:00
  | URL | BibTeX  
• Society in transition.
  Jeffrey L. Popyack SIGCSE Bulletin 39 25-26 (2007)
  to dblp by dblp on 2008-06-27 00:00:00
  | URL | BibTeX  
• New alliances and continuing excellence.
  Jeffrey L. Popyack SIGCSE Bulletin 39 21-23 (2007)
  to dblp by dblp on 2008-06-27 00:00:00
  | URL | BibTeX  
• Take your daughters (and sons) to work: and leave them there.
  Jeffrey L. Popyack SIGCSE Bulletin 40 22-23 (2008)
  to dblp by dblp on 2008-06-27 00:00:00
  | URL | BibTeX