SYMBOLIC DESCRIPTION
Experts
- Paolo Camurati
- Gianpiero Cabodi
- Margus Veanes
- Loris D'Antoni
- Stefano Quer
- Antoine Girard
- Jürgen Teich
- Majid Zamani
- Bernhard Nebel
- Rajeev Alur
- Kristian Kersting
- Giordano Pola
- Carsten Schneider
- Anna O. Ivanova
- Stefan Leue
- Christian Haubelt
- Oleg V. Borodin
- Rüdiger Ehlers
- Makoto Tatsuta
- Sébastien Bardin
- Mohanasankar Sivaprakasam
- Álvaro Torralba
- Daisuke Kimura
- Gianfranco Ciardo
- Daniele Micciancio
- Robert L. Vaught
- Gilles Barthe
- Paulo Tabuada
- Volker Willert
- Jürgen Adamy
- Irwin W. Sandberg
- Florian Böhl
- Sebastian Klein
- Greg Reid
- Kaoru Hirota
- Kasper Søe Luckow
- Franz Winkler
- Jarrad H. Van Stan
- Maria Luisa Damiani
Venues
- CoRR
- J. Symb. Log.
- DAC
- ICRA
- J. Symb. Comput.
- CogSci
- ISSAC
- AAAI
- Comput. Aided Des.
- IROS
- CAV
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- CHARME
- Bull. Symb. Log.
- Cogn. Sci.
- DATE
- Int. J. Bifurc. Chaos
- Proc. ACM Program. Lang.
- ACM Trans. Graph.
- ICMC
- ACC
- ECAI
- IACR Cryptol. ePrint Arch.
- SIGSAM Bull.
- Comput. Graph. Forum
- ISMIR
- ICCD
- Discret. Math.
- IJCAI
- Electron. Notes Theor. Comput. Sci.
- ESANN
- SIAM J. Appl. Dyn. Syst.
- ACM Trans. Program. Lang. Syst.
- Int. J. Geogr. Inf. Sci.
- Theor. Comput. Sci.
- CDC
- Int. J. Algebra Comput.
- Mach. Learn.
- KR
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend