HIGH LEVEL ABSTRACTIONS
Experts
- Germán Puebla
- Elvira Albert
- Manuel V. Hermenegildo
- Sergey Levine
- Seohong Park
- Chunhua Liao
- Oleg Kiselyov
- Kevin A. Huck
- Daniel J. Quinlan
- Xutao Guo
- Dirk Pflüger
- Matthias Weidlich
- Daniel Kroening
- David Pfander
- Juhan Frank
- Gregor Daiß
- Jeremy Lovejoy
- Adrian Rebmann
- John Biddiscombe
- Hartmut Kaiser
- Nihar Naigaonkar
- Patrick Diehl
- Dominic Marcello
- Jiesi Hu
- Gagan Agrawal
- Jeremiah Willcock
- Thomas Panas
- Yanwu Yang
- Robbert van Renesse
- Jacques Carette
- Håvard D. Johansen
- Nick Benton
- Parsa Amini
- Dag Johansen
- Han van der Aa
- Arend Rensink
- Min-Uk Kim
- Roman Neruda
- Fabio Vitali
Venues
- CoRR
- J. Comb. Theory, Ser. A
- Eur. J. Comb.
- VMCAI
- Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
- LPAR
- Electron. Notes Theor. Comput. Sci.
- ACM Symposium on Document Engineering
- DASFAA
- Programming Languages and System Architectures
- Discret. Math.
- Parallel Comput.
- Formal Methods Syst. Des.
- IWANN (2)
- IEEE Trans. Consumer Electron.
- ICS
- APLAS
- LCPC
- Int. J. Math. Math. Sci.
- GPCE
- Softw. Eng. J.
- Int. J. Comb. Optim. Probl. Informatics
- ICLP
- Bull. Symb. Log.
- VTC Spring
- DSM@SPLASH
- WACC
- ETCD@ASPLOS
- AIKE
- ESOP
- Onward!
- APSEC
- VMIL@SPLASH
- ICCBR
- STACS
- Notre Dame J. Formal Log.
- ICECCS
- ICPADS
- Stat. Comput.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend