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
- Marta Z. Kwiatkowska
- Peter A. Beerel
- Javier Esparza
- E. Allen Emerson
- Jordi Cortadella
- Rolf Drechsler
- Parosh Aziz Abdulla
- Amir Pnueli
- Robert K. Brayton
- Marc Renaudin
- Scott A. Smolka
- Hossein Pedram
- Irith Pomeranz
- Tayssir Touili
- Diego Latella
- Takashi Nanya
- Lubos Brim
- José Meseguer
- Jiri Barnat
- Alberto L. Sangiovanni-Vincentelli
- Tevfik Bultan
- Alexandre Yakovlev
- Orna Grumberg
- David Parker
- Steven M. Nowick
- Narciso Martí-Oliet
- Naoki Kobayashi
- Luciano Lavagno
- Ahmed Bouajjani
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.
- IEEE J. Solid State Circuits
- Formal Methods Syst. Des.
- ICECS
- J. Log. Comput.
- FMCAD
- Fundam. Informaticae
- VMCAI
- FORTE
- Formal Aspects Comput.
- CSL
- 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