91 – 100 of 1758
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
Towards Declarative Specification of Static Analysis for Programming Tools
(2024)
- Thesis › Doctoral thesis (compilation)
-
Mark
Critical Scenario Identification for Testing of Realistic Autonomous Driving Systems
(2024)
- Thesis › Doctoral thesis (compilation)
-
Mark
Succinct Opacity Micromaps
(2024) High-Performance Graphics 2024 In Proceedings of the ACM in Computer Graphics and Interactive Techniques 7(3).
- Contribution to journal › Article
-
Mark
Designing A Multi-modal IDE with Developers: An Exploratory Study on Next-generation Programming Tool Assistance
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis (Artifact)
(2024)
- Other contribution › Miscellaneous
-
Mark
Welcome to the Fifth International Workshop on Requirements Engineering for Well-Being, Aging, and Health
(2024) 32nd IEEE International Requirements Engineering Conference Workshops, REW 2024 In Proceedings - 32nd IEEE International Requirements Engineering Conference Workshops, REW 2024 p.358-359
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Acceptance behavior theories and models in software engineering—A mapping study
- Contribution to journal › Article
-
Mark
Experimentation in Early-Stage Video Game Startups : Practices and Challenges
(2024) 14th International Conference on Software Business, ICSOB 2023 In Lecture Notes in Business Information Processing 500 LNBIP. p.360-366
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
End-to-End Verification for Subgraph Solving
(2024) 38th AAAI Conference on Artificial Intelligence, AAAI 2024 In Proceedings of the AAAI Conference on Artificial Intelligence 38. p.8038-8047
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Evidence-Based Guidelines for Advancing Continuous Experimentation
- Contribution to journal › Article
