For the current REF see the REF 2021 website REF 2021 logo
You are in : Home » Results & submissions » Select UOA » 1 - Clinical Medicine » View submission: Queen Mary University of London » Outputs

Outputs (REF2)

1 - Clinical Medicine

Queen Mary University of London

First <
1 2
Showing outputs 51 - 94 of 94
Output title
Mechanisms for multi-unit combinatorial auctions with a few distinct ...
Output type
E - Conference contribution
Volume title
Proceedings of the 2013 International Conference on Autonomous Agents and Multi-Agent Systems
Year
2013
DOI
Output title
Minimally Supervised Novel Relation Extraction Using a Latent ...
Output type
D - Journal article
Volume title
IEEE Transactions on Knowledge and Data Engineering
Year
2013
DOI
10.1109/TKDE.2011.250
Output title
Model checking agent programming languages
Output type
D - Journal article
Volume title
Automated Software Engineering
Year
2011
DOI
10.1007/s10515-011-0088-x
Output title
Model-theoretic inseparability and modularity of description ...
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2013
DOI
10.1016/j.artint.2013.07.004
Output title
More efficient periodic traversal in anonymous undirected gr ...
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2012
DOI
10.1016/j.tcs.2012.01.035
Output title
Multi-robot collision avoidance with localization uncertaint ...
Output type
E - Conference contribution
Volume title
International Conference on Autonomous Agents and Multiagent Systems
Year
2012
DOI
Output title
New Models for Population Protocols
Output type
A - Authored book
Volume title
Year
2011
DOI
10.2200/S00328ED1V01Y201101DCT006
Output title
On algebra of languages representable by vertex-labeled grap ...
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2012
DOI
10.1016/j.tcs.2011.08.034
Output title
On decision problems for parameterized machines
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2010
DOI
10.1016/j.tcs.2009.12.013
Output title
On the approximation performance of fictitious play in finite ...
Output type
D - Journal article
Volume title
International Journal of Game Theory
Year
2013
DOI
10.1007/s00182-012-0362-6
Output title
On the resolution-based family of abstract argumentation semantics ...
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2011
DOI
10.1016/j.artint.2010.11.005
Output title
On the succinctness of some modal logics
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2013
DOI
10.1016/j.artint.2013.02.003
Output title
On the Undecidability of the Identity Correspondence Problem ...
Output type
D - Journal article
Volume title
International Journal of Foundations of Computer Science
Year
2010
DOI
10.1142/S0129054110007660
Output title
One-counter Markov decision processes
Output type
E - Conference contribution
Volume title
SODA '10 Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms
Year
2010
DOI
Output title
Online Mechanism Design (Randomized Rounding on the Fly)
Output type
E - Conference contribution
Volume title
Proceedings of the 39th International Colloquium on Automata, Languages, and Programming
Year
2012
DOI
10.1007/978-3-642-31585-5_56
Output title
Online Speed Scaling Based on Active Job Count to Minimize Flow ...
Output type
D - Journal article
Volume title
Algorithmica
Year
2012
DOI
10.1007/s00453-012-9613-y
Output title
Optimal scheduling for constant-rate multi-mode systems
Output type
E - Conference contribution
Volume title
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Year
2012
DOI
10.1145/2185632.2185647
Output title
Optimal time-abstract schedulers for CTMDPs and continuous-time ...
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2013
DOI
10.1016/j.tcs.2012.10.001
Output title
Optimizing throughput and energy in online deadline scheduli ...
Output type
D - Journal article
Volume title
ACM Transactions on Algorithms
Year
2009
DOI
10.1145/1644015.1644025
Output title
Price of Stability in Polynomial Congestion Games
Output type
E - Conference contribution
Volume title
The 40th International Colloquium on Automata, Languages, and Programming
Year
2013
DOI
10.1007/978-3-642-39212-2_44
Output title
Property-based Slicing for Agent Verification
Output type
D - Journal article
Volume title
Journal of Logic and Computation
Year
2009
DOI
10.1093/logcom/exp029
Output title
Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter ...
Output type
D - Journal article
Volume title
Performance Evaluation
Year
2010
DOI
10.1016/j.peva.2009.12.009
Output title
Quasirandom Load Balancing
Output type
D - Journal article
Volume title
SIAM Journal on Computing
Year
2012
DOI
10.1137/100799216
Output title
Reachability problems in quaternion matrix and rotation semi ...
Output type
D - Journal article
Volume title
Information and Computation
Year
2008
DOI
10.1016/j.ic.2008.06.004
Output title
Reasoning about coalitional games
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2009
DOI
10.1016/j.artint.2008.08.004
Output title
Reasoning about the Transfer of Control
Output type
D - Journal article
Volume title
Journal of Artificial Intelligence Research
Year
2010
DOI
10.1613/jair.2901
Output title
Robust Execution of Service Workflows Using Redundancy and Advance ...
Output type
D - Journal article
Volume title
IEEE Transactions on Services Computing
Year
2011
DOI
10.1109/TSC.2010.47
Output title
Self-organizing agent communities for autonomic resource man ...
Output type
D - Journal article
Volume title
Adaptive Behavior
Year
2012
DOI
10.1177/1059712312462247
Output title
Solving coalitional resource games
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2010
DOI
10.1016/j.artint.2009.09.005
Output title
Stackelberg Network Pricing Games
Output type
D - Journal article
Volume title
Algorithmica
Year
2010
DOI
10.1007/s00453-010-9480-3
Output title
The Combined Approach to Query Answering in DL-Lite
Output type
E - Conference contribution
Volume title
Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning
Year
2010
DOI
Output title
The complexity of approximately counting stable matchings
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2012
DOI
10.1016/j.tcs.2012.02.029
Output title
The complexity of approximately counting stable roommate ass ...
Output type
D - Journal article
Volume title
Journal of Computer and System Sciences
Year
2012
DOI
10.1016/j.jcss.2012.02.003
Output title
The Complexity of Nash Equilibria in Stochastic Multiplayer ...
Output type
D - Journal article
Volume title
Logical Methods in Computer Science
Year
2011
DOI
10.2168/LMCS-7(3:20)2011
Output title
The Complexity of the Homotopy Method, Equilibrium Selection, ...
Output type
D - Journal article
Volume title
ACM Transactions on Economics and Computation
Year
2013
DOI
10.1145/2465769.2465774
Output title
The computational complexity of ideal semantics
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2009
DOI
10.1016/j.artint.2009.09.001
Output title
The Logical Difference for the Lightweight Description Logic ...
Output type
D - Journal article
Volume title
Journal of Artificial Intelligence Research
Year
2012
DOI
10.1613/jair.3552
Output title
Theoretical Advantages of Lenient Learners: An Evolutionary Game ...
Output type
D - Journal article
Volume title
Journal of Machine Learning Research
Year
2008
DOI
Output title
Time and Parallelizability Results for Parity Games with Bounded ...
Output type
D - Journal article
Volume title
Logical Methods in Computer Science
Year
2013
DOI
10.2168/LMCS-9(2:6)2013
Output title
Tree exploration with logarithmic memory
Output type
D - Journal article
Volume title
ACM Transactions on Algorithms
Year
2011
DOI
10.1145/1921659.1921663
Output title
Undecidability of the unification and admissibility problems ...
Output type
D - Journal article
Volume title
ACM Transactions on Computational Logic
Year
2008
DOI
10.1145/1380572.1380574
Output title
Weighted argument systems: Basic definitions, algorithms, and ...
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2011
DOI
10.1016/j.artint.2010.09.005
Output title
Weighted Congestion Games: Price of Anarchy, Universal Worst-Case ...
Output type
E - Conference contribution
Volume title
Proceedings of the 18th Annual European Symposium on Algorithms
Year
2010
DOI
10.1007/978-3-642-15781-3_2
Output title
Well Supported Approximate Equilibria in Bimatrix Games
Output type
D - Journal article
Volume title
Algorithmica
Year
2010
DOI
10.1007/s00453-008-9227-6
First <
1 2
Showing outputs 51 - 94 of 94