391 – 400 of 1704
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2016
-
Mark
Reviews and taxonomies
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Datasets
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Monitoring technology
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Copy-paste redeemed
2016) Software Engineering-Konferenz, SE 2016 - Software Engineering Conference, SE 2016 In Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI) P252. p.61-62(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Self-triggered controllers and hard real-time guarantees
2016) 19th Design, Automation and Test in Europe Conference and Exhibition, DATE 2016 In Proceedings of the 2016 Design, Automation and Test in Europe Conference and Exhibition, DATE 2016 p.636-641(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Supercritical space-width trade-offs for resolution
2016) 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016 In Leibniz International Proceedings in Informatics, LIPIcs 55.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
How Limited Interaction Hinders Real Communication (and What It Means for Proof and Circuit Complexity)
2016) 57th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2016 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS 2016-December. p.295-304(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Near-Optimal Lower Bounds on Quantifier Depth and Weisfeiler - Leman Refinement Steps
2016) 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016 In Proceedings - Symposium on Logic in Computer Science 05-08-July-2016. p.267-276(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Trade-offs between time and memory in a tighter model of CDCL SAT solvers
2016) 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016 In Lecture Notes in Computer Science 9710. p.160-176(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Analysis and design of real-time servers for control applications
(
- Contribution to journal › Article