E-LIB Suche - Ergebnisse für: Nalla, Pradeep K.

1

FVCAG : A framework for formal verification driven power..:

, In: Proceedings of the 2016 International Symposium on Low Power Electronics and Design,

Joseph, Arun ; Rachamalla, Spandana ; Rao, Rahul M... - p. 260-265 , 2016

Link: https://dl.acm.org/doi/1..

2

Semiformal verification of temporal properties in automotiv..:

, In: Proceedings of the Conference on Design, Automation and Test in Europe,

Lettnin, Djones ; Nalla, Pradeep K. ; Behrend, Jörg... - p. 1214-1217 , 2009

Link: https://dl.acm.org/doi/1..

3

Verification of temporal properties in automotive embedded ..:

, In: Proceedings of the conference on Design, automation and test in Europe,

Lettnin, Djones ; Nalla, Pradeep K. ; Ruf, Jürgen... - p. 164-169 , 2008

Link: https://dl.acm.org/doi/1..

4

Fast falsification based on symbolic bounded property check..:

, In: Proceedings of the 43rd annual Design Automation Conference,

Peranandam, Prakash M. ; Nalla, Pradeep K. ; Ruf, Jürgen... - p. 1077-1082 , 2006

Link: https://dl.acm.org/doi/1..

5

Distributed Symbolic Bounded Property Checking:

Nalla, Pradeep K. ; Weiss, Roland J. ; Peranandam, Prakash...
Electronic Notes in Theoretical Computer Science. 135 (2006) 2 - p. 47-63 , 2006

Link: https://doi.org/10.1016/..

6

Contributors:

, In: Advances in Artificial Intelligence,

Abu Al-Haija, Qasem ; Apykhtin, Konstantin ; Bandyopadhyay, Rajeswari... - p. xxi-xxv , 2024

Link: https://doi.org/10.1016/..

7

Predictors of Attitudes Toward Sexual Harassment Among Chin..:

Liu, Yang V. ; Nalla, Mahesh K.
Asian Journal of Criminology. 18 (2023) 3 - p. 253-271 , 2023

Link: https://doi.org/10.1007/..

8

Atraumatic peroneal compartment syndrome: An uncommon entit:

Rajendran, Nagamahendran ; Bhutani, Sourabh ; Nalla, Praveen K..
Medical Journal Armed Forces India. , 2023

Link: https://doi.org/10.1016/..

9

Fear, learning, or self-control? Predictors of Russian citi..:

Gurinskaya, Anna ; Nalla, Mahesh K ; Jaynes, Chae M
Criminology & Criminal Justice. 24 (2023) 3 - p. 608-628 , 2023

Link: https://doi.org/10.1177/..

10

Does fear of migrant crime predict xenophobia: Evidence fro..:

Gurinskaya, Anna ; Nalla, Mahesh K. ; Polyakova, Evgeniya
European Journal of Criminology. 21 (2022) 1 - p. 31-51 , 2022

Link: https://doi.org/10.1177/..

11

The Security Officer: Overextended and Underappreciated:

, In: The Handbook of Security,

Nalla, Mahesh K. ; Wakefield, Alison - p. 605-626 , 2022

Link: https://doi.org/10.1007/..

12

Organizational Trust and Job Stress: a Preliminary Study Am..:

Lambert, Eric G. ; Qureshi, Hanif ; Nalla, Mahesh K...
Asian Journal of Criminology. 17 (2021) 1 - p. 81-103 , 2021

Link: https://doi.org/10.1007/..

13

The effect of perceived citizen views and supervisor suppor..:

Paek, Seung Yeop ; Nalla, Mahesh K. ; Lee, Julak.
Security Journal. 35 (2021) 4 - p. 1047-1066 , 2021

Link: https://doi.org/10.1057/..

14

Sources of prejudice among police cadets toward foreigners:..:

Demirkol, Ismail Cenk ; Nalla, Mahesh K
Criminology & Criminal Justice. 23 (2021) 2 - p. 237-256 , 2021

Link: https://doi.org/10.1177/..

15

Private security officers' willingness to cooperate with po..:

Paek, Seung Y. ; Nalla, Mahesh K. ; Lee, Julak
Policing and Society. 31 (2020) 6 - p. 735-750 , 2020

Link: https://doi.org/10.1080/..