Reykjavík Energy (Iceland)

output

20112025

most citedMaking Software Development More Diverse and Inclusive: Key Themes, Challenges, and Future Directions

10 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

Grischa Liebel2 · h 17
R. Fleming2 · h 44
Aggeliki Chalki1
Alexander Serebrenik1 · h 5
Amrita Goswami1 · h 2
Anders Claesson1 · h 17
Anna Ingólfsdóttir1
Antonis Achilleos1
Atli Fannar Frankl'in1 · h 2
A. Wortmann1 · h 32
Bianca Trinkenreich1 · h 2
B. Palsson1 · h 143

collaborating institutions

Reykjavík UniversityIS5 papers
University of IcelandIS4 papers
Eindhoven University of TechnologyNL2 papers
Beijing University of Posts and TelecommunicationsCN1 paper
Carnegie Mellon UniversityUS1 paper
Carnegie Mellon University AfricaRW1 paper
Chalmers University of TechnologySE1 paper
Colorado State UniversityUS1 paper
École Polytechnique Fédérale de LausanneCH1 paper
Gran Sasso Science InstituteIT1 paper
Indian Institute of Science Education and Research MohaliIN1 paper
Indian Institute of Technology KanpurIN1 paper

Showing cs.LOShow all

2 papers · 1 filter

cs.LO2025

The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)

Luca Aceto, Antonis Achilleos, Aggeliki Chalki +1

This paper studies the complexity of determining whether a formula in the modal logics characterizing the nested-simulation semantics is characteristic for some process, which is e…

cs.LO2022★ 2 cited

Encodability and Separation for a Reflective Higher-Order Calculus

Stian Lybech

The $ρ$ -calculus (Reflective Higher-Order Calculus) of Meredith and Radestock is a $π$ -calculus-like language with some unusual features, notably, structured names, runtime generat…