共 50 条
- [2] Artificial Life in the Fight against Cancer Extended Abstract of Invited Keynote Lecture [J]. 2013 IEEE SYMPOSIUM ON ARTIFICIAL LIFE (ALIFE), 2013, : 145 - 147
- [3] The Power of Abstraction (Invited Lecture Abstract) [J]. DISTRIBUTED COMPUTING, 2010, 6343 : 3 - 3
- [4] Prospero's Books: A Distributed Architecture for AI Invited Extended Abstract [J]. DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY (ICDCIT 2020), 2020, 11969 : 41 - 49
- [5] Foundations of Quantum Programming (Extended Abstract) [J]. PROGRAMMING LANGUAGES AND SYSTEMS, 2010, 6461 : 16 - 20
- [6] Probabilistic Modal Specifications (Invited Extended Abstract) [J]. FORMAL ASPECTS OF COMPONENT SOFTWARE, 2014, 8348 : 1 - 4
- [7] Distributed prograph: Extended abstract [J]. PARALLEL SYMBOLIC LANGUAGES AND SYSTEMS, 1996, 1068 : 128 - 133
- [8] The Future of Computing and Food Extended Abstract [J]. AVI'18: PROCEEDINGS OF THE 2018 INTERNATIONAL CONFERENCE ON ADVANCED VISUAL INTERFACES, 2018,
- [9] Biomolecular computing and programming - (Extended abstract) [J]. SOFSEM'99: THEORY AND PRACTICE OF INFORMATICS, 1999, 1725 : 181 - 188
- [10] Computing on Encrypted Data (Extended Abstract) [J]. INFORMATION SYSTEMS SECURITY, PROCEEDINGS, 2008, 5352 : 148 - 153