• 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
• The rCOS Modeler: model-driven development and integrated verification support2009-03-09
• Decision Algorithms for Probabilistic Simulations2009-01-07
• Synthesis of Designs from Property Specifications2008-12-02
• 图灵奖获得者Amir Pnueli教授来访2008-12-02
• 图灵奖获得者C.A.R. Hoare教授来访2008-11-05
• A Pictorial Introduction to Separation Logic2008-11-05
• A Revival of Data Dependencies for Improving Data Quality2008-09-03
• From clear specifications to efficient implementations2008-08-26
• Efficient Policy Analysis for Administrative Role Based Access Control2008-08-26
• Imperative Programs on Numbers: Mechanization of Loop Invariant Generation and Loop Termination2008-07-08
• Perspectives in Probabilistic Verification2008-06-30
• Program Systems Institute of the Russian Academy of Sciences (PSI RAS). Short Introduction2008-06-06