From

Institution

Field

Type

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

Reset

Papers matching “object types” 50

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

A Library of Literals, Expressions, Types, and Statements for Compositional Language Design.
2020 The Journal of Object Technology article Computer Science Model-Driven Software Engineering Techniques Open access

Arvid Butting, Robert Eikermann, Katrin Hölldobler, Nico Jansen, Bernhard Rumpe⋆, Andreas Wortmann

10

citations
Footprint Logic for Object-Oriented Components (extended paper)
2024 Formal Aspects of Computing article Computer Science Logic, programming, and type systems Open access

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

0

citations
HOTA: A Higher Order Metric for Evaluating Multi-object Tracking
2020 International Journal of Computer Vision article Computer Science Video Surveillance and Tracking Methods Open access cited by 7 patents

1,171

citations
Data-centric AI approach for automated wildflower monitoring
2024 PLoS ONE article Computer Science Advanced Neural Network Applications Open access

Gerard Schouten, Bas S.H.T. Michielsen, Barbara Gravendeel

0

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
History-based reasoning about behavioral subtyping (extended paper)
2026 Theoretical Computer Science article Computer Science Logic, programming, and type systems

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

0

citations
Language Composition via Kind-Typed Symbol Tables.
2022 The Journal of Object Technology article Computer Science Model-Driven Software Engineering Techniques Open access

Arvid Butting, Judith Michael, Bernhard Rumpe⋆

12

citations
Language Composition via Kind-Typed Symbol Tables.
2022 The Journal of Object Technology article Computer Science Model-Driven Software Engineering Techniques Open access

Arvid Butting, Judith Michael, Bernhard Rumpe⋆

0

citations
Deep learning-based subtyping of gastric cancer histology predicts clinical outcome: a multi-institutional retrospective study
2023 Gastric Cancer article Computer Science AI in cancer detection Open access

Gregory Patrick Veldhuizen, Christoph Röcken, Hans‐Michael Behrens, Didem Çifçi, Hannah Sophie Muti, Takaki Yoshikawa, +8 more

34

citations
Symbolic execution formally explained
2021 Formal Aspects of Computing article Computer Science Logic, programming, and type systems Open access

Frank S. de Boer, Marcello Bonsangue

13

citations
A Meta‐Analysis of Moderators of the Effects of Technology‐Enhanced Adaptive Learning on Primary and Secondary Students' Learning Outcomes
2025 Journal of Computer Assisted Learning article Computer Science Intelligent Tutoring Systems and Adaptive Learning Open access

Jingxian Wang, Dineke E.H. Tigelaar, Wilfried Admiraal

7

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

Felienne Hermans

0

citations
What is Diminished Virtuality? A Directional and Layer-Based Taxonomy for the Reality-Virtuality Continuum
2024 JMIR XR and spatial computing. article Computer Science Virtual Reality Applications and Impacts Open access

Jan Egger, Christina Gsaxner, Jens Kleesiek, Behrus Puladi

9

citations
SymX: Energy-based Simulation from Symbolic Expressions
2025 ACM Transactions on Graphics article Computer Science Computer Graphics and Visualization Techniques Open access

José Antonio Fernández-Fernández, Fabian Löschner, Lukas Westhofen, Andreas Longva, Jan Bender

2

citations
Modeling Variability of Hierarchical Component-Based Systems.
2024 The Journal of Object Technology article Computer Science Advanced Software Engineering Methodologies Open access

Nico Jansen, Jérôme Pfeiffer, Bernhard Rumpe⋆, David Schmalzing, Andreas Wortmann

0

citations
Recursive Abstract State Machines
2020 article Computer Science Logic, programming, and type systems Open access

Yuri Gurevich

23

citations
Weighted programming: a programming paradigm for specifying mathematical models
2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler

18

citations
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
2024 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler

11

citations
FIPs and Practice
2022 Research Ideas and Outcomes article Computer Science Research Data Management Practices Open access

Barbara Magagna, Erik Schultes, Marek Suchánek, Tobias Kuhn

4

citations
A Simple Recipe for Cooking your AI-assisted Dish to Serve it in the International Digital Specimen Architecture
2023 Biodiversity Information Science and Standards article Computer Science Research Data Management Practices Open access

Wouter Addink, Sam Leeflang, Sharif Islam

1

citations
The Comparative Anatomy of Nanopublications and FAIR Digital Objects
2022 Research Ideas and Outcomes article Computer Science Research Data Management Practices Open access

Erik Schultes, Barbara Magagna, Tobias Kuhn, Marek Suchánek, Luiz Olavo Bonino da Silva Santos, Barend Mons

8

citations
Transforming Knowledge into Practice: Science, Technology and Innovation in Support of the UN SDGs
2024 Research Ideas and Outcomes article Computer Science Research Data Management Practices Open access

Christos Arvanitidis, Boris Barov, Alberto Basset, Klaas Deneudt, Montserrat Gonzalez-Ferreiro, Federico Drago, +9 more

1

citations
Towards a Common Language for Digital Specimens: Exploring the openDS Data Model
2025 Biodiversity Information Science and Standards article Computer Science Research Data Management Practices Open access

Wouter Addink, Sam Leeflang

0

citations
From Green Deal to Cultural Heritage: FAIR Digital Objects and European Common Data Spaces
2022 Research Ideas and Outcomes article Computer Science Research Data Management Practices Open access

Sharif Islam, Andreas Weber, Erzsébet Tóth-Czifra

3

citations
Artificial Intelligence-based Segmentation of Residual Pancreatic Cancer in Resection Specimens Following Neoadjuvant Treatment (ISGPP-2)
2024 The American Journal of Surgical Pathology article Computer Science AI in cancer detection Open access

Boris V. Janssen, Bart Oteman, Mahsoem Ali, P. Valkema, Volkan N. Adsay, Olca Baştürk, +22 more

6

citations