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

Irit Katriel

dblp:k/IritKatriel · DBLP profile ↗
← Back
23ranked-venue papers
12as first author
0since 2021 · last 2008
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 11 · 5 first-authorTheory of computation · 11 · 7 first-authorSoftware engineering, systems software and programming languages · 4 · 2 first-authorDatabases, data management, data science and information retrieval · 2 · 1 first-authorGraphics, computer vision, multimedia, augmented reality and games · 2 · 1 first-author

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.

Theoretical computer science
4 papers
Graph algorithms and graph theory · 33% Mathematical optimization · 24% Computational complexity · 19%

Topics — the 13 heaviest of 13, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Graph algorithms and graph theory › directed graph › directed graph algorithms
topological ordering
0.122006
Online topological ordering · ACM Trans. Algorithms 2006
Online topological ordering · SODA 2005
Computational complexity › constraint satisfaction
constraint propagation
0.112007
Propagating Knapsack Constraints in Sublinear Time · AAAI 2007
Computational complexity
constraint satisfaction
0.112007
Propagating Knapsack Constraints in Sublinear Time · AAAI 2007
Mathematical optimization › integer programming
knapsack constraint
0.112007
Propagating Knapsack Constraints in Sublinear Time · AAAI 2007
Algorithmic game theory and mechanism design
matching
0.112007
Commitment Under Uncertainty: Two-Stage Stochastic Matching Problems · ICALP 2007
Mathematical optimization › stochastic optimization › stochastic combinatorial optimization
stochastic matching
0.112007
Commitment Under Uncertainty: Two-Stage Stochastic Matching Problems · ICALP 2007
Graph algorithms and graph theory › directed graph
directed acyclic graph
0.112006
Online topological ordering · ACM Trans. Algorithms 2006
Algorithms and data structures › dynamic algorithms
dynamic graph algorithms
0.112006
Online topological ordering · ACM Trans. Algorithms 2006
Graph algorithms and graph theory
graph algorithms
0.112005
Online topological ordering · SODA 2005
Approximation and online algorithms
online algorithms
0.112005
Online topological ordering · SODA 2005
Mathematical optimization
stochastic optimization
0.012007
Commitment Under Uncertainty: Two-Stage Stochastic Matching Problems · ICALP 2007
Mathematical optimization › stochastic optimization › stochastic programming
two-stage stochastic optimization
0.012007
Commitment Under Uncertainty: Two-Stage Stochastic Matching Problems · ICALP 2007
Graph algorithms and graph theory › graph theory › graph parameters › graph width parameters
treewidth
0.012006
Online topological ordering · ACM Trans. Algorithms 2006

Methods — techniques the papers use, named apart from their topics

dynamic maintenance · 0.1cycle detection · 0.1
YearPublicationVenuePosition
2008 Matchings in Node-Weighted Convex Bipartite Graphs
abstract
Matchings in convex bipartite graphs correspond to the problem of scheduling unit-length tasks on a single disjunctive resource, given a release time and a deadline for every task. The unweighted case was studied by several authors since Glover first considered the problem in 1967 [Glover, F. 1967. Maximum matching in convex bipartite graphs. Naval Res. Logist. Quart. 14 313–316] and until 1996, when Steiner and Yeomans found an algorithm whose running time is linear in the number of tasks [Steiner, G., J. S. Yeomans. 1996. A linear time algorithm for determining maximum matchings in convex, bipartite graphs. Comput. Math. Appl. 31(12) 91–96]. We address a weighted variant of this problem. Given a node-weighted convex bipartite graph G=(X, Y, E) (where Y is linearly ordered and the neighborhood of each node of X is an interval of Y), we show that it is possible to find an X-perfect matching of maximum (or minimum) weight in O(|E| + |Y| log |X|) time and O(|X| + |Y|) space. For the case in which only the nodes of Y are weighted and their weights are positive, the algorithm can be used to find a maximum-weight (not necessarily X-perfect) matching.
Irit Katriel
INFORMS J. Comput.1
2008 Simultaneous matchings: Hardness and approximation
Martin Kutz, Khaled M. Elbassioni, Irit Katriel, Meena Mahajan
J. Comput. Syst. Sci.3
2008 Commitment under uncertainty: Two-stage stochastic matching problems
Irit Katriel, Claire Mathieu, Eli Upfal
Theor. Comput. Sci.1
2007 Propagating Knapsack Constraints in Sublinear Time
Irit Katriel, Meinolf Sellmann, Eli Upfal, Pascal Van Hentenryck
AAAI1
2007 The "Not-Too-Heavy Spanning Tree" Constraint
Grégoire Dooms, Irit Katriel
CPAIOR2
2007 Commitment Under Uncertainty: Two-Stage Stochastic Matching Problems
Irit Katriel, Claire Mathieu, Eli Upfal
ICALP1
2007 Dynamic Matchings in Convex Bipartite Graphs
Gerth Stølting Brodal, Loukas Georgiadis, Kristoffer Arnsfelt Hansen, Irit Katriel
MFCS4
2007 Canonical density control
Alon Itai, Irit Katriel
Inf. Process. Lett.2
2006 The Minimum Spanning Tree Constraint
Grégoire Dooms, Irit Katriel
CP2
2006 Undirected Forest Constraints
Nicolas Beldiceanu, Irit Katriel, Xavier Lorca
CPAIOR2
2006 Expected-Case Analysis for Delayed Filtering
Irit Katriel
CPAIOR1
2006 Faster Algorithms for Computing Longest Common Increasing Subsequences
abstract
We present algorithms for finding a longest common increasing subsequence of two or more input sequences. For two sequences of lengths m and n, where m≥n, we present an algorithm with an output-dependent expected running time of $O((m+n\ell) \log\log \sigma + {\ensuremath{\mathit{Sort}}})$ and O(m) space, where ℓ is the length of an LCIS, σ is the size of the alphabet, and ${\ensuremath{\mathit{Sort}}}$ is the time to sort each input sequence. For k≥3 length-n sequences we present an algorithm which improves the previous best bound by more than a factor k for many inputs. In both cases, our algorithms are conceptually quite simple but rely on existing sophisticated data structures. Finally, we introduce the problem of longest common weakly-increasing (or non-decreasing) subsequences (LCWIS), for which we present an O(m+nlogn)-time algorithm for the 3-letter alphabet case. For the extensively studied longest common subsequence problem, comparable speedups have not been achieved for small alphabets.
Gerth Stølting Brodal, Kanela Kaligosi, Irit Katriel, Martin Kutz
CPM3
2006 Online topological ordering
abstract
It is shown that the problem of maintaining the topological order of the nodes of a directed acyclic graph while inserting m edges can be solved in O (min{ m 3/2 log n , m 3/2 + n 2 log n }) time, an improvement over the best known result of O ( mn ). In addition, we analyze the complexity of the same algorithm with respect to the treewidth k of the underlying undirected graph. We show that the algorithm runs in time O ( mk log 2 n ) for general k and that it can be implemented to run in O ( n log n ) time on trees, which is optimal. The algorithm also detects cycles in the input.
Irit Katriel, Hans L. Bodlaender
ACM Trans. Algorithms1
2005 Sub-optimality Approximations
Russell Bent, Irit Katriel, Pascal Van Hentenryck
CP2
2005 Maintaining Longest Paths in Cyclic Graphs
Irit Katriel, Pascal Van Hentenryck
CP1
2005 Multiconsistency and Robustness with Global Constraints
Khaled M. Elbassioni, Irit Katriel
CPAIOR2
2005 Simultaneous Matchings
Khaled M. Elbassioni, Irit Katriel, Martin Kutz, Meena Mahajan
ISAAC2
2005 Online topological ordering
Irit Katriel, Hans L. Bodlaender
SODA1
2004 Filtering Algorithms for the Same Constraint
Nicolas Beldiceanu, Irit Katriel, Sven Thiel
CPAIOR2
2004 Dynamic Heaviest Paths in DAGs with Arbitrary Edge Weights
Irit Katriel
CPAIOR1
2004 On the algebraic complexity of set equality and inclusion
Irit Katriel
Inf. Process. Lett.1
2003 Fast Bound Consistency for the Global Cardinality Constraint
Irit Katriel, Sven Thiel
CP1
2003 A Practical Minimum Spanning Tree Algorithm Using the Cycle Property
Irit Katriel, Peter Sanders 0001, Jesper Larsson Träff
ESA1