161 – 170 of 3896
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
Clog: A Declarative Language for C Static Code Checkers (Artifact)
2024)(
- Non-textual form › Software
-
Mark
Optimal Control on Positive Cones
2024) 63rd IEEE Conference on Decision and Control, CDC 2024 In Proceedings of the IEEE Conference on Decision and Control p.992-997(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Attack Stealthiness and Detection of Multiagent Systems : A Zero-Sum Formulation
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Capacitive Cancellation in Compact Integrated Multi-GHz Differential Passive Baseband Filters
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Software analytics for software engineering: A tertiary review
2024)(
- Working paper/Preprint › Preprint in preprint archive
-
Mark
Software analytics for software engineering : a systematic mapping study
2024)(
- Working paper/Preprint › Preprint in preprint archive
-
Mark
Inter-Organizational Data Sharing Processes - An Exploratory Analysis of Incentives and Challenges
2024) 50th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2024 p.80-87(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The LuViRA Dataset: Synchronized Vision, Radio, and Audio Sensors for Indoor Localization
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certified MaxSAT Preprocessing
2024) 12th International Joint Conference, IJCAR 2024 In Lecture Notes in Computer Science 14739. p.396-418(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Embedded eigenvalues for asymptotically periodic ODE systems
(
- Contribution to journal › Article