FORMAL DESCRIPTIONS
Experts
- Donald Sannella
- Hong Zhu
- Andrzej Tarlecki
- Julian A. Padget
- Djamal Benslimane
- Zakaria Maamar
- Cosimo Laneve
- Giuseppe Castagna
- Ian Bayley
- Philippe Thiran
- Dongmei Liu
- Samuele Carpineti
- Monika Solanki
- Luca Padovani
- Carles Sierra
- Sattanathan Subramanian
- Markus Völter
- Hartmut Ehrig
- Giovanni Sileno
- Karthikeyan Umapathy
- Chia-Chu Chiang
- Eric Dubois
- Kalle Hjerppe
- Theodore W. Berger
- Xin Zhang
- M. Birna van Riemsdijk
- Marco Javier Suárez Barón
- Paulo Alonso Gaona García
- Peter Gorm Larsen
- Rolf Hennicker
- Hussein Zedan
- Rafael Pass
- B. Nick Rossiter
- Mary Southern
- Colin S. Gordon
- Florian Tramèr
- Rudolf Berghammer
- José Fdo. López
- Yesheng Chai
Venues
- CoRR
- ICWS
- SOSE
- Theor. Comput. Sci.
- COLING
- Electron. Notes Theor. Comput. Sci.
- LREC
- EMBC
- HICSS
- CLA
- Developments in Language Theory
- Comput. J.
- Acta Informatica
- Int. J. Softw. Eng. Knowl. Eng.
- IEEE SCC
- AAMAS
- CogSci
- TES
- Sci. Comput. Program.
- IEEE Trans. Software Eng.
- Comput. Lang.
- Int. J. Found. Comput. Sci.
- BMC Bioinform.
- IEEE Intell. Syst.
- Int. J. Netw. Secur.
- Formal Aspects Comput.
- EPIA
- PSTV
- J. Syst. Softw.
- IEEE Access
- WEBIST (1)
- FDL
- APSEC
- Comput. Biol. Medicine
- ICAASE
- RE
- Synth.
- J. Log. Algebraic Methods Program.
- ACM Trans. Program. Lang. Syst.
Related Topics
Related Keywords
Popularity