Henning Arnór Skeggi Úlfarsson
Associate Professor, Reykjavik University
Henning is an Associate Professor in the Department of Computer Science at Reykjavik University in Iceland. His CV can be accessed here.
Projects
- Schubert varieties and permutation patterns
- Coincidence and Wilf-classification
- Heuristic algorithms for pattern and statistics discovery
- Sorting
- Automatic discovery of conjectured covers of combinatorial classes
- Searching for combinatorial specifications
Papers
- Very twisted stable maps
- Pattern avoiding equivalence classes
- A unification of permutation patterns related to Schubert varieties
- Word-representability of line graphs
- Describing West-3-stack-sortable permutations with permutation patterns
- Refined inversion statistics on permutations
- Which Schubert varieties are local complete intersections?
- Restricted non-separable planar maps and some pattern avoiding permutations
- Measurement based interference models for wireless scheduling algorithms
- Wilf-classification of mesh patterns of short length
- Coincidence among families of mesh patterns
- Sorting and preimages of pattern classes
- Enumerations of permutations simultaneously avoiding a vincular and a covincular pattern of length 3
- Equivalence classes of mesh patterns with a dominating pattern
- Automatic discovery of structural rules of permutation classes
- Occurrence graphs of patterns in permutations
- Pattern avoiding permutations and independent sets in graphs
- BiSC: An algorithm for discovering generalized permutation patterns
- Collatz meets Fibonacci
- The poset of mesh patterns
- Combinatorial Exploration: An algorithmic framework for enumeration
- Algorithmic coincidence classification of mesh patterns
- Enumeration of permutation classes and weighted labelled independent sets
- Automated enumeration of combinatorial classes with proof-number search
- Using large random permutations to partition permutation classes
- Permutations avoiding bipartite partially ordered patterns have a regular insertion encoding
- Multivariate Combinatorial Exploration
- Turning cycle restrictions into mesh patterns via Foata's fundamental transformation
- Inversion monotonicity in subclasses of the 1324-avoiders
- A permutation avoidance game with reverse replies and monotone traps
- Protected tails and polynomial-time enumeration of permutations avoiding a direct sum of an increasing pattern and 231