981 – 990 of 1707
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2009
-
Mark
Activity Post-Mortem
2009) In Lärande i LTH(
- Contribution to journal › Letter
-
Mark
Trustworthy Software Development Processes
- Book/Report › Conference proceeding (editor)
-
Mark
How do scientists develop and use scientific software?
2009) ICSE Workshop on Software Engineering for Computational Science and Engineering, SECSE 2009 p.1-8(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Dependability of IT systems in municipal emergency management
2009) 6:th International Conference on Information Systems for Crisis Response and Management(
- Contribution to conference › Paper, not in proceeding
-
Mark
Program metamorphosis
2009) 23rd European Conference on Object-Oriented Programming, ECOOP 2009 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5653 LNCS. p.394-418(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Analysis of imperative XML programs
(
- Contribution to journal › Article
-
Mark
Parallel consistency in constraint programming
2009) Third International Workshop on Scalable Distributed and Multi/Many-core Applications and Systems (SDMAS'09) within PDPTA'09 p.638-644(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A simplified way of proving trade-off results for resolution
(
- Contribution to journal › Article
-
Mark
Narrow proofs may be spacious : Separating space and width in resolution
(
- Contribution to journal › Article
- 2008
-
Mark
Efficient Broadcasting in Known Geometric Radio Networks with Non-uniform Ranges
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding