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: University of York » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

University of York

First <
1 2 3
> Last
Showing outputs 51 - 100 of 139
Output title
Epsilon Flock : A Model Migration Language
Output type
D - Journal article
Volume title
Software and Systems Modeling
Year
2012
DOI
10.1007/s10270-012-0296-2
Output title
ESSENCE: A constraint language for specifying combinatorial ...
Output type
D - Journal article
Volume title
Journal of Constraints
Year
2008
DOI
10.1007/s10601-008-9047-y
Output title
Estimating Facial Reflectance Properties Using Shape-from-Sh ...
Output type
D - Journal article
Volume title
International Journal of Computer Vision
Year
2010
DOI
10.1007/s11263-008-0175-z
Output title
Evolution of Cooperativeness in a Business Game Relying on Acquaintance ...
Output type
E - Conference contribution
Volume title
IEEE Conference on Commerce and Enterprise Computing, 2009. CEC '09
Year
2009
DOI
10.1109/CEC.2009.52
Output title
Evolutionary and Principled Search Strategies for Sensornet Protocol ...
Output type
D - Journal article
Volume title
Systems, Man, and Cybernetics, Part B: Cybernetics, IEEE Transactions on
Year
2011
DOI
10.1109/TSMCB.2011.2161466
Output title
Evolutionary Improvement of Programs
Output type
D - Journal article
Volume title
IEEE Transactions on Evolutionary Computation
Year
2011
DOI
10.1109/TEVC.2010.2083669
Output title
Evolutionary Pressures Promoting Complexity in Navigation and ...
Output type
D - Journal article
Volume title
Interaction Studies (Social Behaviour and Communication in Biological and Artificial Systems)
Year
2013
DOI
10.1075/is.14.1.07kaz
Output title
Exact quantification of the sub-optimality of uniprocessor fixed ...
Output type
D - Journal article
Volume title
Real-Time Systems
Year
2009
DOI
10.1007/s11241-009-9079-4
Output title
Exploring NoC-Based MPSoC Design Space with Power Estimation ...
Output type
D - Journal article
Volume title
IEEE Design and Test of Computers
Year
2011
DOI
10.1109/MDT.2010.116
Output title
Exponentially enhanced quantum metrology
Output type
D - Journal article
Volume title
Physical Review Letters
Year
2008
DOI
10.1103/PhysRevLett.100.220501
Output title
Exposing non-standard architectures to embedded software using ...
Output type
E - Conference contribution
Volume title
CASES '09 Proceedings of the 2009 international conference on Compilers, architecture, and synthesis for embedded systems
Year
2009
DOI
10.1145/1629395.1629417
Output title
Expressible sharing for functional circuit description
Output type
D - Journal article
Volume title
Higher Order Symbol. Comput.
Year
2009
DOI
10.1007/s10990-009-9043-y
Output title
Extensible Automated Constraint Modelling
Output type
E - Conference contribution
Volume title
Proceedings of theTwenty-Fifth AAAI Conference on Artificial Intelligence
Year
2011
DOI
Output title
Filtering algorithms for the multiset ordering constraint
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2009
DOI
10.1016/j.artint.2008.11.001
Output title
Flexible structural protein alignment by a sequence of local ...
Output type
D - Journal article
Volume title
Bioinformatics
Year
2009
DOI
10.1093/bioinformatics/btp296
Output title
Forensic Data Recovery From The Windows Search Database
Output type
D - Journal article
Volume title
Digital Investigation
Year
2011
DOI
10.1016/j.diin.2011.01.001
Output title
Formal Specification-Based Inspection for Verification of Pr ...
Output type
D - Journal article
Volume title
IEEE Transactions on Software Engineering
Year
2012
DOI
10.1109/TSE.2011.102
Output title
From 3D Point Clouds to Pose-Normalised Depth Maps
Output type
D - Journal article
Volume title
International Journal of Computer Vision
Year
2010
DOI
10.1007/s11263-009-0297-y
Output title
Garbage Collection for Flexible Hard Real-Time Systems
Output type
D - Journal article
Volume title
IEEE Transactions on Computers
Year
2010
DOI
10.1109/TC.2010.13
Output title
Generation of Adaptive Dilemma-Based Interactive Narratives
Output type
D - Journal article
Volume title
Computational Intelligence and AI in Games, IEEE Transactions on
Year
2009
DOI
10.1109/TCIAIG.2009.2037925
Output title
Generative Models for Chemical Structures
Output type
D - Journal article
Volume title
Journal of Chemical Information and Modelling
Year
2010
DOI
10.1021/ci9004089
Output title
Genetic algorithms and solid state NMR pulse sequences
Output type
D - Journal article
Volume title
Journal of Magnetic Resonance
Year
2013
DOI
10.1016/j.jmr.2012.12.015
Output title
Graph Characterization via Ihara Coefficients
Output type
D - Journal article
Volume title
IEEE Transactions on Neural Networks
Year
2011
DOI
10.1109/TNN.2010.2091969
Output title
Guidelines are only half of the story : accessibility problems ...
Output type
E - Conference contribution
Volume title
CHI '12 : Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2012
DOI
10.1145/2207676.2207736
Output title
Hoare-Style Verification of Graph Programs
Output type
D - Journal article
Volume title
Fundamenta Informaticae
Year
2012
DOI
10.3233/FI-2012-708
Output title
Implementing time-predictable load and store operations
Output type
E - Conference contribution
Volume title
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Year
2009
DOI
10.1145/1629335.1629371
Output title
Improved priority assignment for global fixed priority pre-emptive ...
Output type
D - Journal article
Volume title
Real-Time Systems
Year
2011
DOI
10.1007/s11241-010-9106-5
Output title
Improving question recommendation by exploiting information ...
Output type
E - Conference contribution
Volume title
Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics : Human Language Technologies
Year
2011
DOI
Output title
Information Set Monte Carlo Tree Search
Output type
D - Journal article
Volume title
Computational Intelligence and AI in Games, IEEE Transactions on
Year
2012
DOI
10.1109/TCIAIG.2012.2200894
Output title
Inverse Rendering of Faces with a 3D Morphable Model
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2013
DOI
10.1109/TPAMI.2012.206
Output title
Investigating Average versus Worst-Case Timing Behavior of Data ...
Output type
E - Conference contribution
Volume title
2010 22nd Euromicro Conference on Real-Time Systems (ECRTS)
Year
2010
DOI
10.1109/ECRTS.2010.21
Output title
Kernel Bandwidth Estimation for Nonparametric Modeling
Output type
D - Journal article
Volume title
Systems, Man, and Cybernetics, Part B: Cybernetics, IEEE Transactions on
Year
2009
DOI
10.1109/TSMCB.2009.2020688
Output title
Knowing Who to Watch : Efficiently Identifying Subtle Attack ...
Output type
D - Journal article
Volume title
Information Systems Frontiers
Year
2010
DOI
10.1007/s10796-010-9268-7
Output title
Library abstraction for C/C++ concurrency
Output type
E - Conference contribution
Volume title
POPL '13 : Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Year
2013
DOI
10.1145/2429069.2429099
Output title
M,N-Adhesive Transformation Systems
Output type
E - Conference contribution
Volume title
Graph Transformations : 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings
Year
2012
DOI
10.1007/978-3-642-33654-6_15
Output title
Maximum Likelihood Pedigree Reconstruction using Integer Linear ...
Output type
D - Journal article
Volume title
Genetic Edpidemiology
Year
2013
DOI
10.1002/gepi.21686
Output title
Measuring and defining the experience of immersion in games
Output type
D - Journal article
Volume title
International journal of human-Computer studies
Year
2008
DOI
10.1016/j.ijhcs.2008.04.004
Output title
Mechanising a formal model of flash memory
Output type
D - Journal article
Volume title
Science of Computer Programming
Year
2009
DOI
10.1016/j.scico.2008.09.014
Output title
Mechanising Mondex with Z/Eves
Output type
D - Journal article
Volume title
Formal Aspects of Computing
Year
2008
DOI
10.1007/s00165-007-0059-y
Output title
Neural network based pattern matching and spike detection tools ...
Output type
D - Journal article
Volume title
Neural Networks
Year
2008
DOI
10.1016/j.neunet.2008.06.009
Output title
Not Doing But Thinking : The Role of Challenge in the Gaming ...
Output type
E - Conference contribution
Volume title
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2012
DOI
10.1145/2207676.2207689
Output title
On the detection of tracks in spectrogram images
Output type
D - Journal article
Volume title
Pattern Recognition
Year
2013
DOI
10.1016/j.patcog.2012.11.009
Output title
On the number and nature of faults found by random testing
Output type
D - Journal article
Volume title
Software Testing, Verification and Reliability
Year
2011
DOI
10.1002/stvr.415
Output title
Online Bayesian inference for the parameters of PRISM progra ...
Output type
D - Journal article
Volume title
Machine Learning
Year
2012
DOI
10.1007/s10994-012-5305-8
Output title
Online learning of shaping rewards in reinforcement learning
Output type
D - Journal article
Volume title
Neural Networks
Year
2010
DOI
10.1016/j.neunet.2010.01.001
Output title
Optimized 3D Watermarking for Minimal Surface Distortion
Output type
D - Journal article
Volume title
IEEE Transactions on Image Processing
Year
2013
DOI
10.1109/TIP.2012.2236345
Output title
Power-aware dynamic mapping heuristics for NoC-based MPSoCs using ...
Output type
D - Journal article
Volume title
ACM Transactions on Embedded Computing Systems (TECS)
Year
2013
DOI
10.1145/2442116.2442125
Output title
Probabilistic white matter fiber tracking using particle filtering ...
Output type
D - Journal article
Volume title
MEDICAL IMAGE ANALYSIS
Year
2009
DOI
10.1016/j.media.2008.05.001
Output title
Process-centered review of object oriented software development ...
Output type
D - Journal article
Volume title
ACM Comput. Surv.
Year
2008
DOI
10.1145/1322432.1322435
Output title
Quantum error correction beyond qubits
Output type
D - Journal article
Volume title
Nature Physics
Year
2009
DOI
10.1038/NPHYS1309
First <
1 2 3
> Last
Showing outputs 51 - 100 of 139