• 2007-10-29A Pointer Logic for Object Diagrams
• 2007-09-20An invitation to Quantum Information Theory
• 2007-09-17Modeling and Design of Embedded Systems
• 2007-08-20An Introduction to Core-sets and Discrete Frechet Distance
• 2007-08-15Controller Synthesis for Real-Time Systems
• 2007-07-26On the limitations of finite state models as sources of tests for access control and authentication
• 2007-06-27Compositional Verification of Timed Systems
• 2007-06-26Modelling and Refinement of Component-based Software Systems: A Coalgebraic Perspective
• 2007-06-12CTL/ACTL Model Update: The Model Explosion Problem and Counterexample Guided Update
• 2007-06-04A process calculus for Specifying Service Level Agreements and Resource Allocation
• 2007-05-30Latent Tree Models and Statistical Foundation for Traditional Chinese Medicine
• 2007-05-21Implementation of Distributed Loop Scheduling Schemes on the TeraGrid
• 2007-04-26Building Certified System Software: Are We Close?
• 2007-03-22Semantics of BPEL4WS-like Fault and Compensation Handling
• 2007-03-20Abductive Reasoning with Logic Programs with Negation