For the current REF see the REF 2021 website REF 2021 logo
You are in : Home » Results & submissions » Select UOA » 28 - Modern Languages and Linguistics » View submission: Queen Mary University of London : B - Modern languages, literatures and culture » Outputs

Outputs (REF2)

28 - Modern Languages and Linguistics

Queen Mary University of London : B - Modern languages, literatures and culture

First <
1 2
Showing outputs 51 - 73 of 73
Output title
A domain model characterising strong normalisation
Output type
D - Journal article
Volume title
Annals of Pure and Applied Logic
Year
2008
DOI
10.1016/j.apal.2008.06.005
Output title
Action graphs and user performance analysis
Output type
D - Journal article
Volume title
International Journal of Human-Computer Studies
Year
2013
DOI
10.1016/j.ijhcs.2012.10.014
Output title
Asymmetric Tensor Analysis for Flow Visualization
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2009
DOI
10.1109/TVCG.2008.68
Output title
Chapter 7: Fundaments of branching heuristics
Output type
C - Chapter in book
Volume title
Handbook of Satisfiability
Year
2009
DOI
10.3233/978-1-58603-929-5-205
Output title
Corrected upper bounds for free-cut elimination
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2011
DOI
10.1016/j.tcs.2011.05.053
Output title
Efficient Morse Decompositions of Vector Fields
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2008
DOI
10.1109/TVCG.2008.33
Output title
Embedding Retrieval of Articulated Geometry Models
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2012
DOI
10.1109/TPAMI.2012.17
Output title
Extracting a DPLL Algorithm
Output type
E - Conference contribution
Volume title
Electronic Notes in Theoretical Computer Science
Year
2012
DOI
10.1016/j.entcs.2012.08.016
Output title
Fibred Data Types
Output type
E - Conference contribution
Volume title
Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on
Year
2013
DOI
10.1109/LICS.2013.30
Output title
Fully Automatic Visualisation of Overlapping Sets
Output type
D - Journal article
Volume title
Computer Graphics Forum
Year
2009
DOI
10.1111/j.1467-8659.2009.01452.x
Output title
Image-based Aging Using Evolutionary Computing
Output type
D - Journal article
Volume title
Computer Graphics Forum
Year
2008
DOI
10.1111/j.1467-8659.2008.01158.x
Output title
Inductive-Inductive Definitions
Output type
E - Conference contribution
Volume title
Computer Science Logic
Year
2010
DOI
10.1007/978-3-642-15205-4_35
Output title
MAC: Magnetostatic Active Contour Model
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2008
DOI
10.1109/TPAMI.2007.70737
Output title
Naive ray-tracing: A divide-and-conquer approach
Output type
D - Journal article
Volume title
ACM Transactions on Graphics
Year
2011
DOI
10.1145/2019627.2019636
Output title
On the computational complexity of cut-reduction
Output type
D - Journal article
Volume title
Annals of Pure and Applied Logic
Year
2009
DOI
10.1016/j.apal.2009.06.004
Output title
Polynomial local search in the polynomial hierarchy and witnessing ...
Output type
D - Journal article
Volume title
Journal of Mathematical Logic
Year
2009
DOI
10.1142/S0219061309000847
Output title
Progressive photon relaxation
Output type
D - Journal article
Volume title
ACM Transactions on Graphics
Year
2013
DOI
10.1145/2421636.2421643
Output title
Proofs, Programs, Processes
Output type
D - Journal article
Volume title
Theory of Computing Systems
Year
2011
DOI
10.1007/s00224-011-9325-8
Output title
Reasons to Question Seven Segment Displays
Output type
E - Conference contribution
Volume title
CHI '13 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2013
DOI
10.1145/2470654.2466190
Output title
SoundRiver: Semantically-Rich Sound Illustration
Output type
D - Journal article
Volume title
Computer Graphics Forum
Year
2010
DOI
10.1111/j.1467-8659.2009.01605.x
Output title
Specification-Based Testing for Software Product Lines
Output type
E - Conference contribution
Volume title
Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on
Year
2008
DOI
10.1109/SEFM.2008.38
Output title
Visualisation of Sensor Data from Animal Movement
Output type
D - Journal article
Volume title
Computer Graphics Forum
Year
2009
DOI
10.1111/j.1467-8659.2009.01469.x
Output title
Visualizing Natural Image Statistics
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2013
DOI
10.1109/TVCG.2012.312
First <
1 2
Showing outputs 51 - 73 of 73