Refine my results

Document type

Language

Consortium of Swiss Academic Libraries

The 2008 CAV Award citation

Bryant, R. ; Grumberg, O. ; Henzinger, T. ; Vardi, M.

In: Formal Methods in System Design, 2009, vol. 35, no. 1, p. 4-5

Consortium of Swiss Academic Libraries

A 2.4-GHz low power polar transmitter for wireless body area network applications

Kopta, Vladimir ; Le Roux, Erwan ; Pengg, Franz ; Enz, Christian

In: Analog Integrated Circuits and Signal Processing, 2014, vol. 81, no. 3, p. 657-666

Consortium of Swiss Academic Libraries

3D Monte Carlo simulation of FinFET and FDSOI devices with accurate quantum correction

Bufler, F. ; Smith, L.

In: Journal of Computational Electronics, 2013, vol. 12, no. 4, p. 651-657