Søren B. Lassen - Concepedia

Author

Søren B. Lassen

Google (United States)

Also Known As

S. B. LASSEN, S. B. Lassen, S. Lassen, S.B. Lassen, Soren B. Lassen, Soren Lassen, SØREN B. LASSEN, Søren B. Lassen

Publications

695

Citations

H-Index

Concepts

All Affiliations

Google (United States)Aarhus University University of Cambridge

About

Søren B. Lassen is an author at Google (United States) specializing in engineering, formal methods, and automated reasoning.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	10	10	287
2	Computer Science	5	5	126
3	Language Studies	2	2	63
4	Arts	1	1	24
5	Communication	1	1	24

Søren B. Lassen

Publications

363

Citations

H-Index

Page 1

	Year	Citations
Relational Reasoning about Functions and Nondeterminism Søren B. Lassen, Olivier Danvy, Glynn Winskel,	1999	76
Eager Normal Form Bisimulation Søren B. Lassen EngineeringNew Bisimulation EquivalencesType TheoryFormal MethodsEnf Bisimilarity	2006	57
Bisimulation in Untyped Lambda Calculus: Søren B. Lassen Electronic Notes in Theoretical Computer Science Normal FormsTree LanguageUntyped Lambda CalculusEngineeringAutomated Reasoning	1999	42
Typed Normal Form Bisimulation for Parametric Polymorphism Søren B. Lassen, Paul Blain Levy Proceedings - Symposium on Logic in Computer Science Typed Lambda CalculiEngineeringAutomated ReasoningProgram AnalysisType Theory	2008	40
A complete, co-inductive syntactic theory of sequential control and state Kristian Støvring, Søren B. Lassen SyntaxEngineeringAutomated ReasoningGrammatical FormalismComputational Linguistics	2007	34
A complete, co-inductive syntactic theory of sequential control and state Kristian Støvring, Søren B. Lassen ACM SIGPLAN Notices EngineeringType TheoryChomsky HierarchySyntactic StructureFormal Verification	2007	29
A scalable and reliable paradigm for media on demand G.B. Horn, P. Knudsgaard, Søren B. Lassen, Computer EngineeringError Control TechniqueStreaming MediaCommunicationMedia Studies	2001	24
Head Normal Form Bisimulation for Pairs and the \lambda\mu-Calculus Søren B. Lassen Mathematical ProgrammingEngineeringEta ExpansionAutomated ReasoningBohm Tree Equivalence	2006	16
Compilation and Equivalence of Imperative Objects Andrew Gordon, Paul D. Hankin, Søren B. Lassen BRICS Report Series EngineeringCompiler TechnologyClosure-based Operational SemanticsSoftware AnalysisFormal Verification	1997	16
Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions (Extended Abstract) Søren B. Lassen, Corin Pitcher Electronic Notes in Theoretical Computer Science EngineeringComputational Model TheoryCountable Non-determinismComputational ComplexityHigher-order Functions	1998	15

Page 1