OBJECT TYPES
Experts
- Hans-Dieter Ehrich
- Cristina Sernadas
- Amílcar Sernadas
- Vassos Hadzilacos
- Tiark Rompf
- Arindam Biswas
- Eric G. Wagner
- Jens Palsberg
- Elaheh Pourabbas
- Mousumi Dutt
- Martín Abadi
- Dumitru Baleanu
- Elisa Bertino
- Egidio Astesiano
- Nada Amin
- Arran Fernandez
- Wai-Kau Lo
- Michele Bugliesi
- Katsuhiko Gondow
- Cas van der Rest
- Kaichun Mo
- Carlos Baquero
- Jakub Lojda
- Anthony J. H. Simons
- Jakub Podivinsky
- Colin Bleckner
- Suzanne Little
- Ramesh Viswanathan
- Maurizio Rafanelli
- Ondrej Lhoták
- Sam Toueg
- Marianna Rapoport
- Deepthi Devaki Akkoorath
- Sven Wuytack
- Craig Chambers
- Michael Carbin
- Yueqi Duan
- Pierre Weis
- Jesse Michel
Venues
- CoRR
- ADT
- ECOOP
- Theor. Comput. Sci.
- SIGMOD Rec.
- PODC
- ICCV
- Commun. ACM
- LICS
- Inf. Comput.
- D Lib Mag.
- ACM Trans. Program. Lang. Syst.
- Proc. ACM Program. Lang.
- SSDBM
- IEEE Database Eng. Bull.
- CVPR
- Data Types and Persistence (Appin), Informal Proceedings
- CAiSE
- ESOP
- Appl. Math. Comput.
- Commun. Nonlinear Sci. Numer. Simul.
- ICALP
- ER
- ICRA
- OOPSLA
- GTE Laboratories Incorporated
- RFC
- EWDTS
- Arch. Math. Log.
- AAAI
- SSS
- IEEE Trans. Software Eng.
- PLC
- Formal Methods in Software and Systems Modeling
- AISC
- Distributed Syst. Eng.
- PARMA-DITAM@HiPEAC
- CSIT (2)
- Scientometrics
Related Topics
Related Keywords
Popularity