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 “predicate transformers” 4

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests
2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Lena Verscht, Benjamin Lucien Kaminski

3

citations
A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests
2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Lena Verscht, Benjamin Lucien Kaminski

0

citations
ReviewGraph: a knowledge graph embedding based framework for review rating prediction with sentiment features
2025 Leiden Repository (Leiden University) article Computer Science Sentiment Analysis and Opinion Mining Open access

A.J.W. de. Vink, N. Amat Lefort, L. Han

0

citations
Toward Algorithmic Due Process: Constitutional Challenges and Human Rights Risks in Indonesia’s Digital State
2026 Jurnal Pembangunan Hukum Indonesia article Social Sciences Digitalization, Law, and Regulation Open access

Syafri Hariansah, Laila Qhistina

0

citations

4 results