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 “running” 7

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Multi-objective Optimization of Long-run Average and Total Rewards
2021 other Computer Science Formal Methods in Verification Open access

Tim Quatmann, Joost-Pieter Katoen

1

citations
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes
2021 other Computer Science Logic, programming, and type systems

Marcel Hark, Jürgen Giesl, Fabian Meyer

2

citations
Inductive Synthesis for Probabilistic Programs Reaches New Horizons
2021 other Computer Science Formal Methods in Verification

Roman Andriushchenko, Milan Češka, Sebastian Junges, Joost-Pieter Katoen

2

citations
Advanced Attacks and Protection Mechanisms in IoT Devices and Networks
2021 other Computer Science Security and Verification in Computing

Lejla Batina, Nele Mentens, Markus Miettinen, Naila Mukhtar, Thien Duc Nguyen, Md Masoom Rabbani, +2 more

0

citations
Rchon statistics course, part 2
2021 Data Archiving and Networked Services (DANS) other Computer Science Data Analysis with R Open access

Philip Verhagen, Bjørn Peare Bartholdy

0

citations
Switching from using Tox to Just
2025 other Computer Science Software Engineering Techniques and Practices Open access

Charles Tapley Hoyt

0

citations
DKZ.2R Data Structuring Challenge
2026 Publication Server of Bonn-Rhein-Sieg University of Applied Sciences (Bonn-Rhein-Sieg University of Applied Sciences) other Computer Science Research Data Management Practices Open access

Marvin Lorber, Alexandra Mielke

0

citations

7 results