search result

Cover von Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding

Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding

Year: 2026
Media group: LIPIcs
Cover von An Empirical Analysis of Approximation Algorithms for the Unweighted Tree Augmentation Problem

An Empirical Analysis of Approximation Algorithms for the Unweighted Tree Augmentation Problem

Year: 2026
Media group: LIPIcs
Cover von Part II.; Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
28th Iberoamerican Congress, CIARP 2025, Bogotá, Colombia, November 25-28, 2025, Proceedings, Part II
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Volume: Part II.
Series: Lecture notes in computer science; 16529
Media group: MONOGRAPHIE
Cover von Towards Property-Based Testing of Smart Contracts Using Gas Analysis (Short Paper)

Towards Property-Based Testing of Smart Contracts Using Gas Analysis (Short Paper)

Year: 2026
Media group: OASICS
Cover von Theoretical and Empirical Analysis of Lehmer Codes to Search Permutation Spaceswith Evolutionary Algorithms
article in Proceedings of the AAAI Conference on Artificial Intelligence 2026
Author: Ma, Yuxuan; Santucci, Valentino; Witt, Carsten Search for this author
Year: 2026
Publisher: Palo Alto, AAAI.org
Media group: ARTICLE
Cover von Schedulability Analysis of OpenMP Applications Under Heuristic Task-To-Thread Mapping

Schedulability Analysis of OpenMP Applications Under Heuristic Task-To-Thread Mapping

Year: 2026
Media group: OASICS
Cover von Reconstruction and Imaging Motion Estimation, and Graphs in Biomedical Image Analysis
First International Workshop, RIME 2025, and 7th International Workshop, GRAIL 2025, Daejeon, South Korea, September 27, 2025, Proceedings
Search for this author
Year: 2026
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 16150
Media group: MONOGRAPHIE
Cover von Strategic Analysis of Just-In-Time Liquidity Provision in Concentrated Liquidity Market Makers

Strategic Analysis of Just-In-Time Liquidity Provision in Concentrated Liquidity Market Makers

Year: 2025
Media group: LIPIcs
Cover von A Simple yet Exact Analysis of the MultiQueue

A Simple yet Exact Analysis of the MultiQueue

Year: 2025
Media group: LIPIcs
Cover von Skin Image Analysis, and Computer-Aided Pelvic Imaging for Female Health
10th International Workshop, ISIC 2025, and First International Workshop, CAPI 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23, 2025, Proceedings
Author: Celebi, M. Emre; Halpern, Allan; Tschandl, Philipp Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 16149
Media group: MONOGRAPHIE
OPEN V 11.1.0.0