Skip to content

Roussanka Loukanova

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

25

Venues

9

Active years

2000–2025

Best venue rank

B

Where they publish

Papers

25 indexed papers, newest first.

YearVenueTitleAuthors
2025DCAICoordination and Underspecification in Type Theory of Acyclic Recursion.Roussanka Loukanova
2024DCAIType-Theory of Algorithms with Chain-Free Memory.Roussanka Loukanova
2022DCAIAlgorithmic Dependent-Type Theory of Situated Information and Context Assessments.Roussanka Loukanova
2020DCAIType-Theory of Parametric Algorithms with Restricted Computations.Roussanka Loukanova
2020ICAARTAlgorithmic Eta-reduction in Type-theory of Acyclic Recursion.Roussanka Loukanova
2019ICAARTType-Theory of Acyclic Algorithms with Generalised Immediate Terms.Roussanka Loukanova
2018DCAISyntax-Semantics Interfaces of Modifiers.Roussanka Loukanova
2018ICAARTGamma-star Reduction in the Type-theory of Acyclic Algorithms.Roussanka Loukanova
2018ICAARTGamma-Star Canonical Forms in the Type-Theory of Acyclic Algorithms.Roussanka Loukanova
2017FedCSISBindier Operators in Type-Theory of Algorithms for Algorithmic Binding of Functional Neuro-Receptors.Roussanka Loukanova
2016ICAARTA Formalization of Generalized Parameters in Situated Information.Roussanka Loukanova
2016ICAARTAcyclic Recursion with Polymorphic Types and Underpecification.Roussanka Loukanova
2016PAAMSUnderspecified Quantification by the Theory of Acyclic Recursion.Roussanka Loukanova
2015FedCSISRepresenting parametric concepts with Situation Theory.Roussanka Loukanova
2015FQASSpecification of Underspecified Quantifiers via Question-Answering by the Theory of Acyclic Recursion.Roussanka Loukanova
2015ICAARTUnderspecified Relations with a Formal Language of Situation Theory.Roussanka Loukanova
2013FQASAlgorithmic Semantics for Processing Pronominal Verbal Phrases.Roussanka Loukanova
2013ICAARTSituated Agents in Linguistic Contexts.Roussanka Loukanova
2012PAAMSOn the Syntax-Semantics Interface of Argument Marking Prepositional Phrases.Roussanka Loukanova, Mara Dolores Jimnez-Lpez
2009IWANNbeta-Reduction and Antecedent-Anaphora Relations in the Language of Acyclic Recursion.Roussanka Loukanova
2007ICTACLinear Context Free Languages.Roussanka Loukanova
2002CICLINGQuantification and Intensionality in Situation Semantics.Roussanka Loukanova
2002CICLINGGeneralized Quantification in Situation Semantics.Roussanka Loukanova
2001CICLINGRussellian and Strawsonian Definite Descriptions in Situation Semantics.Roussanka Loukanova
2000PACLICNominal Scope in Situation Semantics.Roussanka Loukanova