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: King's College London » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

King's College London

First <
1 2 3 4
> Last
Showing outputs 51 - 100 of 159
Output title
Distributed temporal logic for the analysis of security protocol ...
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2011
DOI
10.1016/j.tcs.2011.04.006
Output title
Domain specific language implementation via compile-time met ...
Output type
D - Journal article
Volume title
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
Year
2008
DOI
10.1145/1391956.1391958
Output title
Dominant Sources of Variability in Passive Walking
Output type
E - Conference contribution
Volume title
2012 IEEE International Conference on Robotics and Automation (ICRA)
Year
2012
DOI
10.1109/ICRA.2012.6224839
Output title
Downlink Optimization with Interference Pricing and Statistical ...
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON COMMUNICATIONS
Year
2013
DOI
10.1109/TCOMM.2013.042313.120343
Output title
Efficient automatic STE refinement using responsibility
Output type
C - Chapter in book
Volume title
Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Part of Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, March 29-April 6, 2008. Proceedings
Year
2008
DOI
10.1007/978-3-540-78800-3_17
Output title
Energy Efficient Relaying via Store-Carry and Forward within ...
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON MOBILE COMPUTING
Year
2012
DOI
10.1109/TMC.2012.233
Output title
Energy efficient spatial TDMA scheduling in wireless network ...
Output type
D - Journal article
Volume title
COMPUTERS AND OPERATIONS RESEARCH
Year
2012
DOI
10.1016/j.cor.2011.10.009
Output title
Enhanced string covering
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2013
DOI
10.1016/j.tcs.2013.08.013
Output title
Evaluation of model transformation approaches for model refa ...
Output type
D - Journal article
Volume title
SCIENCE OF COMPUTER PROGRAMMING
Year
2013
DOI
10.1016/j.scico.2013.07.013
Output title
Evolutionary testing of autonomous software agents
Output type
D - Journal article
Volume title
Autonomous Agents and Multi-Agent Systems
Year
2012
DOI
10.1007/s10458-011-9175-4
Output title
Experimental Assessment of Software Metrics Using Automated ...
Output type
E - Conference contribution
Volume title
2012 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM)
Year
2012
DOI
10.1145/2372251.2372260
Output title
Explaining counterexamples using causality
Output type
D - Journal article
Volume title
FORMAL METHODS IN SYSTEM DESIGN
Year
2012
DOI
10.1007/s10703-011-0132-2
Output title
Feasibility Study of Lesion Classification via Contrast-Agent-Aided ...
Output type
D - Journal article
Volume title
IEEE Transactions on Biomedical Engineering
Year
2010
DOI
10.1109/TBME.2009.2038788
Output title
Finite Element Modelling of Soft Tissue Rolling Indentation
Output type
D - Journal article
Volume title
IEEE Transactions on Biomedical Engineering
Year
2011
DOI
10.1109/TBME.2011.2106783
Output title
Formal Specification of Non-functional Properties of Component-Based ...
Output type
D - Journal article
Volume title
Software and Systems Modelling
Year
2009
DOI
10.1007/s10270-009-0115-6
Output title
Forward-Chaining Partial-Order Planning
Output type
E - Conference contribution
Volume title
Proceedings of the Twentieth International Conference on Automated Planning and Scheduling (ICAPS-10)
Year
2010
DOI
Output title
General Bindings and Alpha-Equivalence in Nominal Isabelle
Output type
D - Journal article
Volume title
Logical methods in computer science
Year
2012
DOI
10.2168/LMCS-8(2:14)2012
Output title
Godel's system T revisited
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2010
DOI
10.1016/j.tcs.2009.11.014
Output title
Image segmentation using a sparse coding model of cortical area ...
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON IMAGE PROCESSING
Year
2013
DOI
10.1109/TIP.2012.2235850
Output title
Impact of Interfering Bluetooth Piconets on a Collocated p-Persistent ...
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY
Year
2009
DOI
10.1109/TVT.2009.2027811
Output title
Improved algorithms for the range next value problem and app ...
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2012
DOI
10.1016/j.tcs.2012.02.015
Output title
Joint Physical Layer and Data Link Layer Optimization of CDMA-Based ...
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS
Year
2011
DOI
10.1109/TWC.2011.080311.101301
Output title
Jointly optimized rate and outer loop power control with single-and ...
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS
Year
2009
DOI
10.1109/T-WC.2009.070669
Output title
Keyhole Effect in MIMO Amplify-and-Forward Transmission with ...
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON COMMUNICATIONS
Year
2012
DOI
10.1109/TCOMM.2012.110616.110616
Output title
Labelled natural deduction for a bundled branching temporal ...
Output type
D - Journal article
Volume title
Journal of Logic and Computation
Year
2011
DOI
10.1093/logcom/exq028
Output title
Labelled Tableaux for Distributed Temporal Logic
Output type
D - Journal article
Volume title
Journal of Logic and Computation
Year
2009
DOI
10.1093/logcom/exp022
Output title
Locating and repairing faults in a network with mobile agent ...
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2010
DOI
10.1016/j.tcs.2010.01.011
Output title
LPRPG-P: Relaxed Plan Heuristics for Planning with Preferenc ...
Output type
E - Conference contribution
Volume title
Twenty First International Conference on Automated Planning and Scheduling (ICAPS-11). June 2011.
Year
2011
DOI
Output title
Managing concurrency in temporal planning using planner-scheduler ...
Output type
D - Journal article
Volume title
ARTIFICIAL INTELLIGENCE
Year
2009
DOI
10.1016/j.artint.2008.08.003
Output title
Mapping attribution metadata to the Open Provenance Model
Output type
D - Journal article
Volume title
FUTURE GENERATION COMPUTER SYSTEMS
Year
2011
DOI
10.1016/j.future.2010.10.007
Output title
Mapping cis- and trans-regulatory effects across multiple tissues ...
Output type
D - Journal article
Volume title
Nature Genetics
Year
2012
DOI
10.1038/ng.2394
Output title
Matching and alpha-equivalence check for nominal terms
Output type
D - Journal article
Volume title
JOURNAL OF COMPUTER AND SYSTEM SCIENCES
Year
2010
DOI
10.1016/j.jcss.2009.10.003
Output title
Mathematical Modeling of Intensity-Modulated Bent-Tip Optical ...
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT
Year
2010
DOI
10.1109/TIM.2009.2023147
Output title
Maximal repetitions in strings
Output type
D - Journal article
Volume title
JOURNAL OF COMPUTER AND SYSTEM SCIENCES
Year
2008
DOI
10.1016/j.jcss.2007.09.003
Output title
Mechanizing the Metatheory of LF
Output type
D - Journal article
Volume title
ACM Transactions on Computational Logic
Year
2011
DOI
10.1145/1877714.1877721
Output title
Metalevel Argumentation
Output type
D - Journal article
Volume title
Journal of Logic and Computation
Year
2010
DOI
10.1093/logcom/exq054
Output title
Miniature 3-Axis Distal Force Sensor for Minimally Invasive Surgical ...
Output type
D - Journal article
Volume title
IEEE ASME TRANSACTIONS ON MECHATRONICS
Year
2012
DOI
10.1109/TMECH.2011.2116033
Output title
Model Projection: Simplifying Models in Response to Restricting ...
Output type
E - Conference contribution
Volume title
2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE)
Year
2011
DOI
10.1145/1985793.1985834
Output title
Module detection in complex networks using integer optimisat ...
Output type
D - Journal article
Volume title
Algorithms For Molecular Biology
Year
2010
DOI
10.1186/1748-7188-5-36
Output title
Molecular model of dynamic social network based on e-mail co ...
Output type
D - Journal article
Volume title
Social Network Analysis and Mining
Year
2013
DOI
10.1007/s13278-013-0101-4
Output title
MRI-Compatible Intensity-Modulated Force Sensor for Cardiac Catheterization ...
Output type
D - Journal article
Volume title
IEEE Transactions on Biomedical Engineering
Year
2011
DOI
10.1109/TBME.2010.2095853
Output title
Multichannel Dereverberation Theorems and Robustness Issues
Output type
D - Journal article
Volume title
Ieee Transactions On Audio Speech And Language Processing
Year
2012
DOI
10.1109/TASL.2011.2164528
Output title
Multidimensional Social Network in the Social Recommender Sy ...
Output type
D - Journal article
Volume title
Ieee Transactions On Systems Man And Cybernetics Part A-Systems And Humans
Year
2011
DOI
10.1109/TSMCA.2011.2132707
Output title
Multiple Random Walks in Random Regular Graphs
Output type
D - Journal article
Volume title
SIAM JOURNAL ON DISCRETE MATHEMATICS
Year
2009
DOI
10.1137/080729542
Output title
Nominal Completion for Rewrite Systems with Binders
Output type
E - Conference contribution
Volume title
Automata, Languages, and Programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II
Year
2012
DOI
10.1007/978-3-642-31585-5_21
Output title
Nominal Logic Programming
Output type
D - Journal article
Volume title
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
Year
2008
DOI
10.1145/1387673.1387675
Output title
Nominal techniques in isabelle/HOL
Output type
D - Journal article
Volume title
JOURNAL OF AUTOMATED REASONING
Year
2008
DOI
10.1007/s10817-008-9097-2
Output title
Non-finitely axiomatisable two-dimensional modal logics
Output type
D - Journal article
Volume title
JOURNAL OF SYMBOLIC LOGIC
Year
2012
DOI
10.2178/jsl/1344862170
Output title
On Language-Independent Model Modularisation
Output type
D - Journal article
Volume title
Lecture Notes in Computer Science
Year
2009
DOI
10.1007/978-3-642-03764-1_2
Output title
On logical specifications of the Argument Interchange Format
Output type
D - Journal article
Volume title
Journal of Logic and Computation
Year
2013
DOI
10.1093/logcom/exs033
First <
1 2 3 4
> Last
Showing outputs 51 - 100 of 159