Babis Kostopoulos

Harokopio University of Athens

Papers on Lattice

Total citations

Topics

Research focus

Architecture Design (Transformers, SSMs, MoE) (1)Code Generation & Program Synthesis (1)

Frequent co-authors

Angelos Charalambidis (1)Panos Rondogiannis (1)

Papers (1)

Jun 1, 2026

Harokopio University of AthensJun 1, 2026·also National and Kapodistrian University of Athens

From Time to Space: The Impact of Linearity in Higher-Order Datalog

Linear recursion in Higher-Order Datalog can elevate expressive power from time to space, capturing complex space classes without ordering assumptions.

Angelos Charalambidis, Babis Kostopoulos, Panos Rondogiannis

Architecture Design (Transformers, SSMs, MoE)Code Generation & Program Synthesis

Babis Kostopoulos

Research focus

Frequent co-authors

Papers (1)

Search

Babis Kostopoulos

Research focus

Frequent co-authors

Papers (1)