ORDERED BINARY DECISION DIAGRAMS
Experts
- Christoph Meinel
- Ingo Wegener
- Beate Bollig
- Stefan Edelkamp
- Thorsten Theobald
- Abuzer Yakaryilmaz
- Kamil Khadiev
- Yang Liu
- Jin Song Dong
- Aida Gainutdinova
- Robby
- Stephan Waack
- Jun Sun
- Toshihide Ibaraki
- Detlef Sieling
- Dmitry Itsykson
- John Hatcliff
- Artur Riazanov
- Matthew B. Dwyer
- Olga Tveretina
- Takashi Horiyama
- Carsten Sinz
- Edmund M. Clarke
- Hans Zantema
- Matthias Krause
- Anna Slobodová
- Andreas Podelski
- Martin Sauerhoff
- Alessio Lomuscio
- Scott A. Smolka
- E. Allen Emerson
- Petr Savický
- Farid M. Ablayev
- Charanjit S. Jutla
- Rishat Ibrahimov
- Ji Wang
- Harald Sack
- Yixin Xu
- Kedar S. Namjoshi
Venues
- CoRR
- Electron. Colloquium Comput. Complex.
- Universität Trier, Mathematik/Informatik, Forschungsbericht
- CAV
- Int. J. Softw. Tools Technol. Transf.
- Theor. Comput. Sci.
- MFCS
- Theory Comput. Syst.
- SOFSEM
- Electron. Notes Theor. Comput. Sci.
- J. Comput. Syst. Sci.
- TACAS
- IEEE Trans. Computers
- IEEE Access
- Inf. Comput.
- Inf. Process. Lett.
- Int. J. Softw. Eng. Knowl. Eng.
- SPIN
- ICALP
- FMCAD
- ISAAC
- ASE
- Discret. Appl. Math.
- ACM Trans. Comput. Log.
- Formal Methods Syst. Des.
- ICCD
- AAAI
- Formal Aspects Comput.
- MoChArt
- QEST
- STACS
- ICPADS
- FTSCS
- J. Comput. Sci. Technol.
- FMICS
- AAMAS
- FoSSaCS
- Fundam. Informaticae
- ICSE
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend