153 citations
- University of IcelandIS26 papers
- National United UniversityTW10 papers
- University of SulaimaniIQ8 papers
- Gran Sasso Science InstituteIT7 papers
- National Institute of Materials PhysicsRO6 papers
- Tallinn University of TechnologyEE6 papers
- AGH University of KrakowPL5 papers
- Gdańsk University of TechnologyPL5 papers
- Komar University of Science and TechnologyIQ5 papers
- University of MaltaMT5 papers
- Wrocław University of Science and TechnologyPL5 papers
- Centre National de la Recherche ScientifiqueFR4 papers
5 papers · 1 filter
Characteristic Formulae for Fixed-Point Semantics: A General Framework
Luca Aceto, Anna Ingolfsdottir, Joshua Sack
The literature on concurrency theory offers a wealth of examples of characteristic-formula constructions for various behavioural relations over finite labelled transition systems a…
Ascent sequences and upper triangular matrices containing non-negative integers
Mark Dukes, Robert Parviainen
This paper presents a bijection between ascent sequences and upper triangular matrices whose non-negative entries are such that all rows and columns contain at least one non-zero e…
uFLIP: Understanding Flash IO Patterns
Luc Bouganim, Björn Jónsson, Philippe Bonnet
Does the advent of flash devices constitute a radical change for secondary storage? How should database systems adapt to this new form of secondary storage? Before we can answer th…
-Parabolic Subspace Arrangements
Hélène Barcelo, Christopher Severs, Jacob A. White
In this paper, we study -parabolic arrangements, a generalization of -equal arrangements for finite real reflection groups. When , these arrangements correspond to the w…
New pattern matching conditions for wreath products of the cyclic groups with symmetric groups
Sergey Kitaev, Andrew Niedermaier, Jeffrey Remmel +1
We present several multi-variable generating functions for a new pattern matching condition on the wreath product of the cyclic group and the symmetric group. Our new pattern match…