FORMAL DESCRIPTIONS
Experts
- Donald Sannella
- Hong Zhu
- Andrzej Tarlecki
- Philippe Thiran
- Luca Padovani
- Samuele Carpineti
- Carles Sierra
- Cosimo Laneve
- Monika Solanki
- Markus Völter
- Dongmei Liu
- Djamal Benslimane
- Giuseppe Castagna
- Julian A. Padget
- Zakaria Maamar
- Ian Bayley
- Sattanathan Subramanian
- Eric Dubois
- Rudolf Berghammer
- Jamal Bentahar
- John Opfer
- Youssef Bassil
- Vasant G. Honavar
- Tadeusz Szuba
- Chih-Hong Cheng
- Rolf Hennicker
- Xin Zhang
- Hartmut Ehrig
- Antonio Cau
- Zhong Tian
- Paulo Alonso Gaona García
- Ying Liu
- Jyotishman Pathak
- Marina De Vos
- Sandeep Purao
- Philippe Du Bois
- Catholijn M. Jonker
- Rafael Pass
- Wei Sun
Venues
- CoRR
- ICWS
- SOSE
- Theor. Comput. Sci.
- COLING
- CogSci
- Electron. Notes Theor. Comput. Sci.
- EMBC
- Comput. J.
- Int. J. Softw. Eng. Knowl. Eng.
- Developments in Language Theory
- LREC
- HICSS
- Acta Informatica
- Comput. Biol. Medicine
- IEEE SCC
- AAMAS
- CLA
- FME
- WEBIST (1)
- APSEC
- Synth.
- IBM Syst. J.
- SEKE
- RTSS
- Int. J. Netw. Secur.
- ACM SIGSOFT Softw. Eng. Notes
- PSTV
- J. Log. Algebraic Methods Program.
- RE
- Sci. Comput. Program.
- POPL
- ICAASE
- Fundam. Informaticae
- WISE
- J. Autom. Reason.
- FORTE
- IEEE Access
- J. Syst. Softw.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend