From

Institution

Field

Type

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

Reset

Papers matching “partially ordered sets” 21

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
2020 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques Open access

12

citations
Relational Structures for Interval Order Semantics of Concurrent Systems
2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski

2

citations
The loss landscape of deep linear neural networks: a second-order analysis
2021 arXiv (Cornell University) preprint Computer Science Stochastic Gradient Optimization Techniques Open access

El Mehdi Achour, François Malgouyres, Sébastien Gerchinovitz

1

citations
Gradient-Descent for Randomized Controllers under Partial Observability
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen

0

citations
Evaluating Restricted First-Order Counting Properties on Nowhere Dense Classes and Beyond
2023 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Jan Dreier, Daniel Mock, Peter Rossmanith

0

citations
Quantitative Monitoring of Signal First-Order Logic
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu

0

citations
Quantitative Monitoring of Signal First-Order Logic
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu

0

citations
Quantitative Monitoring of Signal First-Order Logic
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu

0

citations
Delaying Decisions and Reservation Costs
2023 arXiv (Cornell University) preprint Computer Science Optimization and Search Problems Open access

Elisabet Burjons, Fabian Frei, Matthias Gehnen, Henri Lotze, Daniel Mock, Peter Rossmanith

0

citations
Exact stochastic constraint optimisation with applications in network analysis
2021 Artificial Intelligence article Computer Science Constraint Satisfaction and Optimization Open access

Anna L. D. Latour, Behrouz Babaki, Daniël Fokkinga, Marie Anastacio, Holger H. Hoos, Siegfried Nijssen

5

citations
Satisficing and Optimal Generalised Planning via Goal Regression
2026 Underline Science Inc. other Computer Science AI-based Problem Solving and Planning Open access

Association for Artificial Intelligence 2026, Dillon Chen, Till Hofmann, Toryn Q. Klassen, Sheila A. McIlraith

0

citations
The Complexity of Homomorphism Reconstructibility
2023 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Jan Böker, Louis Härtel, Nina Runde, Tim Seppelt, Christoph Standke

1

citations
The Complexity of Homomorphism Reconstructibility
2025 ACM Transactions on Computation Theory article Computer Science Advanced Graph Theory Research Open access

Jan Böker, Louis Härtel, Nina Runde, Tim Seppelt, Christoph Standke

0

citations
Editorial
2023 Computational Intelligence editorial Computer Science Robotic Path Planning Algorithms

Meng Joo Er, Zhaojie Ju, Alexander Ferrein

0

citations
bioacoustic-ai/bacpipe: bacpipe v1.3.5 Release Notes
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Music and Audio Processing Open access

Vincent S. Kather, Sylvain Haupert, Clea Parcerisas, Santiago Martínez Balvanera, Ines Nolasco, Ben McEwen, +2 more

0

citations
bioacoustic-ai/bacpipe: bacpipe v1.3.5 Release Notes
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Music and Audio Processing Open access

Vincent S. Kather, Sylvain Haupert, Clea Parcerisas, Santiago Martínez Balvanera, Ines Nolasco, Ben, +2 more

0

citations
When are researchers willing to share their data? – Impacts of values and uncertainty on open data in academia
2020 PLoS ONE article Computer Science Research Data Management Practices Open access

Stefan Stieglitz, Konstantin L. Wilms, Milad Mirbabaie, Lennart Hofeditz, Bela Brenger, Ania López, +1 more

70

citations
Augmented Active Shape Model Search – towards 3D Ultrasound-based Bone Surface Reconstruction
2020 EPiC series in health sciences conference-paper Computer Science Medical Image Segmentation Techniques Open access

Benjamin Hohlmann, Klaus Radermacher

4

citations
Towards an Isabelle Theory for distributed, interactive systems : the untimed case
2020 RWTH Publications (RWTH Aachen) report Computer Science Logic, programming, and type systems Open access

Jens Christoph Bürger, Hendrik Kausch, Deni Raco, Jan Oliver Ringert, Bernhard Rumpe⋆, Sebastian Stüber, +1 more

3

citations
catchorg/Catch2: v3.16.0
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Software Testing and Debugging Techniques Open access

Martin Hořeňovský, Phil Nash, Chris Thrasher, Clare Macrae, Jozef Grajciar, Martin Moene, +24 more

0

citations
A Logic of Only-Believing over Arbitrary Probability Distributions
2023 Adaptive Agents and Multi-Agents Systems conference-paper Computer Science Logic, Reasoning, and Knowledge

Qihui Feng, Daxin Liu, Vaishak Belle, Gerhard Lakemeyer

0

citations

21 results