Concepedia

Y. Shemesh

YS

2

Publications

40

Citations

2

H-Index

1994

Active since

Affiliations

Cadence Design Systems (United States)(Current)

Y. Shemesh is an author at Cadence Design Systems (United States) specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceMicroelectronicsAutomated ReasoningFormal VerificationComputer EngineeringElectronic PackagingMicrowave EngineeringElectrical Engineering

Publications per year

1994–2005

2

Publications

2

Finite-State Unification Automata and Relational Languages

Y. Shemesh, Nissim Francez · Information and Computation · 1994 · 27 citations

Finite-state Unification Automata, Logical Automaton, Engineering +6

Consideration of age degradation in the RF performance of CMOS radio chips for high volume manufacturing

Mark N. Ruberto, Tzvi Maimon, Y. Shemesh et al. · 2005 · 13 citations

Engineering, Transistor Age Models, Radio Frequency +16

Rows per page

1–2 of 2