Search CORE

4 research outputs found

Multi-agent communication-based train control system for Indian railways: the behavioural analysis

Author: A Verma
A Verma
B Ma
C Choppy
CAR Hoare
CB Jones
CW Tsang
D Moldt
DM Gabbay
F Zambonelli
G Caire
H Proenca
HS Nwana
J Lind
J Wang
JL Adler
JM Spivey
K Jensen
M Duvigneau
MJ Lockyear
MS Khan
R Milner
S Li
S Vanit-Anunchai
T Bolognesi
WMP Aalst
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Consumer Willingness to Pay for Safer Vegetables in Urban Markets of a Developing Country: The Case of Kale in Nairobi, Kenya

Author: Carl Johan Lagerkvist
Churchill G. A.
Issanchou S.
Julius Okello
Kutto E.
McFadden D.
Nancy Karanja
Sebastian Hess
Vanit-Anunchai C.
Publication venue: 'Informa UK Limited'
Publication date
Field of study

Validation of Railway Interlocking Systems by Formal Verification, A Case Study

Author: A Biere
A Borälv
A Cimatti
A Mirabadi
AE Haxthausen
AE Haxthausen
B Fringuelli
C Bernardeschi
EM Clarke
EM Clarke
K Kanso
KJ Kristoffersen
RE Bryant
S Vanit-Anunchai
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Diagnosis and management of vascular injuries in the shoulder girdle of the overhead athlete

Author: A. Taylor
A.A. Willis
A.K.J. Mandal
A.T. Helm
A.W. Nichols
B.D. Keisler
C. Vanit
D. Dumitru
D.J. Magee
E.A. Verhagen
E.G. McFarland
F.R. Arko
G.S. DiFelice
G.V. Poole
G.W. Nuber
H.C. Urschel
J. Julia
J.A. Reekers
J.E. Molina
J.G. Mosley
J.N. Johnson
J.R. Dugas
J.R. Durham
Jonathan C. Reeser
K. Fujita
K. Schneider
K.M. Koffler
M. Vlychou
M.A. Chaudhry
M.J. Rohrer
M.M. Treihaft
M.R. O’Leary
R.A. Smith Jr
R.E. Beygui
R.G. Casey
R.H. Perkins
R.K. Ryu
S. Sabeti
S.B. Kaminsky
W.L. Hurley
W.T. Hoskins
X. Demondion
X. Duralde
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

core

core