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

Outputs (REF2)

11 - Computer Science and Informatics

University of Kent

First <
1 2 3
> Last
Showing outputs 51 - 100 of 117
Output title
Inductively Generating Euler Diagrams
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2011
DOI
10.1109/TVCG.2010.28
Output title
Inferring non-suspension conditions for logic programs with dynamic ...
Output type
D - Journal article
Volume title
ACM Transactions on Computational Logic
Year
2008
DOI
10.1145/1352582.1352585
Output title
Infinitary rewriting: closure operators, equivalences and mo ...
Output type
D - Journal article
Volume title
Acta Informatica
Year
2013
DOI
10.1007/s00236-012-0174-y
Output title
Infinitary Rewriting: Foundations Revisited
Output type
E - Conference contribution
Volume title
Proceedings of the 21st International Conference on Rewriting Techniques and Applications
Year
2010
DOI
10.4230/LIPIcs.RTA.2010.161
Output title
Integrating scale out and fault tolerance in stream processing ...
Output type
E - Conference contribution
Volume title
ACM SIGMOD Conference 2013
Year
2013
DOI
10.1145/2463676.2465282
Output title
Introducing extra operations in refinement
Output type
D - Journal article
Volume title
Formal Aspects of Computing
Year
2012
DOI
10.1007/s00165-012-0266-z
Output title
LAMED - A PRNG for EPC Class-1 Generation-2 RFID specificati ...
Output type
D - Journal article
Volume title
Computer Standards and Interfaces
Year
2009
DOI
10.1016/j.csi.2007.11.013
Output title
Linear, bounded, functional pretty-printing
Output type
D - Journal article
Volume title
Journal of Functional Programming
Year
2009
DOI
10.1017/S0956796808006990
Output title
Mathematizing C++ Concurrency
Output type
E - Conference contribution
Volume title
POPL '11: Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Year
2011
DOI
10.1145/1926385.1926394
Output title
Mechanical Verification of Refactorings
Output type
E - Conference contribution
Volume title
PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Year
2008
DOI
10.1145/1328408.1328417
Output title
Memristor Oscillators
Output type
D - Journal article
Volume title
International Journal of Bifurcation and Chaos
Year
2008
DOI
10.1142/S0218127408022354
Output title
Message-passing algorithms for the prediction of protein domain ...
Output type
D - Journal article
Volume title
Bioinformatics
Year
2008
DOI
10.1093/bioinformatics/btn366
Output title
Microstructure Dynamics and Agent-Based Financial Markets: Can ...
Output type
D - Journal article
Volume title
Advances in Complex Systems
Year
2012
DOI
10.1142/S0219525912500609
Output title
Mobile Escape Analysis for occam-pi
Output type
E - Conference contribution
Volume title
Communicating Process Architectures 2009
Year
2009
DOI
10.3233/978-1-60750-065-0-117
Output title
Modeling fimbriae mediated parasite-host interactions
Output type
D - Journal article
Volume title
Journal of Theoretical Biology
Year
2010
DOI
10.1016/j.jtbi.2010.03.037
Output title
Modelling of brain consciousness based on collaborative adaptive ...
Output type
D - Journal article
Volume title
Neurocomputing
Year
2012
DOI
10.1016/j.neucom.2011.05.038
Output title
Modelling the Temperature Time-dependent Speed of Mean Reversion ...
Output type
D - Journal article
Volume title
Applied Mathematical Finance
Year
2008
DOI
10.1080/13504860802006065
Output title
Models of transcription factor binding: Sensitivity of activation ...
Output type
D - Journal article
Volume title
Journal of Theoretical Biology
Year
2009
DOI
10.1016/j.jtbi.2008.11.026
Output title
Modularity of Convergence and Strong Convergence in Infinitary ...
Output type
D - Journal article
Volume title
Logical Methods in Computer Science
Year
2010
DOI
10.2168/LMCS-6(3:18)2010
Output title
Modularity of Convergence in Infinitary Rewriting
Output type
E - Conference contribution
Volume title
Rewriting Techniques and Applications
Year
2009
DOI
10.1007/978-3-642-02348-4_13
Output title
Multicore scheduling for lightweight communicating processes
Output type
D - Journal article
Volume title
Science of Computer Programming
Year
2012
DOI
10.1016/j.scico.2011.04.006
Output title
Multiple pheromone types and other extensions to the Ant-Miner ...
Output type
D - Journal article
Volume title
Swarm Intelligence
Year
2011
DOI
10.1007/s11721-011-0057-9
Output title
Multivariate Multiscale Entropy for Brain Consciousness Anal ...
Output type
E - Conference contribution
Volume title
Engineering in Medicine and Biology Society, EMBC, 2011 Annual International Conference of the IEEE
Year
2011
DOI
10.1109/IEMBS.2011.6090185
Output title
Neurons are poised near the edge of chaos
Output type
D - Journal article
Volume title
International Journal of Bifurcation and Chaos
Year
2012
DOI
10.1142/S0218127412500988
Output title
On the Distinguishability of Distance-Bounded Permutations in ...
Output type
D - Journal article
Volume title
IEEE Transactions on Information Forensics and Security
Year
2008
DOI
10.1109/TIFS.2008.920724
Output title
On the investigation of hyper-heuristics on a financial forecasting ...
Output type
D - Journal article
Volume title
Annals of Mathematics and Artificial Intelligence
Year
2012
DOI
10.1007/s10472-012-9283-0
Output title
Optimal parameter settings for information processing in gene ...
Output type
D - Journal article
Volume title
Biosystems
Year
2011
DOI
10.1016/j.biosystems.2011.01.006
Output title
OPTIMIS: A holistic approach to cloud service provisioning
Output type
D - Journal article
Volume title
Future Generation Computer Systems
Year
2012
DOI
10.1016/j.future.2011.05.022
Output title
Ott: Effective tool support for the working semanticist
Output type
D - Journal article
Volume title
Journal of Functional Programming
Year
2010
DOI
10.1017/S0956796809990293
Output title
PERMIS: a modular authorization infrastructure
Output type
E - Conference contribution
Volume title
Concurrency and Computation: Practice and Experience
Year
2008
DOI
10.1002/cpe.1313
Output title
Power independent EMG based gesture recognition for robotics
Output type
E - Conference contribution
Volume title
Engineering in Medicine and Biology Society, EMBC, 2011 Annual International Conference of the IEEE
Year
2011
DOI
10.1109/IEMBS.2011.6090036
Output title
Practical typed lazy contracts
Output type
E - Conference contribution
Volume title
Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming (ICFP 2012)
Year
2012
DOI
10.1145/2364527.2364539
Output title
Privacy preserving collaborative filtering for SaaS enabling ...
Output type
D - Journal article
Volume title
Journal of Cloud Computing: Advances, Systems and Applications
Year
2012
DOI
10.1186/2192-113X-1-8
Output title
Process-Oriented Device Driver Development
Output type
D - Journal article
Volume title
Concurrency and Computation: Practice and Experience
Year
2010
DOI
10.1002/cpe.1428
Output title
Programming errors in traversal programs over structured dat ...
Output type
D - Journal article
Volume title
Science of Computer Programming
Year
2013
DOI
10.1016/j.scico.2011.11.006
Output title
Reasoning about the Implementation of Concurrency Abstractions ...
Output type
E - Conference contribution
Volume title
ECOOP 2010 —- Object-Oriented Programming, 24th European Conference
Year
2010
DOI
10.1007/978-3-642-14107-2_23
Output title
RedAlert: Determinacy inference for Prolog
Output type
D - Journal article
Volume title
Theory and Practice of Logic Programming
Year
2011
DOI
10.1017/S1471068411000160
Output title
Refactoring tools for functional languages
Output type
D - Journal article
Volume title
Journal of Functional Programming
Year
2013
DOI
10.1017/S0956796813000117
Output title
Relational concurrent refinement part II: Internal operations ...
Output type
D - Journal article
Volume title
Formal Aspects of Computing
Year
2008
DOI
10.1007/s00165-007-0066-z
Output title
Repositories of teaching material and communities of use
Output type
E - Conference contribution
Volume title
Proceedings of the Sixth international workshop on Computing education research
Year
2010
DOI
10.1145/1839594.1839613
Output title
Research design: necessary bricolage
Output type
E - Conference contribution
Volume title
ICER '11 Proceedings of the seventh international conference on Computing education research
Year
2011
DOI
10.1145/2016911.2016919
Output title
SafeWeb: A Middleware for Securing Ruby-Based Web Applicatio ...
Output type
E - Conference contribution
Volume title
Proc. ACM/IFIP/USENIX 12th International Middleware Conference (MIDDLEWARE)
Year
2011
DOI
10.1007/978-3-642-25821-3_25
Output title
Santa Claus: Formal Analysis of a Process-Oriented Solution
Output type
D - Journal article
Volume title
ACM Transactions on Programming Languages and Systems
Year
2010
DOI
10.1145/1734206.1734211
Output title
Self Managed Security Cell, a Security Model for the Internet ...
Output type
E - Conference contribution
Volume title
1st International Conference on Advances in Future Internet, AFIN
Year
2009
DOI
10.1109/AFIN.2009.15
Output title
Semantically driven crossover in genetic programming
Output type
E - Conference contribution
Volume title
IEEE Congress on Evolutionary Computation, 2008. CEC 2008. (IEEE World Congress on Computational Intelligence).
Year
2008
DOI
10.1109/CEC.2008.4630784
Output title
Service Oriented Infrastructures and Cloud Service Platforms ...
Output type
B - Edited book
Volume title
Year
2010
DOI
10.1007/978-3-642-04086-3
Output title
Software Engineering for Self-Adaptive Systems: A Research R ...
Output type
E - Conference contribution
Volume title
Software Engineering for Self-Adaptive Systems
Year
2009
DOI
10.1007/978-3-642-02161-9_1
Output title
Stories of change: How educators change their practice
Output type
E - Conference contribution
Volume title
Frontiers in Education
Year
2012
DOI
10.1109/FIE.2012.6462317
Output title
STREAM
Output type
D - Journal article
Volume title
ACM Transactions on Computing Education
Year
2009
DOI
10.1145/1513593.1513597
Output title
The architecture of eukaryotic translation
Output type
D - Journal article
Volume title
Nucleic Acids Research
Year
2012
DOI
10.1093/nar/gks825
First <
1 2 3
> Last
Showing outputs 51 - 100 of 117