FORMAL DESCRIPTIONS
Experts
- Hong Zhu
- Donald Sannella
- Andrzej Tarlecki
- Djamal Benslimane
- Zakaria Maamar
- Julian A. Padget
- Giuseppe Castagna
- Sattanathan Subramanian
- Ian Bayley
- Carles Sierra
- Samuele Carpineti
- Luca Padovani
- Philippe Thiran
- Cosimo Laneve
- Dongmei Liu
- Markus Völter
- Monika Solanki
- José Fdo. López
- Robyn R. Lutz
- T. M. Brookes
- Carlos Enrique Montenegro Marín
- John S. Fitzgerald
- Eelco Visser
- Marco Javier Suárez Barón
- Hussein Zedan
- Gopalan Nadathur
- Theodore W. Berger
- Peter Gorm Larsen
- Karthikeyan Umapathy
- Ville Leppänen
- Colin S. Gordon
- Xin Zhang
- Elaine Shi
- Byron Cook
- Mary Southern
- Kalle Hjerppe
- Alexander Kurz
- Paolo Traverso
- Nils Gesbert
Venues
- CoRR
- ICWS
- SOSE
- COLING
- Theor. Comput. Sci.
- CogSci
- Electron. Notes Theor. Comput. Sci.
- LREC
- Developments in Language Theory
- Int. J. Softw. Eng. Knowl. Eng.
- Comput. J.
- EMBC
- IEEE SCC
- AAMAS
- CLA
- HICSS
- Comput. Biol. Medicine
- Acta Informatica
- RE
- PSTV
- J. Log. Algebraic Methods Program.
- J. Syst. Softw.
- IEEE Access
- LCPC
- WISE
- POPL
- Fundam. Informaticae
- ICAASE
- Sci. Comput. Program.
- FORTE
- J. Autom. Reason.
- FME
- APSEC
- WEBIST (1)
- Int. J. Netw. Secur.
- ACM SIGSOFT Softw. Eng. Notes
- IBM Syst. J.
- SEKE
- Synth.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend