FORMAL MODEL
Experts
- Manuel Wimmer
- Huibiao Zhu
- Richard F. Paige
- Gabriele Taentzer
- Bernhard Rumpe
- Juan de Lara
- Ravi S. Sandhu
- Xin Wang
- Marsha Chechik
- Peter Benner
- Jing Li
- Yu Zhang
- Osman Hasan
- Esther Guerra
- Eduardo B. Fernández
- Victor Sreeram
- Wei Wang
- Jordi Cabot
- Kim-Kwang Raymond Choo
- Lei Wang
- Sofiène Tahar
- Yong Wang
- Jing Wang
- Adrian Rutle
- Serkan Gugercin
- Dimitrios S. Kolovos
- Dániel Varró
- Yan Wang
- Alfonso Pierantonio
- Frédéric Jouault
- Yingxu Wang
- Xin Li
- Jun Zhang
- Keikichi Hirose
- Martin Gogolla
- Hui Zhang
- Elisa Bertino
- Karl Henrik Johansson
- Benoit Baudry
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.
- Eur. J. Oper. Res.
- Symmetry
- EMBC
- Commun. Nonlinear Sci. Numer. Simul.
- J. Comput. Phys.
- Neurocomputing
- 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