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 “Java” 5

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Formal Specification and Analysis of OpenJDK's BitSet class: Proof files
2023 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Logic, programming, and type systems Open access

Andy S. Tatman

0

citations
Formal Specification and Analysis of OpenJDK's BitSet class: Proof files
2023 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Logic, programming, and type systems Open access

Andy S. Tatman

0

citations
Formal Specification and Analysis of OpenJDK's BitSet class: Proof files
2023 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Logic, programming, and type systems Open access

Andy S. Tatman

0

citations
Automated reasoning and randomization in separation logic
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Christoph Matheja

6

citations
Methodik zur Modularisierung und Komposition von Datenmodellen in der agilen Softwareentwicklung
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Model-Driven Software Engineering Techniques Open access

Achim Lindt

0

citations

5 results