Publications

 
  • Rate-Based Session Types for IoT Devices
    Iraci G Chuang C-E Hu R Ziarek L
    Acm Transactions on Programming Languages and Systems, Association For Computing Machinery (Acm) vol. 47 (3), 1-39.  
    17-09-2025
  • Coherent domains and improved lower bounds for the maximum size of Condorcet domains
    Karpov A Markström K Riis S
    Discrete Applied Mathematics, Elsevier vol. 370, 57-70.  
    01-07-2025
  • An efficient heuristic search algorithm for discovering large Condorcet domains
    Zhou B
    4or, Springer Nature vol. 23 (2), 193-216.  
    24-01-2025
  • Condorcet domains on at most seven alternatives
    Akello-Egwel D Leedham-Green C Litterick A Riis S
    Mathematical Social Sciences, Elsevier vol. 133, 23-33.  
    01-01-2025
  • Uniform Functional Interpretations
    Computability in Europe. vol. 15764, 88-103.  
    01-01-2025