Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Don Sannella

Known as: Donald Sannella, Donald T. Sannella, Sannella 
Donald T. Sannella FRSE is professor of computer science in the Laboratory for Foundations of Computer Science, at the School of Informatics… Expand
Wikipedia

Related topics

Related topics

8 relations
Algebraic specificationComputer scienceExtended MLFormal methods
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Sample-Optimal Identity Testing with High Probability
We study the problem of testing identity against a given distribution (a.k.a. goodness-of-fit) with a focus on the high… Expand
Is this relevant?
Highly Cited
2012
Highly Cited
2012
Development and validation of the Interpersonal Emotion Management Scale
Interpersonal Emotion Management (IEM) strategies represent behaviours targeted at managing negative emotions in others. This… Expand
  • table 1
  • table 2
  • table 2
  • table 3
  • table 5
Is this relevant?
2011
2011
Thread Extraction for Polyadic Instruction Sequences
In this paper, we study the phenomenon that instruction sequences are split into fragments which somehow produce a joint… Expand
  • table 3
  • table 4
  • table 5
  • table 8
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Firm, strategic group, and industry influences on performance
A long-standing debate has focused on the extent to which different levels of analysis shape firm performance. The strategic… Expand
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Line drawings from 3D models
Nonphotorealistic rendering techniques, including line drawings, can be remarkably efficient at conveying shape and meaning with… Expand
  • figure 1.1
  • figure 1.2
  • figure 2.1
  • figure 2.2
  • figure 2.3
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Discovering Algebraic Specifications from Java Classes
We present and evaluate an automatic tool for extracting algebraic specifications from Java classes. Our tool maps a Java class… Expand
  • figure 1
  • figure 3
  • figure 4
  • table 1
  • table 2
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Collaboration Networks, Structural Holes, and Innovation: A Longitudinal Study
To assess the effects of a firm's network of relations on innovation, this paper elaborates a theoretical framework that relates… Expand
  • figure 1
  • table 1
  • table 2
  • table 2
  • figure 2
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Cooperative or Controlling? The Effects of CEO-Board Relations and the Content of Interlocks on the Formation of Joint Ventures
This study examines the influence of the social network of board interlocks on strategic alliance formation. Our theoretical… Expand
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Atmospheric inputs of dissolved organic nitrogen stimulate estuarine bacteria and phytoplankton
Atmospheric deposition is recognized as a potentially large source of inorganic nutrients to many ecosystems. In marine systems… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1990
Highly Cited
1990
An extended calculus of constructions
This thesis presents and studies a unifying theory of dependent types ECC Extended Calculus of Constructions. ECC integrates… Expand
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE