From

Institution

Field

Type

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

Reset

Papers matching “Java programming” 16

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
Green Ecotourism: Concept and Regulations for Selling Java’s Forest Areas Without Illegal Logging or Damaging
2026 Indonesian Journal of Environmental Law and Sustainable Development article Social Sciences Community-based Tourism Development and Sustainability Open access

Subadi Subadi, Sarjiyati Sarjiyati, Ananda Prima Yurista, Muhammad Buana

0

citations
Developing a High-Performance Process Mining Library with Java and Python Bindings in Rust
2024 arXiv (Cornell University) preprint Business, Management and Accounting Business Process Modeling and Analysis Open access

Aaron Küsters, Wil M. P. van der Aalst

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
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
FeynGame 3.0
2025 Computer Physics Communications article Physics and Astronomy Particle physics theoretical and experimental studies Open access

Lars Bündgen, Robert V. Harlander, Sven Yannick Klein, Magnus C. Schaaf

17

citations
Genetic variability, heritability, genetic advance and multivariate analysis studies in New Guinea Impatiens cultivar
2025 IOP Conference Series Earth and Environmental Science conference-paper Agricultural and Biological Sciences Genetics and Plant Breeding Open access

Suskandari Kartikaningrum, M Dewanti, Mawaddah Mawaddah, Dewi Pramanık, DS Badriah, Herni Shıntıavira, +7 more

1

citations
Can the Implementation of Smart City Promote Inclusive Development of a Local Economy?
2021 Advances in economics, business and management research/Advances in Economics, Business and Management Research conference-paper Engineering Smart Cities and Technologies Open access

Imam Mukhlis, Ahmad Fawaiq Suwanan, Bunga Hidayati, Silky Roudhotus, Muhammad Syamsu Rizaludin

4

citations

16 results