Larisa Maksimova

19 papers B 5C 1Journal 12Unranked 1
YearRankTypeTitle / Venue / Authors
2012 B conf
Interpolation and Beth Definability over the Minimal Logic.
Advances in Modal Logic
Larisa Maksimova
2011 J jnl
Interpolation and Definability over the Logic Gl.
Stud Logica
Larisa Maksimova
2010 J jnl
Problem of restricted interpolation in superintuitionistic and some modal logics.
Log. J. IGPL
Larisa Maksimova
2007 J jnl
On Modal Grzegorczyk Logic.
Fundam. Informaticae
Larisa Maksimova
2006 J jnl
Definability and Interpolation in Non-Classical Logics.
Stud Logica
Larisa Maksimova
2006 C conf
On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic.
WoLLIC
Larisa Maksimova
2006 J jnl
Projective Beth Property in Extensions of Grzegorczyk Logic.
Stud Logica
Larisa Maksimova
2005 — conf
Interpolation and Joint Consistency.
We Will Show Them! (2)
Larisa Maksimova
2003 B conf
Complexity of Some Problems in Modal and Intuitionistic Calculi.
CSL
Larisa Maksimova, Andrei Voronkov
2003 J jnl
Complexity of some problems in positive and related calculi.
Theor. Comput. Sci.
Larisa Maksimova
2002 J jnl
Complexity of Interpolation and Related Problems in Positive Calculi.
J. Symb. Log.
Larisa Maksimova
2002 B conf
Restricted Interpolation in Modal Logics.
Advances in Modal Logic
Larisa Maksimova
2000 J jnl
Intuitionistic logic and implicit definability.
Ann. Pure Appl. Log.
Larisa Maksimova
2000 B conf
Projective Beth's Properties in Infinite Slice Extensions of the Modal Logic K4.
Advances in Modal Logic
Larisa Maksimova
2000 J jnl
Strongly Decidable Properties of Modal and Intuitionistic Calculi.
Log. J. IGPL
Larisa Maksimova
1999 J jnl
Temporal logics of "the next" do not have the Beth property.
J. Appl. Non Class. Logics
Larisa Maksimova
1996 B conf
Interpolation in Superintuitionistic and Modal Predicate Logics with Equality.
Advances in Modal Logic
Larisa Maksimova
1995 J jnl
On variable separation in modal and superintuitionistic logics.
Stud Logica
Larisa Maksimova
1991 J jnl
Amalgamation and interpolation in normal modal logics.
Stud Logica
Larisa Maksimova
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