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