en
de
Local
OpenID
:
no help available
no help available
BibSonomy
author
tag
user
group
author
concept
BibTeX key
search:all
::
Denney
::
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
(73)
tags
dblp
JRR,
CCP
hole
mass
electrophysiology,,
EOG,
EEG,
schizophrenia,
civ
blackhole
CIV
outflows
masses
black
No matching items.
A framework for testing first-order logic axioms in program verification.
Ki Yung Ahn
, and
Ewen Denney
.
Software Quality Journal
21(1):159-200
(
2013
)
Ki Yung Ahn
, and
Ewen Denney
.
Software Quality Journal
21(1):159-200
(
2013
)
3 months and 28 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A Lightweight Methodology for Safety Case Assembly.
Ewen Denney
, and
Ganesh Pai
.
SAFECOMP,
volume 7612 of Lecture Notes in Computer Science,
page 1-12.
Springer,
(
2012
)
Ewen Denney
, and
Ganesh Pai
.
SAFECOMP,
volume 7612 of Lecture Notes in Computer Science,
page 1-12.
Springer,
(
2012
)
8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
AdvoCATE: An Assurance Case Automation Toolset.
Ewen Denney
,
Ganesh Pai
, and
Josef Pohl
.
SAFECOMP Workshops,
volume 7613 of Lecture Notes in Computer Science,
page 8-21.
Springer,
(
2012
)
Ewen Denney
,
Ganesh Pai
, and
Josef Pohl
.
SAFECOMP Workshops,
volume 7613 of Lecture Notes in Computer Science,
page 8-21.
Springer,
(
2012
)
8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Are Outflows Biasing Single-Epoch CIV Black Hole Mass Estimates?
Kelly D. Denney
.
(
2012
)
cite arxiv:1208.3465Comment: 16 pages, 10 figures, submitted to ApJ.
Kelly D. Denney
.
(
2012
)
cite arxiv:1208.3465Comment: 16 pages, 10 figures, submitted to ApJ.
9 months ago
by
miki
1
CIV
blackhole
masses
outflows
CIV
blackhole
masses
outflows
URL
DOI
TeX
Calibrating CIV-based black hole mass estimators
Daeseong Park
,
Jong-Hak Woo
,
Kelly Denney
, and
Jaejin Shin
.
(
2013
)
cite arxiv:1304.7281Comment: 12 pages, 7 figures, ApJ in press.
Daeseong Park
,
Jong-Hak Woo
,
Kelly Denney
, and
Jaejin Shin
.
(
2013
)
cite arxiv:1304.7281Comment: 12 pages, 7 figures, ApJ in press.
21 days ago
by
miki
1
black
civ
hole
mass
black
civ
hole
mass
URL
DOI
TeX
Estimation and Detection of Myocardial Tags in MR image Without User-Defined Myocardial Contours.
Thomas S. Denney Jr.
.
IEEE Trans. Med. Imaging
18(4):330-344
(
1999
)
Thomas S. Denney Jr.
.
IEEE Trans. Med. Imaging
18(4):330-344
(
1999
)
a year and 6 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Finding conjugate stabilizer subgroups in PSL and related groups.
Aaron Denney
,
Cristopher Moore
, and
Alexander Russell
.
Quantum Information & Computation
10(3&4):282-291
(
2010
)
Aaron Denney
,
Cristopher Moore
, and
Alexander Russell
.
Quantum Information & Computation
10(3&4):282-291
(
2010
)
a year and 8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal.
Ewen Denney
,
Ganesh Pai
, and
Josef Pohl
.
ICECCS,
page 199-208.
IEEE Computer Society,
(
2012
)
Ewen Denney
,
Ganesh Pai
, and
Josef Pohl
.
ICECCS,
page 199-208.
IEEE Computer Society,
(
2012
)
7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
New Magnetic Resonance Tagging Technique for Directly Measuring the Strain Tensor of the in-vivo Human Heart.
Thanh D. Nguyen
,
Stanley J. Reeves
, and
Thomas S. Denney Jr.
.
ICIP 1,
page 694-698.
(
1998
)
Thanh D. Nguyen
,
Stanley J. Reeves
, and
Thomas S. Denney Jr.
.
ICIP 1,
page 694-698.
(
1998
)
2 months and 25 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
On estimating 3-D incompressible motion.
Thomas S. Denney Jr.
.
ICIP 3,
page 492-495.
IEEE,
(
1995
)
Thomas S. Denney Jr.
.
ICIP 3,
page 492-495.
IEEE,
(
1995
)
2 months and 24 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Optimal Tag Pattern Validation using Magnetic Resonance Imaging.
Thomas S. Denney Jr.
,
Jerry L. Prince
,
Michael J. Lopez
, and
Elliot R. McVeigh
.
ICIP 1,
page 881-885.
IEEE,
(
1994
)
Thomas S. Denney Jr.
,
Jerry L. Prince
,
Michael J. Lopez
, and
Elliot R. McVeigh
.
ICIP 1,
page 881-885.
IEEE,
(
1994
)
2 months and 26 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Personal Visualization System: Applications in Research and Engineering.
Q. E. Docecek
,
K. Moorjani
,
B. F. Kim
,
D. G. Tilley
, and
Thomas S. Denney Jr.
.
IEEE Visualization,
page 443-448.
(
1990
)
Q. E. Docecek
,
K. Moorjani
,
B. F. Kim
,
D. G. Tilley
, and
Thomas S. Denney Jr.
.
IEEE Visualization,
page 443-448.
(
1990
)
a year and 5 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Perspectives on software safety case development for unmanned aircraft.
Ewen Denney
,
Ganesh Pai
, and
Ibrahim Habli
.
DSN,
page 1-8.
IEEE Computer Society,
(
2012
)
Ewen Denney
,
Ganesh Pai
, and
Ibrahim Habli
.
DSN,
page 1-8.
IEEE Computer Society,
(
2012
)
8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Querying Proofs.
David Aspinall
,
Ewen Denney
, and
Christoph Lüth
.
LPAR,
volume 7180 of Lecture Notes in Computer Science,
page 92-106.
Springer,
(
2012
)
David Aspinall
,
Ewen Denney
, and
Christoph Lüth
.
LPAR,
volume 7180 of Lecture Notes in Computer Science,
page 92-106.
Springer,
(
2012
)
a year and 2 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Systems Biology of Coagulation Initiation: Kinetics of Thrombin Generation in Resting and Activated Human Blood.
Manash S. Chatterjee
,
William S. Denney
,
Huiyan Jing
, and
Scott L. Diamond
.
PLoS Computational Biology
(
2010
)
Manash S. Chatterjee
,
William S. Denney
,
Huiyan Jing
, and
Scott L. Diamond
.
PLoS Computational Biology
(
2010
)
a year and 2 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Test-Case Generation from Prolog-Based Specifications.
Richard Denney
.
IEEE Software
8(2):49-57
(
1991
)
Richard Denney
.
IEEE Software
8(2):49-57
(
1991
)
a year and 6 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
The Lonely Crowd
David Riesman
,
Nathan Glazer
, and
Reuel Denney
.
Yale University Press,
(
1950
)
Nachdruck von1953 durch Doubleday Anchor Books, Garden City, New York.
David Riesman
,
Nathan Glazer
, and
Reuel Denney
.
Yale University Press,
(
1950
)
Nachdruck von1953 durch Doubleday Anchor Books, Garden City, New York.
a month and 27 days ago
by
privtec
1
URL
DOI
TeX
Towards Measurement of Confidence in Safety Cases.
Ewen Denney
,
Ganesh Pai
, and
Ibrahim Habli
.
ESEM,
page 380-383.
IEEE,
(
2011
)
Ewen Denney
,
Ganesh Pai
, and
Ibrahim Habli
.
ESEM,
page 380-383.
IEEE,
(
2011
)
a year and 5 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Unsupervised Estimation of Left Ventricular Displacement from MR Tagged Images using Markov Random Field Edge Priors.
Litao Yan
, and
Thomas S. Denney Jr.
.
ICIP 1,
page 689-693.
(
1998
)
Litao Yan
, and
Thomas S. Denney Jr.
.
ICIP 1,
page 689-693.
(
1998
)
2 months and 25 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Using Automated Theorem Provers to Certify Auto-generated Aerospace Software.
Ewen Denney
,
Bernd Fischer 0002
, and
Johann Schumann
.
IJCAR,
volume 3097 of Lecture Notes in Computer Science,
page 198-212.
Springer,
(
2004
)
Ewen Denney
,
Bernd Fischer 0002
, and
Johann Schumann
.
IJCAR,
volume 3097 of Lecture Notes in Computer Science,
page 198-212.
Springer,
(
2004
)
a year and 10 months 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