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
- Jordi Cortadella
- Rolf Drechsler
- Robert K. Brayton
- Marc Renaudin
- Amir Pnueli
- Scott A. Smolka
- Irith Pomeranz
- Hossein Pedram
- Takashi Nanya
- Diego Latella
- Tayssir Touili
- Lubos Brim
- Alberto L. Sangiovanni-Vincentelli
- Tevfik Bultan
- Orna Grumberg
- José Meseguer
- Alexandre Yakovlev
- Jiri Barnat
- Ahmed Bouajjani
- Steven M. Nowick
- Narciso Martí-Oliet
- Luciano Lavagno
- Sudhakar M. Reddy
- Naoki Kobayashi
Venues
- CoRR
- DAC
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- ASYNC
- Electron. Notes Theor. Comput. Sci.
- IEEE Trans. Computers
- CAV
- ISCAS
- DATE
- J. Symb. Log.
- Theor. Comput. Sci.
- ICCAD
- VLSI Design
- SPIN
- ICCD
- LICS
- Int. J. Softw. Tools Technol. Transf.
- CONCUR
- IEEE Trans. Very Large Scale Integr. Syst.
- TACAS
- Notre Dame J. Formal Log.
- Stud Logica
- J. Philos. Log.
- ITC
- ASP-DAC
- Formal Methods Syst. Des.
- IEEE J. Solid State Circuits
- ICECS
- FMCAD
- IACR Cryptol. ePrint Arch.
- Fundam. Informaticae
- J. Log. Comput.
- VMCAI
- FORTE
- CSL
- Formal Aspects Comput.
- ATVA
- Log. J. IGPL
- J. Log. Algebraic Methods Program.
Related Topics
Related Keywords
Popularity