Soren B Lassen
Soren B Lassen
Member of Technical Staff, Uber
Verifierad e-postadress på uber.com
TitelCiteras avÅr
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
2272007
Multi-stage code generator and decoder for communication systems
MA Shokrollahi, S Lassen, M Luby
US Patent 7,068,729, 2006
180*2006
Systems and processes for decoding chain reaction codes through inactivation
MA Shokrollahi, S Lassen, R Karp
US Patent 6,856,263, 2005
131*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
1062007
Relational reasoning about functions and nondeterminism
SB Lassen
BRICS, 1998
981998
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
922013
Extract operator
SB Lassen, S Kunnatur, M Curtiss
US Patent 8,935,271, 2015
902015
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
88*2006
FEC-based reliability control protocols
M Luby, M Doucleff, A Wigderson, S Lassen
US Patent 7,447,235, 2008
69*2008
Relational reasoning about contexts
SB Lassen
Higher Order Operational Techniques in Semantics, 91, 1998
591998
A complete, co-inductive syntactic theory of sequential control and state
K Støvring, SB Lassen
ACM SIGPLAN Notices 42 (1), 161-172, 2007
522007
Google wave operational transformation
D Wang, A Mah, S Lassen
Whitepaper, Google Inc, 2010
502010
Eager normal form bisimulation
S Lassen
20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 345-354, 2005
472005
Systems and processes for fast encoding of hamming codes
MA Shokrollahi, S Lassen
US Patent 7,293,222, 2007
462007
Compilation and equivalence of imperative objects
AD Gordon, PD Hankin, SB Lassen
International Conference on Foundations of Software Technology and …, 1997
461997
Database Sharding with Update Layer
S Kunnatur, SB Lassen, M Curtiss, P Pronin
US Patent App. 13/899,305, 2014
452014
Typed normal form bisimulation
SB Lassen, PB Levy
International Workshop on Computer Science Logic, 283-297, 2007
402007
Typed normal form bisimulation for parametric polymorphism
SB Lassen, PB Levy
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 341-352, 2008
37*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
332001
An introduction to AN-2, the proposed new version of Action Notation
SB Lassen, PD Mosses, DA Watt
Proc. 3rd International Workshop on Action Semantics, 19-36, 2000
312000
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20