| 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 | 226 | 2007 |
| Multi-stage code generator and decoder for communication systems MA Shokrollahi, S Lassen, M Luby US Patent 7,068,729, 2006 | 184* | 2006 |
| Systems and processes for decoding chain reaction codes through inactivation MA Shokrollahi, S Lassen, R Karp US Patent 6,856,263, 2005 | 147* | 2005 |
| 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 | 113 | 2007 |
| 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 | 108 | 2013 |
| Relational reasoning about functions and nondeterminism SB Lassen BRICS, 1998 | 108 | 1998 |
| 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 | 89* | 2006 |
| Extract operator SB Lassen, S Kunnatur, M Curtiss US Patent 8,935,271, 2015 | 83 | 2015 |
| FEC-based reliability control protocols M Luby, M Doucleff, A Wigderson, S Lassen US Patent 7,447,235, 2008 | 68* | 2008 |
| Relational reasoning about contexts SB Lassen Higher Order Operational Techniques in Semantics 91, 1998 | 66 | 1998 |
| Database Sharding with Update Layer S Kunnatur, SB Lassen, M Curtiss, P Pronin US Patent App. 13/899,305, 2014 | 65 | 2014 |
| A complete, co-inductive syntactic theory of sequential control and state K Støvring, SB Lassen ACM SIGPLAN Notices 42 (1), 161-172, 2007 | 55 | 2007 |
| Eager normal form bisimulation S Lassen 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 345-354, 2005 | 55 | 2005 |
| Google wave operational transformation D Wang, A Mah, S Lassen Whitepaper, Google Inc, 2010 | 52 | 2010 |
| Systems and processes for fast encoding of hamming codes MA Shokrollahi, S Lassen US Patent 7,293,222, 2007 | 47 | 2007 |
| Compilation and equivalence of imperative objects AD Gordon, PD Hankin, SB Lassen International Conference on Foundations of Software Technology and …, 1997 | 47 | 1997 |
| Typed normal form bisimulation SB Lassen, PB Levy International Workshop on Computer Science Logic, 283-297, 2007 | 46 | 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 | 42 | 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 | 39 | 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
