From

Institution

Field

Type

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

Reset

Papers matching “data coverage” 37

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Correct and Sustainable Development Using Model-based Engineering and Formal Methods
2022 IEEE/AIAA Digital Avionics Systems Conference (DASC) conference-paper Computer Science Formal Methods in Verification

Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe⋆

6

citations
Model-driven development for functional correctness of avionics systems: a verification framework for SysML specifications
2024 CEAS Aeronautical Journal article Computer Science Formal Methods in Verification Open access

Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe⋆

14

citations
Fences: Systematic Sample Generation for JSON Schemas using Boolean Algebra and Flow Graphs
2024 conference-paper Computer Science Software Testing and Debugging Techniques Open access

Björn Otto, Tobias Kleinert

1

citations
Active Learning for Biodiversity Monitoring: From Label Efficiency to Reliable Ecological Inference
2026 arXiv (Cornell University) preprint Computer Science Machine Learning and Algorithms Open access

Ben McEwen, Shiqi Zhang, Dan Stowell

0

citations
TripJudge
2022 Proceedings of the ... ACM International Conference on Information & Knowledge Management conference-paper Computer Science Information Retrieval and Search Behavior Open access

Sophia Althammer, Sebastian Hofstätter, Suzan Verberne, Allan Hanbury

26

citations
Generating diverse and discriminatory knapsack instances by searching for novelty in variable dimensions of feature-space
2023 Genetic and Evolutionary Computation Conference (GECCO) conference-paper Computer Science Evolutionary Algorithms and Applications Open access

Alejandro Marrero, Eduardo Segredo, Emma Hart, Jakob Bossek, Aneta Neumann

6

citations
Investigating the Real-World Applicability of MPI Correctness Benchmarks
2023 conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Alexander Hück, Tim Jammer, Joachim Jenke, Christian H Bischof

3

citations
An Ontology for Signal Strength Estimation of Nomadic 5G Networks on Construction Sites
2024 Computing in construction conference-paper Computer Science Semantic Web and Ontologies Open access

Lukas Kirner, Jyrki Oraskari, Marit Zöcklein, Andreas Möller, Sigrid Brell‐Çokcan

1

citations
Racial Biases in Social Media Discussions About Soccer Players
2026 Proceedings of the International AAAI Conference on Web and Social Media conference-paper Computer Science Hate Speech and Cyberbullying Detection Open access

Tobias Schumacher, Indira Sen, Esi Doda, Claudia Wagner

0

citations
EXCELLERATP2 D3.2 First Updated Report on Exa-Enabling Methodologies
2026 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Parallel Computing and Optimization Techniques Open access

Ansgar Niemöller, Matthias H. Meinke, Joeffrey Legaux, Mohamed Ibrahim Ghenai, Michael Wagner, Tufan Arslan, +12 more

0

citations
Precise Earthquake Distribution and Seismic Velocity Models in the Western Saronic Gulf, Greece, based on the MeMaX Experiment
2026 conference-abstract Computer Science Seismology and Earthquake Studies Open access

Jan-Phillip Föst, Joachim R R Ritter, Christos Evangelidis, Efthimios N. Sokos, Nicole Richter, Klaus R. Reicherter

0

citations
Coupling Static and Dynamic MPI Correctness Tools to Optimize Accuracy and Overhead
2025 International Conference for High Performance Computing, Networking, Storage and Analysis (SC) conference-paper Computer Science Software Testing and Debugging Techniques

Yussur Mustafa Oraji, Simon Schwitanski, Semih Burak, Christian H Bischof, Matthias Mueller

0

citations