From

Institution

Field

Type

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

Reset

Papers matching “predicate transformers” 10

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
Predicatet transformers for nondeterministic quantum programs
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Xi Wang

0

citations
Partial Incorrectness Logic
2025 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Lena Verscht, Ānrán Wáng, Benjamin Lucien Kaminski

0

citations
Deductive reasoning about concurrent probabilistic programs
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Ira Fesefeldt

0

citations
ReviewGraph: A Knowledge Graph Embedding Based Framework for Review Rating Prediction with Sentiment Features
2025 arXiv (Cornell University) preprint Computer Science Sentiment Analysis and Opinion Mining Open access

Natalia Amat‐Lefort, Lifeng Han

1

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
Property cardinality analysis to extract truly tabular query results from Wikidata
2022 Zenodo (CERN European Organization for Nuclear Research) preprint Computer Science Semantic Web and Ontologies Open access

Wolfgang Fahl, Tim Holzheim, Andrea Westerinen, Christoph Lange, Stefan Decker

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
ReviewGraph: A Knowledge Graph Embedding Based Framework for Review Rating Prediction with Sentiment Features
2025 IEEE International Conference on Knowledge Graph (ICKG) conference-paper Computer Science Sentiment Analysis and Opinion Mining

A. J. W. de Vink, Natalia Amat‐Lefort, Lifeng Han

0

citations

10 results