共 50 条
- [2] Encryption and Reversible Computations Work-in-progress Paper [J]. REVERSIBLE COMPUTATION, RC 2018, 2018, 11106 : 331 - 338
- [4] Interactions among secrecy models (Work-in-progress paper) [J]. FEATURE INTERACTIONS IN SOFTWARE AND COMMUNICATION SYSTEMS X, 2009, : 160 - 165
- [5] Intentional Linguistic Summaries for Collaborative Business Model Radars [J]. 2020 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE), 2020,
- [6] A REASONED APPROACH TO ERROR HANDLING Position Paper on Work-in-Progress [J]. ICEIS 2008: PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL HCI: HUMAN-COMPUTER INTERACTION, 2008, : 420 - 423
- [8] How to Extend IndoorGML for Points of Interest [Work-in-Progress Paper] [J]. WEB AND WIRELESS GEOGRAPHICAL INFORMATION SYSTEMS (W2GIS 2020), 2020, 12473 : 3 - 13
- [9] Formal Verification of GCSE in the Scheduling of High-level Synthesis: Work-in-Progress [J]. PROCEEDINGS OF THE 2020 INTERNATIONAL CONFERENCE ON HARDWARE/SOFTWARE CODESIGN AND SYSTEM SYNTHESIS (CODES+ISSS), 2019, : 1 - 2
- [10] Work-in-Progress: A Formal Approach to Verify Fault Tolerance in Industrial Network Systems [J]. 16TH IEEE INTERNATIONAL CONFERENCE ON FACTORY COMMUNICATION SYSTEMS (WFCS 2020), 2020, : 184 - 187