Søren B. Lassen
Affiliations:- Google Inc., Mountain View, CA, USA
According to our database1,
Søren B. Lassen
authored at least 14 papers
between 1997 and 2013.
Collaborative distances:
Collaborative distances:
Timeline
1998
2000
2002
2004
2006
2008
2010
2012
0
1
2
3
4
5
1
1
1
1
1
1
1
1
2
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on andrej.com
On csauthors.net:
Bibliography
2013
2009
Proceedings of the Semantics and Algebraic Specification, 2009
2008
Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008
2007
Proceedings of the Computer Science Logic, 21st International Workshop, 2007
2006
Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006
2005
Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005
Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005
2001
1999
Proceedings of the Third Workshop on Higher-Order Operational Techniques in Semantics, 1999
Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999
Proceedings of the Mathematical Foundations of Computer Science 1999, 1999
1997
Math. Struct. Comput. Sci., 1997
Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions.
Proceedings of the Second Workshop on Higher-Order Operational Techniques in Semantics, 1997