共 50 条
- [31] Beyond Conventional Data Warehousing - Massively Parallel Data Processing with Greenplum Database (Invited Talk) BUSINESS INTELLIGENCE FOR THE REAL-TIME ENTERPRISE, 2009, 27 : 89 - 96
- [32] Case Management in the Age of Analytics and Data-Driven Insights (Invited Talk) BUSINESS PROCESS MANAGEMENT WORKSHOPS, BPM 2016, 2017, 281 : 225 - 225
- [33] Invited Keynote Talk: Data mining and statistical methods for analyzing microarray experiments BIOINFORMATICS RESEARCH AND APPLICATIONS, 2008, 4983 : 444 - 444
- [34] The Quantitative Analysis of User Behavior Online - Data, Models and Algorithms (Invited Talk) COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2010, 6072 : 327 - 327
- [35] Are Cells Asynchronous Circuits? (Invited Talk) VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2011, 6538 : 1 - 1
- [36] Complexity of Propositional Proofs (Invited Talk) COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2010, 6072 : 340 - 342
- [37] The ideal of verified software (Invited talk) COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2006, 4144 : 5 - 16
- [38] 10 Years of Dart (Invited Talk) PROCEEDINGS OF THE 12TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON VIRTUAL MACHINES AND INTERMEDIATE LANGUAGES, VMIL 2020, 2020, : 4 - 4
- [39] Invited talk: Modern homology search Bioinformatics Research and Applications, Proceedings, 2007, 4463 : 145 - 145
- [40] On a method of global optimization - Invited talk PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2003, 2895 : 1 - 1