Demo Data from SIGIR 2026 / reviewers in the wild / expert
Jan H. M. Korst
dblp:17/666
· DBLP profile ↗
33ranked-venue papers
9as first author
0since 2021 · last 2020
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 13 · 3 first-authorSystems, architecture and hardware · 10 · 1 first-authorDatabases, data management, data science and information retrieval · 4Graphics, computer vision, multimedia, augmented reality and games · 3 · 3 first-authorHuman-computer interaction and ubiquitous computing · 3 · 1 first-authorComputer networks · 2 · 1 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer architecture, parallel and distributed computing, and storage systems
7 papers |
Storage systems · 65% Electronic design automation · 15% Cloud and datacenter computing · 9% | |
| Theoretical computer science
4 papers |
Mathematical optimization · 34% Computational geometry · 30% Combinatorics and discrete mathematics · 30% | |
| Databases, data mining, and information retrieval
1 paper |
Data mining · 100% | |
| Computer networks
1 paper |
Internet architecture and protocols · 100% |
Topics — the 30 heaviest of 34, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Data mining
clustering |
0.1 | 1 | 2010 | Heuristic Approaches for the Quartet Method of Hierarchical Clustering · IEEE Trans. Knowl. Data Eng. 2010 |
Data mining › clustering
hierarchical clustering |
0.1 | 1 | 2010 | Heuristic Approaches for the Quartet Method of Hierarchical Clustering · IEEE Trans. Knowl. Data Eng. 2010 |
Mathematical optimization
combinatorial optimization |
0.1 | 1 | 2010 | Heuristic Approaches for the Quartet Method of Hierarchical Clustering · IEEE Trans. Knowl. Data Eng. 2010 |
Computational geometry › geometric covering
blocking sets |
0.1 | 1 | 2009 | Candle in the woods: asymptotic bounds on minimum blocking sets · SCG 2009 |
Combinatorics and discrete mathematics
number theory |
0.1 | 1 | 2009 | Candle in the woods: asymptotic bounds on minimum blocking sets · SCG 2009 |
Storage systems
data redundancy |
0.0 | 1 | 2003 | Random Redundant Storage in Disk Arrays: Complexity of Retrieval Problems · IEEE Trans. Computers 2003 |
Storage systems › data management
data retrieval |
0.0 | 1 | 2003 | Random Redundant Storage in Disk Arrays: Complexity of Retrieval Problems · IEEE Trans. Computers 2003 |
Storage systems
disk array |
0.0 | 1 | 2003 | Random Redundant Storage in Disk Arrays: Complexity of Retrieval Problems · IEEE Trans. Computers 2003 |
Storage systems › i/o scheduling
disk scheduling |
0.0 | 1 | 2003 | On the Guaranteed Throughput of Multizone Disks · IEEE Trans. Computers 2003 |
Storage systems › magnetic storage
disk storage |
0.0 | 1 | 2003 | On the Guaranteed Throughput of Multizone Disks · IEEE Trans. Computers 2003 |
Storage systems › i/o scheduling › disk scheduling
SCAN scheduling |
0.0 | 1 | 2003 | On the Guaranteed Throughput of Multizone Disks · IEEE Trans. Computers 2003 |
Cloud and datacenter computing › quality of service
throughput guarantee |
0.0 | 1 | 2003 | On the Guaranteed Throughput of Multizone Disks · IEEE Trans. Computers 2003 |
Internet architecture and protocols
packet scheduling |
0.0 | 1 | 2001 | Comments on "carry-over round robin: a simple cell scheduling mechanism for ATM network" · IEEE/ACM Trans. Netw. 2001 |
Internet architecture and protocols › packet scheduling
round-robin scheduling |
0.0 | 1 | 2001 | Comments on "carry-over round robin: a simple cell scheduling mechanism for ATM network" · IEEE/ACM Trans. Netw. 2001 |
Electronic design automation
high-level synthesis |
0.0 | 2 | 1996 | The complexity of generalized retiming problems · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1996 Improved force-directed scheduling in high-throughput digital signal processing · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1995 |
Storage systems › shared storage
concurrent access |
0.0 | 1 | 2000 | Fast concurrent access to parallel disks · SODA 2000 |
Storage systems › distributed storage › parallel storage system
parallel disks |
0.0 | 1 | 2000 | Fast concurrent access to parallel disks · SODA 2000 |
Distributed systems › replication
data replication |
0.0 | 1 | 1997 | Random Duplicated Assignment: An Alternative to Striping in Video Servers · ACM Multimedia 1997 |
Storage systems
storage reliability |
0.0 | 1 | 1997 | Random Duplicated Assignment: An Alternative to Striping in Video Servers · ACM Multimedia 1997 |
Embedded and real-time systems › real-time scheduling
complexity analysis |
0.0 | 1 | 1996 | The complexity of generalized retiming problems · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1996 |
Electronic design automation › logic synthesis › sequential circuit optimization
retiming |
0.0 | 1 | 1996 | The complexity of generalized retiming problems · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1996 |
Electronic design automation › high-level synthesis › scheduling
force-directed scheduling |
0.0 | 1 | 1995 | Improved force-directed scheduling in high-throughput digital signal processing · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1995 |
Electronic design automation › high-level synthesis
scheduling |
0.0 | 1 | 1995 | Improved force-directed scheduling in high-throughput digital signal processing · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1995 |
Multimedia systems and quality of experience
multimedia streaming |
0.0 | 1 | 2003 | On the Guaranteed Throughput of Multizone Disks · IEEE Trans. Computers 2003 |
Computational complexity › constraint satisfaction
complexity classification |
0.0 | 1 | 2003 | Random Redundant Storage in Disk Arrays: Complexity of Retrieval Problems · IEEE Trans. Computers 2003 |
Internet architecture and protocols
ATM networks |
0.0 | 1 | 2001 | Comments on "carry-over round robin: a simple cell scheduling mechanism for ATM network" · IEEE/ACM Trans. Netw. 2001 |
Hardware accelerators and domain-specific architectures › video processing accelerator
video signal processor |
0.0 | 1 | 1991 | Architecture and Programming of a VLIW Style Programmable Video Signal Processor · MICRO 1991 |
Cloud and datacenter computing › resource provisioning
dynamic resource provisioning |
0.0 | 1 | 1995 | Improved force-directed scheduling in high-throughput digital signal processing · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1995 |
Integrated circuit design › digital signal processing circuits
high-throughput DSP |
0.0 | 1 | 1995 | Improved force-directed scheduling in high-throughput digital signal processing · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1995 |
Compilers and program optimization
instruction scheduling |
0.0 | 1 | 1991 | Architecture and Programming of a VLIW Style Programmable Video Signal Processor · MICRO 1991 |
Methods — techniques the papers use, named apart from their topics
reduced variable neighborhood search · 0.2heuristic · 0.2complexity analysis · 0.1triangular grid · 0.1asymptotic analysis · 0.1graph optimization · 0.1striping · 0.0retrieval algorithms · 0.0disk arrays · 0.0counterexample · 0.0phase assignment scheduling · 0.0microcode generation · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2020 | A visualization of family relations inspired by the London metro mapabstractWe propose a new visualization of family relations, called family metro map, which is inspired by the famous London Underground Map. A family is represented by a metro line, where the parents are the end nodes and the children the intermediate nodes. We introduce family trees as rooted binary trees and consider the problem of automatically drawing a family metro map for a given family tree without crossing line segments, where the successive nodes of a metro line are placed at equal distances. The inter-node distance may be chosen to depend on the generation of the family, such that metro lines of earlier generations are shown more prominently than metro lines of later generations. Jan H. M. Korst, Verus Pronk, Jarke J. van Wijk |
VINCI | 1 |
| 2020 | Improved metaheuristics for the quartet method of hierarchical clustering
Sergio Consoli, Jan H. M. Korst, Steffen Pauws, Gijs Geleijnse |
J. Glob. Optim. | 2 |
| 2012 | Enhanced Semantic TV-Show Representation for Personalized Electronic Program Guides
Cataldo Musto, Fedelucio Narducci, Pasquale Lops, Giovanni Semeraro, Marco de Gemmis, Mauro Barbieri, Jan H. M. Korst, Verus Pronk, Ramon Clout |
UMAP | 7 |
| 2010 | Integrating broadcast and web video content into personal tv channelsabstractDespite, or exactly because of the wealth of video content available on the Web, it is often cumbersome to obtain access to exactly the content you like. It is an active process of filtering and making choices, often requiring searches through long lists of alternatives. Verus Pronk, Mauro Barbieri, Jan H. M. Korst, Adolf Proidl |
RecSys | 3 |
| 2010 | Personalized Implicit Learning in a Music Recommender System
Suzana Kordumova, Ivana Kostadinovska, Mauro Barbieri, Verus Pronk, Jan H. M. Korst |
UMAP | 5 |
| 2010 | Heuristic Approaches for the Quartet Method of Hierarchical ClusteringabstractGiven a set of objects and their pairwise distances, we wish to determine a visual representation of the data. We use the quartet paradigm to compute a hierarchy of clusters of the objects. The method is based on an NP-hard graph optimization problem called the Minimum Quartet Tree Cost problem. This paper presents and compares several heuristic approaches to approximate the optimal hierarchy. The performance of the algorithms is tested through extensive computational experiments and it is shown that the Reduced Variable Neighborhood Search heuristic is the most effective approach to the problem, obtaining high-quality solutions in short computational running times. Sergio Consoli, Ken Darby-Dowman, Gijs Geleijnse, Jan H. M. Korst, Steffen Pauws |
IEEE Trans. Knowl. Data Eng. | 4 |
| 2009 | Candle in the woods: asymptotic bounds on minimum blocking setsabstractWe consider the problem of determining the minimum number Nd of unit disks that is required to block all rays emanating from a point P in the two-dimensional space, where each disk has at least a distance d to point P and to any other disk. We study the asymptotic behavior of Nd, as d tends to infinity. By deriving upper bounds and lower bounds, we prove that pi2/16 ≤ lim_{d -> infinity} N_d/d2 ≤ 18/pi2, where the upper bound is based on establishing an interesting link between unit disks positioned on a regular triangular grid and Farey sequences from number theory. By positioning point P as well as the centers of the disks on the grid points of such a triangular grid, we create hexagonal rings of disks around P. We prove that we need exactly d-1 of these hexagons to block all rays emanating from P. Natasa Jovanovic, Jan H. M. Korst, Ramon Clout, Verus Pronk, Ludo Tolhuizen |
SCG | 2 |
| 2007 | Algorithm 864: General and robot-packable variants of the three-dimensional bin packing problemabstractWe consider the problem of orthogonally packing a given set of rectangular-shaped boxes into the minimum number of three-dimensional rectangular bins. The problem is NP-hard in the strong sense and extremely difficult to solve in practice. We characterize relevant subclasses of packing and present an algorithm which is able to solve moderately large instances to optimality. Extensive computational experiments compare the algorithm for the three-dimensional bin packing when solving general orthogonal packings and when restricted to robot packings. Silvano Martello, David Pisinger, Daniele Vigo, Edgar den Boef, Jan H. M. Korst |
ACM Trans. Math. Softw. | 5 |
| 2003 | Approximation of a Retrieval Problem for Parallel Disks
Joep Aerts, Jan H. M. Korst, Frits C. R. Spieksma |
CIAC | 2 |
| 2003 | Performance Ratios for the Differencing Method Applied to the Balanced Number Partitioning Problem
Wil Michiels, Jan H. M. Korst, Emile H. L. Aarts, Jan van Leeuwen |
STACS | 2 |
| 2003 | Fast Concurrent Access to Parallel Disks
Peter Sanders 0001, Sebastian Egner, Jan H. M. Korst |
Algorithmica | 3 |
| 2003 | Complexity of min-max subsequence problems
Wil Michiels, Jan H. M. Korst |
Inf. Process. Lett. | 2 |
| 2003 | Random Redundant Storage in Disk Arrays: Complexity of Retrieval ProblemsabstractRandom redundant data storage strategies have proven to be a good choice for efficient data storage in multimedia servers. These strategies lead to a retrieval problem in which it is decided for each requested data block which disk to use for its retrieval. In this paper, we give a complexity classification of retrieval problems for random redundant storage. Joep Aerts, Jan H. M. Korst, Frits C. R. Spieksma, Wim F. J. Verhaegh, Gerhard J. Woeginger |
IEEE Trans. Computers | 2 |
| 2003 | On the Guaranteed Throughput of Multizone DisksabstractWe derive the guaranteed throughput of a multizone disk that repeatedly handles batches of n requests of constant size. Using this guaranteed throughput in the design of multimedia systems, one can admit more streams or get smaller buffer requirements and guaranteed response times than when an existing lower bound is used. We consider the case that nothing can be assumed about the location of the requests on the disk. Furthermore, we assume that successive batches are handled one after the other, where the n requests in a batch are retrieved using a SCAN-based sweep strategy. We show that we only have to consider two successive batches to determine the guaranteed throughput. Using this, we can compute the guaranteed throughput by determining a maximum-weighted path in a directed acyclic graph in O(z/sub max//sup 3/n/sup 2/) time, where z/sub max/ is the number of zones of the disk. Wil Michiels, Jan H. M. Korst, Joep Aerts |
IEEE Trans. Computers | 2 |
| 2001 | Comments on "carry-over round robin: a simple cell scheduling mechanism for ATM network"abstractSaha, Mukherjee, and Tripathi (see ibid., vol.6, no.6, p.779-796, 1998) present and analyze an ATM cell scheduling algorithm called carry-over round robin. Unfortunately, one of the basic lemmas in their paper, related to the performance of this algorithm, does not hold. This adversely affects the delay and fairness properties that they subsequently derive. To substantiate this, we describe carry-over round robin and present a counterexample to the lemma. We end with some concluding remarks. Verus Pronk, Jan H. M. Korst |
IEEE/ACM Trans. Netw. | 2 |
| 2000 | Fast concurrent access to parallel disks
Peter Sanders 0001, Sebastian Egner, Jan H. M. Korst |
SODA | 3 |
| 2000 | Random duplicate storage strategies for load balancing in multimedia servers
Joep Aerts, Jan H. M. Korst, Sebastian Egner |
Inf. Process. Lett. | 2 |
| 1998 | Comparing disk scheduling algorithms for VBR data streams
Jan H. M. Korst, Verus Pronk, Pascal Coumans, Giel van Doren, Emile H. L. Aarts |
Comput. Commun. | 1 |
| 1997 | Random Duplicated Assignment: An Alternative to Striping in Video ServersabstractAn approach is presented for storing video data in large disk arrays.Video data is stored by assigning a number of copies of each data block to different, randomly chosen disks, where the number of copies may depend on the popularity of the corresponding video data.The approach offers an interesting alternative to the well-known striping techniques.Its use results in smaller response times and lower disk and RAM costs if many continuous variablerate data streams have to be sustained simultaneously.It also offers some practical advantages relating to reliability and extendability.Based on this storage approach, three retrieval algorithms are presented that determine, for a given batch of data blocks, from which disk each of the data blocks should be retrieved.The performance of these algorithms is evaluated from an average-case as well as a worst-case perspective.key words: video serve< striping, disk array, RAID, multimedia, variable rate Pcnllissioll to 11wke dip,iMllnrd copies ofnll or pnr~ oflliis ~~a(erint ror personal or classroom use is granted without fre provided lhl the copi= me ~)ot made or distributed for profit or commrrcinl ad\~nnl~ge.the copyright notlc~, the title of he public;lIiot~ and its dnk nppenr.and notice is give11 ulnt copyright is by penllission 0~1hr ACM.IIIC.To copy ofllenvk to rcptd>lisll, lo post on servem or IO redislribtlle IO lists, reqrlirzs specific permission nnd/or fee.ACM h4ullimedin 97 ~%?C!ll/~ ~'f/nsll~/l~lW'l (I*$4 Jan H. M. Korst |
ACM Multimedia | 1 |
| 1997 | Scheduling Periodic Tasks with SlackabstractWe consider the problem of nonpreemptively scheduling periodic tasks on a minimum number of identical processors, assuming that some slack is allowed in the time between successive executions of a periodic task. We prove that the problem is NP-hard in the strong sense. Necessary and sufficient conditions are derived for scheduling two periodic tasks on a single processor, and for combining two periodic tasks into one larger task. Based on these results, we propose an approximation algorithm. Jan H. M. Korst, Emile H. L. Aarts, Jan Karel Lenstra |
INFORMS J. Comput. | 1 |
| 1996 | Scheduling Periodic TasksabstractWe consider the problem of nonpreemptively scheduling periodic tasks on a minimum number of processors, assuming that the tasks have to be executed strictly periodically. We show that the problem is NP-complete in the strong sense, even in the case of a single processor, but that it is solvable in polynomial time if the periods and execution times are divisible. The latter condition generalizes the situation in which all periods and execution times are powers of 2. We also propose an approximation algorithm, which is based on successively assigning tasks to processors according to some priority rule. Jan H. M. Korst, Emile H. L. Aarts, Jan Karel Lenstra |
INFORMS J. Comput. | 1 |
| 1996 | Storing Continuous-Media Data on a Compact Disc
Jan H. M. Korst, Verus Pronk |
Multim. Syst. | 1 |
| 1996 | The complexity of generalized retiming problemsabstractWe discuss the complexity of a number of high-level synthesis problems that can be viewed as generalizations of the classical retiming problem introduced by Leiserson and Saxe. The generalizations are concerned with additional degrees of freedom resulting from timefolding and multiplexing. The central problem is the design of multicycle and multifunctional processing units. This problem consists of two subproblems known as operator assignment and retiming. In this paper, we are primarily concerned with the construction of appropriate models and their complexity analysis. We show that both operator assignment and retiming are NP-hard in the presence of multiplexing or timefolding. We present a novel proof of the result obtained by Leiserson and Saxe, which states that retiming without multiplexing or timefolding can be solved in polynomial time. Babette van Antwerpen-de Fluiter, Emile H. L. Aarts, Jan H. M. Korst, Wim F. J. Verhaegh, Albert van der Werf |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. | 3 |
| 1995 | Improved force-directed scheduling in high-throughput digital signal processingabstractThis paper discusses improved force-directed scheduling and its application in the design of high-throughput DSP systems, such as real-time video VLSL circuits. We present a mathematical justification of the technique of force-directed scheduling, introduced by Paulin and Knight (1989), and we show how the algorithm can be used to find cost-effective time assignments and resource allocations, allowing trade-offs between processing units and memories. Furthermore, we present modifications that improve the effectiveness and the efficiency of the algorithm. The significance of the improvements is illustrated by an empirical performance analysis based on a number of problem instances.> Wim F. J. Verhaegh, Paul E. R. Lippens, Emile H. L. Aarts, Jan H. M. Korst, Jef L. van Meerbergen, Albert van der Werf |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. | 4 |
| 1994 | Periodic Assignment and Graph Colouring
Jan H. M. Korst, Emile H. L. Aarts, Jan Karel Lenstra, Jaap Wessels |
Discret. Appl. Math. | 1 |
| 1994 | Compact Disc Standards: An Introductory Overview
Jan H. M. Korst |
Multim. Syst. | 1 |
| 1992 | Efficiency improvements for force-directed schedulingabstractForce-directed scheduling is a technique which schedules operations under time constraints in order to achieve schedules with a minimum number of resources. The worst case time complexity of the algorithm is cubic in the number of operations. This is due to the computation of the changes in the distribution functions needed for the force calculations. An incremental way to compute the changes in the distribution functions, based on gradual time-frame reduction, is presented. This reduces the time complexity of the algorithm to quadratic in the number of operations, without any loss in effectiveness or generality of the algorithm. Implementations show a substantial CPU-time reduction of force-directed scheduling, which is illustrated by means of some industrially relevant examples.> Wim F. J. Verhaegh, Paul E. R. Lippens, Emile H. L. Aarts, Jan H. M. Korst, Albert van der Werf, Jef L. van Meerbergen |
ICCAD | 4 |
| 1991 | Scheduling in Programmable Video Signal ProcessorsabstractThe authors discuss the problem of mapping algorithms for real-time processing of digital video signals onto a fixed configuration of identical programmable video signal processors. Due to the periodic nature of the algorithms and the small periods that are involved, successive executions of the algorithm have to be interleaved in time. The resulting scheduling problem is mathematically modeled and examined. The authors present a novel solution approach that is based on a divide-and-conquer strategy using phase assignment as the central part. This approach has been implemented and it gives good results for industrially significant video applications. Specifically, the proposed approach has been implemented in only 1300 lines of C and has been applied to a number of problem instances, whose signal flow graphs originate from industrially relevant algorithms, including contour enhancement and progressive scan, noise reduction, 4:3 to 16:9 screen format conversion, and a very elaborate progressive scan algorithm.> Gerben Essink, Emile H. L. Aarts, R. van Dongen, Piet J. van Gerwen, Jan H. M. Korst, Kees A. Vissers |
ICCAD | 5 |
| 1991 | Architecture and Programming of a VLIW Style Programmable Video Signal ProcessorabstractThe architecture and programming aspects of a programmable video signal processor are discussed.The processor is an integrated circuit that has a modular architecture with a number of programmable, pipelined processing elements.Networks of these processors can be programmed conveniently with the aid of dedicated programming tools.In this paper the emphasis is on the scheduling of video algorithms and the micro code generation for a network of video signal processors.Due to the periodic nature of the video algorithms and the small periods that are involved, successive executions of the video algorithm have to be interleaved in time.We present a novel solution approach to the scheduling problem using phase assignment as the central part.Results of this approach are presented for industrially significant video applications. Gerben Essink, Emile H. L. Aarts, R. van Dongen, Piet J. van Gerwen, Jan H. M. Korst, Kees A. Vissers |
MICRO | 5 |
| 1991 | Boltzmann Machines as a Model for Parallel Annealing
Emile H. L. Aarts, Jan H. M. Korst |
Algorithmica | 2 |
| 1991 | An efficient macro-cell placement algorithm
Emile H. L. Aarts, Frans M. J. de Bont, Jan H. M. Korst, J. M. J. Rongen |
Integr. | 3 |
| 1989 | Combinatorial Optimization on a Boltzmann Machine
Jan H. M. Korst, Emile H. L. Aarts |
J. Parallel Distributed Comput. | 1 |
| 1989 | Computations in massively parallel networks based on the Boltzmann machine: a review
Emile H. L. Aarts, Jan H. M. Korst |
Parallel Comput. | 2 |