ASYNCHRONOUS CIRCUITS
Experts
- Axel Legay
- Joost-Pieter Katoen
- Jan A. Bergstra
- Tomohiro Yoneda
- Alessio Lomuscio
- Moshe Y. Vardi
- Jos C. M. Baeten
- Kim Guldstrand Larsen
- Chris J. Myers
- Edmund M. Clarke
- Marta Z. Kwiatkowska
- Peter A. Beerel
- Javier Esparza
- E. Allen Emerson
- Jordi Cortadella
- Rolf Drechsler
- Parosh Aziz Abdulla
- Marc Renaudin
- Robert K. Brayton
- Scott A. Smolka
- Amir Pnueli
- Irith Pomeranz
- Hossein Pedram
- Tayssir Touili
- Takashi Nanya
- Diego Latella
- Lubos Brim
- Jiri Barnat
- Alexandre Yakovlev
- Alberto L. Sangiovanni-Vincentelli
- Orna Grumberg
- José Meseguer
- Tevfik Bultan
- Steven M. Nowick
- Sudhakar M. Reddy
- David Parker
- Ahmed Bouajjani
- Bengt Jonsson
- Luciano Lavagno
Venues
- CoRR
- DAC
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- ASYNC
- Electron. Notes Theor. Comput. Sci.
- IEEE Trans. Computers
- ISCAS
- CAV
- DATE
- J. Symb. Log.
- Theor. Comput. Sci.
- ICCAD
- VLSI Design
- SPIN
- LICS
- ICCD
- IEEE Trans. Very Large Scale Integr. Syst.
- Int. J. Softw. Tools Technol. Transf.
- CONCUR
- Notre Dame J. Formal Log.
- TACAS
- Stud Logica
- J. Philos. Log.
- ITC
- ASP-DAC
- Formal Methods Syst. Des.
- IEEE J. Solid State Circuits
- IACR Cryptol. ePrint Arch.
- J. Log. Comput.
- FMCAD
- ICECS
- Fundam. Informaticae
- VMCAI
- FORTE
- CSL
- Formal Aspects Comput.
- Log. J. IGPL
- ATVA
- IEEE Trans. Circuits Syst. I Regul. Pap.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend