From

Institution

Field

Type

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

Reset

Papers matching “Java” 7

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Modern, equatorial carbonates from Kepulauan Seribu, Indonesia : facies, isotope geochemistry, and microplastic as a sedimentary component
2021 RWTH Publications (RWTH Aachen) dissertation Earth and Planetary Sciences Geological formations and processes Open access

Dwi Amanda Utami

1

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
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
Sultan Hamid II van Pontianak en de federale staatsvorming van Indonesië: een politieke biografie van Max Alkadrie (1913-1978)
2025 Leiden Repository (Leiden University) dissertation Social Sciences Asian Studies and History Open access

0

citations

7 results