Skip to main

Submitted outputs' details

The submitted outputs' details allows you to browse and search for outputs submitted to the REF 2021. Use the search and filters below to find the outputs you are looking for.
Learn about submitted outputs
Download all details for all outputs (spreadsheet)
Download all details for all outputs (spreadsheet) (generating)

Search and filter

Clear search and filter

Filter by

  • University of Southampton
   None selected
  • 11 - Computer Science and Informatics
   None selected
   None selected
   None selected
   None selected
Download output details for outputs in the current view (spreadsheet)
Download output details for outputs in the current view (spreadsheet) (generating)
Showing outputs 1 to 100 of 118

A coalgebraic approach to linear-time logics

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1007/978-3-642-54830-7_28
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Foundations of Software Science and Computation Structures : FoSSaCS 2014

A comfort-based approach to smart heating and air conditioning

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3057730
Open access status
Compliant
Title of journal
ACM Transactions on Intelligent Systems and Technology

A cooperative game-theoretic approach to the social ridesharing problem

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.artint.2017.02.004
Open access status
Compliant
Title of journal
Artificial Intelligence

A descriptive type foundation for RDF Schema

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.jlamp.2016.02.006
Open access status
Out of scope for open access requirements
Title of journal
Journal of Logical and Algebraic Methods in Programming

A disaster response system based on human-agent collectives

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1613/jair.5098
Open access status
Compliant
Title of journal
Journal of Artificial Intelligence Research

A formal approach to analyzing cyber-forensics evidence

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1007/978-3-319-99073-6_14
Open access status
Technical exception
Title of conference / published proceedings
Computer Security: ESORICS 2018

A geophone wireless sensor network for investigating glacier stick-slip motion

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.cageo.2017.05.005
Open access status
Compliant
Title of journal
Computers & Geosciences

A hybrid MLP-CNN classifier for very fine resolution remotely sensed image class ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.isprsjprs.2017.07.014
Open access status
Compliant
Title of journal
ISPRS Journal of Photogrammetry and Remote Sensing

A method of refinement in UML-B

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1007/s10270-013-0391-z
Open access status
Out of scope for open access requirements
Title of journal
Software and Systems Modeling

A Model to Compare Cloud and non-Cloud Storage of Big Data

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.future.2015.10.003
Open access status
Out of scope for open access requirements
Title of journal
Future Generation Computer Systems

A novel high resolution optical instrument for imaging oceanic bubbles

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/JOE.2017.2660099
Open access status
Compliant
Title of journal
IEEE Journal of Oceanic Engineering

A numerical measure of the instability of Mapper-type algorithms

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
Open access status
Compliant
Title of journal
Journal of Machine Learning Research

A semantic IoT early warning system for natural environment crisis management

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TETC.2015.2432742
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transaction on Emerging Topics in Computing

A templating system to generate provenance

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TSE.2017.2659745
Open access status
Compliant
Title of journal
IEEE Transactions on Software Engineering

Acoustic SLAM

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TASLP.2018.2828321
Open access status
Compliant
Title of journal
IEEE/ACM Transactions on Audio, Speech, and Language Processing

Aggregating crowdsourced quantitative claims : Additive and multiplicative model ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TKDE.2016.2535383
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Knowledge and Data Engineering

Algorithms for electric vehicle scheduling in large-scale mobility-on-demand sch ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.artint.2018.06.006
Open access status
Compliant
Title of journal
Artificial Intelligence

An event-based platform for collaborative threats detection and monitoring

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.is.2013.07.005
Open access status
Out of scope for open access requirements
Title of journal
Information Systems

An extension to the brightness clustering transform and locally contrasting keyp ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1007/s00138-016-0785-3
Open access status
Compliant
Title of journal
Machine Vision and Applications

An unsupervised training method for non-intrusive appliance load monitoring

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.artint.2014.07.010
Open access status
Out of scope for open access requirements
Title of journal
Artificial Intelligence

Anatomy of the fitness landscape for dense graph-colouring problem

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.swevo.2015.01.005
Open access status
Out of scope for open access requirements
Title of journal
Journal of Swarm and Evolutionary Computation

AuDroid: preventing attacks on audio channel sin mobile devices

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2818000.2818005
Title of conference / published proceedings
ACSAC 2015: Proceedings of the 31st Annual Computer Security Applications Conference

Automated trading with performance weighted random forests and seasonality

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.eswa.2013.12.009
Open access status
Out of scope for open access requirements
Title of journal
Expert Systems with Applications

Benchmarking the Chase

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3034786.3034796
Title of conference / published proceedings
Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI symposium on principles of database systems : PODS '17'

Big Data: methodological challenges and approaches for sociological analysis

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1177/0038038513511561
Open access status
Out of scope for open access requirements
Title of journal
Sociology

Bounded model checking of multi-threaded c programs via lazy sequentialization

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1007/978-3-319-08867-9_39
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Computer Aided Verification. CAV 2014

Characterising dataset search – an analysis of search logs and data requests

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.websem.2018.11.003
Open access status
Compliant
Title of journal
Journal of Web Semantics

Characterizing visualization insights from quantified selfers' personal data pre ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/MCG.2015.51
Open access status
Out of scope for open access requirements
Title of journal
IEEE Computer Graphics and Applications

Citizen participation in news

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1080/21670811.2014.952983
Open access status
Out of scope for open access requirements
Title of journal
Digital Journalism

Common barriers to the use of patient-generated data across clinical settings

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3173574.3174058
Title of conference / published proceedings
CHI '18 : Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems

Coordinating measurements for environmental monitoring in uncertain participatory ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1613/jair.5484
Open access status
Compliant
Title of journal
Journal of Artificial Intelligence Research

Core Hybrid Event-B I: Single Hybrid Event-B machines

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.scico.2015.02.003
Open access status
Out of scope for open access requirements
Title of journal
Science of Computer Programming

Cross-domain depression detection via harvesting social media

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.24963/ijcai.2018/223
Open access status
Exception within 3 months of publication
Title of conference / published proceedings
Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018

Deceiving cyber adversaries : A game theoretic approach

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
Title of conference / published proceedings
17th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2018

Deep cascade learning

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TNNLS.2018.2805098
Open access status
Compliant
Title of journal
IEEE Transactions on Neural Networks and Learning Systems

Deep set prediction networks

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
Title of conference / published proceedings
2019 Conference on Neural Information Processing Systems

Design automation of cyber-physical systems: Challenges, advances, and opportuni ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TCAD.2016.2633961
Open access status
Deposit exception
Title of journal
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Detection of Social Events in Streams of Social Multimedia

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1007/s13735-015-0085-0
Open access status
Out of scope for open access requirements
Title of journal
International Journal of Multimedia Information Retrieval

Differentially private data sharing in Cloud Federation with blockchain

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/MCC.2018.064181122
Open access status
Compliant
Title of journal
IEEE Cloud Computing

Direction of arrival estimation in the spherical harmonic domain using subspace pseudointensity ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TASLP.2016.2613280
Open access status
Technical exception
Title of journal
IEEE/ACM Transactions on Audio, Speech, and Language Processing

Dynamical system approach for edge detection using coupled FitzHugh–Nagumo neuro ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TIP.2015.2467206
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Image Processing

Efficient crowdsourcing of unknown experts using bounded multi-armed bandits

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.artint.2014.04.005
Open access status
Out of scope for open access requirements
Title of journal
Artificial Intelligence

Efficient Thompson sampling for online matrix-factorization recommendation

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
NIPS'15: Proceedings of the 28th International Conference on Neural Information Processing Systems - Volume 1

Elastic symbiotic scaling of operators and resources in stream processing system ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TPDS.2017.2762683
Open access status
Deposit exception
Title of journal
IEEE Transactions on Parallel and Distributed Systems

Enhancing answer completeness of SPARQL queries via crowdsourcing

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.websem.2017.07.001
Open access status
Compliant
Title of journal
Web Semantics

Epidemic contact tracing via communication traces

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1371/journal.pone.0095133
Open access status
Out of scope for open access requirements
Title of journal
PLoS ONE

ESBMC 5.0: an industrial-strength C model checker

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3238147.3240481
Open access status
Exception within 3 months of publication
Title of conference / published proceedings
ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering

Evolvability signatures of generative encodings : Beyond standard performance be ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.ins.2015.03.046
Open access status
Out of scope for open access requirements
Title of journal
Information Sciences

Facility location with double-peaked preferences

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1007/s10458-017-9361-0
Open access status
Compliant
Title of journal
Autonomous Agents and Multi-Agent Systems

Fault detection in a swarm of physical robots based on behavioral outlier detect ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/TRO.2019.2929015
Open access status
Compliant
Title of journal
IEEE Transactions on Robotics

Foundations of ontology-based data access under bag semantics

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.artint.2019.02.003
Open access status
Compliant
Title of journal
Artificial Intelligence

From branching to linear time, coalgebraically

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.3233/FI-2017-1474
Open access status
Out of scope for open access requirements
Title of journal
Fundamenta Informaticae

From clothing to identity; manual and automatic soft biometrics

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TIFS.2016.2584001
Open access status
Compliant
Title of journal
IEEE Transactions on Information Forensics and Security

Frustration tuning and perfect phase synchronization in the Kuramoto-Sakaguchi m ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1103/PhysRevE.93.062315
Open access status
Compliant
Title of journal
Physical Review E

Game theoretic market driven smart home scheduling considering energy balancing

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/JSYST.2015.2418032
Open access status
Out of scope for open access requirements
Title of journal
IEEE Systems Journal

Game theoretic treatments for the differentiation of functional roles in the transition ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.jtbi.2016.01.041
Open access status
Out of scope for open access requirements
Title of journal
Journal of Theoretical Biology

Gaussian Markov random field based improved texture descriptor for image segment ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.imavis.2014.07.002
Open access status
Out of scope for open access requirements
Title of journal
Image and Vision Computing

Genome-wide posttranscriptional dysregulation by microRNAs in human asthma as revealed ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.4049/jimmunol.1701798
Open access status
Access exception
Title of journal
The Journal of Immunology

Geoparsing and geosemantics for social media : spatio-temporal grounding of content ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1145/2842604
Open access status
Out of scope for open access requirements
Title of journal
ACM Transactions on Information Systems

How evolution learns to generalise: : using the principles of learning theory to ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1371/journal.pcbi.1005358
Open access status
Compliant
Title of journal
PLoS Computational Biology

How learners’ interactions sustain engagement: a MOOC case study

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TLT.2016.2633268
Open access status
Compliant
Title of journal
IEEE Transactions on Learning Technologies

Human-agent collaboration for disaster response

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1007/s10458-015-9286-4
Open access status
Out of scope for open access requirements
Title of journal
Autonomous Agents and Multi-Agent Systems

Immersive spatial audio reproduction for VR/AR using room acoustic modelling from ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1109/VR.2019.8798247
Title of conference / published proceedings
2019 IEEE Conference on Virtual Reality and 3D User Interfaces (VR)

Improved understanding of aqueous solubility modeling through topological data a ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1186/s13321-018-0308-5
Open access status
Compliant
Title of journal
Journal of Cheminformatics

Improving user experience of eye tracking-based interaction : Introspecting and adapting ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3338844
Open access status
Other exception
Title of journal
ACM Transactions on Computer-Human Interaction

Individual tree species classification from airborne multisensor imagery using robust ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/JSTARS.2016.2569408
Open access status
Compliant
Title of journal
IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing

Intention-aware routing of electric vehicles

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TITS.2015.2506900
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Intelligent Transportation Systems

Interdroplet bilayer arrays in millifluidic droplet traps from 3D-printed moulds

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1039/C3LC51072G
Open access status
Out of scope for open access requirements
Title of journal
Lab on a Chip

It takes all sorts : a heterogeneous agent explanation for prediction market mis ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.ejor.2018.04.011
Open access status
Compliant
Title of journal
European Journal of Operational Research

It's hard to share: joint service placement and request scheduling in edge clouds ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1109/ICDCS.2018.00044
Title of conference / published proceedings
2018 IEEE 38th International Conference on Distributed Computing Systems (ICDCS)

Language and tool support for event refinement structures in Event-B

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1007/s00165-014-0311-1
Open access status
Out of scope for open access requirements
Title of journal
Formal Aspects of Computing

Large-scale system development using abstract data types and refinement

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.scico.2016.04.010
Open access status
Compliant
Title of journal
Science of Computer Programming

Lattice-theoretic progress measures and coalgebraic model checking

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2837614.2837673
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
POPL '16 Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : 1

Learning to count objects in natural images for visual question answering

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
Title of conference / published proceedings
International Conference on Learning Representations

Leveraging strategic detection techniques for smart home pricing cyberattacks

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1109/TDSC.2015.2427841
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Dependable and Secure Computing

Linkage between piecewise constant Mumford-Shah model and Rudin-Osher-Fatemi model ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1137/18M1202980
Open access status
Technical exception
Title of journal
SIAM Journal on Scientific Computing

Łukasiewicz Games : A logic-based approach to quantitative strategic Interaction ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1145/2783436
Open access status
Out of scope for open access requirements
Title of journal
ACM Transactions on Computational Logic

Łukasiewicz logics for cooperative games

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1016/j.artint.2019.03.003
Open access status
Compliant
Title of journal
Artificial Intelligence

Market interfaces for electric vehicle charging

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1613/jair.5387
Open access status
Compliant
Title of journal
Journal of Artificial Intelligence Research

Memory nearly on a spring : A mean first passage time approach to memory lifetim ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1162/NECO_a_00622
Open access status
Out of scope for open access requirements
Title of journal
Neural Computation

MSFD: Multi-scale segmentation based feature detection for wide-baseline scene r ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1109/TIP.2018.2872906
Open access status
Compliant
Title of journal
IEEE Transactions on Image Processing

Multimodal visual data registration for web-based visualization in media product ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TCSVT.2016.2642825
Open access status
Compliant
Title of journal
IEEE Transactions on Circuits and Systems for Video Technology

Novel centroid selection approaches for KMeans-clustering based recommender syst ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.ins.2015.03.062
Open access status
Out of scope for open access requirements
Title of journal
Information Sciences

On deductive interpolation for the weak nilpotent minimum logic

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.fss.2015.12.016
Open access status
Out of scope for open access requirements
Title of journal
Fuzzy Sets and Systems

On parameterizing higher-order motion for behaviour recognition

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1016/j.patcog.2020.107710
Open access status
Compliant
Title of journal
Pattern Recognition

Online radio interferometric imaging: Assimilating and discarding visibilities on ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1093/mnras/stz704
Open access status
Technical exception
Title of journal
Monthly Notices of the Royal Astronomical Society

Optimized self-localization for SLAM in dynamic scenes using probability hypothesis ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TSP.2017.2775590
Open access status
Technical exception
Title of journal
IEEE Transactions on Signal Processing

Outlier detection at the transcriptome-proteome interface

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1093/bioinformatics/btv182
Open access status
Out of scope for open access requirements
Title of journal
Bioinformatics

Pegasus: a framework for sound continuous invariant generation

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1007/978-3-030-30942-8_10
Open access status
Compliant
Title of conference / published proceedings
Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Portugal, October 7–11, 2019, Proceedings

Point at the triple: generation of text summaries from knowledge base triples

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1613/jair.1.11694
Open access status
Compliant
Title of journal
Journal of Artificial Intelligence Research

Preemptive type checking

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1016/j.jlamp.2018.08.003
Open access status
Exception within 3 months of publication
Title of journal
Journal of Logical and Algebraic Methods in Programming

Quantifying leakage in the presence of unreliable sources of information

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.jcss.2017.03.013
Open access status
Compliant
Title of journal
Journal of Computer and System Sciences

Rank selection in non-negative matrix factorization using minimum description Le ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1162/NECO_a_00980
Open access status
Compliant
Title of journal
Neural Computation

Robots that can adapt like animals

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1038/nature14422
Open access status
Out of scope for open access requirements
Title of journal
Nature

Scalable classification of QoS for real-time interactive applications from IP traffic ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1016/j.comnet.2016.04.017
Open access status
Compliant
Title of journal
Computer Networks

Semantic face signatures: recognizing and retrieving faces by verbal description ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TIFS.2017.2765519
Open access status
Other exception
Title of journal
IEEE Transactions on Information Forensics and Security

Severity-sensitive norm-governed multi-agent planning

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1007/s10458-017-9372-x
Open access status
Compliant
Title of journal
Autonomous Agents and Multi-Agent Systems

Single-cell transcriptional analysis to uncover regulatory circuits driving cell ...

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1093/bioinformatics/btu777
Open access status
Out of scope for open access requirements
Title of journal
Bioinformatics

Size versus truthfulness in the House Allocation problem

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1007/s00453-019-00584-7
Open access status
Compliant
Title of journal
Algorithmica

SPARQL-to-SQL on internet of things databases and streams

Submitting institution
University of Southampton
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1007/978-3-319-46523-4_31
Open access status
Compliant
Title of conference / published proceedings
The Semantic Web – ISWC 2016 : 15th International Semantic Web Conference, Kobe, Japan, October 17–21, 2016, Proceedings, Part I
Showing outputs 1 to 100 of 118

Filter by higher education institution

Select one or more of the following higher education institutions and then click Apply selected filters when you have finished.
No higher education institutions found.

Filter by unit of assessment

Select one or more of the following units of assessment and then click Apply selected filters when you have finished.
No unit of assessments found.

Filter by output type

Select one or more of the following output types and then click Apply selected filters when you have finished.

Filter by year

Select one or more of the following years and then click Apply selected filters when you have finished.

Filter by open access status

Select one or more of the following open access statuses and then click Apply selected filters when you have finished.