ASYNCHRONOUS CIRCUITS
Experts
- Axel Legay
- Joost-Pieter Katoen
- Jan A. Bergstra
- Tomohiro Yoneda
- Alessio Lomuscio
- Jos C. M. Baeten
- Moshe Y. Vardi
- Kim Guldstrand Larsen
- Chris J. Myers
- Edmund M. Clarke
- Peter A. Beerel
- Marta Z. Kwiatkowska
- Javier Esparza
- E. Allen Emerson
- Jordi Cortadella
- Rolf Drechsler
- Parosh Aziz Abdulla
- Marc Renaudin
- Scott A. Smolka
- Amir Pnueli
- Robert K. Brayton
- Hossein Pedram
- Irith Pomeranz
- Lubos Brim
- Takashi Nanya
- Diego Latella
- Tayssir Touili
- Orna Grumberg
- José Meseguer
- Alexandre Yakovlev
- Tevfik Bultan
- Jiri Barnat
- Alberto L. Sangiovanni-Vincentelli
- Ahmed Bouajjani
- Sudhakar M. Reddy
- Naoki Kobayashi
- David Parker
- Steven M. Nowick
- 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
- IACR Cryptol. ePrint Arch.
- Formal Methods Syst. Des.
- IEEE J. Solid State Circuits
- J. Log. Comput.
- ICECS
- FMCAD
- Fundam. Informaticae
- VMCAI
- FORTE
- Formal Aspects Comput.
- CSL
- ATVA
- Log. J. IGPL
- J. Log. Algebraic Methods Program.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend