Nominal Scope in Situation Semantics. - Roussanka Loukanova (PACLIC, 2000)

Russellian and Strawsonian Definite Descriptions in Situation Semantics. - Roussanka Loukanova (CICLing, 2001)

Quantification and Intensionality in Situation Semantics. - Roussanka Loukanova (CICLing, 2002)

Generalized Quantification in Situation Semantics. - Roussanka Loukanova (CICLing, 2002)

Linear Context Free Languages. - Roussanka Loukanova (ICTAC, 2007)

beta-Reduction and Antecedent-Anaphora Relations in the Language of Acyclic Recursion. - Roussanka Loukanova (IWANN (1), 2009)

Formalisation of Intensionality as Algorithms (project abstract). - Roussanka Loukanova (IWCS, 2009)

From Montague's Rules of Quantification to Minimal Recursion Semantics and the Language of Acyclic Recursion. - Roussanka Loukanova (Biology, Computation and Linguistics, 2011)

Syntax-Semantics Interface for Lexical Inflection with the Language of Acyclic Recursion. - Roussanka Loukanova (Biology, Computation and Linguistics, 2011)

Constraint Based Syntax of Modifiers. - Roussanka Loukanova (Web Intelligence/IAT Workshops, 2011)

Semantic Information with Type Theory of Acyclic Recursion. - Roussanka Loukanova (AMT, 2012)

A Predicative Operator and Underspecification by the Type Theory of Acyclic Recursion. - Roussanka Loukanova (CSLP, 2012)

Algorithmic Semantics of Ambiguous Modifiers with the Type Theory of Acyclic Recursion. - Roussanka Loukanova (Web Intelligence/IAT Workshops, 2012)

On the Syntax-Semantics Interface of Argument Marking Prepositional Phrases. - Roussanka Loukanova; María Dolores Jiménez-López (PAAMS (Special Sessions), 2012)

Algorithmic Granularity with Constraints. - Roussanka Loukanova (Brain and Health Informatics, 2013)

Algorithmic Semantics for Processing Pronominal Verbal Phrases. - Roussanka Loukanova (FQAS, 2013)

Situated Agents in Linguistic Contexts. - Roussanka Loukanova (ICAART (1), 2013)

Situation Theory, Situated Information, and Situated Agents. - Roussanka Loukanova (Trans. Comput. Collect. Intell., 2014)

Representing parametric concepts with Situation Theory. - Roussanka Loukanova (FedCSIS, 2015)

Specification of Underspecified Quantifiers via Question-Answering by the Theory of Acyclic Recursion. - Roussanka Loukanova (FQAS, 2015)

Underspecified Relations with a Formal Language of Situation Theory. - Roussanka Loukanova (ICAART (1), 2015)

A Formalization of Generalized Parameters in Situated Information. - Roussanka Loukanova (ICAART (1), 2016)

Acyclic Recursion with Polymorphic Types and Underpecification. - Roussanka Loukanova (ICAART (2), 2016)

Underspecified Quantification by the Theory of Acyclic Recursion. - Roussanka Loukanova (PAAMS (Special Sessions), 2016)

Bindier Operators in Type-Theory of Algorithms for Algorithmic Binding of Functional Neuro-Receptors. - Roussanka Loukanova (FedCSIS, 2017)

An Approach to Functional Formal Models of Constraint-Based Lexicalized Grammar. - Roussanka Loukanova (Fundam. Informaticae, 2017)

Syntax-Semantics Interfaces of Modifiers. - Roussanka Loukanova (DCAI (Special Sessions), 2018)

Gamma-star Reduction in the Type-theory of Acyclic Algorithms. - Roussanka Loukanova (ICAART (2), 2018)

Gamma-Star Canonical Forms in the Type-Theory of Acyclic Algorithms. - Roussanka Loukanova (ICAART (Revised Selected Papers), 2018)

Type-Theory of Acyclic Algorithms with Generalised Immediate Terms. - Roussanka Loukanova (ICAART (2), 2019)

Gamma-Reduction in Type Theory of Acyclic Recursion. - Roussanka Loukanova (Fundam. Informaticae, 2019)

Introduction. - Roussanka Loukanova; Michael Moortgat (J. Log. Lang. Inf., 2019)

Type-Theory of Parametric Algorithms with Restricted Computations. - Roussanka Loukanova (DCAI, 2020)

Algorithmic Eta-reduction in Type-theory of Acyclic Recursion. - Roussanka Loukanova (ICAART (2), 2020)

Algorithmic Dependent-Type Theory of Situated Information and Context Assessments. - Roussanka Loukanova (DCAI (1), 2022)

Logic Operators and Quantifiers in Type-Theory of Algorithms. - Roussanka Loukanova (LENLS, 2022)

Semantics of Propositional Attitudes in Type-Theory of Algorithms. - Roussanka Loukanova (LENLS, 2023)

Type-Theory of Algorithms with Chain-Free Memory. - Roussanka Loukanova (DCAI (1), 2024)