Søren B. Lassen

Publication Activity (10 Years)

Years Active: 1997-2013
Publications (10 Years): 0

Top Topics

Social Influence

Top Venues

Proc. VLDB Endow.

Publications

Michael Curtiss, Iain Becker, Tudor Bosman, Sergey Doroshenko, Lucian Grijincu, Tom Jackson, Sandhya Kunnatur, Søren B. Lassen, Philip Pronin, Sriram Sankar, Guanghao Shen, Gintaras Woss, Chao Yang, Ning Zhang
Unicorn: A System for Searching the Social Graph. Proc. VLDB Endow. 6 (11) (2013)
Kristian Støvring, Søren B. Lassen
A Complete, Co-inductive Syntactic Theory of Sequential Control and State. Semantics and Algebraic Specification (2009)
Søren B. Lassen, Paul Blain Levy
Typed Normal Form Bisimulation for Parametric Polymorphism. LICS (2008)
Kristian Støvring, Søren B. Lassen
A complete, co-inductive syntactic theory of sequential control and state. POPL (2007)
Søren B. Lassen, Paul Blain Levy
Typed Normal Form Bisimulation. CSL (2007)
Søren B. Lassen
Head Normal Form Bisimulation for Pairs and the \lambda\mu-Calculus. LICS (2006)
Søren B. Lassen
Normal Form Simulation for McCarthy's Amb. MFPS (2005)
Søren B. Lassen
Eager Normal Form Bisimulation. LICS (2005)
Gavin B. Horn, Per Knudsgaard, Søren B. Lassen, Michael Luby, Jens Eilstrup Rasmussen
A Scalable and Reliable Paradigm for Media on Demand. Computer 34 (9) (2001)
Søren B. Lassen, Andrew Moran
Unique Fixed Point Induction for McCarthy's Amb. MFCS (1999)
Andrew Moran, Søren B. Lassen, Simon L. Peyton Jones
Imprecise Exceptions, Co-Inductively. Electron. Notes Theor. Comput. Sci. 26 (1999)
Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen
Compilation and Equivalence of Imperative Objects. J. Funct. Program. 9 (4) (1999)
Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen
Compilation and Equivalence of Imperative Objects. FSTTCS (1997)
Søren B. Lassen
Action Semantics Reasoning about Functional Programs. Math. Struct. Comput. Sci. 7 (5) (1997)
Søren B. Lassen, Corin Pitcher
Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions. Electron. Notes Theor. Comput. Sci. 10 (1997)