FORMAL DESCRIPTIONS
Experts
- Donald Sannella
- Hong Zhu
- Andrzej Tarlecki
- Dongmei Liu
- Julian A. Padget
- Luca Padovani
- Zakaria Maamar
- Philippe Thiran
- Cosimo Laneve
- Samuele Carpineti
- Monika Solanki
- Markus Völter
- Ian Bayley
- Djamal Benslimane
- Carles Sierra
- Giuseppe Castagna
- Sattanathan Subramanian
- Joe Faith
- Elaine Shi
- Jyotishman Pathak
- Marco Javier Suárez Barón
- Eric Dubois
- Hartmut Ehrig
- Xin Zhang
- Robyn R. Lutz
- Giovanni Sileno
- Chia-Chu Chiang
- Zhong Tian
- Tadeusz Szuba
- Jamal Bentahar
- Antonio Cau
- Paolo Ciancarini
- Alexander Kurz
- Ville Leppänen
- Catholijn M. Jonker
- Sandeep Purao
- Youssef Bassil
- Hussein Zedan
- John G. Hosking
Venues
- CoRR
- ICWS
- SOSE
- Theor. Comput. Sci.
- COLING
- CogSci
- CLA
- Comput. Biol. Medicine
- Electron. Notes Theor. Comput. Sci.
- AAMAS
- HICSS
- Int. J. Softw. Eng. Knowl. Eng.
- EMBC
- Developments in Language Theory
- Acta Informatica
- IEEE SCC
- Comput. J.
- LREC
- IJCAI
- J. Log. Algebraic Methods Program.
- SEKE
- ACM Trans. Program. Lang. Syst.
- PSTV
- CAiSE
- Inf. Sci.
- FORTE
- Comput. Lang.
- J. Syst. Softw.
- ICAASE
- EPIA
- WEBIST (1)
- APSEC
- LCPC
- J. Autom. Reason.
- Formal Aspects Comput.
- Int. J. Netw. Secur.
- RE
- DATE
- BMC Bioinform.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend