A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

Journal / venue: Information and Computation ×

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

Papers 6

Sort: Cited Newest Oldest Fwci Patents ⇩ CSV

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