The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for QCTL* with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1997-2022 (13)
Publication types (Num. hits)
article(4) inproceedings(9)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 9 keywords

Results
Found 13 publication records. Showing 13 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
135Donghuo Chen, Guangquan Zhang 0002, Jinzhao Wu QCTL: A Logic for Reasoning about Inconsistent Concurrent Systems. Search on Bibsonomy TASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
99Arend Rensink Model Checking Quantified Computation Tree Logic. Search on Bibsonomy CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
80John Christopher McCabe-Dansted A Tableau for RoBCTL*. Search on Bibsonomy JELIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF QCTL*, Robustness, Diagnosis, Logic, Bundled, Tableau
74Thomas Kropf, Jürgen Ruf Using MTBDDs for discrete timed symbolic model checking. Search on Bibsonomy ED&TC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
49Donghuo Chen, Jinzhao Wu Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic. Search on Bibsonomy SOFSEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Ming Xu 0010, Jianling Fu, Jingyi Mei, Yuxin Deng Model checking QCTL plus on quantum Markov chains. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
36Akash Hossain, François Laroussinie QCTL model-checking with QBF solvers. Search on Bibsonomy Inf. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
36Akash Hossain, François Laroussinie QCTL model-checking with QBF solvers. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
36Amélie David 0001, François Laroussinie, Nicolas Markey On the Expressiveness of QCTL. Search on Bibsonomy CONCUR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
36Sebastian Bauer Axiomatizing the Monodic Fragment of QCTL. Search on Bibsonomy J. Log. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Tim French 0002, John Christopher McCabe-Dansted, Mark Reynolds 0001 A Temporal Logic of Robustness. Search on Bibsonomy FroCoS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF RoCTL*, QCTL*, Robustness, Modal Logic, Decidability, Branching Time Logic
31Sun Meng QCCS: A Formal Model to Enforce QoS Requirements in Service Composition. Search on Bibsonomy TASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Q-algebra, QCCS, Quantified Bisimulation, QCTL, Quality of Service
25Tim French 0002 Decidability of Propositionally Quantified Logics of Knowledge. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #13 of 13 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license