Victor Harnik

12 papers Journal 11
YearRankTypeTitle / Venue / Authors
1992 J jnl
Lambek's Categorical Proof Theory and Läuchli's Abstract Realizability.
J. Symb. Log.
Victor Harnik, Michael Makkai
1992 J jnl
Provably Total Functions of Intuitionistic Bounded Arithmetic.
J. Symb. Log.
Victor Harnik
1987 J jnl
Set existence axioms for general (not necessarily countable) stability theory.
Ann. Pure Appl. Log.
Victor Harnik
1986 J jnl
omega
J. Symb. Log.
Victor Harnik
1985 J jnl
Stability Theory and Set Existence Axioms.
J. Symb. Log.
Victor Harnik
1984 J jnl
Fundamentals of forking.
Ann. Pure Appl. Log.
Victor Harnik, Leo Harrington
1980 J jnl
Game Sentences, Recursive Saturation and Definability.
J. Symb. Log.
Victor Harnik
1979 J jnl
Refinements of Vaught's Normal from Theorem.
J. Symb. Log.
Victor Harnik
1976 J jnl
Applications of Vaught Sentences and the Covering Theorem.
J. Symb. Log.
Victor Harnik, Michael Makkai
1976 J jnl
Approximation Theorems and Model Theoretic Forcing.
J. Symb. Log.
Victor Harnik
1975 J jnl
Effective Proper Procedures and Universal Classes of Program Schemata.
J. Comput. Syst. Sci.
Victor Harnik
1971 — —
תורות יציבות ומושגים קשורים (Stable theories and related concepts.).
Victor Harnik
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling