Title	Publication Date	Language	Citations
The log-structured merge-tree (LSM-tree)	1996/06/01	English	337
Subtyping for session types in the pi calculus	2005/10/11	English	120
Machine scheduling with availability constraints	1998/09/01		109
A bi-criterion single-machine scheduling problem with learning considerations	2004/02/01		84
Refinement of actions and equivalence notions for concurrent systems	2001/01/01		71
A survey of stream processing	1997/07/14		70
A theory of bisimulation for the π-calculus	1996/02/01	English	66
Distance measures for point sets and their computation	1997/02/01		56
Hybridization methods for the analysis of nonlinear systems	2007/01/20	English	50
Fundamentals of control flow in workflows	2003/03/01		50
A decision procedure for propositional projection temporal logic with infinite models	2007/11/20	English	45
Networks of evolutionary processors	2003/06/01	English	36
DNA computing, sticker systems, and universality	1998/05/01		35
Minimum feedback vertex sets in cocomparability graphs and convex bipartite graphs	1997/05/06		35
Bin stretching revisited	2003/02/01		34
M/M/1 retrial queue with working vacations	2009/12/13	English	34
Decidability of model checking for infinite-state concurrent systems	1997/02/01		34
Efficient and secure attribute-based signature for monotone predicates	2016/05/23	English	32
Canonical prefixes of Petri net unfoldings	2003/10/01		29
Timing and causality in process algebra	1996/06/01	English	29
Efficient systematic clustering method for k-anonymization	2011/01/12	English	28
Single machine scheduling with deadlines and increasing rates of processing times	2000/04/01		27
Memory requirements for silent stabilization	1999/10/01		27
Solving HPP and SAT by P Systems with Active Membranes and Separation Rules	2006/06/27	English	27
Multi-letter quantum finite automata: decidability of the equivalence and minimization of states	2011/08/01	English	26
The synthesis problem of Petri nets	1996/06/01	English	25
Membrane systems with promoters/inhibitors	2002/09/01		25
Trading polarizations for labels in P systems with active membranes	2004/12/01	English	25
Online square and cube packing	2005/07/08	English	24
Semantic foundations of 4NF in relational database design	1999/03/01		23