关注
Soren B Lassen
Soren B Lassen
未知所在单位机构
没有经过验证的电子邮件地址
标题
引用次数
引用次数
年份
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
2372007
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
166*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
1352013
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
1232007
Relational reasoning about functions and nondeterminism
SB Lassen
BRICS, 1998
1231998
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
Extract operator
SB Lassen, S Kunnatur, M Curtiss
US Patent 8,935,271, 2015
972015
FEC-based reliability control protocols
M Luby, M Doucleff, A Wigderson, S Lassen
US Patent 7,447,235, 2008
75*2008
Eager normal form bisimulation
S Lassen
20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 345-354, 2005
752005
Relational reasoning about contexts
SB Lassen
Higher order operational techniques in semantics 91, 1998
751998
A complete, co-inductive syntactic theory of sequential control and state
K Støvring, SB Lassen
ACM SIGPLAN Notices 42 (1), 161-172, 2007
632007
Typed normal form bisimulation
SB Lassen, PB Levy
International Workshop on Computer Science Logic, 283-297, 2007
562007
Google wave operational transformation
D Wang, A Mah, S Lassen
Whitepaper, Google Inc, 2010
552010
Compilation and equivalence of imperative objects
AD Gordon, PD Hankin, SB Lassen
International Conference on Foundations of Software Technology and …, 1997
501997
Systems and processes for fast encoding of hamming codes
MA Shokrollahi, S Lassen
US Patent 7,293,222, 2007
492007
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
491999
Typed normal form bisimulation for parametric polymorphism
SB Lassen, PB Levy
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 341-352, 2008
452008
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
372001
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
352016
系统目前无法执行此操作,请稍后再试。
文章 1–20