BINARY DECISION DIAGRAMS
Experts
- Rolf Drechsler
- Claude Carlet
- Shin-ichi Minato
- Subhamoy Maitra
- Ingo Wegener
- Edmund M. Clarke
- Alessandro Cimatti
- Masahiro Fujita
- Pantelimon Stanica
- Robert Wille
- Tsutomu Sasao
- Bogdan J. Falkowski
- Radomir S. Stankovic
- Marco Roveri
- Chao Li
- Longjiang Qu
- Jaco van de Pol
- Lei Hu
- Christoph Scholl
- Thomas W. Cusick
- Sugata Gangopadhyay
- Sihem Mesnager
- John N. Hooker
- Stjepan Picek
- Domagoj Jakobovic
- Moshe Y. Vardi
- Kenneth L. McMillan
- Wolfgang Günther
- Beate Bollig
- Dongdai Lin
- David Bergman
- Alberto L. Sangiovanni-Vincentelli
- Mitchell A. Thornton
- Joost-Pieter Katoen
- Willem-Jan van Hoeve
- Bernd Becker
- Milena Stankovic
- Shaojing Fu
- Orna Grumberg
Venues
- CoRR
- IACR Cryptol. ePrint Arch.
- J. Symb. Log.
- CAV
- DAC
- Discret. Appl. Math.
- IEEE Trans. Computers
- Electron. Colloquium Comput. Complex.
- Theor. Comput. Sci.
- IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- ISMVL
- TACAS
- Formal Methods Syst. Des.
- ICCAD
- ASP-DAC
- IJCAI
- IEEE Trans. Inf. Theory
- AAAI
- Electron. Notes Theor. Comput. Sci.
- ICCD
- Int. J. Softw. Tools Technol. Transf.
- Cryptogr. Commun.
- Discret. Math.
- ISIT
- VLSI Design
- DATE
- FMCAD
- Des. Codes Cryptogr.
- Inf. Comput.
- Inf. Sci.
- ISAIM
- Reliab. Eng. Syst. Saf.
- CP
- CPAIOR
- Inf. Process. Lett.
- SPIN
- Int. J. Comput. Math.
- IEEE Access
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend