共 50 条
- [2] Justification based on program transformation - (Extended abstract) [J]. LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2003, 2664 : 158 - 159
- [3] On The Composability of Design Patterns: Extended Abstract [J]. 2017 IEEE 41ST ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 1, 2017, : 369 - 370
- [4] Engineering design performance (Extended abstract) [J]. INFORMATION SYSTEMS AND E-BUSINESS TECHNOLOGIES, 2008, 5 : 108 - +
- [5] Logic, Accountability and Design: Extended Abstract [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2023, 2023, 14281 : 65 - 72
- [6] Extended Abstract of Performance Analysis and Prediction of Model Transformation [J]. ICPE'20: COMPANION OF THE ACM/SPEC INTERNATIONAL CONFERENCE ON PERFORMANCE ENGINEERING, 2020, : 8 - 9
- [7] Extended Abstract of Performance Analysis and Prediction of Model Transformation [J]. PROCEEDINGS OF THE ACM/SPEC INTERNATIONAL CONFERENCE ON PERFORMANCE ENGINEERING (ICPE'20), 2020, : 303 - 304
- [8] Design of a MAS for an island system (Extended abstract) [J]. 2007 INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS APPLICATIONS TO POWER SYSTEMS, VOLS 1 AND 2, 2007, : 559 - 561
- [9] Mechanism Design with Strategic Mediators [Extended Abstract] [J]. PROCEEDINGS OF THE 6TH INNOVATIONS IN THEORETICAL COMPUTER SCIENCE (ITCS'15), 2015, : 307 - 316
- [10] Extended abstract: A design for a tourist CF system [J]. ELEVENTH SCANDINAVIAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (SCAI 2011), 2011, 227 : 193 - +