Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 210,103,937 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Algebraic specification
Computer science
Extended ML
Formal methods
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
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
S. Hansen
,
Cassandra Vieville
,
+12 authors
L. Picker
Nature Network Boston
2011
Corpus ID: 27990534
Scott G Hansen, Cassandra Vieville, Nathan Whizin, Lia Coyne-Johnson, Don C Siess, Derek D Drummond, Alfred W Legasse, Michael K…
Expand
2011
2011
Thread Extraction for Polyadic Instruction Sequences
J. Bergstra
,
K. Middelburg
Scientific Annals of Computer Science
2011
Corpus ID: 431
In this paper, we study the phenomenon that instruction sequences are split into fragments which somehow produce a joint…
Expand
Highly Cited
2007
Highly Cited
2007
Firm, strategic group, and industry influences on performance
J. Short
,
D. Ketchen
,
Timothy B. Palmer
,
G. Hult
2007
Corpus ID: 8273333
A long-standing debate has focused on the extent to which different levels of analysis shape firm performance. The strategic…
Expand
Review
2003
Review
2003
QUANTITATIVE AND QUALITATIVE METHODOLOGY FUSION IN AN INVESTIGATION OF PERCEPTIONS OF TRANSIT SAFETY
J. Perone
,
L. Tucker
2003
Corpus ID: 61876957
Integrating quantitative and qualitative approaches to transit research provides an innovative tool in both determining and…
Expand
Highly Cited
2000
Highly Cited
2000
Collaboration Networks, Structural Holes, and Innovation: A Longitudinal Study
G. Ahuja
2000
Corpus ID: 36475652
To assess the effects of a firm's network of relations on innovation, this paper elaborates a theoretical framework that relates…
Expand
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
R. Gulati
,
James D. Westphal
1999
Corpus ID: 17719505
This study examines the influence of the social network of board interlocks on strategic alliance formation. Our theoretical…
Expand
Highly Cited
1998
Highly Cited
1998
A method for crystallographic texture investigations using standard x-ray equipment
M. Vaudin
,
M. Rupich
,
M. Jowett
,
G. N. Riley
,
J. Bingert
1998
Corpus ID: 55885406
A fast and accurate method has been developed for measuring crystalline texture in homogeneous materials. The method uses a…
Expand
Highly Cited
1998
Highly Cited
1998
Dna Computing: New Computing Paradigms (Texts In Theoretical Computer Science. An Eatcs Series)
G. Paun
,
G. Rozenberg
,
A. Salomaa
1998
Corpus ID: 59823651
dna computing new computing paradigms texts in theoretical dna computing new computing paradigms texts in theoretical dna…
Expand
Review
1995
Review
1995
Phase Transitions in Colloidal Suspensions of Virus Particles
S. Fraden
1995
Corpus ID: 18924388
Colloidal liquid crystals are a useful experimental system for studying fundamental aspects of liquid crystal ordering, because…
Expand
1994
1994
Sifting out the gold: delivering compact applications from an exploratory object-oriented programming environment
Ole Agesen
,
D. Ungar
Conference on Object-Oriented Programming Systems…
1994
Corpus ID: 8762540
Integrated, dynamically-typed object-oriented programming environments offer many advantages, but have trouble producing small…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE