3 research outputs found
Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- 01/01/2014
- Field of study
No full textAutomated formal analysis and verification: an overview
- Author
- Abdulla P. A.
- Abdulla P. A.
- Abdulla P. A.
- Aggarwal P.
- Aiken A.
- Alur R.
- Alur R.
- Alur R.
- Apt K.
- Audemard G.
- Baier C.
- Ball T.
- Ball T.
- Barnat J.
- Barnat J.
- Baukus K.
- Behrmann G.
- Bertot Y.
- Beyer D.
- Biere A.
- Blom S.
- Bohuslav Křena
- Boigelot B.
- Bouajjani A.
- Bouajjani A.
- Bouajjani A.
- Bouajjani A.
- Bouajjani A.
- Bouajjani A.
- Brayton R.
- Bryant R. E.
- Burch J. R.
- Burkart O.
- Cadar C.
- Cavada R.
- Chaki S.
- Clarke E. M.
- Clarke E. M.
- Clarke E. M.
- Clarke E. M.
- Clarke E. M.
- Clarke E. M.
- Clarke E. M.
- Clarke E. M.
- Clarke E. M.
- Cohen E.
- Cok D. R.
- Cousot P.
- Cousot P.
- Cousot P.
- Creese S. J.
- Cécé G.
- Davis M.
- de Moura L. M.
- Dill D. L.
- Edelstein O.
- Elmas T.
- Emerson E. A.
- Emerson E. A.
- Emerson E. A.
- Emerson E. A.
- Emerson E. A.
- Engler D.
- Esparza J.
- Ferdinand C.
- Fiedor J.
- Finkel A.
- Finkel A.
- Flanagan C.
- Gaiser A.
- Gastin P.
- German S. M.
- Godefroid P.
- Graf S.
- Habermehl P.
- Havelund K.
- Henzinger T. A.
- Henzinger T. A.
- Henzinger T. A.
- Hoare C. A.
- Holzmann G.
- Holzmann G.
- Holzmann G. J
- Holzmann G. J.
- Holzmann G. J.
- Hovemeyer D.
- Hrubá V.
- Hrubá V.
- Ip C. N.
- Ip C. N.
- Jeannet B.
- Jin G.
- Kahlon V.
- Kaiser A.
- Kam J. B.
- Kam J. B.
- Katz S.
- Kaufmann M.
- Kaufmann M.
- Kelly W.
- Kesten Y.
- Khedker U. P.
- Kildall G. A.
- Klarlund N.
- Kozen D.
- Kroening D.
- Kurshan R. P.
- Kwiatkowska M.
- Křena B.
- Lesens D.
- Marino D.
- Masson B.
- Mayr R.
- McMillan K. L.
- McMillan K. L.
- McMillan K. L.
- McMinn P.
- Merz F.
- Musuvathi M.
- Nagpal R.
- Nielson F.
- Nielson F.
- Nipkow T.
- Owre S.
- Palsberg J.
- Perrin D.
- Pnueli A.
- Pnueli A.
- Pnueli A.
- Pnueli A.
- Pnueli A.
- Podelski A.
- Queille J. P.
- Ratanaworabhan P.
- Savage S.
- Seshia S. A.
- Sheeran M.
- Sistla A. P.
- Srivastava S.
- Tomáš Vojnar
- Valmari A.
- Vardi M.
- Vardi M.
- Visser W.
- Walukiewicz I.
- Wolper P.
- Zeller A.
- Češka M.
- Publication venue
- 'Informa UK Limited'
- Publication date
- Field of study
No full textProtective Effects of Silymarin Against Age-Related Hearing Loss in an Aging Rat Model
- Author
- A Derin
- A Ghosh
- A Kashio
- A Mohammadirad
- A Rasul
- A Salami
- A Sasu
- A Zarban
- AL Poirrier
- AR Fetoni
- AR Fetoni
- AR Kidd III
- B Chen
- B Chen
- C Fujimoto
- C Han
- C Nencini
- C Oliveirra
- C Soto
- C Verschuur
- CG Prell Le
- D Coling
- D Ding
- D Henderson
- DE Coling
- E Draz
- E Tavanai
- EC Bielefeld
- EC Bielefeld
- EC Böttger
- Elham Tavanai
- G Mohammadkhani
- G Romeo
- GA Gates
- GH Karimi
- Ghassem Mohammadkhani
- H Chen
- H Hosny Mansour
- H Jiang
- H Najafzadeh
- H-J Kim
- HO Mesallamy El
- I Darrat
- J Durga
- J Mazelová
- J Menardo
- J Nevado
- J Shargorodsky
- JF Polanski
- JH Ahn
- JW Kang
- KE Mayer
- KK Ohlemiller
- L Wu
- M Bakhshaee
- M Takumida
- M Takumida
- MD Seidman
- MD Seidman
- MD Seidman
- MD Seidman
- MP Miguez
- N Dixit
- N Hadzi-Petrushev
- NA AteÅŸ
- P Kovacic
- P Perez
- PF Surai
- PH Leitron
- Q Ruan
- R Gazák
- R Kopke
- R Saller
- R Sanz-Fernández
- RR Davis
- S Katiyar
- S Neri
- S Neri
- S Someya
- S Someya
- S Someya
- S Yin
- Saeid Farahani
- SE Heman-Ackah
- SF Tadros
- SH Sha
- Shohreh Jalaie
- SI Cho
- SK Katiyar
- SK Manna
- SY Zhu
- T Le
- T Yamasoba
- T Yamasoba
- TR Water Van de
- U Bai
- V Křena
- VK Kapoor
- W Kong
- W Kong
- W Peng
- WJ Kong
- Y Ohinata
- Y Zhong
- Y Zhong
- Y Zhong
- Z Du
- Z Du
- Z Du
- Z Du
- Z Varga
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
No full text
