Skip to main content

Research Repository

Advanced Search

All Outputs (24)

Covering Graphs with Few Complete Bipartite Subgraphs (2007)
Presentation / Conference Contribution
Fleischner, H., Mujuni, E., Paulusma, D., & Szeider, S. (2007, December). Covering Graphs with Few Complete Bipartite Subgraphs. Presented at FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, New Delhi, India

Upper Bounds and Algorithms for Parallel Knock-Out Numbers (2007)
Presentation / Conference Contribution
Broersma, H., Johnson, M., & Paulusma, D. (2007, June). Upper Bounds and Algorithms for Parallel Knock-Out Numbers. Presented at SIROCCO 2007: Structural Information and Communication Complexity, Castiglioncello, Italy

Considering Video as a Volume (2007)
Presentation / Conference Contribution
Flitton, G., & Breckon, T. (2007, November). Considering Video as a Volume. Presented at Proc. 4th European Conference on Visual Media Production

2nd international workshop on Realising Evidence-Based Software Engineering (REBSE-2): Overview and introduction (2007)
Presentation / Conference Contribution
Kitchenham, B., Brereton, P., Budgen, D., & Turner, M. (2007, February). 2nd international workshop on Realising Evidence-Based Software Engineering (REBSE-2): Overview and introduction. Presented at ICSE 2007 Workshops: Second International Workshop on Realising Evidence-Based Software Engineering, REBSE'07, Minneapolis, USA

The REBSE international workshops are concerned with exploring the adaptation and use of the evidence-based paradigm in software engineering research and practice, through a mix of presentations and discussion. Here, we provide some background about... Read More about 2nd international workshop on Realising Evidence-Based Software Engineering (REBSE-2): Overview and introduction.

Search engine overlaps: Do they agree or disagree? (2007)
Presentation / Conference Contribution
Bailey, J., Zhang, C., Budgen, D., Turner, M., & Charters, S. (2007, February). Search engine overlaps: Do they agree or disagree?. Presented at ICSE 2007 Workshops: Second International Workshop on Realising Evidence-Based Software Engineering, REBSE'07, Minneapolis, USA

Context: Secondary studies, such as systematic literature reviews and mapping studies, are an essential element of the evidence-based paradigm. A critical part of the review process is the identification of all relevant research. As such, any researc... Read More about Search engine overlaps: Do they agree or disagree?.

Evidence relating to object-oriented software design: A survey (2007)
Presentation / Conference Contribution
Bailey, J., Budgen, D., Turner, M., Kitchenham, B., Brereton, P., & Linkman, S. (2007, February). Evidence relating to object-oriented software design: A survey. Presented at 1st International Symposium on Empirical Software Engineering and Measurement, ESEM 2007, Madrid, Spain

Context: There is little empirical knowledge of the effectiveness of the object-oriented paradigm. Objectives: To conduct a systematic review of the literature describing empirical studies of this paradigm. Method: We undertook a Mapping Study of the... Read More about Evidence relating to object-oriented software design: A survey.

Covering Properties of Rank Metric Codes (2007)
Presentation / Conference Contribution
Gadouleau, M., & Yan, Z. (2007, November). Covering Properties of Rank Metric Codes. Presented at IEEE Globecom, Washington, DC

Parameterized proof complexity (2007)
Presentation / Conference Contribution
Dantchev, S., Martin, B., & Szeider, S. (2007, October). Parameterized proof complexity. Presented at 48th Annual IEEE Symposium on Foundations of Computer Science, Providence, USA

We propose a proof-theoretic approach for gaining evidence that certain parameterized problems are not fixed-parameter tractable. We consider proofs that witness that a given propositional CNF formula cannot be satisfied by a truth assignment that se... Read More about Parameterized proof complexity.

Reducing Regression Test Size by Exclusion (2007)
Presentation / Conference Contribution
Gallagher, K., Hall, T., Black, S., Tahvildari, L., & Canfora, G. (2007, October). Reducing Regression Test Size by Exclusion. Presented at 23rd International Conference on Software Maintenance, Paris, France

Operational software is constantly evolving. Regression testing is used to identify the unintended consequences of evolutionary changes. As most changes affect only a small proportion of the system, the challenge is to ensure that the regression test... Read More about Reducing Regression Test Size by Exclusion.

2nd international workshop on Realising Evidence-Based Software Engineering (REBSE-2) (2007)
Presentation / Conference Contribution
Budgen, D., Brereton, P., Kitchenham, B., & Turner, M. (2007, February). 2nd international workshop on Realising Evidence-Based Software Engineering (REBSE-2). Presented at 29th International Conference on Software Engineering (ICSE'07 Companion), Minneapolis, USA

The REBSE international workshops are concerned with exploring the adaptation and use of the evidence-based paradigm in software engineering research and practice. The workshops address this goal through a mix of presentations and discussion, drawing... Read More about 2nd international workshop on Realising Evidence-Based Software Engineering (REBSE-2).

A Context-based Framework and Method for Learning Object Description and Search (2007)
Presentation / Conference Contribution
Du, X., Song, W., & Zhang, M. (2007, August). A Context-based Framework and Method for Learning Object Description and Search. Presented at 6th international conference on web-based learning (ICWL 2007)., Edinburgh, United Kingdom

For the last decade, E-Learning has become an active research area. Many companies and organisations are now providing large amounts of online learning resources. These learning resources have covered most common education and learning areas and subj... Read More about A Context-based Framework and Method for Learning Object Description and Search.

On components of 2-factors in claw-free graphs (2007)
Presentation / Conference Contribution
Broersma, H., Paulusma, D., & Yoshimoto, K. On components of 2-factors in claw-free graphs. Presented at European Conference on Combinatorics, Graph Theory and Applications

For a non-hamiltonian claw-free graph G with order n and minimum degree δ we show the following. If δ=4, then G has a 2-factor with at most (5n−14)/18 components, unless G belongs to a finite class of exceptional graphs. If δ⩾5, then G has a 2-factor... Read More about On components of 2-factors in claw-free graphs.

A coupling environment for fluid-structure interactions on Cartesian grids (2007)
Presentation / Conference Contribution
Brenk, M., Bungartz, H.-J., Mehl, M., Muntean, I. L., Neckel, T., & Weinzierl, T. (2007, June). A coupling environment for fluid-structure interactions on Cartesian grids. Presented at International Conference on Computational Methods in Marine Engineering International Center for Numerical Methods in Engineering (CIMNE), Barcelona