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
- Bogdan J. Falkowski
- Tsutomu Sasao
- Chao Li
- Longjiang Qu
- Marco Roveri
- Radomir S. Stankovic
- Jaco van de Pol
- Thomas W. Cusick
- Lei Hu
- Sugata Gangopadhyay
- Christoph Scholl
- Sihem Mesnager
- Kenneth L. McMillan
- Wolfgang Günther
- Beate Bollig
- Dongdai Lin
- Stjepan Picek
- Moshe Y. Vardi
- Domagoj Jakobovic
- John N. Hooker
- Alberto L. Sangiovanni-Vincentelli
- Joost-Pieter Katoen
- Milena Stankovic
- Willem-Jan van Hoeve
- Bernd Becker
- Meicheng Liu
- Mitchell A. Thornton
- Orna Grumberg
- Shaojing Fu
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.
- ISMVL
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- TACAS
- ICCAD
- Formal Methods Syst. Des.
- ASP-DAC
- IEEE Trans. Inf. Theory
- IJCAI
- Electron. Notes Theor. Comput. Sci.
- ICCD
- AAAI
- Cryptogr. Commun.
- Int. J. Softw. Tools Technol. Transf.
- Discret. Math.
- ISIT
- FMCAD
- VLSI Design
- DATE
- Des. Codes Cryptogr.
- Inf. Comput.
- Inf. Sci.
- ISAIM
- Reliab. Eng. Syst. Saf.
- CP
- Inf. Process. Lett.
- CPAIOR
- SPIN
- Adv. Math. Commun.
- IEEE Access
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend