171 – 180 of 1635
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2022
-
Mark
JFeature : Know Your Corpus
2022) 22nd IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2022 p.236-241(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Property Probes : Source Code Based Exploration of Program Analysis Results
2022) 15th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2022, co-located with the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications. SPLASH 2022 In SLE 2022 - Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2022 p.148-160(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
MeerKAT correlator-beamformer : a real-time processing back-end for astronomical observations
(
- Contribution to journal › Article
-
Mark
Natural language analyzed with AI-based transformers predict traditional subjective well-being measures approaching the theoretical upper limits in accuracy
(
- Contribution to journal › Article
-
Mark
An Auditable Constraint Programming Solver
2022) 28th International Conference on Principles and Practice of Constraint Programming, CP 2022 In Leibniz International Proceedings in Informatics, LIPIcs 235.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2021
-
Mark
Probes and Sensors: The Design of Feedback Loops for Usability Improvements
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Requirements Engineering for Well-Being, Aging, and Health : An Overview for Practitioners
(
- Contribution to journal › Article
-
Mark
ComPOS - a Domain-Specific Language for Composing Internet-of-Things Systems
2021)(
- Thesis › Doctoral thesis (compilation)
-
Mark
The fine-grained complexity of computing the tutte polynomial of a linear matroid
2021) 32nd Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2021 In Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms p.2333-2345(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Clique Is Hard on Average for Regular Resolution
(
- Contribution to journal › Article