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
- E. Allen Emerson
- Javier Esparza
- Parosh Aziz Abdulla
- Rolf Drechsler
- Jordi Cortadella
- Amir Pnueli
- Marc Renaudin
- Scott A. Smolka
- Robert K. Brayton
- Hossein Pedram
- Irith Pomeranz
- Lubos Brim
- Diego Latella
- Tayssir Touili
- Takashi Nanya
- José Meseguer
- Orna Grumberg
- Tevfik Bultan
- Jiri Barnat
- Alberto L. Sangiovanni-Vincentelli
- Alexandre Yakovlev
- Ahmed Bouajjani
- David Parker
- Sudhakar M. Reddy
- Narciso Martí-Oliet
- Luciano Lavagno
- Naoki Kobayashi
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
- Int. J. Softw. Tools Technol. Transf.
- IEEE Trans. Very Large Scale Integr. Syst.
- CONCUR
- Notre Dame J. Formal Log.
- TACAS
- Stud Logica
- J. Philos. Log.
- ITC
- ASP-DAC
- Formal Methods Syst. Des.
- IACR Cryptol. ePrint Arch.
- IEEE J. Solid State Circuits
- J. Log. Comput.
- ICECS
- FMCAD
- Fundam. Informaticae
- VMCAI
- FORTE
- CSL
- Formal Aspects Comput.
- ATVA
- Log. J. IGPL
- IEEE Trans. Circuits Syst. I Regul. Pap.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend