2 research outputs found
Enzymatic disease of the podocyte
- Author
- A Meyrier
- A Meyrier
- AJ Barrett
- Andreas D. Kistler
- Anna-Lena Forst
- B Goulet
- B Hinkes
- C Faul
- C Faul
- CC Moller
- CC Moller
- D Chen
- DA Schafer
- EM Duncan
- H Pavenstadt
- J Patrakka
- J Reiser
- J Reiser
- J Reiser
- J Reiser
- JM Kaplan
- Jochen Reiser
- K Asanuma
- K Asanuma
- K Ishidoh
- L He
- L Paczek
- M Charbit
- M Kestila
- Mehmet M. Altintas
- MP Winn
- N Boute
- P Mundel
- RJ Hogg
- S Sever
- Shafic El Hindi
- SS Chauhan
- T Kirchhausen
- T Lohmuller
- Vasil Peev
- W Kriz
- WE Smoyer
- WH Baricos
- WH Baricos
- WH Baricos
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
Bounded model checking for fixed-point digital filters
- Author
- A Biere
- A Cox
- A Cox
- AV Oppenheim
- B Akbarpour
- CK Ahn
- CK Ahn
- CW Barrett
- D Beyer
- D Luengo
- D Menard
- E Auer
- E Clarke
- Eddie B. de Lima Filho
- EM Shafic
- F Merz
- GA Constantinides
- H Hanselmann
- H Ismail
- H Kwan
- HN Nguyen
- I Bessa
- Institute of Electrical and Electronics Engineers
- J Campo
- J Carletta
- J Carlson
- J Dattorro
- J Morse
- J Morse
- JA López
- JG Proakis
- K Jensen
- L Cordeiro
- L Cordeiro
- L Jackson
- LB Jackson
- LM de Mouram
- Lucas C. Cordeiro
- M Gevers
- M Kawamata
- Mikhail Y. R. Gadelha
- N Henzel
- P Bauer
- PP Vaidyanathan
- PSR Diniz
- R Brummayer
- R Könighofer
- RB Abreu
- Renato B. Abreu
- RK Brayton
- S Kim
- S Yamaki
- SR Parker
- T Brubaker
- T Hilaire
- T Tripakis
- TA Davis
- TACM Claasen
- V Balakrishnan
- W Mills
- W Sung
- Waldir S. da Silva
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study