now163
- CAP UNIFICATION : A Tool for Crypto Protocol Analysis2010-04-12
- Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction2010-03-26
- Scope Logic及其设计动机2010-03-08
- Ensemble Engineering/Cyber-Physical systems2009-12-30
- On-the-Fly Model Checking of Security Protocols2009-11-30
- Logic, Graphs and Parameterized Complexity2009-11-27
- Three years of research at the MSR-INRIA Joint Centre2009-11-17
- Model-based tool-chain for the design and analysis of embedded hybrid systems2009-11-16
- Embedded Systems Design —- Scientific Challenges and Work Directions2009-10-27
- Unifying Theories of Data Flow2009-10-15
- Formal Security Proofs for Cryptographic Algorithms and Their Implementations2009-09-10
- Certification of code-based cryptographic proofs2009-09-01
- Testing Finitary Probabilistic Processes2009-07-27
- A Graph-Based Operational Semantics of Object Oriented Programs2009-07-16
- The Future of Computer Science2009-06-17
- On Several Untypical Information Retrieval and Web Search Paradigms2009-06-12
- A resource-aware picalculus2009-05-11
- Introduction to AIST/CVS & Tree Automata for Non-Linear Arithmetic2009-04-23
- Modular Concurrency Verification2009-04-20
- Specifying programs with propositions and with congruences2009-04-14