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.
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
Highly Cited
2011
Highly Cited
2011
Addendum: Effector memory T cell responses are associated with protection of rhesus monkeys from mucosal simian immunodeficiency virus challenge
Scott G Hansen, Cassandra Vieville, Nathan Whizin, Lia Coyne-Johnson, Don C Siess, Derek D Drummond, Alfred W Legasse, Michael K… Expand
  • table 1
  • figure 1
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
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
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
Review
2003
Review
2003
QUANTITATIVE AND QUALITATIVE METHODOLOGY FUSION IN AN INVESTIGATION OF PERCEPTIONS OF TRANSIT SAFETY
Integrating quantitative and qualitative approaches to transit research provides an innovative tool in both determining and… Expand
  • table 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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
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
Highly Cited
1998
Highly Cited
1998
Dna Computing: New Computing Paradigms (Texts In Theoretical Computer Science. An Eatcs Series)
dna computing new computing paradigms texts in theoretical dna computing new computing paradigms texts in theoretical dna… Expand
Highly Cited
1990
Highly Cited
1990
A Semi-Functional Implementation of a Higher-Order Logic Programming Language
In this chapter we develop an interpreter of a higher-order constraint logic programming language in Standard ML (SML). The logic… Expand
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