HIGH LEVEL ABSTRACTIONS
Experts
- Elvira Albert
- Germán Puebla
- Manuel V. Hermenegildo
- Sergey Levine
- Seohong Park
- Han van der Aa
- Oleg Kiselyov
- Parsa Amini
- Yanwu Yang
- John Biddiscombe
- Jeremy Lovejoy
- Adrian Rebmann
- Dag Johansen
- Nihar Naigaonkar
- Gregor Daiß
- Dominic Marcello
- Daniel J. Quinlan
- Dirk Pflüger
- David Pfander
- Hartmut Kaiser
- Juhan Frank
- Patrick Diehl
- Thomas Panas
- Xutao Guo
- Chunhua Liao
- Jeremiah Willcock
- Nick Benton
- Daniel Kroening
- Håvard D. Johansen
- Gagan Agrawal
- Robbert van Renesse
- Jiesi Hu
- Kevin A. Huck
- Matthias Weidlich
- Jacques Carette
- Rafael Gustavo Jakimczuk
- Nishchal K. Verma
- Sariel Har-Peled
- William A. Wulf
Venues
- CoRR
- J. Comb. Theory, Ser. A
- Eur. J. Comb.
- VMCAI
- LPAR
- Electron. Notes Theor. Comput. Sci.
- Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
- SPIN
- FSR
- BCC
- CDC/ECC
- PPDP
- TLDI
- Tech. Sci. Informatiques
- GECCO
- J. Virtual Real. Broadcast.
- DSM@SPLASH
- ETCD@ASPLOS
- Proc. ACM Program. Lang.
- Onward!
- Int. J. Math. Math. Sci.
- ACM Symposium on Document Engineering
- Int. J. High Perform. Comput. Netw.
- SC
- VMIL@SPLASH
- SEFM
- IEEE Robotics Autom. Lett.
- ICDE
- Concurr. Comput. Pract. Exp.
- ICPADS
- ICSE
- ICCV
- NASA Formal Methods
- SAI (1)
- J. Log. Algebraic Methods Program.
- IEEE Pacific Rim Conference on Multimedia
- ISMVL
- DASFAA
- Int. J. Parallel Program.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend