291 – 300 of 550
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2010
-
Mark
Greedy distinguishers and nonrandomness detectors
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
A qualitative survey of regression testing practices
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The Influence of Angle Size in Navigation Applications Using Pointing Gestures
- 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
On traffic domination in communication networks (invited paper)
(2010) Performance evaluation of computer and communication systems: milestones and future challenges 6821. p.191-202
- 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
Applications of a generic work-test-rework component for software process simulation
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Logical Knowledge Representation of Regulatory Relations in Biomedical Pathways
- Contribution to journal › Article
-
Mark
Four-dimensional variational assimilation of atmospheric chemical data - Application to regional modelling of air quality
(2010) 7th International Conference on Large-Scale Scientific Computations, LSSC 2009 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5910. p.214-222
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
