Sistla, Prasad: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

[ACM Press the 4th ACM conference - San Antonio, Texas, USA (2014.03.03-2014.03.05)] Proceedings of the 4th ACM conference on Data and application security and privacy - CODASPY '14 - Minimizing lifetime of sensitive data in concurrent programs

Gondi, Kalpana, Sistla, A. Prasad, Venkatakrishnan, V. N.

Year:

2014

Language:

english

File:

PDF, 352 KB

english, 2014

52

[ACM Press the 17th international conference - Berlin, Germany (2014.04.15-2014.04.17)] Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14 - Timely monitoring of partially observable stochastic systems

Sistla, A. Prasad, Žefran, Miloý, Feng, Yao, Ben, Yue

Year:

2014

Language:

english

File:

PDF, 628 KB

english, 2014

53

Towards a theory of cost management for digital libraries and electronic commerce

Sistla, A. Prasad, Wolfson, Ouri, Yesha, Yelena, Sloan, Robert

Journal:

ACM Transactions on Database Systems

Year:

1998

Language:

english

File:

PDF, 241 KB

english, 1998

54

SMC: a symmetry-based model checker for verification of safety and liveness properties

Sistla, A. Prasad, Gyuris, Viktor, Emerson, E. Allen

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2000

Language:

english

File:

PDF, 213 KB

english, 2000

55

On the expressiveness and complexity of randomization in finite state monitors

Chadha, Rohit, Sistla, A. Prasad, Viswanathan, Mahesh

Journal:

Journal of the ACM

Year:

2009

Language:

english

File:

PDF, 513 KB

english, 2009

56

AN INCREMENTAL VERIFICATION ALGORITHM FOR REAL-TIME SYSTEMS

SAHAY, AVINAS, TSAI, JEFFREY J. P., SISTLA, A. PRASAD

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

1999

Language:

english

File:

PDF, 790 KB

english, 1999

57

[ACM Press the sixteenth annual ACM symposium - Not Known (1984..-..)] Proceedings of the sixteenth annual ACM symposium on Theory of computing - STOC '84 - Deciding branching time logic

Emerson, E. Allen, Sistla, A. Prasad

Year:

1984

Language:

english

File:

PDF, 908 KB

english, 1984

58

[ACM Press the Eighth ACM SIGPLAN workshop - Seattle, Washington, USA (2013.06.20-2013.06.20)] Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and analysis for security - PLAS '13 - WEBLOG

Hinrichs, Timothy L., Rossetti, Daniele, Petronella, Gabriele, Venkatakrishnan, V. N., Sistla, A. Prasad, Zuck, Lenore D.

Year:

2013

Language:

english

File:

PDF, 577 KB

english, 2013

59

[ACM Press the eleventh international conference - McLean, Virginia, USA (2002.11.04-2002.11.09)] Proceedings of the eleventh international conference on Information and knowledge management - CIKM '02 - Similarity based retrieval from sequence databases using automata as queries

Sistla, A. Prasad, Hu, Tao, Chowdhry, Vikas

Year:

2002

Language:

english

File:

PDF, 194 KB

english, 2002

60

Symmetry and reduced symmetry in model checking

Sistla, A. Prasad, Godefroid, Patrice

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2004

Language:

english

File:

PDF, 379 KB

english, 2004

61

[ACM Press the 1995 ACM SIGMOD international conference - San Jose, California, United States (1995.05.22-1995.05.25)] Proceedings of the 1995 ACM SIGMOD international conference on Management of data - SIGMOD '95 - Temporal conditions and integrity constraints in active database systems

Sistla, A. Prasad, Wolfson, Ouri

Year:

1995

Language:

english

File:

PDF, 1.31 MB

english, 1995

62

[ACM Press the 7th ACM ACM SIGACT/SIGMOBILE International Workshop - San Jose, California (2011.06.09-2011.06.09)] Proceedings of the 7th ACM ACM SIGACT/SIGMOBILE International Workshop on Foundations of Mobile Computing - FOMC '11 - Answer-pairs and processing of continuous nearest-neighbor queries

Sistla, A. Prasad, Wolfson, Ouri, Xu, Bo, Rishe, Naphtali

Year:

2011

Language:

english

File:

PDF, 657 KB

english, 2011

63

Data replication for mobile computers

Huang, Yixiu, Sistla, Prasad, Wolfson, Ouri

Journal:

ACM SIGMOD Record

Year:

1994

Language:

english

File:

PDF, 1.24 MB

english, 1994

64

DOMINO

Wolfson, Ouri, Sistla, Prasad, Xu, Bo, Zhou, Jutai, Chamberlain, Sam

Journal:

ACM SIGMOD Record

Year:

1999

Language:

english

File:

PDF, 405 KB

english, 1999

65

Nasal application of petrolatum ointment - A silent cause of exogenous lipoid pneumonia: Successfully treated with prednisolone

Kilaru, Hemanth, Prasad, Sudhir, Radha, Sistla, Nallagonda, Ravindra, Kilaru, Satish Chandra, Nandury, Eshwar Chandra

Journal:

Respiratory Medicine Case Reports

Year:

2017

Language:

english

File:

PDF, 1012 KB

english, 2017

66

Novel Menadione Hybrids: Synthesis, anticancer activity and cell based studies

Prasad, Chakka Vara, Nayak, Vadithe Lakshma, Ramakrishna, Sistla, Mallavadhani, Uppuluri Venkata

Journal:

Chemical Biology & Drug Design

Year:

2017

Language:

english

File:

PDF, 1.59 MB

english, 2017

67

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Distinguishing Hidden Markov Chains

Kiefer, Stefan, Sistla, A. Prasad

Year:

2016

Language:

english

File:

PDF, 376 KB

english, 2016

68

[IEEE 2017 Formal Methods in Computer-Aided Design (FMCAD) - Vienna (2017.10.2-2017.10.6)] 2017 Formal Methods in Computer Aided Design (FMCAD) - Exact quantitative probabilistic model checking through rational search

Bauer, Matthew S., Mathur, Umang, Chadha, Rohit, Sistla, A. Prasad, Viswanathan, Mahesh

Year:

2017

Language:

english

File:

PDF, 179 KB

english, 2017

69

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Verification of randomized security protocols

Chadha, Rohit, Sistla, A. Prasad, Viswanathan, Mahesh

Year:

2017

Language:

english

File:

PDF, 383 KB

english, 2017

70

Wound healing: a new perspective on glucosylated tetrahydrocurcumin

Bhaskar Rao, Adari, Ernala, Prasad, Deepthi Seelam, Siva, Vennapusa, Haritha, Sistla, Ramakrishna, Kuncha, Madhusudan, Surekha Mullapudi, Venkata, Rao Yerramilli, Sri

Journal:

Drug Design Development and Therapy

Year:

2015

Language:

english

File:

PDF, 2.20 MB

english, 2015

71

Language based policy analysis in a SPKI Trust Management System

Eamani, Arun K., Sistla, A. Prasad

Journal:

Journal of Computer Security

Year:

2006

Language:

english

File:

PDF, 225 KB

english, 2006

72

[IEEE 2019 41st Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC) - Berlin, Germany (2019.7.23-2019.7.27)] 2019 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) - Cuff-less Blood Pressure Measurement Using Supplementary ECG and PPG Features Extracted Through Wavelet Transformation

Singla, Muskan, Sistla, Prasad, Azeemuddin, Syed

Year:

2019

Language:

english

File:

PDF, 615 KB

english, 2019

73

[IEEE 2019 41st Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC) - Berlin, Germany (2019.7.23-2019.7.27)] 2019 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) - Cuff-less Blood Pressure Measurement Using Supplementary ECG and PPG Features Extracted Through Wavelet Transformation

Singla, Muskan, Sistla, Prasad, Azeemuddin, Syed

Year:

2019

File:

PDF, 615 KB

2019

74

Accurate Fiducial Point Detection Using Haar Wavelet for Beat-by-Beat Blood Pressure Estimation

Singla, Muskan, Azeemuddin, Syed, Sistla, Prasad

Journal:

IEEE Journal of Translational Engineering in Health and Medicine

Year:

2020

File:

PDF, 4.07 MB

2020

75

Field-Assisted Sintering/Spark Plasma Sintering of Gadolinium-Doped Ceria with Controlled Re-Oxidation for Crack Prevention

Mishra, Tarini Prasad, Laptev, Alexander M., Ziegner, Mirko, Sistla, Sree Koundinya, Kaletsch, Anke, Broeckmann, Christoph, Guillon, Olivier, Bram, Martin

Journal:

Year:

2020

File:

PDF, 7.20 MB

2020

76

Auricular Perichondritis of an Unusual Etiology

Sistla, Sujatha, Mohapatra, Devi Prasad, Sugumaran, Radha, Gupta, Saurabh, Thiruvoth, Friji Meethale, Reddy, Likhitha

Journal:

Indian Journal of Otolaryngology and Head & Neck Surgery (Springer)

Year:

2020

File:

PDF, 404 KB

2020

77

[IEEE 2020 42nd Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) in conjunction with the 43rd Annual Conference of the Canadian Medical and Biological Engineering Society - Montreal, QC, Canada (2020.7.20-2020.7.24)] 2020 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC) - Learning-Based Model for Central Blood Pressure Estimation using Feature Extracted from ECG and PPG signals

Singla, Muskan, Azeemuddin, Syed, Sistla, Prasad

Year:

2020

File:

PDF, 1.05 MB

2020