HIGH LEVEL ABSTRACTIONS
Experts
- Germán Puebla
- Elvira Albert
- Seohong Park
- Manuel V. Hermenegildo
- Sergey Levine
- Jeremy Lovejoy
- Nick Benton
- Chunhua Liao
- Jeremiah Willcock
- Thomas Panas
- Xutao Guo
- Dirk Pflüger
- David Pfander
- Daniel J. Quinlan
- Patrick Diehl
- Juhan Frank
- Hartmut Kaiser
- Matthias Weidlich
- Jiesi Hu
- Kevin A. Huck
- Jacques Carette
- Håvard D. Johansen
- Daniel Kroening
- Gagan Agrawal
- Robbert van Renesse
- Yanwu Yang
- Parsa Amini
- Oleg Kiselyov
- Han van der Aa
- Gregor Daiß
- Dominic Marcello
- Nihar Naigaonkar
- Dag Johansen
- Adrian Rebmann
- John Biddiscombe
- Peter J. Stuckey
- Zhongjin Li
- Bin Chen
- Martin Faunes
Venues
- CoRR
- J. Comb. Theory, Ser. A
- Eur. J. Comb.
- Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
- LPAR
- Electron. Notes Theor. Comput. Sci.
- VMCAI
- CASES
- J. Symb. Log.
- NASA Formal Methods
- IWOMP
- PLATEAU
- SAI (1)
- INFOCOM
- ICDM
- STACS
- ICSE (NIER)
- ICML
- SIGCSE
- Sci. Comput. Program.
- AIKE
- APLAS
- VTC Spring
- Informatica (Slovenia)
- Bull. Symb. Log.
- POPL
- Synth.
- PLDI
- Conference on Designing Interactive Systems
- Flexible Network Design
- J. Comput. Lang.
- Electron. J. Comb.
- Tech. Sci. Informatiques
- Programming Languages and System Architectures
- LCPC
- KDD
- EMSOFT
- ICECCS
- ICLP
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend