HIGH LEVEL ABSTRACTIONS
Experts
- Germán Puebla
- Elvira Albert
- Sergey Levine
- Seohong Park
- Manuel V. Hermenegildo
- Dominic Marcello
- Oleg Kiselyov
- Dirk Pflüger
- Daniel Kroening
- Jiesi Hu
- Xutao Guo
- Daniel J. Quinlan
- Gagan Agrawal
- Matthias Weidlich
- Kevin A. Huck
- Thomas Panas
- Robbert van Renesse
- Gregor Daiß
- Hartmut Kaiser
- Yanwu Yang
- Nick Benton
- Jacques Carette
- John Biddiscombe
- Adrian Rebmann
- Dag Johansen
- Jeremy Lovejoy
- Parsa Amini
- David Pfander
- Juhan Frank
- Patrick Diehl
- Jeremiah Willcock
- Håvard D. Johansen
- Han van der Aa
- Chunhua Liao
- Nihar Naigaonkar
- Yannis Juglaret
- Derrick Paul McKee
- Yudong Sun
- Tuba Yavuz
Venues
- CoRR
- J. Comb. Theory, Ser. A
- Eur. J. Comb.
- Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
- VMCAI
- LPAR
- Electron. Notes Theor. Comput. Sci.
- IEEE Trans. Image Process.
- ACM Symposium on Document Engineering
- PLATEAU
- ISMVL
- J. Log. Algebraic Methods Program.
- Formal Methods Syst. Des.
- CogInfoCom
- CDC/ECC
- ASRU
- ECSA
- TLDI
- IEEE Robotics Autom. Lett.
- DASFAA
- BCC
- Programming Languages and System Architectures
- FSR
- Sci. Comput. Program.
- SIGCSE
- PDP
- ACM Annual Conference (1)
- CogSci
- Parallel Comput.
- VMIL@SPLASH
- Conference on Designing Interactive Systems
- ICSE
- INFOCOM
- APLAS
- DSM@SPLASH
- ICCBR
- KDD
- Discret. Math.
- EMSOFT
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend