From

Institution

Field

Type

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

Reset

Papers matching “objectivity” 22

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Angular GitHub Commits Object-centric Event Log
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Software Engineering Research Open access

Marco Pegoraro

1

citations
Angular GitHub Commits Object-centric Event Log
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Software Engineering Research Open access

Marco Pegoraro

0

citations
Artifact for OOPSLA 2022 Article Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints
2022 Artifact Digital Object Group dataset Computer Science Logic, programming, and type systems

Adithya Murali, Lucas Peña, Eion Blanchard, Christof Löding, P. Madhusudan

1

citations
10.1121/10.0014170.2
2022 Default Digital Object Group dataset Computer Science Educational Technology and E-Learning

Karolina Jaruszewska, Manuel Melon, Olivier Dazel, Michael Vorländer, Monika Rychtáriková, Marko Horvat, +8 more

0

citations
10.1121/10.0014170.1
2022 Default Digital Object Group dataset Computer Science Educational Technology and E-Learning

Karolina Jaruszewska, Manuel Melon, Olivier Dazel, Michael Vorländer, Monika Rychtáriková, Marko Horvat, +8 more

0

citations
10.1121/10.0014170.3
2022 Default Digital Object Group dataset Computer Science Educational Technology and E-Learning

Karolina Jaruszewska, Manuel Melon, Olivier Dazel, Michael Vorländer, Monika Rychtáriková, Marko Horvat, +8 more

0

citations
dCRAB-Optimized NMR Control Pulses for Theoretical Performance Benchmarking within JuMPO
2026 Jülich DATA dataset Computer Science Quantum Computing Algorithms and Architecture Open access

Federico Bianchi

0

citations
Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking (Artifact)
2026 University of Twente Research Information dataset Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Tim Quatmann, Mark van Wijk

1

citations
Data Sets for the study "What Performance Indicators to Use for Self-Adaptation in Multi-Objective Evolutionary Algorithms"
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Advanced Multi-Objective Optimization Algorithms Open access

1

citations
Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking (Artifact)
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Tim Quatmann, Mark van Wijk

1

citations
Experimental Results for the study "The Hypervolume Newton Method for Constrained Multi-Objective Optimization Problems"
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Advanced Multi-Objective Optimization Algorithms Open access

Hao Wang, Michael Emmerich, Andre H. Deutz, Víctor Adrián Sosa Hernández, Oliver Schütze

0

citations
Data Sets for the study "What Performance Indicators to Use for Self-Adaptation in Multi-Objective Evolutionary Algorithms"
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Advanced Multi-Objective Optimization Algorithms Open access

0

citations
Verification of Multi-Objective Markov Models: Replication Package
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Tim Quatmann

0

citations
Verification of Multi-Objective Markov Models: Replication Package
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Tim Quatmann

0

citations
Experimental Results for the study "The Hypervolume Newton Method for Constrained Multi-Objective Optimization Problems"
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Advanced Multi-Objective Optimization Algorithms Open access

Hao Wang, Michael Emmerich, Andre H. Deutz, Víctor Adrián Sosa Hernández, Oliver Schütze

0

citations
First Experiences in Performance Benchmarking with the New SPEChpc 2021 Suites - Measurement Data
2021 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Parallel Computing and Optimization Techniques Open access

Holger Brunst, Sunita Chandrasekaran, Florina M. Ciorba, Nick Hagerty, Robert Henschel, Guido Juckeland, +3 more

1

citations
Artifact for Paper: Multiple Long-Run and omega-Regular Objectives in MDPs
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Julius Ide, Joost-Pieter Katoen, Hannah Mertens, Tim Quatmann

1

citations
Artifact for Paper: Multiple Long-Run and omega-Regular Objectives in MDPs
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Julius Ide, Joost-Pieter Katoen, Hannah Mertens, Tim Quatmann

0

citations
Artifact for Paper: Multiple Long-Run and omega-Regular Objectives in MDPs
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Julius Ide, Joost-Pieter Katoen, Hannah Mertens, Tim Quatmann

0

citations
RDA Biodiversity Data Integration Interest Group survey
2020 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Research Data Management Practices Open access

Wouter Addink

0

citations
RDA Biodiversity Data Integration Interest Group survey
2020 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Research Data Management Practices Open access

Wouter Addink

0

citations
First Experiences in Performance Benchmarking with the New SPEChpc 2021 Suites - Measurement Data
2021 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Parallel Computing and Optimization Techniques Open access

Holger Brunst, Sunita Chandrasekaran, Florina M. Ciorba, Nick Hagerty, Robert Henschel, Guido Juckeland, +3 more

0

citations

22 results