FORMAL DESCRIPTIONS
Experts
- Donald Sannella
- Andrzej Tarlecki
- Hong Zhu
- Monika Solanki
- Sattanathan Subramanian
- Luca Padovani
- Dongmei Liu
- Ian Bayley
- Cosimo Laneve
- Giuseppe Castagna
- Markus Völter
- Julian A. Padget
- Philippe Thiran
- Djamal Benslimane
- Samuele Carpineti
- Carles Sierra
- Zakaria Maamar
- Rudolf Berghammer
- Jukka Ruohonen
- Yesheng Chai
- Carlos Enrique Montenegro Marín
- Xin Zhang
- Daniël A. A. Pelsmaeker
- John G. Hosking
- Paulo Alonso Gaona García
- Eelco Visser
- Paolo Traverso
- Dan Kim
- Paolo Ciancarini
- Jyotishman Pathak
- Wei Sun
- Rafael Pass
- Xin Zhang
- José Fdo. López
- M. Birna van Riemsdijk
- Paul Vickers
- Hartmut Ehrig
- John S. Fitzgerald
- Chia-Chu Chiang
Venues
- CoRR
- ICWS
- SOSE
- COLING
- CogSci
- Theor. Comput. Sci.
- IEEE SCC
- EMBC
- Developments in Language Theory
- Int. J. Softw. Eng. Knowl. Eng.
- AAMAS
- Comput. Biol. Medicine
- Comput. J.
- CLA
- Acta Informatica
- HICSS
- Electron. Notes Theor. Comput. Sci.
- LREC
- RE
- Comput. Lang.
- TES
- IEEE Intell. Syst.
- Int. J. Found. Comput. Sci.
- IEEE Trans. Software Eng.
- BMC Bioinform.
- J. Syst. Softw.
- POPL
- LCPC
- Inf. Sci.
- J. Autom. Reason.
- APSEC
- WEBIST (1)
- Inf. Organ.
- FME
- FORTE
- ACM SIGSOFT Softw. Eng. Notes
- FDL
- Int. J. Netw. Secur.
- Sci. Comput. Program.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend