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 Liverpool » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

University of Liverpool

1 2
> Last
Showing outputs 1 - 50 of 94
Output title
A Deterministic Truthful PTAS for Scheduling Related Machine ...
Output type
D - Journal article
Volume title
SIAM Journal on Computing
Year
2013
DOI
10.1137/120866038
Output title
A formal model of the Semantic Web Service Ontology (WSMO)
Output type
D - Journal article
Volume title
Information Systems
Year
2012
DOI
10.1016/j.is.2011.07.003
Output title
A Lower Bound for Scheduling Mechanisms
Output type
D - Journal article
Volume title
Algorithmica
Year
2008
DOI
10.1007/s00453-008-9165-3
Output title
A Web Search Engine-Based Approach to Measure Semantic Similarity ...
Output type
D - Journal article
Volume title
IEEE Transactions on Knowledge and Data Engineering
Year
2011
DOI
10.1109/TKDE.2010.172
Output title
Abstract argument games via modal logic
Output type
D - Journal article
Volume title
Synthese
Year
2013
DOI
10.1007/s11229-012-0237-1
Output title
Algorithmic Solutions for Envy-Free Cake Cutting
Output type
D - Journal article
Volume title
Operations Research
Year
2012
DOI
10.1287/opre.1120.1116
Output title
Algorithms for decision problems in argument systems under preferred ...
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2013
DOI
10.1016/j.artint.2013.11.001
Output title
An Optimization Approach for Approximate Nash Equilibria
Output type
D - Journal article
Volume title
Internet Mathematics
Year
2008
DOI
10.1080/15427951.2008.10129172
Output title
Analysing robot swarm behaviour via probabilistic model chec ...
Output type
D - Journal article
Volume title
Robotics and Autonomous Systems
Year
2012
DOI
10.1016/j.robot.2011.10.005
Output title
Answering Non-Monotonic Queries in Relational Data Exchange
Output type
D - Journal article
Volume title
Logical Methods in Computer Science
Year
2011
DOI
10.2168/LMCS-7(3:09)2011
Output title
Approximating Fixation Probabilities in the Generalized Moran ...
Output type
D - Journal article
Volume title
Algorithmica
Year
2013
DOI
10.1007/s00453-012-9722-7
Output title
Asynchronous gossip
Output type
D - Journal article
Volume title
Journal of the ACM
Year
2013
DOI
10.1145/2450142.2450147
Output title
Audience-Based Uncertainty in Abstract Argument Games
Output type
E - Conference contribution
Volume title
International Joint Conference on Artificial Intelligence (IJCAI-13)
Year
2013
DOI
Output title
Bayesian Combinatorial Auctions
Output type
E - Conference contribution
Volume title
Proceedings of the 35th International Colloquium on Automata, Languages and Programming
Year
2008
DOI
10.1007/978-3-540-70575-8_67
Output title
Bounded synthesis
Output type
D - Journal article
Volume title
International Journal on Software Tools for Technology Transfer
Year
2012
DOI
10.1007/s10009-012-0228-z
Output title
Broadcasting in UDG radio networks with unknown topology
Output type
D - Journal article
Volume title
Distributed Computing
Year
2008
DOI
10.1007/s00446-008-0075-z
Output title
Büchi Complementation Made Tight
Output type
E - Conference contribution
Volume title
International Symposium on Theoretical Aspects of Computer Science
Year
2009
DOI
10.4230/LIPIcs.STACS.2009.1854
Output title
Buying Cheap Is Expensive: Approximability of Combinatorial Pricing ...
Output type
D - Journal article
Volume title
SIAM Journal on Computing
Year
2011
DOI
10.1137/090752353
Output title
Closed world data exchange
Output type
D - Journal article
Volume title
ACM Transactions on Database Systems
Year
2011
DOI
10.1145/1966385.1966392
Output title
Combined model checking for temporal, probabilistic, and real-time ...
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2013
DOI
10.1016/j.tcs.2013.07.012
Output title
Computing Stable Outcomes in Hedonic Games
Output type
E - Conference contribution
Volume title
Proceedings of the Third International Symposium on Algorithmic Game Theory
Year
2010
DOI
10.1007/978-3-642-16170-4_16
Output title
Conditional Restricted Boltzmann Machines for Negotiations in ...
Output type
E - Conference contribution
Volume title
International Joint Conference on Artificial Intelligence (IJCAI)
Year
2013
DOI
Output title
Conjunctive Query Answering in the Description Logic EL Using ...
Output type
E - Conference contribution
Volume title
21st International Joint Conference on Artificial Intelligence
Year
2009
DOI
Output title
Consensus and Mutual Exclusion in a Multiple Access Channel
Output type
D - Journal article
Volume title
IEEE Transactions on Parallel and Distributed Systems
Year
2011
DOI
10.1109/TPDS.2010.162
Output title
Cross-Domain Sentiment Classification Using a Sentiment Sensitive ...
Output type
D - Journal article
Volume title
IEEE Transactions on Knowledge and Data Engineering
Year
2013
DOI
10.1109/TKDE.2012.103
Output title
Cross-Language Latent Relational Search between Japanese and ...
Output type
D - Journal article
Volume title
ACM Transactions on Asian Language Information Processing
Year
2012
DOI
10.1145/2334801.2334805
Output title
Deadline scheduling and power management for speed bounded p ...
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2010
DOI
10.1016/j.tcs.2010.05.035
Output title
Decomposing Description Logic Ontologies
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
Deliberation dialogues for reasoning about safety critical a ...
Output type
D - Journal article
Volume title
Autonomous Agents and Multi-Agent Systems
Year
2011
DOI
10.1007/s10458-011-9174-5
Output title
Dependence in games and dependence games
Output type
D - Journal article
Volume title
Autonomous Agents and Multi-Agent Systems
Year
2011
DOI
10.1007/s10458-011-9176-3
Output title
Discrete Fixed Points: Models, Complexities, and Application ...
Output type
D - Journal article
Volume title
Mathematics of Operations Research
Year
2011
DOI
10.1287/moor.1110.0511
Output title
Efficient Phrase-Based Document Similarity for Clustering
Output type
D - Journal article
Volume title
IEEE Transactions on Knowledge and Data Engineering
Year
2008
DOI
10.1109/TKDE.2008.50
Output title
Enumeration of Nash equilibria for two-player games
Output type
D - Journal article
Volume title
Economic Theory
Year
2009
DOI
10.1007/s00199-009-0449-x
Output title
Fast message dissemination in random geometric networks
Output type
D - Journal article
Volume title
Distributed Computing
Year
2011
DOI
10.1007/s00446-011-0154-4
Output title
Fast periodic graph exploration with constant memory
Output type
D - Journal article
Volume title
Journal of Computer and System Sciences
Year
2008
DOI
10.1016/j.jcss.2007.09.004
Output title
Fixpoints and Iterated Updates in Abstract Argumentation
Output type
E - Conference contribution
Volume title
The Thirteenth International Conference on Principles of Knowledge Representation and Reasoning
Year
2012
DOI
Output title
Flexible provisioning of web service workflows
Output type
D - Journal article
Volume title
ACM Transactions on Internet Technology
Year
2009
DOI
10.1145/1462159.1462161
Output title
Forgetting and uniform interpolation in large-scale description ...
Output type
E - Conference contribution
Volume title
Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09)
Year
2009
DOI
Output title
Human-inspired computational fairness
Output type
D - Journal article
Volume title
Autonomous Agents and Multi-Agent Systems
Year
2010
DOI
10.1007/s10458-010-9122-9
Output title
Improved multi-processor scheduling for flow time and energy
Output type
D - Journal article
Volume title
Journal of Scheduling
Year
2009
DOI
10.1007/s10951-009-0145-5
Output title
Incentive Ratios of Fisher Markets
Output type
E - Conference contribution
Volume title
Proceedings of the 39th International Colloquium conference on Automata, Languages, and Programming
Year
2012
DOI
10.1007/978-3-642-31585-5_42
Output title
Interference-Resilient Information Exchange
Output type
E - Conference contribution
Volume title
Proceedings of the 28th IEEE International Conference on Computer Communications
Year
2009
DOI
10.1109/INFCOM.2009.5062150
Output title
Leader election in ad hoc radio networks: A keen ear helps
Output type
D - Journal article
Volume title
Journal of Computer and System Sciences
Year
2013
DOI
10.1016/j.jcss.2013.04.003
Output title
Learning equilibria of games via payoff queries
Output type
E - Conference contribution
Volume title
Proceedings of the 14th ACM conference on Electronic Commerce
Year
2013
DOI
10.1145/2492002.2482558
Output title
Local properties in modal logic
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2012
DOI
10.1016/j.artint.2012.04.007
Output title
Logic-based ontology comparison and module extraction, with an ...
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2010
DOI
10.1016/j.artint.2010.06.003
Output title
Lower bounds for processing data with few random accesses to ...
Output type
D - Journal article
Volume title
Journal of the ACM
Year
2009
DOI
10.1145/1516512.1516514
Output title
L-Recursion and a new Logic for Logarithmic Space
Output type
D - Journal article
Volume title
Logical Methods in Computer Science
Year
2013
DOI
Output title
Maximum throughput of multiple access channels in adversarial ...
Output type
D - Journal article
Volume title
Distributed Computing
Year
2009
DOI
10.1007/s00446-009-0086-4
Output title
Mechanism design for fractional scheduling on unrelated mach ...
Output type
D - Journal article
Volume title
ACM Transactions on Algorithms
Year
2010
DOI
10.1145/1721837.1721854
1 2
> Last
Showing outputs 1 - 50 of 94