The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Søren B. Lassen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen
    Compilation and Equivalence of Imperative Objects. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1997, pp:74-87 [Conf]
  2. Søren B. Lassen
    Head Normal Form Bisimulation for Pairs and the \lambda\mu-Calculus. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:297-306 [Conf]
  3. Søren B. Lassen, Andrew Moran
    Unique Fixed Point Induction for McCarthy's Amb. [Citation Graph (0, 0)][DBLP]
    MFCS, 1999, pp:198-208 [Conf]
  4. Kristian Støvring, Søren B. Lassen
    A complete, co-inductive syntactic theory of sequential control and state. [Citation Graph (0, 0)][DBLP]
    POPL, 2007, pp:161-172 [Conf]
  5. Gavin B. Horn, Per Knudsgaard, Søren B. Lassen, Michael Luby, Jens Eilstrup Rasmussen
    A Scalable and Reliable Paradigm for Media on Demand. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2001, v:34, n:9, pp:40-45 [Journal]
  6. Søren B. Lassen
    Normal Form Simulation for McCarthy's Amb. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:445-465 [Journal]
  7. Søren B. Lassen, Corin Pitcher
    Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
  8. Andrew Moran, Søren B. Lassen, Simon L. Peyton Jones
    Imprecise Exceptions, Co-Inductively. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:26, n:, pp:- [Journal]
  9. Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen
    Compilation and Equivalence of Imperative Objects. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1999, v:9, n:4, pp:373-426 [Journal]
  10. Søren B. Lassen
    Action Semantics Reasoning about Functional Programs. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1997, v:7, n:5, pp:557-589 [Journal]
  11. Søren B. Lassen, Paul Blain Levy
    Typed Normal Form Bisimulation. [Citation Graph (0, 0)][DBLP]
    CSL, 2007, pp:283-297 [Conf]

  12. A Complete, Co-inductive Syntactic Theory of Sequential Control and State. [Citation Graph (, )][DBLP]


  13. Typed Normal Form Bisimulation for Parametric Polymorphism. [Citation Graph (, )][DBLP]


Search in 0.001secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002