10 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- 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
8 papers
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…
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…
Making Software Development More Diverse and Inclusive: Key Themes, Challenges, and Future Directions
Sonja M. Hyrynsalmi, Sebastian Baltes, Chris Brown +7
Introduction: Digital products increasingly reshape industries, influencing human behavior and decision-making. However, the software development teams developing these systems oft…
Typed Component Algebras for Simulated Annealing and Markov-Chain Monte Carlo
Rohit Goswami, Ruhila Goswami, Amrita Goswami +3
Simulated annealing (SA) and fixed-temperature Markov-chain Monte Carlo (MCMC) run the same Metropolis-Hastings kernel over a tempered objective, but the variants appear as separat…
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…
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…
Mass conserved elementary kinetics is sufficient for the existence of a non-equilibrium steady state concentration
Ronan M. T. Fleming, Ines Thiele
Living systems are forced away from thermodynamic equilibrium by exchange of mass and energy with their environment. In order to model a biochemical reaction network in a non-equil…
A variational principle for computing nonequilibrium fluxes and potentials in genome-scale biochemical networks
Ronan M. T. Fleming, Christopher M. Maes, Michael A. Saunders +2
We derive a convex optimization problem on a steady-state nonequilibrium network of biochemical reactions, with the property that energy conservation and the second law of thermody…