A
Aralex
Aachen research explorer
Sign in
Menu
Papers
Authors
Topics
Journals
Patents
Institutions
Departments
Sign in
Papers
Authors
Topics
Journals
Patents
Organizations
Institutions
Departments
Papers matching “loop invariant generation”
2
Sort:
Relevance
Cited
Newest
Oldest
Fwci
Patents
⇩ CSV
Not finding it?
Sign in
to also search OpenAlex live.
Invariant zero sets for first and second order nonlinear ODE systems
2025
RWTH Publications (RWTH Aachen)
dissertation
Computer Science
Polynomial and algebraic computation
Open access
Melanie Harms
0
citations
Advancements in the theory of QCD amplitudes and their application to photon-pair production at the LHC at next-to-next-to-next-to-leading order
2026
RWTH Publications (RWTH Aachen)
dissertation
Physics and Astronomy
Particle physics theoretical and experimental studies
Open access
Felix Eschment
0
citations
2 results