3 citations
- Reykjavík UniversityIS4 papers
- Carnegie Mellon UniversityUS1 paper
- Carnegie Mellon University AfricaRW1 paper
- Chalmers University of TechnologySE1 paper
- Eindhoven University of TechnologyNL1 paper
- Gran Sasso Science InstituteIT1 paper
- Keele UniversityGB1 paper
- Marquette UniversityUS1 paper
- RWTH Aachen UniversityDE1 paper
- University of IcelandIS1 paper
3 papers
cs.DM2024
Restricted Permutations Enumerated by Inversions
Atli Fannar Franklín, Anders Claesson, Christian Bean +2
Permutations are usually enumerated by size, but new results can be found by enumerating them by inversions instead, in which case one must restrict one's attention to indecomposab…
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…
cs.SE2021★ 3 cited
Design Thinking and Creativity of Co-located vs. Globally Distributed Software Developers
Rodi Jolak, Andreas Wortmann, Grischa Liebel +2
Context: Designing software is an activity in which software developers think and make design decisions that shape the structure and behavior of software products. Designing softwa…