Tirza Hirst

17 papers A* 3C 1Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Achieving manet protection without the use of superfluous fictitious nodes.
Comput. Commun.
Nadav Schweitzer, Liad Cohen, Tirza Hirst, Amit Dvir, Ariel Stulman
2024 — conf
Academia and Industry Synergy: Addressing Integrity Challenge in Programming Education.
ICAART (3)
Rina Azoulay, Tirza Hirst, Shulamit Reches
2024 — conf
Integrity in the AI Era: Collaborative Solutions for Programming Education.
ICAART (Revised Selected Paper, 2)
Rina Azoulay, Tirza Hirst, Shulamit Reches
2019 J jnl
Network bottlenecks in OLSR based ad-hoc networks.
Ad Hoc Networks
Nadav Schweitzer, Ariel Stulman, Tirza Hirst, Roy David Margalit, Asaf Shabtai
2016 J jnl
Algorithms for Jumbled Indexing, Jumbled Border and Jumbled Square on run-length encoded strings.
Theor. Comput. Sci.
Amihood Amir, Alberto Apostolico, Tirza Hirst, Gad M. Landau, Noa Lewenstein, Liat Rozenberg
2014 C conf
Algorithms for Jumbled Indexing, Jumbled Border and Jumbled Square on Run-Length Encoded Strings.
SPIRE
Amihood Amir, Alberto Apostolico, Tirza Hirst, Gad M. Landau, Noa Lewenstein, Liat Rozenberg
2009 J jnl
A Rice-style theorem for parallel automata.
Inf. Comput.
Tirza Hirst
2001 J jnl
Uniquely Restricted Matchings.
Algorithmica
Martin Charles Golumbic, Tirza Hirst, Moshe Lewenstein
1999 J jnl
Alternation and Bounded Concurrency Are Reverse Equivalent.
Inf. Comput.
Tirza Hirst, Moshe Lewenstein
1998 A* conf
One Help Bit Doesn't Help.
STOC
Richard Beigel, Tirza Hirst
1996 J jnl
Completeness Results for Recursive Data Bases.
J. Comput. Syst. Sci.
Tirza Hirst, David Harel
1996 A* conf
More About Recursive Structures: Descriptive Complexity and Zero-One Laws.
LICS
Tirza Hirst, David Harel
1996 J jnl
Taking It to the Limit: On Infinite Variants of NP-Complete Problems.
J. Comput. Syst. Sci.
Tirza Hirst, David Harel
1994 J jnl
On the Power of Bounded Concurrency II: Pushdown Automata.
J. ACM
Tirza Hirst, David Harel
1993 A* conf
Completeness Results for Recursive Data Bases.
PODS
Tirza Hirst, David Harel
1993 — conf
Taking it to the Limit: On Infinite Variants of NP-Complete Problems.
SCT
Tirza Hirst, David Harel
1990 — conf
On the Power of Bounded Concurrency II: The Pushdown Automata Level.
CAAP
Tirza Hirst, David Harel