共 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] Invited Talk: Resilient Distributed Algorithms SOFSEM 2021: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2021, 12607 : 28 - 42
- [36] Locality of queries and transformations (Invited talk) Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006, 2006, 209 : 3 - 3
- [37] Are Cells Asynchronous Circuits? (Invited Talk) VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2011, 6538 : 1 - 1
- [38] Complexity of Propositional Proofs (Invited Talk) COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2010, 6072 : 340 - 342
- [39] The ideal of verified software (Invited talk) COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2006, 4144 : 5 - 16
- [40] 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