Tirza Hirst

According to our database, Tirza Hirst authored at least 14 papers between 1990 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2025

Achieving manet protection without the use of superfluous fictitious nodes.

Nadav Schweitzer, Liad Cohen, Tirza Hirst, Amit Dvir, Ariel Stulman

Comput. Commun., 2025

2024

Integrity in the AI Era: Collaborative Solutions for Programming Education.

Rina Azoulay, Tirza Hirst, Shulamit Reches

Proceedings of the Agents and Artificial Intelligence - 16th International Conference, 2024

Academia and Industry Synergy: Addressing Integrity Challenge in Programming Education.

Rina Azoulay, Tirza Hirst, Shulamit Reches

Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

2019

Network bottlenecks in OLSR based ad-hoc networks.

Nadav Schweitzer, Ariel Stulman, Tirza Hirst, Roy David Margalit, Asaf Shabtai

Ad Hoc Networks, 2019

2014

Algorithms for Jumbled Indexing, Jumbled Border and Jumbled Square on Run-Length Encoded Strings.

Amihood Amir, Alberto Apostolico, Tirza Hirst, Gad M. Landau, Noa Lewenstein, Liat Rozenberg

Proceedings of the String Processing and Information Retrieval, 2014

2009

A Rice-style theorem for parallel automata.

Tirza Hirst

Inf. Comput., 2009

2001

Uniquely Restricted Matchings.

Martin Charles Golumbic, Tirza Hirst, Moshe Lewenstein

Algorithmica, 2001

1999

Alternation and Bounded Concurrency Are Reverse Equivalent.

Tirza Hirst, Moshe Lewenstein

Inf. Comput., 1999

1998

One Help Bit Doesn't Help.

Richard Beigel, Tirza Hirst

Proceedings of the Thirtieth Annual ACM Symposium on the Theory of Computing, 1998

1996

More About Recursive Structures: Descriptive Complexity and Zero-One Laws.

Tirza Hirst, David Harel

Proceedings of the Proceedings, 1996

1994

On the Power of Bounded Concurrency II: Pushdown Automata.

Tirza Hirst, David Harel

J. ACM, 1994

1993

Completeness Results for Recursive Data Bases.

Tirza Hirst, David Harel

Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1993

Taking it to the Limit: On Infinite Variants of NP-Complete Problems.

Tirza Hirst, David Harel

Proceedings of the Eigth Annual Structure in Complexity Theory Conference, 1993

1990

On the Power of Bounded Concurrency II: The Pushdown Automata Level.

Tirza Hirst, David Harel

Proceedings of the CAAP '90, 1990