Old Web
English
Sign In
Acemap
>
authorDetail
>
João Geada
João Geada
Specification language
Theoretical computer science
Hardware description language
Language Of Temporal Ordering Specification
Computer science
2
Papers
4
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (2)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Applying Machine Learning to Design for Reliability Coverage.
2019
IRPS | International Reliability Physics Symposium
Norman Chang
Wentze Chuang
Ganesh Kumar Tsavatanalli
João Geada
Hao Zhuang
Sankar Ramachandran
Rahul Raian
Ying-Shiun Li
Yaowei Jia
Mathew Kaipanatu
Suresh Kumar Mantena
Ming-Chih Shih
Anita Yang
Roger Jang
Show All
Source
Cite
Save
Citations (1)
Dynamic Assertions Using TXP
2001
Electronic Notes in Theoretical Computer Science
Surrendra Dudani
João Geada
Grzegorz Jakacki
Daniel Vainer
Show All
Source
Cite
Save
Citations (3)
1