SYMBOLIC DESCRIPTION
Experts
- Gianpiero Cabodi
- Paolo Camurati
- Loris D'Antoni
- Margus Veanes
- Antoine Girard
- Stefano Quer
- Kristian Kersting
- Jürgen Teich
- Giordano Pola
- Majid Zamani
- Rajeev Alur
- Bernhard Nebel
- Álvaro Torralba
- Volker Willert
- Makoto Tatsuta
- Rüdiger Ehlers
- Anna O. Ivanova
- Mohanasankar Sivaprakasam
- Jürgen Adamy
- Gilles Barthe
- Oleg V. Borodin
- Gianfranco Ciardo
- Christian Haubelt
- Carsten Schneider
- Stefan Leue
- Daisuke Kimura
- Sébastien Bardin
- Irwin W. Sandberg
- Robert L. Vaught
- Paulo Tabuada
- Daniele Micciancio
- Wenjun Shi
- Rishabh Singh
- Daniele Zingoni
- S. Ali Dashti
- Keith O. Geddes
- Kai Jia
- Giovanni Ciatto
- Daryush D. Mehta
Venues
- CoRR
- J. Symb. Log.
- DAC
- ICRA
- ISSAC
- CogSci
- J. Symb. Comput.
- AAAI
- IROS
- Comput. Aided Des.
- CAV
- CHARME
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- Int. J. Bifurc. Chaos
- ECAI
- Proc. ACM Program. Lang.
- Bull. Symb. Log.
- ACM Trans. Graph.
- ACC
- IACR Cryptol. ePrint Arch.
- SIGSAM Bull.
- DATE
- ICMC
- Cogn. Sci.
- Electron. Notes Theor. Comput. Sci.
- ISMIR
- ICCD
- Discret. Math.
- Comput. Graph. Forum
- IJCAI
- ISCAS
- Int. J. Algebra Comput.
- SIAM J. Appl. Dyn. Syst.
- NSAD@SAS
- Int. J. Circuit Theory Appl.
- IEEE Access
- ACM Trans. Program. Lang. Syst.
- Theor. Comput. Sci.
- ICCAD
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend