Software Model Checking for Confidentiality Rajeev Alur University of Pennsylvania Joint work with Pavol Cerny.
Perspectives on Quantum Universal Philosohy
A possibilistic Valid Time Model
Web Archiving and Access Mike Smorul Joseph JaJa ADAPT Group University of Maryland, College Park.
Inferring Behavioral Specifications from Large-scale Repositories by Leveraging Collective Intelligence Robert Dyer Bowling Green State University Tien.
Ontology-based Representation and Reasoning about the History of Science