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: Birmingham City University » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

Birmingham City University

Showing outputs 1 - 30 of 30
Output title
A Systematic Approach to Service-Oriented Architecture for Engineering ...
Output type
E - Conference contribution
Volume title
7th International Conference on Manufacturing Research, ICMR09
Year
2009
DOI
Output title
Abstractions of Web Services
Output type
E - Conference contribution
Volume title
2009 14th IEEE International Conference on Engineering of Complex Computer Systems
Year
2009
DOI
10.1109/ICECCS.2009.38
Output title
Advanced occlusion handling in virtual studios
Output type
E - Conference contribution
Volume title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Year
2012
DOI
10.1007/978-3-642-32645-5_37
Output title
Algebraic approach to linking the semantics of web services
Output type
D - Journal article
Volume title
Innovations in Systems and Software Engineering
Year
2011
DOI
10.1007/s11334-011-0172-1
Output title
An exploration of the current state of information assurance ...
Output type
D - Journal article
Volume title
ACM SIGCSE Bulletin
Year
2009
DOI
10.1145/1709424.1709457
Output title
Anonymous authentication for privacy-preserving IoT target-driven ...
Output type
D - Journal article
Volume title
Computers & Security
Year
2013
DOI
10.1016/j.cose.2013.05.007
Output title
Audited credential delegation: a usable security solution for ...
Output type
D - Journal article
Volume title
Interface Focus
Year
2011
DOI
10.1098/rsfs.2010.0026
Output title
Automatic detection and recognition of tonal bird sounds in noisy ...
Output type
D - Journal article
Volume title
EURASIP Journal on Advances in Signal Processing
Year
2011
DOI
10.1155/2011/982936
Output title
Detection of Deformable Structures in Video by Polynomial Fitting ...
Output type
E - Conference contribution
Volume title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Year
2012
DOI
10.1007/978-3-642-32645-5_50
Output title
Failure-divergence semantics and refinement of long running ...
Output type
D - Journal article
Volume title
Theoretical Compututer Science
Year
2012
DOI
10.1016/j.tcs.2012.04.040
Output title
Filtering intrusion detection alarms
Output type
D - Journal article
Volume title
Cluster Computing
Year
2009
DOI
10.1007/s10586-009-0096-9
Output title
Formal_Modelling of PKI based Authentication
Output type
D - Journal article
Volume title
Electronic Notes in Theoretical Computer Science
Year
2009
DOI
10.1016/j.entcs.2009.03.005
Output title
From Algebraic Semantics to Denotational Semantics for Veril ...
Output type
D - Journal article
Volume title
Innovations in Systems and Software Engineering: A NASA Journal
Year
2008
DOI
10.1007/s11334-008-0069-9
Output title
Fundamental Frequency Modulation in Singing Voice Synthesis
Output type
E - Conference contribution
Volume title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Year
2012
DOI
10.1007/978-3-642-31980-8_10
Output title
Graph transformations for object-oriented refinement
Output type
D - Journal article
Volume title
Formal Aspects of Computing
Year
2008
DOI
10.1007/s00165-007-0067-y
Output title
Hindering false event dissemination in VANETs with proof-of-work ...
Output type
D - Journal article
Volume title
Transportation Research Part C: Emerging Technologies
Year
2012
DOI
10.1016/j.trc.2011.08.002
Output title
Incorporating the Voicing Information into HMM-based Automatic ...
Output type
D - Journal article
Volume title
Speech Communication
Year
2009
DOI
10.1016/j.specom.2009.01.003
Output title
LEAPS: Realising the Potential of Algal Biomass Production through ...
Output type
E - Conference contribution
Volume title
Proceedings of the 8th International Conference on Semantic Systems
Year
2012
DOI
10.1145/2362499.2362516
Output title
Linking operational semantics and algebraic semantics for a probabilistic ...
Output type
D - Journal article
Volume title
The Journal of Logic and Algebraic Programming
Year
2012
DOI
10.1016/j.jlap.2011.06.003
Output title
Methods for real time harmonic excitation of acoustic signal ...
Output type
E - Conference contribution
Volume title
Proceedings of the Sound and Music Computing Conference 2013
Year
2013
DOI
Output title
On the usability of grid middleware and security mechanisms
Output type
D - Journal article
Volume title
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Year
2011
DOI
10.1098/rsta.2011.0131
Output title
Parametric virtual laboratory development: A hydropower case ...
Output type
D - Journal article
Volume title
Advances in Engineering Software
Year
2013
DOI
10.1016/j.advengsoft.2013.04.006
Output title
Physical-Informatical Essence-Duality-Aware Generic Modeling ...
Output type
E - Conference contribution
Volume title
2013 European Modelling Symposium
Year
2013
DOI
10.1109/EMS.2013.17
Output title
PTSC: probability, time and shared-variable concurrency
Output type
D - Journal article
Volume title
Innovations in Systems and Software Engineering
Year
2009
DOI
10.1007/s11334-009-0100-9
Output title
Refinement and verification in component-based model-driven ...
Output type
D - Journal article
Volume title
Science of Computer Programming
Year
2009
DOI
10.1016/j.scico.2008.08.003
Output title
Robustness testing for software components
Output type
D - Journal article
Volume title
Science of Computer Programming
Year
2010
DOI
10.1016/j.scico.2010.02.005
Output title
Secure content access and replication in pure P2P networks
Output type
D - Journal article
Volume title
Computer Communications
Year
2008
DOI
10.1016/j.comcom.2007.08.015
Output title
Speech Enhancement based on Sparse Code Shrinkage Employing multiple ...
Output type
D - Journal article
Volume title
Speech Communication
Year
2012
DOI
10.1016/j.specom.2011.07.005
Output title
Speech Signal Enhancement based on MAP Algorithm in the ICA ...
Output type
D - Journal article
Volume title
IEEE Transactions on Signal Processing
Year
2008
DOI
10.1109/TSP.2007.910555
Output title
The Peer’s Dilemma: A general framework to examine cooperation ...
Output type
D - Journal article
Volume title
Computer Networks
Year
2012
DOI
10.1016/j.comnet.2012.08.012
Showing outputs 1 - 30 of 30