31 – 40 of 1629
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
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
Industry Practices for Challenging Autonomous Driving Systems with Critical Scenarios
(
- Contribution to journal › Article
-
Mark
Perpetual maintenance of machines with different urgency requirements
(
- Contribution to journal › Article
- 2023
-
Mark
Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis
2023)(
- Thesis › Licentiate thesis
-
Mark
Mutation Testing: Fewer, Faster, and Smarter
2023)(
- Thesis › Doctoral thesis (compilation)
-
Mark
An ecosystem perspective on developing data collaboratives for addressing societal issues : The role of conveners
(
- Contribution to journal › Article
-
Mark
Pipeline Infrastructure Required to Meet the Requirements on AI
(
- Contribution to journal › Article
-
Mark
My Space, Our Space, Their Space: a First Glance at Developers' Experience of Spaces
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Programmer Stories, Stories for Programmers: Exploring Storytelling in Software Development
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Lower Bounds for Monotone q-Multilinear Boolean Circuits
2023) 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13878 LNCS. p.301-312(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding