Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Franziska S. Hollauf

dblp:306/8642 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Knowledge, reasoning and agents › Planning, search and constraint satisfaction
constraint propagation
0.912025
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.912025
Modeling oracles in simple temporal networks with uncertainty · Inf. Comput. 2025
Knowledge, reasoning and agents › Knowledge representation and reasoning › temporal reasoning
temporal constraints
0.912025
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.912025
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
YearPublicationVenuePosition
2025 Modeling oracles in simple temporal networks with uncertainty
abstract
Simple 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
TIME5
2022 Time-Cost Tradeoffs for Composed Services
Franziska S. Hollauf, Marco Franceschetti, Johann Eder
CAiSE1