261 – 270 of 518
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2010
-
Mark
The Influence of Angle Size in Navigation Applications Using Pointing Gestures
(
- 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
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
-
Mark
Natural and flexible error recovery for generated parsers
2010) International Conference on Software Language Engineering, 2009 In Lecture Notes in Computer Science 5969. p.204-223(
- Chapter in Book/Report/Conference proceeding › Book chapter
- 2009
-
Mark
Towards the Era of Mixed Reality: Accessibility Meets Three Waves of HCI
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding