BibSonomy :: author  ::

bookmarks

publications

(269)

• EDUCATION AND SOCIETY
  Robert M. AIKEN (1992)
  to Imtm-Bibliothek by imtm on 2008-08-21 13:07:03
  | BibTeX  
• Detecting races in Relay Ladder Logic programs
  A. Aiken and M. F{\"a}hndrich and Z. Su International Journal on Software Tools for Technology Transfer 3 93--105 (2000)
  to imported by cabird on 2008-08-15 20:29:46
  | BibTeX  
• Detecting races in Relay Ladder Logic programs
  A. Aiken and M. F{\"a}hndrich and Z. Su Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98 184--200 (1998)
  to imported by cabird on 2008-08-15 20:29:46
  | BibTeX  
• Witnessing side effects.
  Tachio Terauchi and Alex Aiken ACM Trans. Program. Lang. Syst. 30 (2008)
  to dblp by dblp on 2008-08-04 00:00:00
  | URL | BibTeX  
• Structured Design of a Knowledge-Based Message Dissemination System.
  Kunihiko Higa and Milam W. Aiken and Olivia R. Liu Sheng International Journal of Software Engineering and Knowledge Engineering 4 61-80 (1994)
  to dblp by dblp on 2008-07-09 00:00:00
  | URL | BibTeX  
• Winnowing: local algorithms for document fingerprinting
  S. Schleimer and D. S. Wilkerson and A. Aiken 76--85 (2003)
  to imported by pdeleenh and 4 other people on 2008-07-07 16:45:32
  | BibTeX  
• Integrating Social Impact and Ethics Issues Across the Computer Science Curriculum.
  C. Dianne Martin and Hilary J. Holz IFIP Congress (2) 137-143 (1992)
  to dblp by dblp on 2008-06-22 00:00:00
  | URL | BibTeX  
• National educational computing policy alternatives.
  Ronald E. Anderson and Robert M. Aiken and Richard Close and Karen Duncan and Marc Tucker ACM Conference on Computer Science 329 (1984)
  to dblp by dblp on 2008-06-18 00:00:00
  | URL | BibTeX  
• Sound, complete and scalable path-sensitive analysis.
  Isil Dillig and Thomas Dillig and Alex Aiken PLDI 270-280 (2008)
  to dblp by dblp on 2008-06-16 00:00:00
  | URL | BibTeX  
• Verifying the Safety of User Pointer Dereferences.
  Suhabe Bugrara and Alex Aiken IEEE Symposium on Security and Privacy 325-338 (2008)
  to dblp by dblp on 2008-05-19 00:00:00
  | URL | BibTeX