From

Institution

Field

Type

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

Reset

Papers matching “proof rules” 10

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Ten (mostly) simple rules to future‐proof trait data in ecological and evolutionary sciences
2022 Methods in Ecology and Evolution article Computer Science Research Data Management Practices Open access

Alexander Keller, Markus Johannes Ankenbrand, Helge Bruelheide, Stefanie Dekeyzer, Brian Joseph Enquist, Mohammad Bagher Erfanian, +15 more

43

citations
Analysis and formal specification of OpenJDK's BitSet: Proof files
2024 Science of Computer Programming article Computer Science Logic, programming, and type systems

Andy S. Tatman, Hans-Dieter A. Hiep, Stijn de Gouw

0

citations
A note on the computational complexity of chain rule differentiation
2023 Optimization methods & software article Computer Science Complexity and Algorithms in Graphs

Uwe Naumann

0

citations
Lower Bounds for Possibly Divergent Probabilistic Programs
2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Shenghua Feng, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan

14

citations
Compositional Reasoning for Parametric Probabilistic Automata
2025 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Formal Methods in Verification Open access

1

citations
A First-order Logic with Frames
2023 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan

2

citations
A Calculus for Amortized Expected Runtimes
2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Lena Verscht

22

citations
Revenue maximization in Stackelberg Pricing Games: beyond the combinatorial setting
2020 Mathematical Programming article Computer Science Complexity and Algorithms in Graphs Open access

Toni Böhnlein, Stefan Kratsch, Oliver Schaudt

11

citations
The probabilistic termination tool amber
2022 Formal Methods in System Design article Computer Science Logic, programming, and type systems Open access

Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács

5

citations
Enhancing Blockchain Scalability in Power Systems Through Ultra-Fast Second-Layer Channel with Deterministic State Integrity
2026 RWTH Publications (RWTH Aachen) article Computer Science Blockchain Technology Applications and Security Open access

Roua Hamila, César Andrés Cazal, Md. Razaul Haque Subho, Ferdinanda Ponci, Thomas Rose, Antonello Monti

0

citations

10 results