From

Institution

Field

Type

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

Reset

Papers matching “variable bounds” 10

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

The Iteration Number of the Weisfeiler-Leman Algorithm
2023 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science Advanced Graph Theory Research

Martin Grohe, Moritz Lichter, Daniel Neuen

6

citations
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes
2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Fabian Meyer, Marcel Hark, Jürgen Giesl

20

citations
Prophet Inequalities over Time
2023 ACM Conference on Economics and Computation (EC) conference-paper Computer Science Optimization and Search Problems Open access

Andreas Abels, Elias Pitschmann, Daniel Schmand

1

citations
A Third Information-Theoretic Approach to Finite de Finetti Theorems
2024 IEEE International Symposium on Information Theory (ISIT) conference-paper Mathematics Probability and Statistical Research

Mario Berta, Lampros Gavalakis, Ioannis Kontoyiannis

3

citations
On the Behavior of the Mixed-Integer SMS-EMOA on Box-Constrained Quadratic Bi-Objective Models
2023 conference-paper Computer Science Advanced Multi-Objective Optimization Algorithms Open access

Ofer M. Shir, Michael Emmerich

2

citations
Automated Termination Analysis of Polynomial Probabilistic Programs
2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács

31

citations
Polynomial Loops: Beyond Termination
2020 EPiC series in computing conference-paper Computer Science Logic, programming, and type systems Open access

Marcel Hark, Florian Frohn, Jürgen Giesl

13

citations
Scenario-Based Verification of Uncertain MDPs
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

20

citations
Natural H2 from Sedimentary Organic Matter: is It All It is Cracked up to be?
2024 EAGE Annual Conference & Exhibition conference-paper Engineering Hydrocarbon exploration and reservoir analysis

B. Horsfield, Susanne Nelskamp, Victoria F. Sachse, Marta Sośnicka, Christopher J. Boreham, N. Mahlstedt, +1 more

3

citations
Evaluating Time Step Effects in Shifted-Frequency Analysis for Converter-Dominated Power Systems
2026 Open Source Modelling and Simulation of Energy Systems (OSMSES) conference-paper Engineering Real-time simulation and control systems Open access

Georgii Tishenin, Armin Teskeredžić, Antonello Monti

0

citations

10 results