From

Institution

Field

Type

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

Reset

Papers matching “Java” 9

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
Geospatial analysis of Indonesia's bankable utility-scale solar PV potential using elements of project finance
2023 Energy article Computer Science Solar Radiation and Photovoltaics Open access

Jannis Langer, Zenlin Kwee, Yilong Zhou, Olindo Isabella, Ziad Ashqar, Jaco Quist, +2 more

13

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
Modeling in advanced systems engineering
2022 Software & Systems Modeling article Computer Science Model-Driven Software Engineering Techniques Open access

Jeff Gray, Bernhard Rumpe⋆

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
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
Enabling scalable and fault-tolerant multi-agent systems by utilizing cloud-native computing
2021 Autonomous Agents and Multi-Agent Systems article Computer Science Multi-Agent Systems and Negotiation Open access cited by 1 patent

Stefan Dähling, Lukas Razik, Antonello Monti

30

citations
RePLEX: A Model-Based Reengineering Tool for PLEX Telecommunication Systems
2024 article Computer Science Model-Driven Software Engineering Techniques Open access

Christian Fuß, Christof Mosler, Marcel Pettau

0

citations

9 results