From

Institution

Field

Type

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

Reset

Papers matching “Java programming” 11

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Two Things Every Java Developer Should Know
2021 IEEE Software article Computer Science Logic, programming, and type systems Open access

Felienne Hermans

0

citations
Hedy
2020 ACM Conference on International Computing Education Research (ICER) conference-paper Computer Science Teaching and Learning Programming

Felienne Hermans

63

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
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
Verifying OpenJDK’s LinkedList using KeY (extended paper)
2022 International Journal on Software Tools for Technology Transfer article Computer Science Logic, programming, and type systems Open access

Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Stijn de Gouw

5

citations
Integrating ADTs in KeY and their application to history-based reasoning about collection
2022 Formal Methods in System Design article Computer Science Logic, programming, and type systems Open access

Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw

1

citations
Standards in software development and modeling
2025 Software & Systems Modeling article Computer Science Software Engineering Techniques and Practices Open access

Marsha Chećhik, Benoît Combemale, Jeff Gray, Bernhard Rumpe⋆

0

citations
Analysis and Formal Specification of OpenJDK’s BitSet
2023 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

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

1

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

11 results