HIGH LEVEL ABSTRACTIONS
Experts
- Germán Puebla
- Elvira Albert
- Seohong Park
- Manuel V. Hermenegildo
- Sergey Levine
- Nick Benton
- Chunhua Liao
- Jeremiah Willcock
- Xutao Guo
- Thomas Panas
- David Pfander
- Dirk Pflüger
- Daniel J. Quinlan
- Patrick Diehl
- Juhan Frank
- Hartmut Kaiser
- Matthias Weidlich
- Kevin A. Huck
- Jiesi Hu
- Jacques Carette
- Håvard D. Johansen
- Daniel Kroening
- Robbert van Renesse
- Gagan Agrawal
- Yanwu Yang
- Parsa Amini
- Oleg Kiselyov
- Han van der Aa
- Gregor Daiß
- Dominic Marcello
- Nihar Naigaonkar
- Dag Johansen
- Adrian Rebmann
- John Biddiscombe
- Jeremy Lovejoy
- Reda Bendraou
- Peter J. Keleher
- Martin Faunes
- Antoni B. Chan
Venues
- CoRR
- J. Comb. Theory, Ser. A
- Eur. J. Comb.
- Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
- VMCAI
- Electron. Notes Theor. Comput. Sci.
- LPAR
- ASRU
- ECSA
- ICPHM
- Formal Aspects Comput.
- APSEC
- PPREW@ACSAC
- CAV (2)
- Parallel Comput.
- ICCV
- ICLR
- Formal Methods Syst. Des.
- OSDI
- ISBI
- Programming Languages and System Architectures
- LCPC
- KDD
- ICLP
- ICECCS
- IEEE Trans. Image Process.
- Softw. Eng. J.
- IWANN (2)
- EMSOFT
- ECOOP
- IEEE Trans Autom. Sci. Eng.
- Arch. Formal Proofs
- ICS
- ICEIS (2)
- Sci. Comput. Program.
- AAAI
- VTC Spring
- APLAS
- Informatica (Slovenia)
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend