153 citations
- University of IcelandIS30 papers
- National United UniversityTW12 papers
- University of SulaimaniIQ11 papers
- National Institute of Materials PhysicsRO9 papers
- Gran Sasso Science InstituteIT8 papers
- Komar University of Science and TechnologyIQ7 papers
- Tallinn University of TechnologyEE6 papers
- University of MaltaMT6 papers
- Yerevan State UniversityAM6 papers
- AGH University of KrakowPL5 papers
- Gdańsk University of TechnologyPL5 papers
- National Center for Theoretical SciencesTW5 papers
18 papers · 1 filter
Proxy Design: A Method for Involving Proxy Users to Speak on Behalf of Vulnerable or Unreachable Users in Co-Design
Anna Sigridur Islind, Johan Lundin, Katerina Cerna +3
Designing digital artifacts is not a linear, straightforward process. This is particularly true when applying a user-centered design approach, or co-design, with users who are unab…
aSAGA: Automatic Sleep Analysis with Gray Areas
Matias Rusanen, Gabriel Jouan, Riku Huttunen +10
State-of-the-art automatic sleep staging methods have already demonstrated comparable reliability and superior time efficiency to manual sleep staging. However, fully automatic bla…
Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification
Antonis Achilleos, Dario Della Monica
This volume contains the proceedings of the 14th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2023). The aim of GandALF 2023 symposium is to…
The Way We Were: Structural Operational Semantics Research in Perspective
Luca Aceto, Pierluigi Crescenzi, Anna Ingólfsdóttir +1
This position paper on the (meta-)theory of Structural Operational Semantic (SOS) is motivated by the following two questions: (1) Is the (meta-)theory of SOS dying out as a resear…
Exploring Security Practices in Infrastructure as Code: An Empirical Study
Alexandre Verdet, Mohammad Hamdaqa, Leuson Da Silva +1
Cloud computing has become popular thanks to the widespread use of Infrastructure as Code (IaC) tools, allowing the community to conveniently manage and configure cloud infrastruct…
Canonical Gradings of Monads
Flavien Breuvart, Dylan McDermott, Tarmo Uustalu
We define a notion of grading of a monoid T in a monoidal category C, relative to a class of morphisms M (which provide a notion of M-subobject). We show that, under reasonable con…