Department of Computer Science
1021 – 1030 of 1651
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2010
-
Mark
Challenges in aligning requirements engineering and verification in a large-scale industrial context
2010) 16th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2010) 6182. p.128-142(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Invitation to algorithmic uses of inclusion–exclusion
2010) 38th International Colloquium on Automata, Languages and Programming (ICALP 2011) 6756. p.42-59(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Exponential time complexity of the permanent and the Tutte polynomial
2010) 37th International Colloquium on Automata, Languages and Programming (ICALP 2010) In Lecture Notes in Computer Science 6198. p.426-437(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A case study on the transformation from proprietary to open source software
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Investigating hardware micro-instruction folding in a Java embedded processor
2010) p.102-108(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Den osynliga forskargruppen - ledarskap i och kring akademins verksamhetsbärande enheter
2010) p.99-131(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Regression test selection and product line system testing
2010) Third International Conference on Software Testing, Verification and Validation, 2010 p.512-515(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Exact covers via determinants
2010) 27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010 5. p.95-106(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The exponential time complexity of computing the probability that a graph is connected
2010) 5th International Symposium on Parameterized and Exact Computation (IPEC 2010) 6198. p.192-203(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Covering and packing in linear space
2010) 37th International Colloquium on Automata, Languages and Programming (ICALP 2010) 6198. p.727-737(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding