| 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 | 237 | 2007 |
| Multi-stage code generator and decoder for communication systems MA Shokrollahi, S Lassen, M Luby US Patent 7,068,729, 2006 | 177* | 2006 |
| Systems and processes for decoding chain reaction codes through inactivation MA Shokrollahi, S Lassen, R Karp US Patent 6,856,263, 2005 | 167* | 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 | 138 | 2013 |
| Relational reasoning about functions and nondeterminism SB Lassen BRICS, 1998 | 125 | 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 | 123 | 2007 |
| Extract operator SB Lassen, S Kunnatur, M Curtiss US Patent 8,935,271, 2015 | 98 | 2015 |
| 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 | 98* | 2006 |
| Relational reasoning about contexts SB Lassen Higher order operational techniques in semantics 91, 1998 | 77 | 1998 |
| Eager normal form bisimulation S Lassen 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 345-354, 2005 | 76 | 2005 |
| FEC-based reliability control protocols M Luby, M Doucleff, A Wigderson, S Lassen US Patent 7,447,235, 2008 | 75* | 2008 |
| A complete, co-inductive syntactic theory of sequential control and state K Støvring, SB Lassen ACM SIGPLAN Notices 42 (1), 161-172, 2007 | 65 | 2007 |
| Google wave operational transformation D Wang, A Mah, S Lassen Whitepaper, Google Inc, 2010 | 57 | 2010 |
| Typed normal form bisimulation SB Lassen, PB Levy International Workshop on Computer Science Logic, 283-297, 2007 | 56 | 2007 |
| 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 | 50 | 1999 |
| Compilation and equivalence of imperative objects AD Gordon, PD Hankin, SB Lassen International Conference on Foundations of Software Technology and …, 1997 | 50 | 1997 |
| Systems and processes for fast encoding of hamming codes MA Shokrollahi, S Lassen US Patent 7,293,222, 2007 | 49 | 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 | 45 | 2008 |
| 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 | 38 | 2001 |
| Ranking External Content Using Social Signals on Online Social Networks LT Mashiach, MY Rothschild, EC Stock, SB Lassen, M Talwar US Patent App. 14/640,461, 2016 | 35 | 2016 |
Paul Blain LevySenior Lecturer, University of BirminghamVerified email at cs.bham.ac.uk
