Demo Data from SIGIR 2026 / reviewers in the wild / expert
Franziska S. Hollauf
dblp:306/8642
· DBLP profile ↗
3ranked-venue papers
2as first author
3since 2021 · last 2025
0000-0003-1098-8713ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 1 · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 first-author · 1 since 2021Databases, data management, data science and information retrieval · 1 · 1 first-author · 1 since 2021Theory of computation · 1 · 1 first-author · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Artificial intelligence
1 paper |
Planning, search and constraint satisfaction · 75% Knowledge representation and reasoning · 25% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Knowledge, reasoning and agents › Planning, search and constraint satisfaction
constraint propagation |
0.9 | 1 | 2025 | Modeling oracles in simple temporal networks with uncertainty · Inf. Comput. 2025 |
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › temporal network
simple temporal network with uncertainty |
0.9 | 1 | 2025 | Modeling oracles in simple temporal networks with uncertainty · Inf. Comput. 2025 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › temporal reasoning
temporal constraints |
0.9 | 1 | 2025 | Modeling oracles in simple temporal networks with uncertainty · Inf. Comput. 2025 |
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › constraint propagation
temporal constraint propagation |
0.9 | 1 | 2025 | Modeling oracles in simple temporal networks with uncertainty · Inf. Comput. 2025 |
Methods — techniques the papers use, named apart from their topics
constraint propagation · 0.9
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Modeling oracles in simple temporal networks with uncertaintyabstractSimple temporal networks with uncertainty (STNUs) have achieved wide attention and are the basis of many applications requiring the representation of temporal constraints and checking whether they are conflicting. Dynamic controllability is currently the most studied notion to check whether a system can be controlled without violating temporal constraints despite uncertainties. However, dynamic controllability assumes that the actual duration of a contingent activity is known only when the end event of that activity occurs. The recently introduced notion of agile controllability considers the case where this duration is known earlier, leading to a more relaxed notion of temporal feasibility. We extend the definition of STNUs to STNUOs (Simple Temporal Networks with Uncertainty and Oracles) to represent the point in time at which information about a contingent duration is available. We formally define agile controllability as a generalization of dynamic controllability considering the timepoints of information availability. We propose a set of constraint propagation rules for STNUOs, leading to an algorithm for checking agile controllability. Franziska S. Hollauf, Roberto Posenato, Carlo Combi, Johann Eder |
Inf. Comput. | 1 |
| 2024 | Agile Controllability of Simple Temporal Networks with Uncertainty and Oracles
Johann Eder, Roberto Posenato, Carlo Combi, Marco Franceschetti, Franziska S. Hollauf |
TIME | 5 |
| 2022 | Time-Cost Tradeoffs for Composed Services
Franziska S. Hollauf, Marco Franceschetti, Johann Eder |
CAiSE | 1 |