UB Paderborn / Katalog / Suche / in CDI

Can message buffers be axiomatized in linear temporal logic?

Information and control, 1984-10, Vol.63 (1), p.88-112

1984

Volltextzugriff (PDF)

On characterization of safety and liveness properties in temporal logic

Annual ACM Symposium on Principles of Distributed Computing: Proceedings of the fourth annual ACM symposium on Principles of distributed computing, 1985, p.39-48

1985

Volltextzugriff (PDF)

Efficient distributed recovery using message logging

Annual ACM Symposium on Principles of Distributed Computing: Proceedings of the eighth annual ACM Symposium on Principles of distributed computing, 1989, p.223-238

1989

Volltextzugriff (PDF)

Distributed algorithms for ensuring fair interprocess communicatons

Annual ACM Symposium on Principles of Distributed Computing: Proceedings of the third annual ACM symposium on Principles of distributed computing; 27-29 Aug. 1984, 1984, p.266-277

Sistla, A. P.

1984

Volltextzugriff (PDF)

Automatic verification of finite state concurrent system using temporal logic specifications: a practical approach

Annual Symposium on Principles of Programming Languages: Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages; 24-26 Jan. 1983, 1983, p.117-126

1983

Volltextzugriff (PDF)

Deciding full branching time logic

Information and control, 1984-01, Vol.61 (3), p.175-201

1984

Volltextzugriff (PDF)

Can message buffers be characterized in linear temporal logic?

Annual ACM Symposium on Principles of Distributed Computing: Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing; 18-20 Aug. 1982, 1982, p.148-156

1982

Volltextzugriff (PDF)

An economic model for resource exchange in mobile peer to peer networks

Proceedings. 16th International Conference on Scientific and Statistical Database Management, 2004, 2004, p.235-244

2004

Volltextzugriff (PDF)

Modeling and querying moving objects

Proceedings 13th International Conference on Data Engineering, 1997, p.422-432

1997

Volltextzugriff (PDF)

BOOK REVIEW: The Temporal Logic of Reactive and Concurrent Systems—Specification. By Zohar Manna and Amir Pnueli. (Springer-Verlag, 1991. xiv+427pp. ISBN 0-387-97664-7 . $49.95)

ACM SIGACT News, 1993, Vol.24 (4), p.34-36

Sistla, A. P.

1993

Volltextzugriff (PDF)

Checking extended CTL properties using guarded quotient structures

Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004, 2004, p.87-94

2004

Volltextzugriff (PDF)

Similarity based retrieval of videos

Proceedings 13th International Conference on Data Engineering, 1997, p.181-190

1997

Volltextzugriff (PDF)

Incremental verification of architecture specification language for real-time systems

Proceedings Third International Workshop on Object-Oriented Real-Time Dependable Systems, 1997, p.215-222

1997

Volltextzugriff (PDF)

Association between Serum Antibody Titers against Influenza Viruses and the Risk of Influenza in Patients with Chronic Respiratory Diseases - a Prospective, Longitudinal Study

Journal of communicable diseases, 2021-09, Vol.53 (3), p.69-75

Sistla, Sujatha

2021

Volltextzugriff (PDF)

Efficacy of Curcumin as an Adjunct to Scaling and Root Planing in Chronic Periodontitis Patients: A Randomized Controlled Clinical Trial

The journal of contemporary dental practice, 2019-07, Vol.20 (7), p.842-846

2019

Volltextzugriff (PDF)

CHOLECYSTECTOMIES AT RIMS, ONGOLE- A RETROSPECTIVE ANALYSIS

Journal of evolution of medical and dental sciences, 2017-08, Vol.6 (68), p.4890-4893

2017

Volltextzugriff (PDF)

Formulation, Characterization and Pharmacokinetic Studies of Carvedilol Nanoemulsions

Current trends in biotechnology and pharmacy, 2011-04, Vol.5 (2), p.1110-1122

2011

Volltextzugriff (PDF)

Understanding the Torsional Response of Unbonded Fiber Reinforced Elastomeric Isolators: A Finite Element Study

Proceedings of 17th Symposium on Earthquake Engineering (Vol. 1), 2023, Vol.329, p.459-472

2023

Volltextzugriff (PDF)

Analysing Construction and Demolition Waste Practices: An Indian Case Study

Recent Developments in Sustainable Infrastructure (ICRDSI-2020)--Structure and Construction Management, 2022, Vol.221, p.481-490

2022

Volltextzugriff (PDF)

Cytotoxic sesquiterpenes from Hedychium spicatum: Isolation, structure elucidation and structure–activity relationship studies

Fitoterapia, 2013-04, Vol.86, p.100-107

2013

Volltextzugriff (PDF)

Jejuno-jejunal intussusception secondary to small-bowel lipomatosis: A case report

South African Journal of Surgery, 2012-05, Vol.50 (2), p.43-44

2012

Volltextzugriff (PDF)

Bulk motion of granular matter in an agitated cylindrical bed

Physical review. E, Statistical, nonlinear, and soft matter physics, 2005-01, Vol.71 (1 Pt 1), p.011303-011303, Article 011303

2005

Volltextzugriff (PDF)

Concomitant Correction of a Soft-Tissue Fenestration with Keratinised Tissue Augmentation By Using A Rotated Double-Pedicle Flap During Second-Stage Implant Surgery- A Case Report

Journal of clinical and diagnostic research : JCDR, 2015, Vol.9 (12), p.ZD16-ZD19

2015

Volltextzugriff (PDF)

ChemInform Abstract: Synthesis and Anticancer Activity of Oxindole Derived Imidazo[1,5-a]pyridines (VIII)

ChemInform, 2011-09, Vol.42 (39), p.no-no

2011

Volltextzugriff (PDF)

Research activities in database management and information retrieval at University of Illinois at Chicago

SIGMOD record, 2002-09, Vol.31 (3), p.103-108

2002

Volltextzugriff (PDF)

Menü

Weitere Dienste

Einstellungen

Can message buffers be axiomatized in linear temporal logic?

On characterization of safety and liveness properties in temporal logic

Efficient distributed recovery using message logging

Distributed algorithms for ensuring fair interprocess communicatons

Automatic verification of finite state concurrent system using temporal logic specifications: a practical approach

Deciding full branching time logic

Can message buffers be characterized in linear temporal logic?

An economic model for resource exchange in mobile peer to peer networks

Modeling and querying moving objects

BOOK REVIEW: The Temporal Logic of Reactive and Concurrent Systems—Specification. By Zohar Manna and Amir Pnueli. (Springer-Verlag, 1991. xiv+427pp. ISBN 0-387-97664-7 . $49.95)

Checking extended CTL properties using guarded quotient structures

Similarity based retrieval of videos

Incremental verification of architecture specification language for real-time systems

Association between Serum Antibody Titers against Influenza Viruses and the Risk of Influenza in Patients with Chronic Respiratory Diseases - a Prospective, Longitudinal Study

Efficacy of Curcumin as an Adjunct to Scaling and Root Planing in Chronic Periodontitis Patients: A Randomized Controlled Clinical Trial

CHOLECYSTECTOMIES AT RIMS, ONGOLE- A RETROSPECTIVE ANALYSIS

Formulation, Characterization and Pharmacokinetic Studies of Carvedilol Nanoemulsions

Understanding the Torsional Response of Unbonded Fiber Reinforced Elastomeric Isolators: A Finite Element Study

Analysing Construction and Demolition Waste Practices: An Indian Case Study

Cytotoxic sesquiterpenes from Hedychium spicatum: Isolation, structure elucidation and structure–activity relationship studies

Jejuno-jejunal intussusception secondary to small-bowel lipomatosis: A case report

Bulk motion of granular matter in an agitated cylindrical bed

Concomitant Correction of a Soft-Tissue Fenestration with Keratinised Tissue Augmentation By Using A Rotated Double-Pedicle Flap During Second-Stage Implant Surgery- A Case Report

ChemInform Abstract: Synthesis and Anticancer Activity of Oxindole Derived Imidazo[1,5-a]pyridines (VIII)

Research activities in database management and information retrieval at University of Illinois at Chicago

Aktive Filter

Suchergebnisse filtern