en
de
Local
OpenID
:
no help available
no help available
BibSonomy
author
tag
user
group
author
concept
BibTeX key
search:all
::
Donaldson
::
The blue social bookmark and publication sharing system.
sign in
home
groups
popular
posts
tags
authors
concepts
discussions
actions for all displayed bookmarks:
export:
RSS
,
BibTeX
,
XML
sort:
criterion:
date
,
title
order:
ascending
,
descending
others:
bookmarks per page:
5
10
20
50
100
bookmarks
actions for all displayed publications:
export:
RSS
,
BibTeX
,
RDF
,
more...
sort:
criterion:
date
,
title
order:
ascending
,
descending
advanced...
others:
publications per page:
5
10
20
50
100
publications
(298)
tags
dblp
imported
JRR,
CCP
myown
mem
Serotyping,
Infant,
Techniques,
Bacterial,
k-induction
trade
Ethics
Meningococcal
Infections,
Population
gains
Antibodies,
Child,
Bacterial
Vaccines,
Humans,
Preschool,
Adult,
Immunosorbent
database
Assay,
Bevölkerungsentwicklung
Montana,
nuclear
induction
Resonance
resonance;
Betriebspsychologie
gas
dataset
ratio
verification
eaton
rotation;
ricardo
magnetic
pfc
Non-P.
choice
U.
Unternehmensführung
kortum
Population_policy
No matching items.
What Goods Do Countries Trade? A Quantitative Exploration of Ricardo's Ideas
Arnaud Costinot
,
Dave Donaldson
, and
Ivana Komunjer
.
Working Paper,
16262.
National Bureau of Economic Research,
(
August 2010
)
Arnaud Costinot
,
Dave Donaldson
, and
Ivana Komunjer
.
Working Paper,
16262.
National Bureau of Economic Research,
(
August 2010
)
2 months and 18 days ago
by
jp
1
gravity
nested_ces
ricardo
gains
trade
eaton
kortum
firms
heterogeneous
gravity
nested_ces
ricardo
gains
trade
eaton
kortum
firms
heterogeneous
URL
DOI
TeX
Railroads of the Raj: Estimating the Impact of Transportation Infrastructure
Dave Donaldson
.
Working Paper,
16487.
National Bureau of Economic Research,
(
October 2010
)
Dave Donaldson
.
Working Paper,
16487.
National Bureau of Economic Research,
(
October 2010
)
2 months and 18 days ago
by
jp
1
gains
trade
costs
gains
trade
costs
URL
DOI
TeX
A survey of protein interaction data and multigenic inherited disorders.
Antonio Mora
,
Katerina Michalickova
, and
Ian M. Donaldson
.
BMC Bioinformatics
(
2013
)
Antonio Mora
,
Katerina Michalickova
, and
Ian M. Donaldson
.
BMC Bioinformatics
(
2013
)
3 months and 4 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels.
Peter Collingbourne
,
Alastair F. Donaldson
,
Jeroen Ketema
, and
Shaz Qadeer
.
ESOP,
volume 7792 of Lecture Notes in Computer Science,
page 270-289.
Springer,
(
2013
)
Peter Collingbourne
,
Alastair F. Donaldson
,
Jeroen Ketema
, and
Shaz Qadeer
.
ESOP,
volume 7792 of Lecture Notes in Computer Science,
page 270-289.
Springer,
(
2013
)
3 months and 6 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
CS/IT outreach from a Canadian perspective.
Daryl H. Hepting
,
Gerry Donaldson
,
Peter R. King
, and
Danny Silver
.
SIGITE Conference,
page 251-252.
ACM,
(
2012
)
Daryl H. Hepting
,
Gerry Donaldson
,
Peter R. King
, and
Danny Silver
.
SIGITE Conference,
page 251-252.
ACM,
(
2012
)
3 months and 7 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs Extended Technical Report
Alastair F. Donaldson
,
Alexander Kaiser 0001
,
Daniel Kroening
, and
Thomas Wahl
.
CoRR
(
2011
)
Alastair F. Donaldson
,
Alexander Kaiser 0001
,
Daniel Kroening
, and
Thomas Wahl
.
CoRR
(
2011
)
4 months and 2 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Counterexample-guided abstraction refinement for symmetric concurrent programs.
Alastair F. Donaldson
,
Alexander Kaiser 0001
,
Daniel Kroening
,
Michael Tautschnig
, and
Thomas Wahl
.
Formal Methods in System Design
41(1):25-44
(
2012
)
Alastair F. Donaldson
,
Alexander Kaiser 0001
,
Daniel Kroening
,
Michael Tautschnig
, and
Thomas Wahl
.
Formal Methods in System Design
41(1):25-44
(
2012
)
4 months and 2 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs.
Alastair F. Donaldson
,
Alexander Kaiser 0001
,
Daniel Kroening
, and
Thomas Wahl
.
CAV,
volume 6806 of Lecture Notes in Computer Science,
page 356-371.
Springer,
(
2011
)
Alastair F. Donaldson
,
Alexander Kaiser 0001
,
Daniel Kroening
, and
Thomas Wahl
.
CAV,
volume 6806 of Lecture Notes in Computer Science,
page 356-371.
Springer,
(
2011
)
4 months and 2 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
satabs: A Bit-Precise Verifier for C Programs - Competition Contribution.
Gérard Basler
,
Alastair F. Donaldson
,
Alexander Kaiser 0001
,
Daniel Kroening
,
Michael Tautschnig
, and
Thomas Wahl
.
TACAS,
volume 7214 of Lecture Notes in Computer Science,
page 552-555.
Springer,
(
2012
)
Gérard Basler
,
Alastair F. Donaldson
,
Alexander Kaiser 0001
,
Daniel Kroening
,
Michael Tautschnig
, and
Thomas Wahl
.
TACAS,
volume 7214 of Lecture Notes in Computer Science,
page 552-555.
Springer,
(
2012
)
4 months and 2 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
The Biomolecular Interaction Network Database and related tools 2005 update.
C. Alfarano
,
C. E. Andrade
,
K. Anthony
,
N. Bahroos
,
M. Bajec
,
K. Bantoft
,
Doron Betel
,
B. Bobechko
,
K. Boutilier
,
E. Burgess
,
K. Buzadzija
,
R. Cavero
,
C. D'Abreo
,
Ian M. Donaldson
,
D. Dorairajoo
,
M. J. Dumontier
,
M. R. Dumontier
,
V. Earles
,
R. Farrall
,
Howard J. Feldman
,
E. Garderman
,
Y. Gong
,
R. Gonzaga
,
V. Grytsan
,
E. Gryz
,
V. Gu
,
E. Haldorsen
,
A. Halupa
,
R. Haw
,
A. Hrvojic
,
L. Hurrell
,
Ruth Isserlin
,
F. Jack
,
F. Juma
,
A. Khan
,
T. Kon
,
S. Konopinsky
,
V. Le
,
E. Lee
,
S. Ling
,
M. Magidin
,
J. Moniakis
,
J. Montojo
,
S. Moore
,
B. Muskat
,
I. Ng
,
J. P. Paraiso
,
B. Parker
,
Greg Pintilie
,
R. Pirone
,
John J. Salama
,
S. Sgro
,
T. Shan
,
Y. Shu
,
J. Siew
,
D. Skinner
,
Kevin A. Snyder
,
R. Stasiuk
,
D. Strumpf
,
Brigitte Tuekam
,
S. Tao
,
Z. Wang
,
M. White
,
R. Willis
,
Cheryl Wolting
,
S. Wong
,
A. Wrong
,
C. Xin
,
R. Yao
,
B. Yates
,
Shudong Zhang
,
K. Zheng
,
Tony Pawson
,
B. F. Francis Ouellette
, and
Christopher W. V. Hogue
.
Nucleic Acids Research
33(Database-Issue):418-424
(
2005
)
C. Alfarano
,
C. E. Andrade
,
K. Anthony
,
N. Bahroos
,
M. Bajec
,
K. Bantoft
,
Doron Betel
,
B. Bobechko
,
K. Boutilier
,
E. Burgess
,
K. Buzadzija
,
R. Cavero
,
C. D'Abreo
,
Ian M. Donaldson
,
D. Dorairajoo
,
M. J. Dumontier
,
M. R. Dumontier
,
V. Earles
,
R. Farrall
,
Howard J. Feldman
,
E. Garderman
,
Y. Gong
,
R. Gonzaga
,
V. Grytsan
,
E. Gryz
,
V. Gu
,
E. Haldorsen
,
A. Halupa
,
R. Haw
,
A. Hrvojic
,
L. Hurrell
,
Ruth Isserlin
,
F. Jack
,
F. Juma
,
A. Khan
,
T. Kon
,
S. Konopinsky
,
V. Le
,
E. Lee
,
S. Ling
,
M. Magidin
,
J. Moniakis
,
J. Montojo
,
S. Moore
,
B. Muskat
,
I. Ng
,
J. P. Paraiso
,
B. Parker
,
Greg Pintilie
,
R. Pirone
,
John J. Salama
,
S. Sgro
,
T. Shan
,
Y. Shu
,
J. Siew
,
D. Skinner
,
Kevin A. Snyder
,
R. Stasiuk
,
D. Strumpf
,
Brigitte Tuekam
,
S. Tao
,
Z. Wang
,
M. White
,
R. Willis
,
Cheryl Wolting
,
S. Wong
,
A. Wrong
,
C. Xin
,
R. Yao
,
B. Yates
,
Shudong Zhang
,
K. Zheng
,
Tony Pawson
,
B. F. Francis Ouellette
, and
Christopher W. V. Hogue
.
Nucleic Acids Research
33(Database-Issue):418-424
(
2005
)
4 months and 13 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Effects of protein interaction data integration, representation and reliability on the use of network properties for drug target prediction.
Antonio Mora
, and
Ian M. Donaldson
.
BMC Bioinformatics
(
2012
)
Antonio Mora
, and
Ian M. Donaldson
.
BMC Bioinformatics
(
2012
)
4 months and 22 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Performance analysis of CSMA with priority acknowledgments CSMA/PA on noisy data networks with finite user population.
John O. Onunga
, and
Robert W. Donaldson
.
IEEE Transactions on Communications
39(7):1088-1096
(
1991
)
John O. Onunga
, and
Robert W. Donaldson
.
IEEE Transactions on Communications
39(7):1088-1096
(
1991
)
5 months and 7 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A Computational Theory of Turn-Taking.
Toby Donaldson
.
AAAI/IAAI, Vol. 2,
page 1362.
AAAI Press / The MIT Press,
(
1996
)
Toby Donaldson
.
AAAI/IAAI, Vol. 2,
page 1362.
AAAI Press / The MIT Press,
(
1996
)
5 months and 15 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Automatic Verification of Message-Based Device Drivers
Sidney Amani
,
Peter Chubb
,
Alastair F. Donaldson
,
Alexander Legg
,
Leonid Ryzhyk
, and
Yanjin Zhu
.
SSV,
volume 102 of EPTCS,
page 4-17.
(
2012
)
Sidney Amani
,
Peter Chubb
,
Alastair F. Donaldson
,
Alexander Legg
,
Leonid Ryzhyk
, and
Yanjin Zhu
.
SSV,
volume 102 of EPTCS,
page 4-17.
(
2012
)
5 months and 22 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A fast passive phase shift keying modulator for inductively coupled implanted medical devices.
Dominik Cirmirakis
,
Dai Jiang
,
Andreas Demosthenous
,
Nick Donaldson
, and
Timothy Perkins
.
ESSCIRC,
page 301-304.
IEEE,
(
2012
)
Dominik Cirmirakis
,
Dai Jiang
,
Andreas Demosthenous
,
Nick Donaldson
, and
Timothy Perkins
.
ESSCIRC,
page 301-304.
IEEE,
(
2012
)
6 months and 11 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
An implantable 3-D vestibular stimulator with neural recording.
Dai Jiang
,
Andreas Demosthenous
,
Timothy Perkins
,
Dominik Cirmirakis
,
Xiao Liu
, and
Nick Donaldson
.
ESSCIRC,
page 277-280.
IEEE,
(
2012
)
Dai Jiang
,
Andreas Demosthenous
,
Timothy Perkins
,
Dominik Cirmirakis
,
Xiao Liu
, and
Nick Donaldson
.
ESSCIRC,
page 277-280.
IEEE,
(
2012
)
6 months and 11 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Modular modelling of signalling pathways and their cross-talk.
Robin Donaldson
, and
Muffy Calder
.
Theor. Comput. Sci.
(
2012
)
Robin Donaldson
, and
Muffy Calder
.
Theor. Comput. Sci.
(
2012
)
6 months and 16 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Introducing Computer-Based Telemedicine in Three Rural Missouri Counties.
Kimberly D. Harris
,
Joseph F. Donaldson
, and
James D. Campbell
.
JOEUC
13(4):26-35
(
2001
)
Kimberly D. Harris
,
Joseph F. Donaldson
, and
James D. Campbell
.
JOEUC
13(4):26-35
(
2001
)
6 months and 17 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Autism and Family Interventions Through Technology: A Description of a Web-Based Tool to Educate Fathers of Children with Autism.
Richard E. Ferdig
,
Hilary G. Amberg
,
Jennifer H. Elder
,
Gregory Valcante
,
Susan A. Donaldson
, and
Roxanna Bendixen
.
IJWLTT
4(3):55-69
(
2009
)
Richard E. Ferdig
,
Hilary G. Amberg
,
Jennifer H. Elder
,
Gregory Valcante
,
Susan A. Donaldson
, and
Roxanna Bendixen
.
IJWLTT
4(3):55-69
(
2009
)
6 months and 17 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
GPUVerify: a verifier for GPU kernels.
Adam Betts
,
Nathan Chong
,
Alastair F. Donaldson
,
Shaz Qadeer
, and
Paul Thomson
.
OOPSLA,
page 113-132.
ACM,
(
2012
)
Adam Betts
,
Nathan Chong
,
Alastair F. Donaldson
,
Shaz Qadeer
, and
Paul Thomson
.
OOPSLA,
page 113-132.
ACM,
(
2012
)
6 months and 24 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
BibSonomy is offered by the
KDE group
of the University of Kassel, the
DMIR group
of the University of Würzburg, and the
L3S Research Center
, Germany.
Privacy & Terms of Use
-
Contact