CONCURRENT PROGRAMS
Experts
- Jan A. Bergstra
- Richard H. Carver
- Jos C. M. Baeten
- Kuo-Chung Tai
- Cornelis A. Middelburg
- Yu Lei
- Shaz Qadeer
- Ahmed Bouajjani
- Yong Wang
- Baowen Xu
- Maurizio Gabbrielli
- Azadeh Farzan
- Frank S. de Boer
- Amir Pnueli
- Constantin Enea
- Gwen Salaün
- Catuscia Palamidessi
- Alban Ponse
- Michel A. Reniers
- Maria Chiara Meo
- Xiaofang Qi
- Paul C. Attie
- Akinori Yonezawa
- Rance Cleaveland
- Mirco Tribastone
- Jeff Offutt
- Mario Bravetti
- Koushik Sen
- Jane Hillston
- Luca Aceto
- Yang Liu
- Konstantinos Sagonas
- Roberto Gorrieri
- Sreedevi Sampath
- John Derrick
- Fernando Cuartero
- Anindya Banerjee
- Matthew Hennessy
- Rob J. van Glabbeek
Venues
- CoRR
- Theor. Comput. Sci.
- IEEE Trans. Software Eng.
- CONCUR
- Electron. Notes Theor. Comput. Sci.
- ASE
- ICSE
- Softw. Pract. Exp.
- Inf. Process. Lett.
- PLDI
- ICST
- POPL
- COMPSAC
- CAV
- ISSTA
- J. Log. Algebraic Methods Program.
- Commun. ACM
- ACM Trans. Program. Lang. Syst.
- APSEC
- ACM SIGPLAN Notices
- SIGCSE
- SEKE
- Proc. ACM Program. Lang.
- Formal Aspects Comput.
- Sci. Comput. Program.
- Acta Informatica
- OOPSLA
- Inf. Softw. Technol.
- Fundam. Informaticae
- ESEC/SIGSOFT FSE
- Softw. Test. Verification Reliab.
- Concurr. Comput. Pract. Exp.
- IPDPS Workshops
- PODC
- Comput. J.
- ICALP
- Int. J. Softw. Eng. Knowl. Eng.
- IPDPS
- TACAS
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend