Adam Duracz
发表
Walid Taha,
Michal Konecný,
Jan Duracz,
2013,
2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA).
Roland Philippsen,
Yingfu Zeng,
Christian Grante,
2019,
CyPhy/WESE.
Marcia Kilchenman O'Malley,
Fei Xu,
Robert Cartwright,
2015,
IoT 360.
Henry Hoffmann,
Krishna V. Palem,
Robert Cartwright,
2019,
ArXiv.
Benoît Caillaud,
Walid Taha,
Yingfu Zeng,
2016,
2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES).
Fei Xu,
Walid Taha,
Yingfu Zeng,
2016,
WESE.
Fei Xu,
Robert Cartwright,
Walid Taha,
2016,
SIGBED Rev..
Swarnendu Biswas,
Keshav Pingali,
Sizhuo Zhang,
2019,
IEEE Software.
K. Mani Chandy,
Krishna V. Palem,
Robert Cartwright,
2020,
2001.02075.
Fei Xu,
Henrik Eriksson,
Walid Taha,
2015,
2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems.
Walid Taha,
Eugenio Moggi,
Adam Duracz,
2018,
Principles of Modeling.
Adam Duracz,
Adam Duracz,
2006
.
Dominykas Barisas,
Adam Duracz,
Walid Taha,
2014,
ICIT 2014.
Walid Taha,
Amin Farjudian,
Eugenio Moggi,
2017,
Theor. Comput. Sci..
Robert Cartwright,
Marcia K. O'Malley,
Walid Taha,
2016
.
Adam Duracz,
Adam Duracz,
2016
.
Adam Duracz,
Ferenc A. Bartha,
Walid Taha,
2016,
2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR).
Aaron D. Ames,
Jan Duracz,
Adam Duracz,
2016
.