SYMBOLIC DESCRIPTION
Experts
- Paolo Camurati
- Gianpiero Cabodi
- Loris D'Antoni
- Margus Veanes
- Stefano Quer
- Antoine Girard
- Majid Zamani
- Giordano Pola
- Bernhard Nebel
- Kristian Kersting
- Jürgen Teich
- Rajeev Alur
- Irwin W. Sandberg
- Volker Willert
- Rüdiger Ehlers
- Sébastien Bardin
- Daniele Micciancio
- Gilles Barthe
- Robert L. Vaught
- Daisuke Kimura
- Jürgen Adamy
- Álvaro Torralba
- Christian Haubelt
- Carsten Schneider
- Makoto Tatsuta
- Stefan Leue
- Oleg V. Borodin
- Anna O. Ivanova
- Paulo Tabuada
- Gianfranco Ciardo
- Xiong Fan
- Corina S. Pasareanu
- S. Ali Dashti
- Flavia Stan
- Baiyu Li
- Amit Kumar Pandey
- Wolfgang Ecker
- Ernesto Burattini
- Kai Jia
Venues
- CoRR
- J. Symb. Log.
- DAC
- ICRA
- J. Symb. Comput.
- ISSAC
- AAAI
- CogSci
- CAV
- IROS
- Comput. Aided Des.
- CHARME
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- IACR Cryptol. ePrint Arch.
- Int. J. Bifurc. Chaos
- ECAI
- DATE
- SIGSAM Bull.
- ICMC
- ACC
- ACM Trans. Graph.
- ISMIR
- ICCD
- Electron. Notes Theor. Comput. Sci.
- Bull. Symb. Log.
- IJCAI
- Comput. Graph. Forum
- Discret. Math.
- Cogn. Sci.
- NSAD@SAS
- IEEE Access
- ICCAD
- ISCAS
- SYMSAC
- Int. J. Geogr. Inf. Sci.
- EURO-DAC
- KR
- WWW
- ACM Trans. Program. Lang. Syst.
Related Topics
Related Keywords
Popularity