en
de
Local
OpenID
:
no help available
no help available
BibSonomy
author
tag
user
group
author
concept
BibTeX key
search:all
::
Murdoch
::
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
(148)
tags
dblp
imported
ER
limitation;
mode
herberg
myown
theoretical-ecology
data
threemode
three
Mathematische_Statistik
R_<Programm>
Statistik
analysis
fibers
graphs
networks
Agriculture;
and
Liouville
operator
dosing
Failure,Heart
Organic
endocarditis
Cost
Statistics
tractatus
analysis,anonymity,mix-net,traffic
Failure:
lfm
Innovation;
Military_Machines
Disease,Costs
Scotland
British_Army
Chronic
file-import-09-02-13
epidemiology,Humans
Fiber_optics
th2
probit
Knowledge;
sms
Nonlinear_optics
Spatial
Time-dependent
No matching items.
Dynamical effects of plant quality and parasitism on population cycles of larch budmoth
Peter Turchin
,
Simon N.Wood
,
Stephen P Ellner
,
Bruce E. Kendall
,
William W. Murdoch
,
Andreas Fischlin
,
Jerome Casas
,
Edward McCauley
, and
Cheryl J. Briggs
.
Ecology
84(5):1207--1214
(
2003
)
Peter Turchin
,
Simon N.Wood
,
Stephen P Ellner
,
Bruce E. Kendall
,
William W. Murdoch
,
Andreas Fischlin
,
Jerome Casas
,
Edward McCauley
, and
Cheryl J. Briggs
.
Ecology
84(5):1207--1214
(
2003
)
2 months and 8 days ago
by
carl-boettiger
1
theoretical-ecology
theoretical-ecology
URL
DOI
TeX
Why do populations cycle? A syntehsis of statistical and mechanistic modelling approaches
Bruce E. Kendall
,
Cheryl J. Briggs
,
William W. Murdoch
,
Peter Turchin
,
Stephen P. Ellner
,
Edward McCauley
,
Roger M. Nisbet
, and
Simon N. Wood
.
Ecology
80(6):1789--1805
(
September 1999
)
Bruce E. Kendall
,
Cheryl J. Briggs
,
William W. Murdoch
,
Peter Turchin
,
Stephen P. Ellner
,
Edward McCauley
,
Roger M. Nisbet
, and
Simon N. Wood
.
Ecology
80(6):1789--1805
(
September 1999
)
2 months and 8 days ago
by
carl-boettiger
1
theoretical-ecology
theoretical-ecology
URL
DOI
TeX
Denotation of contextual modal type theory CMTT: Syntax and meta-programming.
Murdoch James Gabbay
, and
Aleksandar Nanevski
.
J. Applied Logic
11(1):1-29
(
2013
)
Murdoch James Gabbay
, and
Aleksandar Nanevski
.
J. Applied Logic
11(1):1-29
(
2013
)
3 months and 24 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Display-Independent 3D-TV Production and Delivery Using the Layered Depth Video Format.
Bogumil Bartczak
,
Patrick Vandewalle
,
Oliver Grau
,
Gérard Briand
,
Jérome Fournier
,
Paul Kerbiriou
,
Michael Murdoch
,
Marcus Müller
,
Rocco Goris
,
Reinhard Koch
, and
René J. van der Vleuten
.
TBC
57(2):477-490
(
2011
)
Bogumil Bartczak
,
Patrick Vandewalle
,
Oliver Grau
,
Gérard Briand
,
Jérome Fournier
,
Paul Kerbiriou
,
Michael Murdoch
,
Marcus Müller
,
Rocco Goris
,
Reinhard Koch
, and
René J. van der Vleuten
.
TBC
57(2):477-490
(
2011
)
4 months and 26 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Meta-variables as infinite lists in nominal terms unification and rewriting.
Murdoch James Gabbay
.
Logic Journal of the IGPL
20(6):967-1000
(
2012
)
Murdoch James Gabbay
.
Logic Journal of the IGPL
20(6):967-1000
(
2012
)
5 months and 12 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Admissibility of Electronic Evidence in Criminal Proceedings: An Outline of the South African Legal Position.
Murdoch Watney
.
Journal of Information, Law and Technology
(
2009
)
Murdoch Watney
.
Journal of Information, Law and Technology
(
2009
)
5 months and 17 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
How Certification Systems Fail: Lessons from the Ware Report.
Steven J. Murdoch
,
Mike Bond
, and
Ross J. Anderson
.
IEEE Security & Privacy
10(6):40-44
(
2012
)
Steven J. Murdoch
,
Mike Bond
, and
Ross J. Anderson
.
IEEE Security & Privacy
10(6):40-44
(
2012
)
6 months and 9 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Semantic Network Monitoring and Control over Heterogeneous Network Models and Protocols, .
Christopher J. Matheus
,
Aidan Boran
,
Dominic Carr
,
Rem Collier
,
Barnard Kroon
,
Olga Murdoch
,
Gregory M. P. O'Hare
, and
Michael J. O'Grady
.
AMT,
volume 7669 of Lecture Notes in Computer Science,
page 433-444.
Springer,
(
2012
)
Christopher J. Matheus
,
Aidan Boran
,
Dominic Carr
,
Rem Collier
,
Barnard Kroon
,
Olga Murdoch
,
Gregory M. P. O'Hare
, and
Michael J. O'Grady
.
AMT,
volume 7669 of Lecture Notes in Computer Science,
page 433-444.
Springer,
(
2012
)
6 months and 24 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
PNL to HOL: From the logic of nominal sets to the logic of higher-order functions.
Gilles Dowek
, and
Murdoch James Gabbay
.
Theor. Comput. Sci.
(
2012
)
Gilles Dowek
, and
Murdoch James Gabbay
.
Theor. Comput. Sci.
(
2012
)
7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Nominal SOS.
Matteo Cimini
,
Mohammad Reza Mousavi
,
Michel A. Reniers
, and
Murdoch James Gabbay
.
Electr. Notes Theor. Comput. Sci.
(
2012
)
Matteo Cimini
,
Mohammad Reza Mousavi
,
Michel A. Reniers
, and
Murdoch James Gabbay
.
Electr. Notes Theor. Comput. Sci.
(
2012
)
7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free.
Murdoch James Gabbay
.
J. Symb. Log.
77(3):828-852
(
2012
)
Murdoch James Gabbay
.
J. Symb. Log.
77(3):828-852
(
2012
)
7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Game Semantics in the Nominal Model.
Murdoch Gabbay
, and
Dan R. Ghica
.
Electr. Notes Theor. Comput. Sci.
(
2012
)
Murdoch Gabbay
, and
Dan R. Ghica
.
Electr. Notes Theor. Comput. Sci.
(
2012
)
7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Permissive-nominal logic: First-order logic over nominal terms and sets.
Gilles Dowek
, and
Murdoch James Gabbay
.
ACM Trans. Comput. Log.
13(3):20
(
2012
)
Gilles Dowek
, and
Murdoch James Gabbay
.
ACM Trans. Comput. Log.
13(3):20
(
2012
)
7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free
Murdoch James Gabbay
.
CoRR
(
2011
)
Murdoch James Gabbay
.
CoRR
(
2011
)
8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Denotation of syntax and metaprogramming in contextual modal type theory CMTT
Murdoch Gabbay
, and
Aleksandar Nanevski
.
CoRR
(
2012
)
Murdoch Gabbay
, and
Aleksandar Nanevski
.
CoRR
(
2012
)
8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Chip and Skim: cloning EMV cards with the pre-play attack
Mike Bond
,
Omar Choudary
,
Steven J. Murdoch
,
Sergei P. Skorobogatov
, and
Ross J. Anderson
.
CoRR
(
2012
)
Mike Bond
,
Omar Choudary
,
Steven J. Murdoch
,
Sergei P. Skorobogatov
, and
Ross J. Anderson
.
CoRR
(
2012
)
8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Nominal Semantics for Predicate Logic: Algebras, Substitution, Quantifiers, and Limits.
Gilles Dowek
, and
Murdoch James Gabbay
.
CILC,
volume 857 of CEUR Workshop Proceedings,
page 104-118.
CEUR-WS.org,
(
2012
)
Gilles Dowek
, and
Murdoch James Gabbay
.
CILC,
volume 857 of CEUR Workshop Proceedings,
page 104-118.
CEUR-WS.org,
(
2012
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Existentialists and mystics: Writings on philosophy and literature
Iris Murdoch
.
Penguin,
(
1999
)
Iris Murdoch
.
Penguin,
(
1999
)
a year ago
by
mdp10
1
existentialism
tractatus
existentialism
tractatus
URL
DOI
TeX
Processing Hyperion and ALI for forest classification.
David G. Goodenough
,
Andrew Dyk
,
K. Olaf Niemann
,
Jay S. Pearlman
,
Hao Chen
,
Tian Han
,
Matthew Murdoch
, and
Chris West
.
IEEE T. Geoscience and Remote Sensing
41(6):1321-1331
(
2003
)
David G. Goodenough
,
Andrew Dyk
,
K. Olaf Niemann
,
Jay S. Pearlman
,
Hao Chen
,
Tian Han
,
Matthew Murdoch
, and
Chris West
.
IEEE T. Geoscience and Remote Sensing
41(6):1321-1331
(
2003
)
a year and a month ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Sensor Web Interaction.
Gregory M. P. O'Hare
,
Conor Muldoon
,
Michael J. O'Grady
,
Rem W. Collier
,
Olga Murdoch
, and
Dominic Carr
.
International Journal on Artificial Intelligence Tools
(
2012
)
Gregory M. P. O'Hare
,
Conor Muldoon
,
Michael J. O'Grady
,
Rem W. Collier
,
Olga Murdoch
, and
Dominic Carr
.
International Journal on Artificial Intelligence Tools
(
2012
)
a year and a month 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