631 – 640 of 1706
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2013
-
Mark
Probably Optimal Graph Motifs
2013) 30th International Symposium on Theoretical Aspects of Computer Science (STACS 2013), LIPIcs 20. p.20-31(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Roundtable: What's Next in Software Analytics
(
- Contribution to journal › Article
-
Mark
Reusing Semantics in Visual Editors: A Case for Reference Attribute Grammars
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Test Overlay in an Emerging Software Product Line – An Industrial Case Study
(
- Contribution to journal › Article
-
Mark
Engineering Open Innovation – a Framework for Fostering Open Innovation
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Proximates - A Social Context Engine
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Towards an understanding of polynomial calculus : New separations and lower bounds (extended abstract)
2013) 40th International Colloquium on Automata, Languages, and Programming, ICALP 2013 In Lecture Notes in Computer Science 7965(PART 1). p.437-448(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Some trade-off results for polynomial calculus
2013) 45th Annual ACM Symposium on Theory of Computing, STOC 2013 In Proceedings of the Annual ACM Symposium on Theory of Computing p.813-822(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Pebble games, proof complexity, and time-space trade-offs
(
- Contribution to journal › Article
-
Mark
Partitioning and Optimization of High-Level Stream Applications for Multi-Clock-Domain Architectures
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding