311 – 320 of 1704
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2018
-
Mark
Clique is hard on average for regular resolution
2018) 50th Annual ACM Symposium on Theory of Computing, STOC 2018 In Proceedings of the Annual ACM Symposium on Theory of Computing p.646-659(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Real-Time Rendering
2018)(
- Book/Report › Book
-
Mark
Stability-aware integrated routing and scheduling for control applications in Ethernet networks
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Optimization of message encryption for real-time applications in embedded systems
(
- Contribution to journal › Article
- 2017
-
Mark
Predicting likelihood of requirement implementation within the planned iteration : An empirical study at IBM
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Argument-Based Bayesian Estimation of Attack Graphs : A Preliminary Empirical Analysis
2017) 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10621 LNAI. p.523-532(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Concurrent Circular Reference Attribute Grammars
2017) 10th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2017) p.151-162(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Shortcuts for the circle
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Jatte : A tunable tree editor for integrated DSLs
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Editorial : Special issue on coding and cryptography
(
- Contribution to journal › Debate/Note/Editorial