INTERMEDIATE LEVEL
Experts
- Hartmut Ehrig
- Qizhang Li
- Supratik Chakraborty
- Klaus Schneider
- Gilles Barthe
- James H. Cross II
- Dominique Unruh
- Yiwen Guo
- Ashutosh Gupta
- Emmanuel Chailloux
- Pierre-Yves Strub
- Joost-Pieter Katoen
- Christoph Meinel
- Mingsheng Ying
- Marco Mattavelli
- Divyesh Unadkat
- T. Dean Hendrix
- Thomas W. Reps
- Alexandru Nicolau
- Nicoletta Cocco
- Sandro Etalle
- Tobias Rohloff
- Rudolf Eigenmann
- Sigurd Skogestad
- Matteo Sonza Reorda
- Hadas Kress-Gazit
- Karsten Gabriel
- John Impagliazzo
- Annalisa Bossi
- Michael Backes
- Tobias Grosser
- Thomas Fahringer
- Shuvendu K. Lahiri
- Hao Chen
- Wangmeng Zuo
- Annegret Habel
- Margus Veanes
- Vladimir Lifschitz
- Keijo Heljanko
Venues
- CoRR
- ACM SIGPLAN Notices
- SIGCSE
- POPL
- Softw. Pract. Exp.
- Theor. Comput. Sci.
- IEEE Trans. Software Eng.
- Commun. ACM
- IJCAI
- Proc. ACM Program. Lang.
- Comput. J.
- ASE
- IACR Cryptol. ePrint Arch.
- ICRA
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- Comput. Chem. Eng.
- ICSE
- PLDI
- Int. J. Parallel Program.
- J. Syst. Softw.
- DAC
- MFCS
- MICRO
- IEEE Access
- ITiCSE
- Electron. Notes Theor. Comput. Sci.
- Reliab. Eng. Syst. Saf.
- PDP
- CAV
- Inf. Process. Lett.
- J. Univers. Comput. Sci.
- Euro-Par
- LOPSTR
- ACM SIGSOFT Softw. Eng. Notes
- Sci. Comput. Program.
- CogSci
- ACM Trans. Program. Lang. Syst.
- SC
- J. Int. Comput. Games Assoc.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend