HIGH LEVEL ABSTRACTIONS
Experts
- Elvira Albert
- Germán Puebla
- Sergey Levine
- Seohong Park
- Manuel V. Hermenegildo
- Hartmut Kaiser
- Adrian Rebmann
- Dominic Marcello
- Jacques Carette
- Jiesi Hu
- Daniel J. Quinlan
- Gregor Daiß
- Parsa Amini
- Nihar Naigaonkar
- Dag Johansen
- Gagan Agrawal
- Kevin A. Huck
- Nick Benton
- Jeremy Lovejoy
- Chunhua Liao
- Xutao Guo
- Robbert van Renesse
- Patrick Diehl
- Matthias Weidlich
- Jeremiah Willcock
- Oleg Kiselyov
- David Pfander
- Han van der Aa
- Dirk Pflüger
- Yanwu Yang
- Håvard D. Johansen
- Daniel Kroening
- Juhan Frank
- Thomas Panas
- John Biddiscombe
- Ajay Brahmakshatriya
- Ralph L. London
- John Regehr
- Heunchul Lee
Venues
- CoRR
- J. Comb. Theory, Ser. A
- Eur. J. Comb.
- VMCAI
- Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
- LPAR
- Electron. Notes Theor. Comput. Sci.
- CDC/ECC
- PMBS@SC
- IEEE Trans. Consumer Electron.
- ECOOP
- SIGCSE
- AIKE
- ICCV
- Int. J. Math. Math. Sci.
- Notre Dame J. Formal Log.
- ISMVL
- ASRU
- Softw. Eng. J.
- ACM SIGPLAN Notices
- Informatica (Slovenia)
- Synth.
- EMSOFT
- Electron. J. Comb.
- LCPC
- APLAS
- Onward!
- Formal Methods Syst. Des.
- PPREW@ACSAC
- Inf.
- ICSE (NIER)
- ISBI
- Concurr. Comput. Pract. Exp.
- VTC Spring
- PDP
- PPDP
- IWOMP
- ACSE
- CASCON
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend