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