1 – 10 of 813
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Automated tight Lyapunov analysis for first-order methods
(
- Contribution to journal › Article
-
Mark
A data-based comparison of methods for reducing the peak flow rate in a district heating system
(
- Contribution to journal › Article
-
Mark
Autonomous navigation with convergence guarantees in complex dynamic environments
(
- Contribution to journal › Article
-
Mark
A Trust Establishment and Key Management Architecture for Hospital-at-Home
(
- Contribution to journal › Article
-
Mark
Control of Capacity-Constrained Networks
2025)(
- Thesis › Doctoral thesis (compilation)
-
Mark
IntraJ: An On-Demand Framework for Intraprocedural Java Code Analysis
2025) Challenges of Software Verification Symposium 2024 In International Journal on Software Tools for Technology Transfer(
- Contribution to journal › Article
-
Mark
Pre-release experimentation in indie game development : an interview survey
2025) 15th International Conference on Software Business, ICSOB 2024 In Lecture Notes in Business Information Processing 539. p.293-308(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Interface Characterization of Plasma-Treated InAs Electrodes for Resistive Random-Access Memories Using Capacitance–Voltage Methods
2025) In Physica Status Solidi (A) Applications and Materials Science(
- Contribution to journal › Article
-
Mark
Enhancing the Prediction of Lymph Node Metastasis in Early Breast Cancer Using Deep Learning on Routine Full-Breast Mammograms
2025) In Breast Cancer Research(
- Working paper/Preprint › Preprint in preprint archive
-
Mark
Guiding organizations in the digital era : Tools and metrics for success
(
- Contribution to journal › Article