The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jai Srinivasan" ( http://dblp.L3S.de/Authors/Jai_Srinivasan )

  Author page on DBLP  Author page in RDF  Community of Jai Srinivasan in ASPL-2

Publication years (Num. hits)
1988 (1) 1989 (1) 1990 (3) 1992 (2)
Publication types (Num. hits)
article(2) inproceedings(5)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 10 keywords

Results
Found 8 publication records. Showing 7 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan Quantitative Temporal Reasoning. Search on Bibsonomy Real Time Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Tom Sadler, Jai Srinivasan Efficient Temporal Satisfiability. Search on Bibsonomy J. Log. Comput. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan Quantitative Temporal Reasoning. Search on Bibsonomy CAV The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Michael Evangelist, Jai Srinivasan On the Limits of Efficient Temporal Decidability (Extended Abstract) Search on Bibsonomy LICS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Jai Srinivasan A Decidable Temporal Logic to Reason About Many Processes. Search on Bibsonomy PODC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Tom Sadler, Jai Srinivasan Efficient Temporal Reasoning. Search on Bibsonomy POPL The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1E. Allen Emerson, Jai Srinivasan Branching time temporal logic. Search on Bibsonomy REX Workshop The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Modal and Temporal Logic: Branching time temporal logic, linear time temporal logic, model checking - Logics of Programs: Reasoning about concurrent programs, specification of and reasoning about fairness - Software Engineering: Specification techniques, automated verification techniques - Computational Complexity, Automata Theory: Finite-state automata on infinite objects, program verification, satisfiability, decidability, expressiveness, decision procedures, dynamic logics, tree automata, axiomatics, program specification, mechanical synthesis
Displaying result #1 - #7 of 7 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license