FORMAL DESCRIPTIONS
Experts
- Hong Zhu
- Donald Sannella
- Andrzej Tarlecki
- Monika Solanki
- Djamal Benslimane
- Carles Sierra
- Cosimo Laneve
- Sattanathan Subramanian
- Julian A. Padget
- Luca Padovani
- Markus Völter
- Philippe Thiran
- Giuseppe Castagna
- Ian Bayley
- Dongmei Liu
- Samuele Carpineti
- Zakaria Maamar
- Elaine Shi
- Theodore W. Berger
- Chia-Chu Chiang
- Xin Zhang
- Ville Leppänen
- Jamal Bentahar
- Antonio Cau
- John S. Fitzgerald
- Paul Vickers
- Jyotishman Pathak
- Ismael Rodríguez
- Tadeusz Szuba
- Nils Gesbert
- Paolo Traverso
- Xin Zhang
- Marina De Vos
- Rudolf Berghammer
- Paolo Ciancarini
- Carlos Enrique Montenegro Marín
- Yesheng Chai
- Eric Dubois
- Rafael Pass
Venues
- CoRR
- ICWS
- SOSE
- Theor. Comput. Sci.
- CogSci
- COLING
- Comput. Biol. Medicine
- Developments in Language Theory
- HICSS
- Acta Informatica
- CLA
- IEEE SCC
- Electron. Notes Theor. Comput. Sci.
- Int. J. Softw. Eng. Knowl. Eng.
- AAMAS
- EMBC
- LREC
- Comput. J.
- EPIA
- SEKE
- APSEC
- QSIC
- IBM Syst. J.
- J. Log. Algebraic Methods Program.
- Comput. Lang.
- IEEE Intell. Syst.
- FME
- IEEE Access
- Formal Aspects Comput.
- WISE
- TES
- Sci. Comput. Program.
- J. Autom. Reason.
- ICAASE
- FORTE
- PSTV
- IJCAI
- POPL
- Int. J. Found. Comput. Sci.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend