FORMAL MODEL
Experts
- Manuel Wimmer
- Richard F. Paige
- Huibiao Zhu
- Gabriele Taentzer
- Bernhard Rumpe
- Juan de Lara
- Marsha Chechik
- Peter Benner
- Ravi S. Sandhu
- Xin Wang
- Jing Li
- Yu Zhang
- Esther Guerra
- Osman Hasan
- Eduardo B. Fernández
- Jordi Cabot
- Lei Wang
- Kim-Kwang Raymond Choo
- Victor Sreeram
- Wei Wang
- Serkan Gugercin
- Yong Wang
- Adrian Rutle
- Jing Wang
- Sofiène Tahar
- Dimitrios S. Kolovos
- Yan Wang
- Dániel Varró
- Frédéric Jouault
- Xin Li
- Alfonso Pierantonio
- Jun Zhang
- Yingxu Wang
- Martin Gogolla
- Keikichi Hirose
- Hui Zhang
- Zhen Jin
- Hiroshi Ishiguro
- Jan Treur
Venues
- CoRR
- IEEE Access
- Appl. Math. Comput.
- Environ. Model. Softw.
- IACR Cryptol. ePrint Arch.
- Remote. Sens.
- Sensors
- IGARSS
- ACC
- Int. J. Bifurc. Chaos
- PLoS Comput. Biol.
- ICASSP
- CDC
- WSC
- Expert Syst. Appl.
- EMBC
- Eur. J. Oper. Res.
- Symmetry
- Neurocomputing
- J. Comput. Phys.
- Commun. Nonlinear Sci. Numer. Simul.
- IEEE Trans. Geosci. Remote. Sens.
- INTERSPEECH
- SIAM J. Appl. Math.
- SMC
- Entropy
- Appl. Math. Lett.
- Math. Comput. Simul.
- AAAI
- HICSS
- Reliab. Eng. Syst. Saf.
- AMCIS
- ICRA
- Complex.
- Autom.
- IJCAI
- J. Comput. Appl. Math.
- IEEE Trans. Ind. Electron.
- Biol. Cybern.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend