A Aralex Aachen research explorer

Information and Computation Sign in to save

Search and filter its papers →

6

Aachen authors

Patent citations

–

h-index (all)

Aachen papers per year

22

24

26

Papers 6

Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming
2022 Information and Computation article Computer Science Formal Methods in Verification

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

9

citations
Exploring sparse graphs with advice
2022 Information and Computation article Computer Science Optimization and Search Problems Open access

Hans-Joachim Böckenhauer, Janosch Fuchs

7

citations
Recent developments in theory and tool support for hybrid systems verification with HyPro
2022 Information and Computation article Computer Science Formal Methods in Verification Open access

Stefan Schupp, Erika Ábrahám, Tristan Ebert

6

citations
Model checking hyperproperties for Markov decision processes
2022 Information and Computation article Computer Science Formal Methods in Verification Open access

Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour

5

citations
Logical equivalences, homomorphism indistinguishability, and forbidden minors
2024 Information and Computation article Computer Science Advanced Graph Theory Research Open access

Tim Seppelt

3

citations
On termination of polynomial programs with equality conditions
2026 Information and Computation article Computer Science Logic, programming, and type systems Open access

Yangjia Li, Mingshuai Chen, Hui Lu, Joost-Pieter Katoen

2

citations

6 results

Most active Aachen authors

Joost-Pieter Katoen 20,330 citations overall
2 papers
Erika Ábrahám 3,470 citations overall
2 papers
Mingshuai Chen 664 citations overall
1 paper
Tim Seppelt 33 citations overall
1 paper
Janosch Fuchs 30 citations overall
1 paper
Tristan Ebert 6 citations overall
1 paper