ORDERED BINARY DECISION DIAGRAMS
Experts
- Christoph Meinel
- Stefan Edelkamp
- Ingo Wegener
- Beate Bollig
- Thorsten Theobald
- Jin Song Dong
- Kamil Khadiev
- Abuzer Yakaryilmaz
- Yang Liu
- Dmitry Itsykson
- Matthew B. Dwyer
- Stephan Waack
- Olga Tveretina
- Jun Sun
- Aida Gainutdinova
- Detlef Sieling
- John Hatcliff
- Artur Riazanov
- Takashi Horiyama
- Robby
- Toshihide Ibaraki
- Anna Slobodová
- Hans Zantema
- Scott A. Smolka
- Matthias Krause
- Andreas Podelski
- E. Allen Emerson
- Martin Sauerhoff
- Alessio Lomuscio
- Petr Savický
- Edmund M. Clarke
- Carsten Sinz
- Farid M. Ablayev
- Igor Razgon
- Ahmed Bouajjani
- Dana Ron
- Roman Englert
- Sriram K. Rajamani
- Wojciech Penczek
Venues
- CoRR
- Electron. Colloquium Comput. Complex.
- CAV
- Universität Trier, Mathematik/Informatik, Forschungsbericht
- Int. J. Softw. Tools Technol. Transf.
- MFCS
- Theor. Comput. Sci.
- Theory Comput. Syst.
- IEEE Trans. Computers
- Inf. Comput.
- Int. J. Softw. Eng. Knowl. Eng.
- Inf. Process. Lett.
- SOFSEM
- SPIN
- Electron. Notes Theor. Comput. Sci.
- TACAS
- IEEE Access
- ICALP
- FMCAD
- J. Comput. Syst. Sci.
- ICCD
- ASE
- MoChArt
- AAAI
- Formal Aspects Comput.
- Discret. Appl. Math.
- Formal Methods Syst. Des.
- QEST
- ACM Trans. Comput. Log.
- ISAAC
- AAMAS
- ESEC/SIGSOFT FSE
- ICTAI
- FoSSaCS
- ESEC / SIGSOFT FSE
- IEEE Trans. Software Eng.
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- Fundam. Informaticae
- VMCAI
Related Topics
Related Keywords
Popularity