共 50 条
- [1] On the Convergence of Data and Process Engineering ADVANCES IN DATABASES AND INFORMATION SYSTEMS, 2011, 6909 : 19 - 26
- [2] Fast Convergence of Learning in Games (Invited Talk) STOC'17: PROCEEDINGS OF THE 49TH ANNUAL ACM SIGACT SYMPOSIUM ON THEORY OF COMPUTING, 2017, : 5 - 5
- [3] Invited talk: Web services engineering ENGINEERING INFORMATION SYSTEMS IN THE INTERNET CONTEXT, 2002, 103 : 1 - 8
- [4] Invited Talk: Structured Engineering Argumentation NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE (JSAI-ISAI 2017), 2018, 10838 : 335 - 335
- [5] From Language Engineering to Viewpoint Engineering (Invited Talk) SOFTWARE LANGUAGE ENGINEERING, SLE 2014, 2014, 8706 : IX - XI
- [6] RDF as a data model (Invited talk) Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006, 2006, 209 : 7 - 7
- [7] Invited talk: ASM formalware in the software engineering cycle ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2000, 1816 : 197 - 197
- [8] Invited talk: A software engineering program of lasting value ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2000, 1816 : 1 - 1
- [9] Quality Engineering: Leveraging Heterogeneous Information (Invited Talk) VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2011, 6538 : 23 - 37
- [10] Interactive Data Science at Scale Invited Talk PROCEEDINGS OF THE 18TH ACM INTERNATIONAL CONFERENCE ON COMPUTING FRONTIERS 2021 (CF 2021), 2021, : 210 - 210