Output details
11 - Computer Science and Informatics
Imperial College London
Return to search
Output 0 of 0 in the submission
Article title
Modal and mixed specifications: key decision problems and their complexities
Type
D - Journal article
Title of journal
Mathematical Structures in Computer Science
Article number
-
Volume number
20
Issue number
1
First page of article
75
ISSN of journal
0960-1295
Year of publication
2010
URL
-
Number of additional authors
4
Additional information
<10>This journal paper combines results from two papers by the same co-authors into a completed research story. One of those papers was published at FoSSaCS 2008 with acceptance rate of below 25%. The other paper was a workshop paper at EXPRESS 2008. Part of the results in this journal paper were also published in an invited Concurrency Column in the Bulletin of the European Association for Theoretical Computer Science 95 (July 2008). The EXPTIME lower bounds proved in this journal paper mean that formal techniques for reasoning about incomplete specifications are either imprecise or inefficient.
Interdisciplinary
-
Cross-referral requested
-
Research group
D - Quantitative Analysis and Decision Science
Citation count
5
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
