Outputs (REF2)
4 - Psychology, Psychiatry and Neuroscience
University of Sussex
Output type
E - Conference contribution
Volume title
13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings
Year
2010
Output type
E - Conference contribution
Volume title
MSWiM '12: 15th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM12)
Year
2012
Output title
Output type
D - Journal article
Volume title
Journal of Computer and System Sciences
Year
2010
Output type
E - Conference contribution
Volume title
4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15
Year
2008
Output title
Output type
E - Conference contribution
Volume title
23rd International Conference on Automated Deduction, Wroc¿aw, Poland, July 31 - August 5, 2011. Proceedings
Year
2011
Output type
D - Journal article
Volume title
Ieee Transactions on Intelligent Transportation Systems
Year
2008
Output type
D - Journal article
Volume title
Innovations in Systems and Software Engineering
Year
2011
Output title
Output type
D - Journal article
Volume title
IEEE Transactions on Very Large Scale Integration (VLSI) Systems.
Year
2011
Output type
D - Journal article
Volume title
Electronic Notes in Theoretical Computer Science
Year
2010
Output type
D - Journal article
Volume title
Journal of the American Medical Informatics Association
Year
2009
Output title
Output type
E - Conference contribution
Volume title
EDBT: 13th International Conference on Extending Database Technology
Year
2010
Output type
D - Journal article
Volume title
Concurrency and Computation: Practice and Experience
Year
2009
DOI
Output title
Output type
D - Journal article
Volume title
IEEE Transaction on Fuzzy Systems
Year
2010
Output title
Output type
D - Journal article
Volume title
Logical Methods in Computer Science
Year
2011