| Methods and apparatus for scheduling, serving, receiving media-on demand for clients, servers arranged according to constraints on resources G Horn, MG Luby, J Rasmussen, P Knudsgaard, S Lassen US Patent 7,240,358, 2007 | 231 | 2007 |
| Multi-stage code generator and decoder for communication systems MA Shokrollahi, S Lassen, M Luby US Patent 7,068,729, 2006 | 171* | 2006 |
| Systems and processes for decoding chain reaction codes through inactivation MA Shokrollahi, S Lassen, R Karp US Patent 6,856,263, 2005 | 154* | 2005 |
| Unicorn: A system for searching the social graph M Curtiss, I Becker, T Bosman, S Doroshenko, L Grijincu, T Jackson, ... Proceedings of the VLDB Endowment 6 (11), 1150-1161, 2013 | 118 | 2013 |
| Relational reasoning about functions and nondeterminism SB Lassen BRICS, 1998 | 116 | 1998 |
| System and method for reliably communicating the content of a live data stream J Rasmussen, A Shokrollahi, S Lassen, G Horn, V Goyal, B Dobyns, ... US Patent 7,249,291, 2007 | 115 | 2007 |
| Scheduling of multiple files for serving on a server S Lassen, G Horn, JJ Persch, A Haken, MG Luby US Patent 7,072,971, 2006 | 91* | 2006 |
| Extract operator SB Lassen, S Kunnatur, M Curtiss US Patent 8,935,271, 2015 | 90 | 2015 |
| Database sharding with update layer S Kunnatur, SB Lassen, M Curtiss, P Pronin US Patent 10,977,229, 2021 | 84 | 2021 |
| FEC-based reliability control protocols M Luby, M Doucleff, A Wigderson, S Lassen US Patent 7,447,235, 2008 | 72* | 2008 |
| Relational reasoning about contexts SB Lassen Higher order operational techniques in semantics 91, 1998 | 70 | 1998 |
| Eager normal form bisimulation S Lassen 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 345-354, 2005 | 64 | 2005 |
| A complete, co-inductive syntactic theory of sequential control and state K Støvring, SB Lassen ACM SIGPLAN Notices 42 (1), 161-172, 2007 | 58 | 2007 |
| Google wave operational transformation D Wang, A Mah, S Lassen Whitepaper, Google Inc, 2010 | 54 | 2010 |
| Typed normal form bisimulation SB Lassen, PB Levy International Workshop on Computer Science Logic, 283-297, 2007 | 50 | 2007 |
| Compilation and equivalence of imperative objects AD Gordon, PD Hankin, SB Lassen International Conference on Foundations of Software Technology and …, 1997 | 49 | 1997 |
| Systems and processes for fast encoding of hamming codes MA Shokrollahi, S Lassen US Patent 7,293,222, 2007 | 47 | 2007 |
| Typed normal form bisimulation for parametric polymorphism SB Lassen, PB Levy 2008 23rd Annual IEEE Symposium on Logic in Computer Science, 341-352, 2008 | 43 | 2008 |
| Bisimulation in Untyped Lambda Calculus:: Böhm Trees and Bisimulation up to Context SB Lassen Electronic Notes in Theoretical Computer Science 20, 346-374, 1999 | 43 | 1999 |
| A scalable and reliable paradigm for media on demand GB Horn, P Knudsgaard, SB Lassen, M Luby, JE Rasmussen Computer 34 (9), 40-45, 2001 | 34 | 2001 |
Paul Blain LevySenior Lecturer, University of BirminghamVerified email at cs.bham.ac.uk
