A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Papers matching “isolation efficiency” 5

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Unifying Data, Memory, and Compute Efficiency in LLM training: A Survey
2026 arXiv (Cornell University) preprint Computer Science Topic Modeling Open access

Vanessa Schmidt, Huy Hoang Nguyen, Cédric Jung, Shirin Salehi, Anke Schmeink

0

citations
Unifying Data, Memory, and Compute Efficiency in LLM training: A Survey
2026 arXiv (Cornell University) preprint Computer Science Topic Modeling Open access

Vanessa Schmidt, Huy Hoang Nguyen, Cédric Jung, Shirin Salehi, Anke Schmeink

0

citations
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Qiuye Wang, Mingshuai Chen, Xue Bai, Naijun Zhan, Joost-Pieter Katoen

1

citations
Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Qiuye Wang, Mingshuai Chen, Xue Bai, Naijun Zhan, Joost-Pieter Katoen

0

citations
Digital Object Interface Protocol (DOIP) enabled Digital Object repository installation to store and provide digital specimen information
2025 preprint Computer Science Research Data Management Practices Open access

Soulaine Theocharides, Sam Leeflang, Wouter Addink, Sharif Islam

0

citations

5 results