Carsten Fuhs,
Jürgen Giesl,
Aart Middeldorp,
Peter Schneider-Kamp,
René Thiemann,
and Harald Zankl
SAT Solving for Termination Analysis with Polynomial Interpretations
Jean Utke,
Uwe Naumann,
Mike Fagan,
Nathan Tallent,
Michelle Strout,
Patrick Heimbach,
Chris Hill,
and Carl Wunsch
OpenAD/F: A Modular, Open-Source Tool for Automatic Differentiation of Fortran Codes
Sadeq Ali Makram,
Mesut Güneç,
Martin Wenig,
Alexander Zimmermann
Adaptive Channel Assignment to Support QoS and Load Balancing for Wireless Mesh Networks