From

Institution

Field

Type

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

Reset

Papers matching “Java” 185

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
TOSSS: a CVE-based Software Security Benchmark for Large Language Models
2026 Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands other Computer Science Software Engineering Research Open access

Marc Damie, Murat Bilgehan Ertan, Domenico Essoussi, Angela Makhanu, Gaëtan Peter, Roos Wensveen

0

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
Ten new orchid records from the Indonesian archipelago
2026 Lankesteriana article Biochemistry, Genetics and Molecular Biology Plant and Fungal Species Descriptions Open access

Yuda R. Yudistira, Aninda Retno Utami Wibowo, WENDY ACHMMAD MUSTAQIM, Hedy Soleman, Toni Artaka, Richa Kusuma Wati

0

citations
‘Who Puts in Bonds All of the Kings and Has Them Enter into Islam’
2026 International Journal of Islam in Asia article Social Sciences Linguistic, Cultural, and Literary Studies Open access

Bernard Arps

0

citations
Recent Dutch-Language Publications
2021 Bijdragen tot de taal- land- en volkenkunde / Journal of the Humanities and Social Sciences of Southeast Asia article Social Sciences Colonial History and Postcolonial Studies Open access

Harry A. Poeze

0

citations
Cultural Preservation using Digital Annotation Analysis for Supporting Sustainable Management of Ancient Sundanese Lontar Manuscripts
2026 IOP Conference Series Earth and Environmental Science conference-paper Arts and Humanities Digital Humanities and Scholarship Open access

Dian Nursantika, Erick Palulus, Rahmat Sopian, Fons J. Verbeek

0

citations
A masculine housewife with taste; Austrian traveller Ida Pfeiffer in the Netherlands East Indies (1851-1853)
2024 Wacana Journal of the Humanities of Indonesia article Arts and Humanities Travel Writing and Literature Open access

0

citations
TOSSS: a CVE-based Software Security Benchmark for Large Language Models
2026 arXiv (Cornell University) preprint Computer Science Software Engineering Research Open access

Marc Damie, Murat Bilgehan Ertan, Domenico Essoussi, Angela Makhanu, Gaëtan Peter, Roos Wensveen

0

citations
The Malesian species of Dalechampia (Euphorbiaceae)
2022 Blumea - Biodiversity Evolution and Biogeography of Plants article Agricultural and Biological Sciences Plant Diversity and Evolution Open access

Peter C. van Welzen, Esmée Winkel

0

citations
Convict Labour and Concubinage in the Dutch East Indies: Historical and Literary Reappropriations of Martha Christina Tiahahu's Anti-Colonial Revolt
2025 Routledge eBooks book-chapter Arts and Humanities Postcolonial and Cultural Literary Studies Open access

Gerlov van Engelenhoven

0

citations
Seroprevalence of anti-Mycobacterium leprae PGL-I antibodies among school children in rural and urban Indonesia: a cross-sectional study (2023)
2026 The Lancet Regional Health - Southeast Asia article Medicine Leprosy Research and Treatment Open access

Louise Pierneef, Gaby N. Wassenaar, Daniel Edbert, Hana Krismawati, Sitti Wahyuni, Soegianto Ali, +3 more

0

citations
FeynGame
2020 Computer Physics Communications article Physics and Astronomy Particle physics theoretical and experimental studies Open access

Robert V. Harlander, Sven Yannick Klein, Maximilian Lipp

70

citations
GEOMORFOLOGI TERUMBU KARANG DAN HABITAT BENTIK GUGUSAN PULAU BIAWAK, INDRAMAYU: INTEGRASI STUDI CITRA SATELIT DAN SEDIMEN PERMUKAAN
2020 Jurnal Segara article Environmental Science Coral and Marine Ecosystems Studies Open access

Tubagus Solihuddin, Dwi Amanda Utami, August Daulat, Agustin Rustam

2

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
Ulbe Bosma, Leven op een vulkaan. Franz Junghuhn. Een biografie
2026 BMGN - Low Countries Historical Review article Arts and Humanities History of Science and Natural History Open access

Fenneke Sysling

0

citations
DiSSCo/dissco-virtual-collection-service: v1.3.4-alpha
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Research Data Management Practices Open access

Sam Leeflang

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
Why was there no Javanese Galileo?
2026 SSRN Electronic Journal preprint Arts and Humanities History of Science and Natural History Open access

Gerry van Klinken

0

citations
The Penghulu Court, Islam, and Customary Law: Critical Analysis of the Handling of Murder Case in Cirebon in 1794
2025 JURIS (Jurnal Ilmiah Syariah) article Social Sciences Legal and Policy Analysis in Indonesia Open access

Asep Saefullah

0

citations
cthoyt/class-resolver: v0.8.1
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Software Engineering Research Open access

Charles Tapley Hoyt, Max Berrendorf, Chris Mungall, Matthias Fey, Patrick Kalita

0

citations
Chargax: a JAX accelerated EV charging simulator
2025 Leiden Repository (Leiden University) article Engineering Electric Vehicles and Infrastructure Open access

Thomas M. Moerland

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
When dad and mom are away from home...; "Panji Paniba" 11.20-45
2021 Wacana Journal of the Humanities of Indonesia article Arts and Humanities Classical Studies and Philology Open access

W. van der Molen

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