For the current REF see the REF 2021 website REF 2021 logo
You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Oxford Brookes University » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

Oxford Brookes University

Showing outputs 1 - 43 of 43
Output title
A Formal Descriptive Semantics of UML And Its Applications
Output type
C - Chapter in book
Volume title
UML 2 Semantics and Applications
Year
2008
DOI
Output title
A Formal Language for the Expression of Pattern Compositions
Output type
D - Journal article
Volume title
International Journal on Advances in Software
Year
2011
DOI
Output title
A geometric approach to the theory of evidence
Output type
D - Journal article
Volume title
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Year
2008
DOI
10.1109/TSMCC.2008.919174
Output title
A method for assessing confidence in requirements analysis
Output type
D - Journal article
Volume title
Information and Software Technology
Year
2011
DOI
10.1016/j.infsof.2011.05.003
Output title
A Selective Downlink Scheduling Algorithm to Enhance Quality ...
Output type
D - Journal article
Volume title
EURASIP Journal on Wireless Communications and Networking
Year
2009
DOI
10.1155/2009/478157
Output title
A study of subgroup discovery approaches for defect predicti ...
Output type
D - Journal article
Volume title
Information and Software Technology
Year
2013
DOI
10.1016/j.infsof.2013.05.002
Output title
Adaptive probability-based broadcast forwarding in energy-saving ...
Output type
D - Journal article
Volume title
ACM Transactions on Sensor Networks
Year
2008
DOI
10.1145/1340771.1340772
Output title
An algebra of design patterns
Output type
D - Journal article
Volume title
ACM Transactions on Software Engineering and Methodology
Year
2013
DOI
10.1145/2491509.2491517
Output title
An exploratory study of the effect of aspect-oriented programming ...
Output type
D - Journal article
Volume title
Software Quality Journal
Year
2008
DOI
10.1007/s11219-007-9022-7
Output title
An institution theory of formal meta-modelling in graphically ...
Output type
D - Journal article
Volume title
Frontiers of Computer Science
Year
2012
DOI
10.1007/s11704-012-2902-4
Output title
Collaborative testing of web services
Output type
D - Journal article
Volume title
IEEE transactions on Services Computing
Year
2012
DOI
10.1109/TSC.2010.54
Output title
Consumer-centric QoS-aware selection of web services
Output type
D - Journal article
Volume title
Journal of Computer and System Sciences
Year
2008
DOI
10.1016/j.jcss.2007.04.009
Output title
Convergence of ethernet PON and IEEE 802.16 broadband access ...
Output type
D - Journal article
Volume title
IEEE Journal on Selected Areas in Communications
Year
2009
DOI
10.1109/JSAC.2009.090202
Output title
Credal semantics of Bayesian approximations in terms of probability ...
Output type
D - Journal article
Volume title
IEEE Transactions on Systems, Man, and Cybernetics part B
Year
2010
DOI
10.1109/TSMCB.2009.2025968
Output title
C-Testable Bit-Parallel Multipliers Over GF(2m)
Output type
D - Journal article
Volume title
ACM Transactions on Design Automation of Electronic Systems
Year
2008
DOI
10.1145/1297666.1297671
Output title
Derivation of reduced test vectors for bit parallel multipliers ...
Output type
D - Journal article
Volume title
IEEE Transactions on Computers
Year
2008
DOI
10.1109/TC.2008.63
Output title
Dynamic algorithms for autonomic pervasive services in mobile ...
Output type
D - Journal article
Volume title
International Journal of Autonomic Computing
Year
2010
DOI
10.1504/IJAC.2010.037514
Output title
Empirical findings on team size and productivity in software ...
Output type
D - Journal article
Volume title
Journal of Systems and Software
Year
2012
DOI
10.1016/j.jss.2011.09.009
Output title
Evaluating the effectiveness of the abstract transaction model ...
Output type
D - Journal article
Volume title
Concurrency and Computation: Practice and Experience
Year
2012
DOI
10.1002/cpe.2851
Output title
Formal specification of the variants and behavioural features ...
Output type
D - Journal article
Volume title
Journal of Systems and Software
Year
2010
DOI
10.1016/j.jss.2009.09.039
Output title
Generating context-sensitive ECA responses to user barge-in ...
Output type
D - Journal article
Volume title
Journal on Multimodal User Interfaces
Year
2012
DOI
10.1007/s12193-012-0090-z
Output title
Geometry of relative plausibility and relative belief of sin ...
Output type
D - Journal article
Volume title
Annals of Mathematics and Artificial intelligence
Year
2010
DOI
10.1007/s10472-010-9186-x
Output title
GfXpress: A technique for synthesis and optimization of GF(2m) ...
Output type
D - Journal article
Volume title
IEEE Transactions on Computer-aided design of Integrated Circuits and Systems
Year
2008
DOI
10.1109/TCAD.2008.917586
Output title
Global contrast based salient region detection
Output type
E - Conference contribution
Volume title
IEEE International Conference on Computer Vision and Pattern Recognition (IEEE CVPR)
Year
2011
DOI
10.1109/CVPR.2011.5995344
Output title
Goal Babbling Permits Direct Learning of Inverse Kinematics
Output type
D - Journal article
Volume title
IEEE Transactions on Autonomous Mental Development
Year
2010
DOI
10.1109/TAMD.2010.2062511
Output title
Improving reservoirs using intrinsic plasticity
Output type
D - Journal article
Volume title
Neurocomputing
Year
2008
DOI
10.1016/j.neucom.2007.12.020
Output title
Integrated Dynamic Bandwidth Allocation in Converged Passive ...
Output type
D - Journal article
Volume title
IEEE Systems Journal
Year
2010
DOI
10.1109/JSYST.2010.2088750
Output title
Interaction Strategies for an Affective Conversational Agent
Output type
D - Journal article
Volume title
Presence: Teleoperators and Virtual Environments
Year
2011
DOI
10.1162/PRES_a_00063
Output title
Interactive imitation learning of object movement skills
Output type
D - Journal article
Volume title
Autonomous Robots
Year
2011
DOI
10.1007/s10514-011-9261-0
Output title
Joint Optimization for Object Class Segmentation and Dense Stereo ...
Output type
D - Journal article
Volume title
International Journal of Computer Vision
Year
2011
DOI
10.1007/s11263-011-0489-0
Output title
Monocular Template-based Reconstruction of Inextensible Surf ...
Output type
D - Journal article
Volume title
International Journal of Computer Vision
Year
2010
DOI
10.1007/s11263-010-0352-8
Output title
Multi-dimensional criteria for testing web services transact ...
Output type
D - Journal article
Volume title
Journal of Computer and System Sciences
Year
2013
DOI
10.1016/j.jcss.2013.01.020
Output title
Multiframe Motion Segmentation with Missing Data Using PowerFactorization ...
Output type
D - Journal article
Volume title
International Journal of Computer Vision
Year
2008
DOI
10.1007/s11263-007-0099-z
Output title
Multiple-View Geometry Under the {$L_\infty$}-Norm
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2008
DOI
10.1109/TPAMI.2007.70824
Output title
Nonlinear transient computation as a potential “kernel trick” ...
Output type
D - Journal article
Volume title
Biosystems
Year
2008
DOI
10.1016/j.biosystems.2008.05.010
Output title
On the convergence of autonomous agent communities
Output type
D - Journal article
Volume title
Multiagent and Grid Systems
Year
2010
DOI
10.3233/MGS-2010-0154
Output title
Online learning and generalization of parts-based image representations ...
Output type
D - Journal article
Volume title
Neural Networks
Year
2012
DOI
10.1016/j.neunet.2012.05.003
Output title
Priority scheduling of requests to web portals
Output type
D - Journal article
Volume title
Journal of Systems and Software
Year
2011
DOI
10.1016/j.jss.2011.03.074
Output title
Rotation Averaging
Output type
D - Journal article
Volume title
International Journal of Computer Vision
Year
2013
DOI
10.1007/s11263-012-0601-0
Output title
Simultaneous human segmentation, depth and pose estimation via ...
Output type
E - Conference contribution
Volume title
Proceedings of the British Machine Vision Conference (BMVC2012)
Year
2012
DOI
Output title
Single error correctable bit parallel multipliers over GF(2^ ...
Output type
D - Journal article
Volume title
IET Computers & Digital Techniques
Year
2009
DOI
10.1049/iet-cdt.2008.0015
Output title
The geometry of consonant belief functions: simplicial complexes ...
Output type
D - Journal article
Volume title
Fuzzy Sets and Systems
Year
2010
DOI
10.1016/j.fss.2009.09.024
Output title
Unifying the Semantics of Models and Meta-Models in the Multi-Layered ...
Output type
D - Journal article
Volume title
International Journal of Software and Informatics
Year
2012
DOI
Showing outputs 1 - 43 of 43